[Math] Torsion in K-theory versus torsion in cohomology

at.algebraic-topologykt.k-theory-and-homologyspectral-sequences

Inspired by this question, I wonder if anyone can provide an example of a finite CW complex X for which the order of the torsion subgroup of $H^{even} (X; \mathbb{Z}) = \bigoplus_{k=0}^\infty H^{2k} (X; \mathbb{Z})$ differs from the order of the torsion subgroup of $K^0 (X)$, 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.

Even better, is there an example in which X is a manifold? An orientable manifold?

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.

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.

Best Answer

This paper 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ü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.

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?

Related Question