Today I want to talk about homotopy coherence, which is a very important notion in motivating a lot of the constructions in homotopy theory. Consider complex K-theory, . This is represented by the space , i.e., there is a bijection induced by pullback (see my post for an explanation). Because is valued in rings, the space is a commutative ring object in the homotopy category of topological spaces. But is not a topological commutative ring; instead, the multiplication on satisfies homotopy coherence conditions. What do we mean by this?
Suppose is a topological space. Our goal is to attempt to define what it means for to be a(n associative, for now) ring in this context. Obviously, we need a map that is the unit map, and a multiplication . This is supposed to satisfy associativity “on the nose”, and this is certainly possible to write down in the homotopy category . Ah, but it is also possible to ask for homotopy associativity, in which case we need to specify a homotopy and – this is an example of the extra data required by a homotopy coherent diagram. This is simply an isomorphism . But now, we must ask about what happens with the multiplication . There are five ways of writing the product of four elements, and they therefore fit into a pentagon. Likewise for more number of elements, we see that the data for the homotopy coherence of a homotopy associative ring object in spaces is specified by a collection of spaces with specified compatible maps . The spaces are called Stasheff associahedra, and I won’t describe them explicitly here. This may seem like too much information, and it may seem like there are only esoteric examples of homotopy associative ring objects in spaces (also called a space with an action of the -operad), but this is false. You can also study homotopy commutative objects, etc. Peter May proved the following recognition theorem.
Theorem: A connected space with an action of the -operad is homotopy equivalent to a loop space. A connected space with an action of the “-operad” (where the -th space is contractible and has a free action of the symmetric group, i.e., is the space ) is homotopy equivalent to an infinite loop space.
Consider the loop space . This is not necessarily an -algebra in spaces, but because it is , it has more structure than just being an -algebra object in spaces. The structure on is “homotopy associativity at the second level”, and likewise for . This means that there can be “homotopy associativity in the -th level” , and this gives the -operads for . I do not want to delve into the notion of operads here, so I won’t say more on this.
Let us look at this issue of coherence from a more general context. Let be the category of topological spaces, and consider the homotopy category . This is the category of topological spaces and homotopy classes of continuous maps. Consider a category , and choose a functor . It is natural to ask if there is a functor, denoted from to the category (not the homotopy category!) that induces a functor on the homotopy category that is equivalent to . This is the problem that homotopy coherence attempts to solve.
Since induces a functor equivalent to , and for composable morphisms and in , there must be a specified homotopy between and (since we are working in the homotopy category). Let us denote this homotopy as . We may then ask for the relationship between the composite of and , and and . Because of associativity, this should be dictated by some higher homotopy. Now, these higher homotopies should also satisfy associativity, and you can imagine continuing all the way. If can be lifted to such a , then is called a homotopy coherent diagram of topological spaces. So homotopy coherence is not a property, but is rather extra data. The idea is that homotopy coherence is the “right” notion of commutativity in homotopy theory, and so the theory of derived algebraic geometry can be thought of as “homotopy coherent algebraic geometry”. I don’t know nearly enough about derived algebraic geometry to say a lot more about this.
This illustrates the importance of -categories. Since an -category consists of the information of objects, morphisms, homotopies, homotopies between homotopies, and so on, they contain all the information required to study homotopy coherent operations. By extending the notion of an operad to the -categorical context, the notion of a homotopy commutative (associative) ring object can be viewed as an algebra for the -operad in a symmetric monoidal -category, packaged in all its homotopy coherent glory. Work by Lurie and others has made this statement precise. In particular, working with quasicategories makes working with commutative diagrams as hard as working with homotopy coherent diagrams, which is very nice.