# Why torsion is important in (co)homology ?

I've once been told that "torsion in homology and cohomology is regarded by topologists as a very deep and important phenomenon". I presume an analogous statement could be said in the context of algebraic geometry.

In this community wiki question I would like to gather examples, in geometrical fields such as algebraic topology and algebraic geometry, of phenomena that manifest themselves by the presence of torsion in (co)homology groups and whose trace is consistently lost if we simply disregard the torsion part of those groups. As guidelines for the answers:

Which kind of information is lost disregarding torsion in (co)homology? (provide examples)

What does the torsion part of (co)homology tell us about the geometric object involved? (provide examples)

Here "(co)homology" should be understood in any relevant sense, from singular cohomology of cw complexes to étale cohomology of algebraic varieties and so on and so forth.

It may well be true that the algebro geometric examples have nothing to do, conceptually, with the topological ones: I'm not interested in a unifying pattern per se, but if such a unifying pattern does appear in some answers, well, it's just good.

-
I generally regard torsion in (co)homology as a sign that one should be computing K-theory instead, which has less of it. – Allen Knutson Apr 26 '10 at 14:22
I agree in principle but this is not always true, the real projective spaces form one example. – Torsten Ekedahl Apr 26 '10 at 14:48
I would say that forgetting all about torsion really is tensoring with rationals, and then any generalized (co)homology theory comes from the usual one with Q coefficients by shifts and sums/products. Stable homotopy tensored with Q is usual homology with rational coefficients, for instance. – BS. Jun 4 '10 at 10:05
Sometimes singularities of varieties can only be measured if we allow for torsion. For example, the complex locus of y^2= xz is rationally smooth at the origin, but local homology with integer coefficients reveals nonzero homology where there wouldn't be if it was smooth at the origin. I'd post this as an answer but I really don't know what I'm talking about- we just had this as an exercise in my algebraic topology class last week. – Dylan Wilson Nov 11 '10 at 23:24

In their paper "Some Elementary Examples of Unirational Varieties Which are Not Rational", Artin and Mumford show that the torsion in $H^3(V, Z)$ of a non singular projective 3-fold $V$ is a birational invariant. This is great because it gives a cohomological obstruction to rationality (there is no torsion in the cohomology of projective space). They they are able to show that certain conic bundles over rational surfaces are not rational by exhibiting such torsion (their conic bundles are unirational, hence the title). The paper is very nice.

-

The first place that one sees that torsion is deep is in the homotopy groups of spheres, which, mod torsion, are described completely by a theorem of Serre. However the torsion part of the homotopy groups of spheres is very complicated.

If we work rationally, that is, if we forget about torsion, then lots of cohomology theories tend to be the same. (There's a general theorem of this sort, but I've forgotten the precise statement.) For example, singular cohomology and K-theory are isomorphic, rationally, via Chern character.

-
I have to disagree with you about that one...first place that I saw torsion (and also, note, the question is about (co)homology more than homotopy, I think), was in the cohomology of the real projective plane, and I recall using it to give a proof of nonorientability...though admittedly, I haven't thought about $\mathbb{RP}^n$ in awhile. – Charles Siegel Apr 26 '10 at 15:23
Ok, sure. But that example not really very "deep", is it? (Also, I know that homotopy is closely related to (co)homology... but I will wait for others more expert than I to elaborate on the connection.) – Kevin H. Lin Apr 27 '10 at 10:03
See for example en.wikipedia.org/wiki/… and en.wikipedia.org/wiki/… – Kevin H. Lin Apr 28 '10 at 9:35

[[ Sorry I missed that the question was also concerned with the question in an algebraic topological context. This answer is only concerned with algebraic geometry.]]

I think the first question is much easier to answer. mdeland has given the Artin-Mumford non-rationality example as one answer. Another is the Atiyah-Hirzebruch example of an even-degree torsion class of a smooth projective variety which is not algebraic, showing that an integral version of the Hodge conjecture is false. This gives examples (and there are others) where torsion can be used to show something about an algebraic variety which one couldn't show without (actually I would say that it is more a question of integral versus rational cohomology even without torsion one can exploit that certain cohomology classes are not divisible by some particular integer). I would say that gives an answer to the first question.

The second is of a very different nature. In algebraic topology torsion (and more general integral cohomology again versus rational cohomology) are enormously important for understanding the homotopy type of a space. Take as an example the spheres. Rationally their homotopy theory is trivial but integrally you have highly non-trivial homotopy groups (this non-triviality does not reflect itself in the cohomology of the spheres but is closely related to spaces derived from the spheres, the pieces of the Postnikov tower). Of course algebraic varieties (over $\mathbb C$, but that is not essential) give homotopy types too but it not always clear what the homotopy type of an algebraic variety tells you about the algebro-geometric structure of the variety (unless you somehow incorporate algebraic topology under algebraic geometry...). There are some examples though: The torsion in the second cohomology group comes directly from the fundamental group and in particular give you abelian étale covers of the variety. The torsion in the third cohomology group tells you about the Brauer group of the variety and in particular corresponds (for some definition of "corresponds") to projective fibrations over the variety. The correspondence is quite indirect however. I would for instance love to know the least relative dimension of a projective fibration over an Enriques surface which realises the element of order $2$ in the third cohomology group or even better a geometric construction of any such fibration. In higher cohomological degrees the situation is even worse (unless one chooses the above incorporation option, higher algebraic stacks could be said to do that).

-

I just wanted to add two more examples about torsion in cohomology groups of low degree that came into my mind reading the above (great) answers:

