arxiv: 2604.24733 · v1 · submitted 2026-04-27 · 🧮 math.GT · math.AT

Recognition: unknown

Calculating the second rational cohomology group of the Torelli group

Andrew Putman

Pith reviewed 2026-05-07 17:38 UTC · model grok-4.3

classification 🧮 math.GT math.AT

keywords Torelli grouprational cohomologyJohnson homomorphismmapping class groupcup productalgebraic representationssurface bundles

0 comments

The pith

The second rational cohomology of the Torelli group is determined by combining Hain's cup-product image with the maximal algebraic subrepresentation via the Johnson homomorphism.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper supplies a detailed exposition that makes the second rational cohomology group of the Torelli group explicitly calculable. It rests on two external results: Hain's determination of the image of the cup-product map from the first cohomology, and Kupers-Randal-Williams's identification of the largest algebraic subrepresentation inside the second cohomology. The exposition adds the necessary background on the Johnson homomorphism so that these two pieces can be joined to give the full answer. A reader cares because the Torelli group is the kernel of the action of the mapping class group on the homology of a surface, and its cohomology controls many invariants of surface bundles and three-manifolds.

Core claim

Minahan and the author have established results that permit the calculation of the second rational cohomology group of the Torelli group. The calculation proceeds by feeding Hain's description of the image of the cup-product pairing on the first cohomology together with Kupers-Randal-Williams's description of the maximal algebraic subrepresentation of the second cohomology into the Johnson homomorphism, which supplies the missing bridge between the two.

What carries the argument

The Johnson homomorphism, which maps the Torelli group into a space of homomorphisms between the first homology and its exterior square and thereby relates the cup-product structure on cohomology to algebraic representations.

If this is right

The rational second cohomology is completely determined once the two input calculations are accepted.
Explicit bases or generators for the cohomology can be written down from the known algebraic and cup-product data.
The result supplies a concrete model for the cohomology that can be compared with other constructions such as the Johnson filtration or the Magnus representation.
Higher-degree rational cohomology calculations become more feasible once the degree-two case is settled.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same combination technique might extend to give information about the integral or mod-p cohomology of the Torelli group.
The calculation provides a test case for conjectures about the stable cohomology of mapping class groups in the presence of the Torelli kernel.
Similar expositions could be written for other subgroups of the mapping class group whose cohomology is controlled by Johnson-type homomorphisms.

Load-bearing premise

Hain's calculation of the cup-product image and Kupers-Randal-Williams's calculation of the maximal algebraic subrepresentation are both correct and can be combined using the Johnson homomorphism.

What would settle it

An independent computation, for genus 3 or 4, of the dimension of the second rational cohomology of the Torelli group that fails to match the dimension predicted by the combined image and subrepresentation would show the claim is false.

read the original 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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This is a clear exposition assembling Minahan-Putman, Hain, and Kupers-Randal-Williams to compute the second rational cohomology of the Torelli group, with no new theorems.

read the letter

The paper's main point is that results from Minahan and the author, together with Hain's work on the cup product image and Kupers-Randal-Williams on the maximal algebraic subrepresentation, combine via the Johnson homomorphism to give H^2 of the Torelli group with rational coefficients. It presents this as an exposition and includes background on the Johnson homomorphism as prerequisite material. That background is the part that does the most work here, since it spells out how the pieces fit without assuming readers already see the connections. The write-up looks straightforward and honest about relying on the cited calculations rather than re-proving them. The central claim holds up on its own terms because it does not assert independent derivations or new identities; it just shows how the existing ones yield the cohomology group. The soft spot is that any error in the prior papers on the cup product or the algebraic subrepresentation would pass through unchanged, and the paper does not add checks or alternative routes. That is normal for an exposition, but it means the value is tied to how accessible and accurate the synthesis feels in the full text. This is for people already working on mapping class groups or Torelli groups who want a consolidated reference for this specific computation rather than a research breakthrough. I would bring it to a reading group focused on geometric topology to walk through the Johnson homomorphism section. I would not cite it for a new result, but might point to it as a reference. It deserves peer review for a venue that accepts expository notes, since a readable account of this calculation fills a practical gap even without novelty.

