Torsion in K-theory versus torsion in cohomology - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T10:25:47Z http://mathoverflow.net/feeds/question/30788 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/30788/torsion-in-k-theory-versus-torsion-in-cohomology Torsion in K-theory versus torsion in cohomology Dan Ramras 2010-07-06T16:48:56Z 2010-07-08T00:32:18Z <p>Inspired by <a href="http://mathoverflow.net/questions/30345/what-is-an-example-of-a-compact-smooth-manifold-whose-k-theory-and-cech-cohomolog" rel="nofollow"> this </a> question, I wonder if anyone can provide an example of a finite CW complex X for which the order of the torsion subgroup of <code>$H^{even} (X; \mathbb{Z}) = \bigoplus_{k=0}^\infty H^{2k} (X; \mathbb{Z})$</code> differs from the order of the torsion subgroup of <code>$K^0 (X)$</code>, where $K^0$ is complex topological K-theory. This is the same as asking for a non-zero differential in the Atiyah-Hirzebruch spectral sequence for some finite CW complex X, since this spectral sequence always collapses rationally.</p> <p>Even better, is there an example in which X is a manifold? An orientable manifold?</p> <p>Tom Goodwillie's answer to the question referenced above gave examples (real projective spaces) where the torsion subgroups are not isomorphic, but do have the same order.</p> <p>It's interesting to note that the exponent of the images of these differentials is bounded by a universal constant, depending only on the starting page of the differential! This is a theorem of D. Arrlettaz (K-theory, 6: 347-361, 1992). You can even change the underlying spectrum (complex K-theory) without affecting the constant.</p> http://mathoverflow.net/questions/30788/torsion-in-k-theory-versus-torsion-in-cohomology/30793#30793 Answer by Charles Rezk for Torsion in K-theory versus torsion in cohomology Charles Rezk 2010-07-06T17:32:44Z 2010-07-08T00:32:18Z <p>There are many spaces $X$ whose $K$ theory is trivial (isomorphic to that of a point), but whose ordinary cohomology is not. Famously, there is a 4-cell complex obtained by taking the homotopy cofiber of the "Adams map" $$f:S^{11}\cup_{3\iota} e^{12} \to S^7\cup_{3\iota} e^8.$$ Here, $3\iota$ represents a degree $3$ self-map of a sphere. </p> <p>The Adams map induces an isomorphism in $K$-theory, so <code>$K^*(X)\approx K^*(*)\approx Z$</code>. But $H^*(X,Z)\approx Z\oplus Z/3\oplus Z/3$.</p> <p>(Hopefully I have the dimensions correct now.)</p> http://mathoverflow.net/questions/30788/torsion-in-k-theory-versus-torsion-in-cohomology/30893#30893 Answer by Tim Perutz for Torsion in K-theory versus torsion in cohomology Tim Perutz 2010-07-07T14:20:07Z 2010-07-07T14:26:38Z <p><a href="http://arxiv.org/pdf/hep-th/0005103" rel="nofollow">This paper</a> by Volker Braun shows that the orientable 8-manifold $X=\mathbb{RP}^3\times \mathbb{RP}^5$ gives an example. One has $$K^0(X) \cong \mathbb{Z}^2 \oplus \mathbb{Z}/4\oplus (\mathbb{Z}/2)^2$$ and $$H^{ev}(X) \cong \mathbb{Z}^2 \oplus (\mathbb{Z}/2)^5.$$ Braun does the calculations using the K&uuml;nneth formulae for the two theories, with the discrepancy in size arising because the order of the tensor product of finite abelian groups is sensitive to their structure, not just their order.</p> <p>One another remark is that Atiyah and Hirzebruch told us the $d_3$-differential in their spectral sequence. It's the operation $Sq^3 \colon H^i(X;\mathbb{Z})\to H^{i+3}(X;\mathbb{Z})$ given by $Sq^3 := \beta\circ Sq^2 \circ r$, where $r$ is reduction mod 2 and $\beta$ the Bockstein. As you say, Dan, if this is non-vanishing, K-theory has smaller torsion. This happens iff there's a mod 2 cohomology class $u$ such that $u$ admits an integral lift but $Sq^2 (u)$ does not. Can someone think of a nice example where this occurs?</p>