(Co)homological characterization of homotopy pullbacks - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-26T05:34:13Z http://mathoverflow.net/feeds/question/89759 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/89759/cohomological-characterization-of-homotopy-pullbacks (Co)homological characterization of homotopy pullbacks Mikhail Bondarko 2012-02-28T12:47:57Z 2012-02-28T23:45:33Z <p>For a commutative square of spaces (of manifolds, or of simplicial sets): $$S=\left(\begin{array}{ccc} A &amp; \to &amp; B \newline \downarrow &amp; &amp; \downarrow \newline C &amp; \to &amp; D\end{array}\right)$$ I am trying to understand when the relative homotopy of $(B,A)$ is isomorphic up to a certain degree to the one of $(C,D)$. According to my poor understanding of algebraic topology, this condition is closely related with $S$ being a homotopy pullback square. Yet I am most interested in reformulating this condition cohomologically (or, maybe, homologically?). Certain examples and <a href="http://ncatlab.org/nlab/show/fiber+sequence#LongSequCoh" rel="nofollow">http://ncatlab.org/nlab/show/fiber+sequence#LongSequCoh</a> seem to suggest that the cohomology of $D$ should be something like $H^*(B)\otimes_{H^*(A)}H^\ast(C)$ (in lower cohomological degrees). Yet I do not understand how to define the latter object. Is there a nice way to do this (in particular, I would not like to consider some weird spaces in the case when $A,B,C,D$ are manifolds)?</p> <p>Moreover, I would like to have something like a Hurewicz theorem i.e. I would like this cohomological condition to be equivalent to the original homotopy one. Is there a way to do this if all the spaces are simply connected? Is there a nice way to deal with $\pi_1$ in this setting if $A,B,C,D$ are not simply connected (possibly, by passing to the universal covers)?</p> <p>I would be deeply grateful for any hints, and for any references here (especially, for the ones that are not too abstract, and that 'do not deal with weird spaces'). The last remark: I would like to relate this matter with etale homotopy types (and so, with certain completions of homotopy types and homotopy groups).:)</p> http://mathoverflow.net/questions/89759/cohomological-characterization-of-homotopy-pullbacks/89764#89764 Answer by Tyler Lawson for (Co)homological characterization of homotopy pullbacks Tyler Lawson 2012-02-28T13:51:46Z 2012-02-28T14:12:36Z <p>I think that part of what you are looking for is from work of Eilenberg-Moore.</p> <p>Suppose that all four spaces are simply-connected. On taking cohomology, you get a commutative diagram of graded-commutative rings <code>$$\begin{array}{ccc} H^*(A)&amp;\leftarrow &amp;H^*(B)\\ \uparrow &amp; &amp; \uparrow\\ H^*(C)&amp;\leftarrow&amp; H^*(D). \end{array}$$</code> The simplest possible criterion would be that $H^*(A)$ is a pushout (of graded-commutative rings) in this diagram, or equivalently that the map <code>$H^*(B) \otimes_{H^*(D)} H^*(C) \to H^*(A)$</code> is an isomorphism.</p> <p>Unfortunately, the answer is close but not quite that simple - you need a version that involves more homological algebra. Specifically, there is a commutative diagram of cochain algebras <code>$$\begin{array}{ccc} C^*(A)&amp;\leftarrow &amp;C^*(B)\\ \uparrow &amp; &amp; \uparrow\\ C^*(C)&amp;\leftarrow&amp; C^*(D). \end{array}$$</code> and Eilenberg-Moore used this to construct a map out of the derived tensor product <code>$$C^*(B) \mathop{\otimes}^{\mathbb L}_{C^*(D)} C^*(C) \to C^*(A).$$</code> In the simply-connected case, if $A$ is a homotopy pullback then this map is a quasi-isomorphism.</p> <p>As one consequence, if <code>$H^*(B)$</code> or <code>$H^*(C)$</code> is a projective module over <code>$H^*(D)$</code>, then $A$ being a homotopy pullback implies that it satisfies <code>$H^*(A) \cong H^*(B) \otimes_{H^*(D)} H^*(C)$</code>.</p> <p>So far as the rest of your questions:</p> <ul> <li><p>You might be able to combine this with the universal coefficient theorem and with the homology Whitehead theorem to get a result. Specifically, if you check it with field coefficients for an arbitrary field then you get your desired result.</p></li> <li><p>Unfortunately there's not a purely algebraic criterion, because being a homotopy pullback won't always be detected by the maps on cohomology; sometimes it will involve delicate analysis of secondary products.</p></li> <li><p>I don't have a nice, complete answer for you about the non-simply-connected case other than carefully looking at what's going on with the fundamental group and universal covers. The Eilenberg-Moore result wlll have issues with "exotic" convergence.</p></li> <li><p>Finally, I'm afraid that I can't really address your desire for references without "weird" spaces, since most of my friends fall into that category. Maybe someone else can help there.</p></li> </ul> http://mathoverflow.net/questions/89759/cohomological-characterization-of-homotopy-pullbacks/89767#89767 Answer by Mark Grant for (Co)homological characterization of homotopy pullbacks Mark Grant 2012-02-28T14:48:37Z 2012-02-28T14:48:37Z <p>Letting $F$ denote the homotopy fibre of the map $f\colon A \to B$, and $G$ denote the homotopy fibre of $g\colon C\to D$, your diagram gives an induced map (up to homotopy) $F\to G$. </p> <p>Then the map of pairs $(B,A)\to (D,C)$ is an $i$-equivalence if and only if the map $F\to G$ is an $(i-1)$-equivalence. (All this can be seen by converting the maps into fibrations and comparing the associated long exact homotopy sequences.)</p> <p>Now, if you understand the map $F\to G$ well enough on homology, you can use the homology Whitehead Theorem, as in Tyler's answer. (There is a problem here though, in that $F$ and $G$ may not be simply-connected even if all four corners of your diagram are.)</p> http://mathoverflow.net/questions/89759/cohomological-characterization-of-homotopy-pullbacks/89786#89786 Answer by Ronnie Brown for (Co)homological characterization of homotopy pullbacks Ronnie Brown 2012-02-28T19:04:09Z 2012-02-28T19:04:09Z <p>I think you are looking for a <em>triadic Hurewicz theorem</em>: at least that is one interpretation, and fortunately one in which an answer can be given. (This is relevant to Mark's answer.) So I give an account of part of the paper </p> <p>R. Brown, Triadic Van Kampen theorems and Hurewicz theorems'', <em>Algebraic Topology, Proc. Int. Conf. March 1988</em>, Edited M.Mahowald and S.Priddy, Cont. Math. 96 (1989) 39-57. </p> <p>particularly Theorem 7. (pdf from my publication list item 60.) For convenience I'll keep the notation of that paper, partly as I want to use $C$ for the cone construction! </p> <p>It is easiest to assume we have a triad $T=(X;U,V)$, so that $U,V$ are subspaces of $X$ and $W=U \cap V$. We say <em>the triad $T$ is $(t;r,s)$-connected</em> if the pairs $(U,W), (V,W)$ are respectively $r,s$-connected and the triad $T$ is $t$-connected, in the usual sense of vanishing triad sets and groups. </p> <p>The <em>triadic Hurewicz Theorem</em> then asserts: </p> <p>Suppose the triad $T$ is $(p+q-2;p-1,q-1)$-connected. Let $Y=X\cup C(U \cup V)$ (cone construction). Then $Y$ is $(p+q-2)$-connected and $\pi_{p+q-1}(Y)$ is obtained from the triad group $\pi_{p+q-1}(T)$ by killing the action of $\pi_1(W)$ and the generalized Whitehead product elements. </p> <p>Because $Y$ is given by a cone construction, you can immediately deduce homological information by the usual exact sequences. </p> <p>This is a special case of a result which can be put in the framework of squares of spaces, or more generally $n$-cubes of spaces. </p> <p>R. Brown and J.-L. Loday, Homotopical excision, and Hurewicz theorems, for $n$-cubes of spaces'', <em>Proc. London Math. Soc.</em> (3) 54 (1987) 176-192.</p> <p>which is a consequence of the main theorem of our previous paper referenced there (<em>Topology</em>, 26 (1987) 331-334), namely a van Kampen Theorem for $n$-cubes of spaces. </p> <p>Also relevant in this situation is the paper </p> <p>Ellis, G.~J. and Steiner, R. "Higher-dimensional crossed modules and the homotopy groups of $(n+1)$-ads".<em>J. Pure Appl. Algebra</em> 46~(2-3) (1987) 117--136.</p> http://mathoverflow.net/questions/89759/cohomological-characterization-of-homotopy-pullbacks/89812#89812 Answer by John Klein for (Co)homological characterization of homotopy pullbacks John Klein 2012-02-28T23:24:26Z 2012-02-28T23:45:33Z <p>Here are some comments in the form of an answer, which can be viewed as the Koszul dual to Tyler's approach via the Eilenberg-Moore spectral sequence. </p> <p>Firstly, in the special case when $D$ is a point (or even contractible) the map $$A \to B \times C$$ is a weak equivalence, so you can use the Künneth formula to compute the (co-)homology of $A$ interms of that of $B$ and $C$.</p> <p>Secondly, if $D$ is path connected, we can choose a basepoint and pull everything back along the path fibration $\tilde D \to D$ to get a homotopy pullback $$\tilde A \to \tilde B$$ $$\downarrow \quad \quad \downarrow$$ $$\tilde C \to \tilde D$$ and because $\tilde D$ is contractible, the map $\tilde A \to \tilde B \times \tilde C$ is a weak equivalence. To recover $A$ from this, note that $\Omega D$ acts diagonally on $\tilde B \times \tilde C$ (in some $A_\infty$-sense, but we can rigidify this if we want to using the Kan loop group). Taking orbits we obtain $$A \to \tilde B \times_{\Omega D} \tilde C,$$ which is a weak equivalence (here the right side is really the Borel construction of $\Omega D$ acting on $\tilde B \times \tilde C$).</p> <p>In particular, The above suggests that there's a quasi-isomorphism of DG coalgebras $$C_\ast(\tilde A) \simeq C_\ast(\tilde B) \otimes_{C_\ast(\Omega D)} C_\ast(\tilde C) .$$</p>