Referee Report

0 major / 3 minor

Summary. The manuscript is an exposition of results allowing the calculation of the second rational cohomology group of the Torelli group. It combines recent results proved by Minahan and the author with Hain's calculation of the image of the cup product pairing on the first cohomology and Kupers-Randal-Williams's calculation of the maximal algebraic subrepresentation of the second cohomology, linked via the Johnson homomorphism, and includes prerequisite material on the Johnson homomorphism.

Significance. If the presentation of the cited results is accurate, the paper provides a consolidated reference that makes the computation of H^2(Torelli; Q) accessible. This is useful for researchers studying the cohomology of mapping class groups and the algebraic geometry of moduli spaces, as it assembles independent prior calculations into a single coherent account without introducing new derivations.

minor comments (3)

[Abstract] The abstract states that the results 'allow the calculation' but does not record the explicit dimension or basis of the resulting cohomology group; adding this would make the central outcome immediately visible to readers.
[Introduction / Johnson homomorphism prerequisites] In the section introducing the Johnson homomorphism, the notation for the target of the homomorphism and its relation to the symplectic representation could be cross-referenced to a standard reference such as Hain's survey to aid readers who are not already familiar with the construction.
[Main calculation section] The combination step that invokes both Hain's cup-product image and the Kupers-Randal-Williams maximal algebraic subrepresentation would benefit from a short diagram or explicit statement of how the two subspaces intersect inside H^2, even if the details are in the cited papers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their review, positive assessment of the manuscript's utility as a consolidated reference, and recommendation for minor revision. The report contains no specific major comments requiring point-by-point response.

Circularity Check

0 steps flagged

No significant circularity; expository paper combining independent prior results

full rationale

The manuscript is explicitly an exposition of three independent prior calculations (Hain on cup products, Kupers-Randal-Williams on algebraic subrepresentations, and the recent Minahan-Putman results on the Johnson homomorphism) rather than a source of new derivations. No equations, predictions, or uniqueness claims inside the paper reduce to its own fitted inputs or self-citations by construction. The central statement is simply that these externally established ingredients suffice when combined, with no internal self-referential loop or ansatz smuggled via citation.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The exposition rests on standard facts from algebraic topology and group cohomology that are treated as background; no new free parameters, ad-hoc axioms, or invented entities are introduced in this paper.

axioms (1)

domain assumption Standard properties of the Johnson homomorphism and its relation to the Torelli group
Included as prerequisite material; invoked to connect the cup product and algebraic subrepresentation results.

pith-pipeline@v0.9.0 · 5353 in / 1172 out tokens · 60190 ms · 2026-05-07T17:38:23.590437+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

60 extracted references · 27 canonical work pages

[1]

Birman, On Siegel’s modular group, Math

J. Birman, On Siegel’s modular group, Math. Ann. 191 (1971) 59–68. (Cited on page 11.)

1971
[2]

Boldsen & M

S. Boldsen & M. Dollerup, Towards representation stability for the second homology of the Torelli group, Geom. Topol. 16 (3) (2012) 1725–1765.arXiv:1101.5767(Cited on pages 45 and 46.)

work page arXiv 2012
[3]

Borel, Stable real cohomology of arithmetic groups, Ann

A. Borel, Stable real cohomology of arithmetic groups, Ann. Sci. ´Ecole Norm. Sup. (4) 7 (1974), 235–272 (1975). (Cited on pages 31 and 47.)

1974
[4]

Borel, Stable real cohomology of arithmetic groups

A. Borel, Stable real cohomology of arithmetic groups. II, inManifolds and Lie groups (Notre Dame, Ind., 1980), pp. 21–55, Progr. Math., 14, Birkh¨ auser, Boston, MA. (Cited on pages 31 and 47.)

1980
[5]

