A homotopy commutative diagram that cannot be strictified - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T23:56:14Z http://mathoverflow.net/feeds/question/81721 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/81721/a-homotopy-commutative-diagram-that-cannot-be-strictified A homotopy commutative diagram that cannot be strictified Akhil Mathew 2011-11-23T17:16:50Z 2011-12-30T04:03:11Z <p>By a "homotopy commutative diagram," I mean a functor $F: \mathcal{I} \to \mathrm{Ho}(\mathrm{Top})$ to the homotopy category of spaces. By a "strictification," I mean a lifting of such a functor to the category $\mathrm{Top}$ of topological spaces. I am curious about simple instances where such a "strictification" does not exist: that is, there are obstacles to making a diagram that commutes only up to homotopy strictly commute.</p> <p>For example, it is known that a homotopy coherent diagram in topological spaces can always be strictified. In other words, if one imposes homotopy commutativity, but also keeps track of all the homotopies and requires that they satisfy compatibility conditions with one another, then one can strictify. More precisely, a homotopy coherent diagram $\mathcal{I} \to \mathrm{Top}$ can be described as a simplicial functor $\mathfrak{C} \mathcal{I} \to \mathcal{Top}$, where $\mathfrak{C}\mathcal{I}$ (notation of HTT) is a "thickened" version of $\mathcal{I}$ where the usual relations in $\mathcal{I}$ only hold up to coherent homotopy. Then it is a theorem of Dwyer and Kan that the projective model structures on homotopy coherent diagrams (i.e. $\mathrm{Fun}(\mathfrak{C} \mathcal{I}, \mathrm{SSet})$) and on commutative diagrams (i.e. $\mathrm{Fun}(\mathcal{I}, \mathrm{SSet})$ are Quillen equivalent under some form of Kan extension.</p> <p>Part of this question is to help myself understand why homotopy coherence is more natural than homotopy commutativity. One example I have in mind is the following: let $X$ be a connected H space, and suppose $X$ is not weakly equivalent to a loop space. Then one can construct a simplicial diagram in the homotopy category given by the nerve construction applied to $X$ (as a group object in the homotopy category). This cannot be lifted to the category of spaces, because then Segal's de-looping machinery would enable us to show that $X$ was the loop space of the geometric realization of this simplicial space. </p> <p>However, this example is rather large. Is there a simple, toy example (preferably involving a finite category) of a homotopy commutative diagram that cannot be strictified?</p> http://mathoverflow.net/questions/81721/a-homotopy-commutative-diagram-that-cannot-be-strictified/81749#81749 Answer by Tyler Lawson for A homotopy commutative diagram that cannot be strictified Tyler Lawson 2011-11-23T20:02:18Z 2011-11-26T22:52:41Z <p>EDIT: Tom Goodwillie, in the comments, points out (interpreted in a quite charitable way) that there are two mistakes with the following argument. The <code>$\pi_1$</code>-obstruction does exist. However:</p> <ul> <li><p>It misreads the question and assumes that there is some portion of an actual diagram which is homotopy commutative.</p></li> <li><p>Even given that, it makes a mistake: it asserts that we can ignore the indeterminacy. This is wrong. For any space in the diagram, the space of maps to the terminal object $S^1$ is not simply-connected, but instead is homotopy equivalent to $S^1$. This allows you to simply erase the obstruction in <code>$\pi_1$</code> by simply making different choices of homotopies.</p></li> </ul> <p>As such, it's advisable that what's written below be demoted and I'll try to get a correct version later.</p> <hr> <p>One of the classical obstructions to realizability is for cubical diagrams. Here, the category $I$ is the poset of subsets of <code>$\{0,1,2\}$</code>. Given such a diagram which is homotopy commutative, you can get twelve maps (one per edge in the cube) and six homotopies (one per face, which are well-defined up to "multiplication by an element in <code>$\pi_1$</code>") and the collection of all possible ways to compose maps, or compose maps with homotopies, gives rise to a hexagon in the space $Map(X,Z)$. Here $X$ is the image of initial object and $Z$ is the image of the terminal object in the cube. If the diagram is actually commutative then you can choose your homotopies to be trivial, and get a trivial hexagon; if it is equivalent to an honestly commutative diagram then you can choose your six homotopies on faces so that the hexagon in $Map(X,Z)$ can be filled in with a disc, or equivalently "represents the trivial element in <code>$\pi_1$</code>".</p> <p>All scare quotes in the above are places where I'm neglecting basepoints. You have to be more careful in a real-world situation.</p> <p>Here's an example where all the spaces in the diagram are contractible, except for the terminal one. This makes it easy to ignore the indeterminacy.</p> <p>Let $Z$ be $S^1$, viewed as a quotient of $[0,1]$. We have six subsets of $Z$, which are the images of <code>$$[0,1/3], [1/3, 2/3], [2/3, 1], \{0\}, \{1/3\}, \{2/3\}$$</code> We get a corresponding cubical diagram in the homotopy category as follows. The space $S^1$ and its six subspaces define an honestly commutative diagram which is almost all of a commutative cube, except that it's missing the initial vertex. Let the initial vertex be a point $\ast$, which maps isomorphically to all three objects <code>$\{0\}, \{1/3\}, \{2/3\}$</code>.</p> <p>(Sorry, I'm not really up to TeXing up the commutative diagram on MO today, it would be much easier to grasp.)</p> <p>This diagram in the homotopy category is homotopy commutative. In fact, all the spaces are connected and the sources of nontrivial morphisms are contractible, so the diagram has no choice but to commute. The six homotopies all occur in contractible mapping spaces, so there is no <code>$\pi_1$</code>-indeterminacy. The hexagon maps to the mapping space $Map(\ast,S^1) \cong S^1$, and if you use the most obvious choices of homotopies then the hexagon maps to $S^1$ by a homotopy equivalence.</p> <p>In this instance you can choose a witness to each commutativity diagram. The failure to rectify homotopy commutativity occurs here because your witnesses aren't telling stories that are compatible.</p> http://mathoverflow.net/questions/81721/a-homotopy-commutative-diagram-that-cannot-be-strictified/81766#81766 Answer by Dylan Wilson for A homotopy commutative diagram that cannot be strictified Dylan Wilson 2011-11-24T01:01:29Z 2011-11-24T01:01:29Z <p>I'm not sure if this is what Tom was referring to, but here's an explicit example that Adams gave of a homotopy-associative H-space that couldn't be strictified, this is quoted from Stasheff's book on H-spaces:</p> <blockquote> <p>Let $Y$ be a Moore space, $Y(G, 2n-1)$ where divisibility by $2$ and $3$ but no other primes is possible. Thus $Y$ has cohomology only in dimensions $2n-1$ and for $i \ne n$, $\pi_iY \cong \sum_{p>3} \pi_i(S^{2n-1})_p$. Consider $Y \subset \Omega^2\Sigma^2Y$ which is an associative H-space. The obstructions to forming $Y \times Y \rightarrow \Omega^2\Sigma^2Y \times \Omega^2\Sigma^2Y \rightarrow \Omega^2Y$ into $Y$ lie in $H^i(Y \wedge Y; \pi_i(\Omega^2\Sigma^2Y,Y))$. The relative groups are trivial to at least $5(2n)-3$, so the obstructions vanish. Similarly, there are no obstructions to deforming an associating homotopy within $\Omega^2\Sigma^2Y$ to one in $Y$. That $Y$ is not a loop space follows from the decomposability of $P^nu_{2n} \cdot u_{2n}P$ for $p>3$ and $n \not\vert p-1$.</p> </blockquote> <p>I assume that he's referring to Steenrod operations at the end there... Anyway, I know there are probably fancier examples using Zabrodsky mixing, but I like this one because we see an explicit obstruction to straightening the homotopy associativity, via the Steenrod operations. </p> http://mathoverflow.net/questions/81721/a-homotopy-commutative-diagram-that-cannot-be-strictified/81962#81962 Answer by Tom Goodwillie for A homotopy commutative diagram that cannot be strictified Tom Goodwillie 2011-11-26T20:05:59Z 2011-11-27T13:41:07Z <p>One thing to be aware of is that, even when liftings to strict diagrams exist, their non-uniqueness is a serious matter. For example, consider the square pushout diagram in which $S^n$ maps to a point, and to $D^{n+1}$ by inclusion; the fourth space is $S^{n+1}$. Compare this with a different diagram in which the four spaces are the same and three of the maps are the same but the map $S^n\to D^{n+1}$ is replaced by a constant map (to some point in the boundary). This is again strictly commutative, and it yields an isomorphic diagram in $Ho(Top)$, but the one square is "highly connected" while the other is not: the first square gives a map from the homotopy fiber of $S^n\to \star$ (which is $S^n$) to the homotopy fiber of $D^{n+1}\to S^{n+1}$ (which is homotopy equivalent to $\Omega S^{n+1}$) that induces an isomorphism of $H_n$, while the second square induces a map between precisely the same two homotopy fibers which, being a constant map, cannot possibly induce an isomorphism.</p> <p>EDIT </p> <p>Of course there are similar examples involving chain complexes instead of spaces. </p> <p>Note that in the case of the category $Ch(K)$ of chain complexes over a field $K$ the existence of a lifting is automatic. In fact, let $Ch'(K)$ be the full subcategory consisting of chain complexes whose boundary operators are zero: the composed functor $Ch'(K)\to Ch(K)\to Ho(Ch(K))$ is an equivalence of categories, so every diagram (of any shape) in the homotopy category can be lifted. </p> <p>But of course this does not mean that we are silly to bother with chain complexes that have nonzero boundary operators. The point is that a commutative diagram in the homotopy category is not good for much. For example, Mayer-Vietoris sequences arise from certain square diagrams of chain complexes (say, those which are both pushouts and pullbacks), but two of these may be isomorphic as diagrams in the homotopy category and give different results.</p> http://mathoverflow.net/questions/81721/a-homotopy-commutative-diagram-that-cannot-be-strictified/82516#82516 Answer by Jeff Smith for A homotopy commutative diagram that cannot be strictified Jeff Smith 2011-12-02T22:43:41Z 2011-12-02T22:43:41Z <p>Generically speaking, the obstructions to rigidification are generalized Toda brackets.</p> <p>Let C be the partial order {0,1}x{0,1}x{0,1}. (C for cube) Let f:A->B, g:B->C and h:C->D be pointed maps such that gf and hg are null homotopic. Lay f, g and h along three edges of the cube with A at 000, B at 001, C at 011, D at 111. Put * (a point) at all other vertices of C and fill in the rest of the arrows in the only way possible. This gives a hunky dory diagram in the homotopy category. The diagram can be rigidified if and only if the Toda bracket contains 0. Jeff Smith</p> http://mathoverflow.net/questions/81721/a-homotopy-commutative-diagram-that-cannot-be-strictified/82958#82958 Answer by Jesper Grodal for A homotopy commutative diagram that cannot be strictified Jesper Grodal 2011-12-08T11:49:57Z 2011-12-30T04:03:11Z <p>A good place to look for finite toy examples is in the theory of <em>group extensions with non-abelian kernel</em>. </p> <p>A homomorphism $G \to Out(H)$ is the same as a functor <code>$G \to Ho(Top)$</code> sending <code>$*$</code>to <code>$BH$</code>, where <code>$G$</code> is viewed as a category with one object <code>$*$</code> and <code>$G$</code> as morphisms. By the Dwyer-Kan obstruction theory (noting that the diagram is <em>centric</em>) the obstructions to lifting this to a diagram in Top lies in $H^3(G;Z(H))$.</p> <p>A closer inspection shows that this obstruction class is the same as the obstruction in $H^3(G;Z(H))$ to constructing an extension</p> <p>$$1 \to H \to ? \to G \to 1$$</p> <p>It is possible to calculate this obstruction group in a number of cases:</p> <p>Eilenberg-MacLane show in the 1947 Annals paper "Cohomology Theory in Abstract Groups II" that given a group $G$ and an abelian group $C$ with an action of $C$, and a class $v$ in $H^3(G;C)$ then there exist a group $H$ with center $C$ and a morphism $G \to Out(H)$ realizing the class $v$. (A special case is proven in MacLane's book Homology, and there is an exposition on some of this in Brown's book on group cohomology.) Note that in this construction $H$ may be infinite even if $G$ and $C$ are not.</p> <p>It is also possible to give completely finite examples: Given a group H there is a <em>universal</em> obstruction in $H^3(Out(H);Z(H))$ associated to this group, determining whether the extension </p> <p>$$1 \to H \to ? \to Out(H) \to 1$$ </p> <p>exists. Other obstruction classes will be a pull-back of this one (in particular it has the best chance of being non-zero).</p> <p>The topological interpretation of this obstruction class is that it is the unique k-invariant of the space $BAut(BH)$, where Aut means the space of self-homotopy equivalences. (Recall that group extensions correspond to fibrations, and fibrations with fiber $F$ are classified by maps into $BAut(F)$, and this is a good way to understand group extensions with non-abelian kernel.) </p> <p>Now, it is possible to calculate this class explicitly for small groups $H$. It of course vanishes when H is abelian. It also turns out to vanish for $H = D_8$ or $Q_8$, but is actually <em>non-zero</em> for $D_{16}$ and $Q_{16}$. </p> <p>[As an aside I can say that the H^3 class always vanishes for compact connected Lie groups, which is a theorem of de Siebenthal from the 1950's. Kasper Andersen and I proved that this generalizes to p-compact groups (in a G&amp;T paper from 2008), which was why Kasper and I examined the case where $H$ finite.]</p> <p>[As a further aside I can say that there are a lot of similar obstruction questions over relatively small categories such as the orbit category and corresponding centric diagrams, which occur in e.g., in the theory of p-compact groups and p-local finite groups, when addressing certain uniqueness questions -- here lucily the obstructions are usually zero, although this is usually not so easy to prove, and in particular don't seem to follow from "formal" arguments.]</p>