The cohomology of Torelli groups is algebraic

Abstract

The Torelli group of $W_g={\#}^g{S}^n\times S^n$ is the subgroup of the diffeomorphisms of $W_g$ fixing a disc which act trivially on $H_n(W_g;Z)$. The rational cohomology groups of the Torelli group are representations of an arithmetic subgroup of $S{p}_{2g}(Z)$ or $O_{g,g}(Z)$. In this paper we prove that for $2n\ge 6$ and $g\ge 2$, they are in fact algebraic representations. Combined with previous work, this determines the rational cohomology of the Torelli group in a stable range. We further prove that the classifying space of the Torelli group is nilpotent.

arXiv comment49 pages, to appear in Forum of Mathematics, Sigma

References in corpus (11)

• Embeddings from the point of view of immersion theory: Part I
• Homological stability for moduli spaces of high dimensional manifolds. I
• Embeddings from the point of view of immersion theory: Part II
• Monoids of moduli spaces of manifolds
• Spaces of smooth embeddings and configuration categories
• Multiple disjunction for spaces of smooth embeddings
• Context-free manifold calculus and the Fulton-MacPherson Operad
• Mapping class groups of highly connected $(4k+2)$-manifolds
• On the cohomology of Torelli groups
• Some finiteness results for groups of automorphisms of manifolds
• Homological stability of topological moduli spaces

Cited by in corpus (6)

• On the cohomology of Torelli groups
• Embedding calculus and smooth structures
• Diffeomorphisms of odd-dimensional discs, glued into a manifold
• Embedding calculus for surfaces
• On automorphisms of high-dimensional solid tori
• Algebraic models for classifying spaces of fibrations