Borel,Linear algebraic groups, second edition, Graduate Texts in Mathematics, 126, Springer, New York, 1991

A. Borel,Linear algebraic groups, second edition, Graduate Texts in Mathematics, 126, Springer, New York, 1991. (Cited on pages 5 and 21.)

1991
[6]

K. S. Brown,Cohomology of groups, Corrected reprint of the 1982 original, Springer, New York, 1994. (Cited on pages 34, 35, and 41.)

1982
[7]

Childers, Simply intersecting pair maps in the mapping class group, J

L. Childers, Simply intersecting pair maps in the mapping class group, J. Knot Theory Ramifications 21 (2012), no. 11, 1250107, 21 pp.arXiv:1012.4751(Cited on page 18.)

work page arXiv 2012
[8]

Church & A

T. Church & A. Putman, Generating the Johnson filtration, Geom. Topol. 19 (2015), no. 4, 2217–2255. arXiv:1311.7150(Cited on page 11.)

work page arXiv 2015
[9]

Church, M

T. Church, M. Ershov, & A. Putman, On finite generation of the Johnson filtrations, J. Eur. Math. Soc. 24 (2022), no. 8, 2875–2914.arXiv:1711.04779(Cited on page 11.)

work page arXiv 2022
[10]

Church & B

T. Church & B. Farb, Representation theory and homological stability, Adv. Math. 245 (2013), 250–314. arXiv:arXiv:1008.1368(Cited on pages 8 and 45.)

work page arXiv 2013
[11]

Ershov & D

M. Ershov & D. Franz, Effective finite generation for [ IAn,IA n] and the Johnson kernel, Groups Geom. Dyn. 17 (2023), no. 4, 1149–1192.arXiv:2010.09673(Cited on page 11.)

work page arXiv 2023
[12]

Ershov & S

M. Ershov & S. He, On finiteness properties of the Johnson filtrations, Duke Math. J. 167 (2018), no. 9, 1713–1759.arXiv:1703.04190(Cited on page 11.)

work page arXiv 2018
[13]

Farb, Representation stability, inProceedings of the International Congress of Mathematicians—Seoul

B. Farb, Representation stability, inProceedings of the International Congress of Mathematicians—Seoul
[14]

II, 1173–1196, Kyung Moon Sa, Seoul.arXiv:1404.4065(Cited on page 8.)

Vol. II, 1173–1196, Kyung Moon Sa, Seoul.arXiv:1404.4065(Cited on page 8.)

work page arXiv
[15]

Farb & D

B. Farb & D. Margalit,A primer on mapping class groups, Princeton Mathematical Series, 49, Princeton Univ. Press, Princeton, NJ, 2012. (Cited on pages 11, 40, 41, 53, and 55.) 23Once this proof is complete, since the inequality we are proving is an equality we will know that these differentials vanish too. CALCULATING THE SECOND RATIONAL COHOMOLOGY GROUP ...

2012
[16]

Fox, Free differential calculus

R. Fox, Free differential calculus. I. Derivation in the free group ring, Ann. of Math. (2) 57 (1953), 547–560. (Cited on page 11.)

1953
[17]

Fulton & J

W. Fulton & J. Harris,Representation theory, Graduate Texts in Mathematics Readings in Mathematics, 129 , Springer, New York, 1991. (Cited on pages 3, 5, and 21.)

1991
[18]

Goodman and N

R. Goodman and N. Wallach,Symmetry, representations, and invariants, Graduate Texts in Mathematics, 255, Springer, Dordrecht, 2009. (Cited on page 46.)

2009
[19]

Habegger & C

N. Habegger & C. Sorger, An infinitesimal presentation of the Torelli group of a surface with boundary, preprint 2000. (Cited on page 33.)

2000
[20]

Hain, Infinitesimal presentations of the Torelli groups, J

R. Hain, Infinitesimal presentations of the Torelli groups, J. Amer. Math. Soc. 10 (1997), no. 3, 597–651. arXiv:alg-geom/9512001(Cited on pages 2, 3, and 33.)

