Proves finite generation of H_k(I_g; Z) for k ≤ g-2 and that rational homology is an algebraic Sp(2g,Z)-representation, turning conditional cohomology computations into theorems and proving Morita's conjecture.
Calculating the second rational cohomology group of the Torelli group
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
Minahan and the author recently proved results that allow the calculation of the second rational cohomology group of the Torelli group. This builds on two key ingredients: Hain's calculation of the image of the cup product pairing on the first cohomology group, and Kupers--Randal-Williams's calculation of the maximal algebraic subrepresentation of the second cohomology group. This paper gives an exposition of both of these results, including prerequisite material about the Johnson homomorphism.
fields
math.GT 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Finite generation, algebraicity, and representation stability for homology of Torelli groups
Proves finite generation of H_k(I_g; Z) for k ≤ g-2 and that rational homology is an algebraic Sp(2g,Z)-representation, turning conditional cohomology computations into theorems and proving Morita's conjecture.