• Any torsion element in $H^2(M, \mathbb{Z})$ for a space $M$ can be realized as the first Chern class of a complex flat line bundle.
• Similar to this, you may know that elements in $H^3(M, \mathbb{Z})$ correspond (up to some equivalence) to twists in twisted K-theory. Now, if that class is torsion, you get a very nice description of twisted K-theory via modules over bundle gerbes. Or, if you don't like twisted K-theory, the torsion elements in $H^3(M,\mathbb{Z})$ correspond to (stable equivalence classes) of those bundle gerbes, which allow a (finite dimensional) bundle gerbe module.
-

Inspired by Ulrich Pennig's answer, I'll mention that Chern-Weil theory tells us that the Chern classes of a flat bundle over a manifold are always trivial in rational cohomology. But quite often they are non-trivial in integral cohomology, and hence provide a method of distinguishing between flat bundles. For instance, over a non-orientable surface, there are precisely two isomorphism types of flat vector bundles in each dimension (one being the trivial bundle), distinguished by their first Chern class in $H^2 (S; \mathbb{Z}) = \mathbb{Z}/2$.

-
You mean line bundles? – Qfwfq May 5 '10 at 9:23
These statements are true for bundles of any dimension. The fact about bundles over surfaces can be seen in several ways; here's one: Note that the classifying map $S\to BU(n)$ can be assumed to land in the 2-skeleton of $BU(n)$, which is just $S^2$, regardless of n (I'm thinking of the standard CW structure on the Grassmannian). So the classifying map really lands in $CP^\infty$, and hence bundles over S all have the form $L\oplus \epsilon^k$, where L is a line and `$\epsilon^k$ is trivial. – Dan Ramras May 5 '10 at 16:33
The fact that both the trivial and non-trivial bundle over S admit a flat connection takes more work. Melissa Liu and Nan-Kuo Ho have some papers about this. – Dan Ramras May 5 '10 at 16:34
Thanks, Dan . – Qfwfq May 12 '10 at 17:43

An orientable closed 3-manifold $M$ with $rank(H_1(M,\mathbb{Z}/p\mathbb{Z}))\geq 3$ has infinite fundamental group, by a result of Shalen & Wagreich (one may also deduce this now from the Geometrization theorem, but their theorem gives more information, such as the $p$-completion of $\pi_1(M)$ is infinite). Of course, if $b_1(M)=0$, then this is undetected by rational cohomology.

-

Following up on Charles' comment to Kevin's answer, torsion can be helpful in determining whether or not a manifold is orientable: $H_{n-1} (M; Z)$ is torsion-free when M is orientable and has torsion subgroup Z/2 when M is non-orientable. For surfaces, this means orientability can be detected from H_1, which is quite nice.

On the other hand, you don't really need to pay attention to torsion to see the difference between orientability and non-orientability. A closed (connected) n-manifold M is orientable iff $H_n (M; Z) = Z$, and non-orientable iff $H_n (M; Z) = 0$. The same statements hold with integral coefficients replaced by real coeffients.

This is all in Hatcher's section on Poincare Duality.

-

There are some very important 'torsion motivic' statement: the calculation of Suslin's homology, Milnor and Bloch-Kato conjecture (proved by Voevodsky). Also, the proof of the latter statements uses algebraic cobordism and motivic cohomology operations, which do not work integrally.

Also, I believe that Steenrod's operations should be important for algebraic topology, but I do not know anything about that.

-
Indeed, they are terribly important. For example, most of the techniques computing (2-primary, stable) homotopy groups of spheres use Steenrod operations. – Lennart Meier Apr 27 '10 at 8:15

Integer pontrjagin classes are diffeomorphism invariant, while rational pontrjagin classes are homeomorphism invariant, due to Novikov. Also there are examples where two smooth manifolds are homeomorphic but with different integer pontrjagin classes. And of course the cohomology of the manifolds need to have some torsion in order to make this work. See for example, Matthias kreck and Wolfgang Lueck's book, The novikov conjecture - geometry and algebra, pp 29- 31

-

Suppose $G$ is a split semisimple $\mathbf{Q}$-group and $\Gamma \subset G(\mathbf{Q})$ is a lattice. Conjectures due to Ash and his collaborators (elaborating on earlier work of Serre) predict a fairly precise correspondence between continuous representations $\rho: \mathrm{Gal}(\overline{\mathbf{Q}}/\mathbf{Q})\to\widehat{G}(\overline{\mathbf{F}}_p)$ and "Hecke eigenclasses" in $H^{\ast}(\Gamma,\overline{\mathbf{F}}_p)$. See for example this paper where the conjecture is elaborated very precisely for $\mathrm{GL}_n/\mathbf{Q}$, and this paper for a more general prediction.

The really remarkable thing here is that for may groups $G$ - say, if $G(\mathbf{R})$ does not admit discrete series - there should be a serious paucity of non-torsion characteristic zero homology, and the classes predicted by Galois representations will often not be the mod-$p$ reduction of some characteristic zero class! So these genuine torsion classes should be tied rather intimately to Galois representations - that seems pretty remarkable to me!

-

The Hantsche obstruction to embedding a 3-manifold $M$ in a homology 4-sphere is a $\mathbb Q/\mathbb Z$-valued bilinear form on the torsion subgroup of $H_1(M;\mathbb Z)$. If you were to use (co)homology with rational coefficients this would be invisible to you.

If you're less fussy about using the integers in your discussion of torsion, the Alexander polynomial is a torsion invariant of the homology of a covering space of knots and links. This time the ring is the ring of single-variable Laurent polynomials with integer coefficients.

-