work page arXiv 1997
[21]

Hain, Johnson homomorphisms, EMS Surv

R. Hain, Johnson homomorphisms, EMS Surv. Math. Sci. 7 (2020), no. 1, 33–116; MR4195745 arXiv:1909.03914(Cited on pages 10 and 20.)

work page arXiv 2020
[22]

Harer, The second homology group of the mapping class group of an orientable surface, Invent

J. Harer, The second homology group of the mapping class group of an orientable surface, Invent. Math. 72 (1983), no. 2, 221–239. (Cited on pages 31 and 43.)

1983
[23]

Harer, Stability of the homology of the mapping class groups of orientable surfaces, Ann

J. Harer, Stability of the homology of the mapping class groups of orientable surfaces, Ann. of Math. (2) 121 (1985), no. 2, 215–249. (Cited on page 49.)

1985
[24]

Hatcher & D

A. Hatcher & D. Margalit, Generating the Torelli group, Enseign. Math. 58 (2012), 165–188. arXiv:1110.0876(Cited on page 11.)

work page arXiv 2012
[25]

N. Ivanov, On the homology stability for Teichm¨ uller modular groups: closed surfaces and twisted coefficients, inMapping class groups and moduli spaces of Riemann surfaces (G¨ ottingen, 1991/Seattle, WA, 1991), 149–194, Contemp. Math., 150, Amer. Math. Soc., Providence, RI. (Cited on page 49.)

1991
[26]

Johnson, Homeomorphisms of a surface which act trivially on homology, Proc

D. Johnson, Homeomorphisms of a surface which act trivially on homology, Proc. Amer. Math. Soc. 75 (1979), no. 1, 119–125. (Cited on page 54.)

1979
[27]

Johnson, An abelian quotient of the mapping class group I g, Math

D. Johnson, An abelian quotient of the mapping class group I g, Math. Ann. 249 (1980), no. 3, 225–242. (Cited on pages 4, 10, 19, 27, and 41.)

1980
[28]

Johnson, A survey of the Torelli group, inLow-dimensional topology (San Francisco, Calif., 1981), 165–179, Contemp

D. Johnson, A survey of the Torelli group, inLow-dimensional topology (San Francisco, Calif., 1981), 165–179, Contemp. Math., 20, Amer. Math. Soc., Providence, RI. (Cited on pages 4, 10, and 11.)

1981
[29]

Johnson, The structure of the Torelli group

D. Johnson, The structure of the Torelli group. I. A finite set of generators for I, Ann. of Math. (2) 118 (1983), no. 3, 423–442. (Cited on page 11.)

1983
[30]

Johnson, The structure of the Torelli group

D. Johnson, The structure of the Torelli group. II. A characterization of the group generated by twists on bounding curves, Topology 24 (1985), no. 2, 113–126. (Cited on pages 11, 18, 28, 34, 42, and 55.)

1985
[31]

Johnson, The structure of the Torelli group

D. Johnson, The structure of the Torelli group. III. The abelianization of T , Topology 24 (1985), no. 2, 127–144. (Cited on pages 2, 28, 42, and 55.)

1985
[32]

Kawazumi, On the stable cohomology algebra of extended mapping class groups for surfaces, in Groups of diffeomorphisms, 383–400, Adv

N. Kawazumi, On the stable cohomology algebra of extended mapping class groups for surfaces, in Groups of diffeomorphisms, 383–400, Adv. Stud. Pure Math., 52, Math. Soc. Japan, Tokyo. (Cited on pages 44, 49, 50, and 51.)
[33]

Klyachko, Lie elements in a tensor algebra, Sibirsk

A. Klyachko, Lie elements in a tensor algebra, Sibirsk. Mat. ˇZ. 15 (1974), 1296–1304, 1430. (Cited on page 9.)

1974
[34]

Kupers & O

A. Kupers & O. Randal-Williams, On the cohomology of Torelli groups, Forum Math. Pi 8 (2020), e7, 83 pp.arXiv:1901.01862(Cited on pages 2, 3, 4, 44, and 49.)

