Third differential in Atiyah Hirzebruch spectral sequence - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T11:09:26Z http://mathoverflow.net/feeds/question/62642 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/62642/third-differential-in-atiyah-hirzebruch-spectral-sequence Third differential in Atiyah Hirzebruch spectral sequence Sam Nariman 2011-04-22T17:27:09Z 2011-06-23T20:05:06Z <p>Does any one know why $d_3: H^* (X, K^0(point))\rightarrow H^{*+3}(X,K^0(point))$ is actually extended $Sq^3$ to $\mathbb{Z}$ coefficient.</p> http://mathoverflow.net/questions/62642/third-differential-in-atiyah-hirzebruch-spectral-sequence/62644#62644 Answer by Tyler Lawson for Third differential in Atiyah Hirzebruch spectral sequence Tyler Lawson 2011-04-22T17:58:31Z 2011-04-22T17:58:31Z <p>This follows from the following considerations:</p> <ol> <li><p>This differential in the Atiyah-Hirzebruch spectral sequence must be a stable cohomology operation for general nonsense reasons (the first nonvanishing differential always is, no matter what the generalized cohomology theory is).</p></li> <li><p>There are exactly two stable cohomology operations <code>$H^*(X) \to H^{*+3}(X)$</code> with integer coefficients. One of them is zero, and the other is <code>$\beta \circ Sq^2 \circ r$</code>, where $r$ is reduction mod 2 and $\beta$ is the Bockstein from mod-2 cohomology to integer cohomology. This comes from a calculation of the cohomology of Eilenberg-Mac Lane spaces, which describe all possible cohomology operations; for n sufficiently large we have <code>$H^{n+3}(K(\mathbb{Z},n)) = \mathbb{Z}/2$</code>.</p></li> <li><p>The <code>$d_3$</code> differential is not the zero cohomology operation. For this, it suffices to find one space for which this differential is nontrivial (and you can find this by actually calculating the complex K-groups). I believe that you can find this for <code>$\mathbb{RP}^2 \times \mathbb{RP}^4$</code>; perhaps someone more industrious can flesh this out?</p></li> </ol> http://mathoverflow.net/questions/62642/third-differential-in-atiyah-hirzebruch-spectral-sequence/62669#62669 Answer by Dan Ramras for Third differential in Atiyah Hirzebruch spectral sequence Dan Ramras 2011-04-22T21:39:21Z 2011-04-22T21:39:21Z <p>Okay, I can't pass up the chance to try and be more industrious than Tyler (this is really a comment on Tyler's answer). </p> <p>I'll try to explain why there's a non-zero <code>$d_3$</code> differential in the AHSS for <code>$\mathbb{R}P^2 \times \mathbb{R}P^4$</code>.</p> <p>The K-theory of <code>$\mathbb{R}P^{k}$</code> is $\mathbb{Z} \oplus \mathbb{Z}/2^k$ in dimension 0 and is trivial in dimension 1 (at least for $k$ even). Applying the Kunneth Theorem tells you that <code>$K^0 (\mathbb{R}P^2 \times \mathbb{R}P^4) = \mathbb{Z}\oplus \mathbb{Z}/2\oplus \mathbb{Z}/4\oplus \mathbb{Z}/2$</code>. Comparing with the cohomology of <code>$\mathbb{R}P^2 \times \mathbb{R}P^4$</code>, one sees that one factor of <code>$\mathbb{Z}/2$</code> appearing on the line $y-x = 0$ in the E_2 page of the AHSS has to be killed by a differential. </p> <p>After the 3rd page, all differentials coming in (or out) of the line $y-x = 0$ in the AHSS start (or end) at trivial groups. So there must be a non-zero differential on the 3rd page. It's not clear to me which one it is, but I haven't thought about the multiplicative structure.</p> http://mathoverflow.net/questions/62642/third-differential-in-atiyah-hirzebruch-spectral-sequence/68649#68649 Answer by John Rognes for Third differential in Atiyah Hirzebruch spectral sequence John Rognes 2011-06-23T20:05:06Z 2011-06-23T20:05:06Z <p>A pretty direct argument was given by Frank Adams in the proof of 16.6 (page 336) in part III of his 1974 Chicago lectures (MR0402720). Thinking of the Atiyah--Hirzebruch spectral sequence for $K^*(X)$ as arising from the Postnikov tower $\{P^n ku\}$ of ku (Adams calls this spectrum $bu$), row 0 and row 2 come from the layers $HZ$ and $\Sigma^2 HZ$, sitting in a cofiber sequence $\Sigma^2 HZ \to P^2 ku \to HZ \to \Sigma^3 HZ$. The $d_3$-differential is induced by the third map, i.e., the first $k$-invariant of $ku$. To see that the $k$-invariant is the integral lift $\beta Sq^2$ of $Sq^3$, i.e., not zero, Adams looks at the third space in the $ku$-spectrum, namely $SU$, and notices that $\beta Sq^2 \ne 0$ in $H^6(K(Z, 3); Z)$ but $H^6(SU; Z) = 0$. This implies that the $k$-invariant is nonzero.</p>