work page arXiv 2020
[35]

On the cohomology of Torelli groups, Forum Math. Pi 8 (2020), e7, 83 pp

A. Kupers & O. Randal-Williams, Corrigendum to “On the cohomology of Torelli groups, Forum Math. Pi 8 (2020), e7, 83 pp.” (Cited on page 4.)

2020
[36]

van Leeuwen, A

M. van Leeuwen, A. Cohen, & B. Lisser, LiE, A Package for Lie Group Computations, Computer Algebra Nederland, Amsterdam, ISBN 90-74116-02-7, 1992. (Cited on pages 3, 7, 9, 33, and 52.)

1992
[37]

Looijenga, Stable cohomology of the mapping class group with symplectic coefficients and of the universal Abel-Jacobi map, J

E. Looijenga, Stable cohomology of the mapping class group with symplectic coefficients and of the universal Abel-Jacobi map, J. Algebraic Geom. 5 (1996), no. 1, 135–150.arXiv:alg-geom/9401005 (Cited on page 51.)

work page arXiv 1996
[38]

Madsen & M

I. Madsen & M. Weiss, The stable moduli space of Riemann surfaces: Mumford’s conjecture, Ann. of Math. 165 (2007), 843–941.arXiv:math/0212321(Cited on pages 31, 49, 51, and 52.)

work page arXiv 2007
[39]

Malestein & A

J. Malestein & A. Putman, On the self-intersections of curves deep in the lower central series of a surface group, Geom. Dedicata 149 (2010), no. 1, 73–84.arXiv:0901.2561(Cited on page 11.)

work page arXiv 2010
[40]

McCullough & A

D. McCullough & A. Miller, The genus 2 Torelli group is not finitely generated, Topology Appl. 22 (1986), no. 1, 43–49. (Cited on page 11.)

1986
[41]

Miller, P

J. Miller, P. Patzt, D. Petersen, & O. Randal-Williams, Uniform twisted homological stability, preprint 2024.arXiv:2402.00354(Cited on pages 4, 44, 47, 49, and 50.)

work page arXiv 2024
[42]

Minahan, The second rational homology of the Torelli group is finitely generated, preprint 2023

D. Minahan, The second rational homology of the Torelli group is finitely generated, preprint 2023. arXiv:2307.07082(Cited on page 2.)

work page arXiv 2023
[43]

Minahan & A

D. Minahan & A. Putman, The second rational homology of the Torelli group, preprint 2025. arXiv:2504.00211(Cited on pages 2, 3, 4, 31, 44, and 45.) 58 ANDREW PUTMAN

work page arXiv 2025
[44]

Morita, Casson’s invariant for homology 3-spheres and characteristic classes of surface bundles

S. Morita, Casson’s invariant for homology 3-spheres and characteristic classes of surface bundles. I, Topology 28 (1989), no. 3, 305–323. (Cited on pages 20, 29, 34, and 35.)

1989
[45]

Morita, Abelian quotients of subgroups of the mapping class group of surfaces, Duke Math

S. Morita, Abelian quotients of subgroups of the mapping class group of surfaces, Duke Math. J. 70 (1993), no. 3, 699–726. (Cited on pages 4, 10, 11, 19, and 20.)

1993
[46]

Morita, Structure of the mapping class groups of surfaces: a survey and a prospect, inProceedings of the Kirbyfest (Berkeley, CA, 1998), 349–406, Geom

S. Morita, Structure of the mapping class groups of surfaces: a survey and a prospect, inProceedings of the Kirbyfest (Berkeley, CA, 1998), 349–406, Geom. Topol. Monogr., 2, Geom. Topol. Publ., Coventry. arXiv:math/9911258(Cited on page 20.)

work page arXiv 1998
[47]

Morita, T

S. Morita, T. Sakasai & M. Suzuki, Torelli group, Johnson kernel, and invariants of homology spheres, Quantum Topol. 11 (2020), no. 2, 379–410.arXiv:1711.07855(Cited on page 20.)

work page arXiv 2020
[48]

Patzt, Representation stability for filtrations of Torelli groups, Math

P. Patzt, Representation stability for filtrations of Torelli groups, Math. Ann. 372 (2018), no. 1-2, 257–298.arXiv:1608.06507(Cited on pages 4 and 46.)

work page arXiv 2018
[49]

Powell, Two theorems on the mapping class group of a surface, Proc

J. Powell, Two theorems on the mapping class group of a surface, Proc. Amer. Math. Soc. 68 (3) (1978) 347–350. (Cited on page 11.)

1978
[50]

Putman, Cutting and pasting in the Torelli group, Geom

A. Putman, Cutting and pasting in the Torelli group, Geom. Topol. 11 (2007), no. 2, 829–865. arXiv:math/0608373(Cited on page 11.)

work page arXiv 2007
[51]

Putman, The Johnson homomorphism and its kernel, J

A. Putman, The Johnson homomorphism and its kernel, J. Reine Angew. Math. 735 (2018), 109–141. arXiv:0904.0467(Cited on pages 11, 28, 43, and 55.)

work page arXiv 2018
[52]

Putman, Twisted mapping class group calculator (C++ code), available on author’s website

A. Putman, Twisted mapping class group calculator (C++ code), available on author’s website. (Cited on page 52.)
[53]

Putman & S

A. Putman & S. Sam, Representation stability and finite linear groups, Duke Math. J. 166 (2017), no. 13, 2521–2598.arXiv:1408.3694(Cited on page 46.)

work page arXiv 2017
[54]

Randal-Williams, On the cohomology of Torelli groups

O. Randal-Williams, On the cohomology of Torelli groups. II, Int. Math. Res. Not. IMRN 2024, no. 3, 2339–2381.arXiv:2301.01062(Cited on pages 2, 3, and 44.)

work page arXiv 2024
[55]

Randal-Williams & N

O. Randal-Williams & N. Wahl, Homological stability for automorphism groups, Adv. Math. 318 (2017), 534–626.arXiv:1409.3541(Cited on page 49.)

work page arXiv 2017
[56]

Satoh, On the Johnson homomorphisms of the mapping class groups of surfaces, inHandbook of group actions

T. Satoh, On the Johnson homomorphisms of the mapping class groups of surfaces, inHandbook of group actions. Vol. I, 373–407, Adv. Lect. Math. (ALM), 31, Int. Press, Somerville, MA. (Cited on pages 10 and 20.)
[57]

Serre,Lie algebras and Lie groups, corrected fifth printing of the second (1992) edition, Lecture Notes in Mathematics, 1500, Springer, Berlin, 2006

J.-P. Serre,Lie algebras and Lie groups, corrected fifth printing of the second (1992) edition, Lecture Notes in Mathematics, 1500, Springer, Berlin, 2006. (Cited on pages 8 and 13.)

1992
[58]

Sullivan, On the intersection ring of compact three manifolds, Topology 14 (1975), no

D. Sullivan, On the intersection ring of compact three manifolds, Topology 14 (1975), no. 3, 275–277. (Cited on page 10.)

1975
[59]

Tshishiku, Borel’s stable range for the cohomology of arithmetic groups, J

B. Tshishiku, Borel’s stable range for the cohomology of arithmetic groups, J. Lie Theory 29 (2019), no. 4, 1093–1102.arXiv:1904.04902(Cited on pages 31 and 47.)

work page arXiv 2019
[60]

Yokomizo, An Sp(2g,Z 2)-module structure of the cokernel of the second Johnson homomorphism, Topology Appl

Y. Yokomizo, An Sp(2g,Z 2)-module structure of the cokernel of the second Johnson homomorphism, Topology Appl. 120 (2002), no. 3, 385–396. (Cited on page 29.) Dept of Mathematics; University of Notre Dame; 255 Hurley Hall; Notre Dame, IN 46556; USA Email address:andyp@nd.edu

2002