Pith. sign in

REVIEW 1 major objections 2 minor 15 references

Torsion in the homology of the Torelli group and the Birman-Craggs-Johnson homomorphism

T0 review · 1 major / 2 minor · reviewed 2026-07-03 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The Birman-Craggs-Johnson homomorphism injects the subgroup of abelian cycles in H_k of the Torelli group when k is at most g-2.

desk verdict The paper extends Johnson's 1983 injectivity result for the Birman-Craggs-Johnson map to abelian cycles in H_k for 2 ≤ k ≤ g-2, but the argument for linear independence in the target needs direct verification. read the letter →

arxiv 2607.02107 v1 pith:GHISXSHY submitted 2026-07-02 math.GT math.GR

Andrei Vladimirov This is my paper · ORCID
classification math.GTmath.GR
keywords TorelligroupBirman-Craggs-JohnsonhomomorphismabeliancyclesseparatingDehntwistshomologyofmappingclassgroupsinjectivityon
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper extends a 1983 result of Johnson from the first homology of the Torelli group to higher degrees. It considers abelian cycles in H_k(I_g) generated by Dehn twists about pairwise disjoint separating simple closed curves, which commute and therefore produce well-defined homology classes. The central result is that the map on homology induced by the Birman-Craggs-Johnson homomorphism remains injective when restricted to the subgroup generated by these cycles, provided k ≤ g-2. A reader would care because the Torelli group sits inside the mapping class group and its homology controls many questions about surface diffeomorphisms; an explicit homomorphism that detects nontrivial classes supplies a concrete way to produce lower bounds in a range where direct calculation is difficult.

What carries the argument

The pushforward map induced by the Birman-Craggs-Johnson homomorphism on the subgroups of H_k(I_g) generated by abelian cycles of disjoint separating Dehn twists.

What would settle it

An explicit collection of k ≤ g-2 pairwise disjoint separating curves on Σ_g such that the corresponding abelian cycle lies in the kernel of the induced BCJ map on homology while being nonzero in H_k(I_g).

Watch

Extended reading notes

Core claim

Given any collection of pairwise disjoint separating simple closed curves on a surface of genus g, the corresponding Dehn twists determine an abelian cycle in H_k(I_g). The induced homomorphism on homology coming from the Birman-Craggs-Johnson map σ : I_g → B_3' is injective on the subgroup generated by all such cycles whenever k ≤ g-2.

Load-bearing premise

The Birman-Craggs-Johnson homomorphism is a well-defined group homomorphism whose induced map on homology sends the chosen abelian cycles to linearly independent elements in the target vector space.

Editorial extensions

If this is right

  • The abelian cycles remain linearly independent in H_k(I_g) for k ≤ g-2.
  • The result supplies a lower bound on the dimension of the image of these cycles inside the homology with Z/2Z coefficients.
  • The construction recovers Johnson's original injectivity statement when k=1.
  • The same cycles can be used to detect nontrivial torsion in the homology groups in the stated range.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The range k ≤ g-2 may be the stable range in which the BCJ map continues to detect the full span of these cycles.
  • Similar injectivity statements could be tested for other natural maps out of the Torelli group once their effect on separating twists is known.
  • The result suggests that the torsion detected by these cycles persists in the homology of the full mapping class group in the same range.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

1 major / 2 minor

Summary. The paper extends Johnson's 1983 computation of H_1(I_g) by proving that the Birman-Craggs-Johnson homomorphism σ: I_g → B_3' induces an injection on the F_2-span of abelian cycles in H_k(I_g) generated by pairwise disjoint separating Dehn twists, for all k ≤ g-2.

Significance. If the result holds, it supplies new structural information on torsion in the homology of the Torelli group in degrees up to roughly g-2, extending a classical computation in a natural direction and potentially aiding computations of stable homology or related invariants in mapping class groups.

major comments (1)
  1. [main theorem / §4 (proof of injectivity for k>1)] The central injectivity claim for k > 1 rests on showing that the images of these abelian cycles remain linearly independent in H_k(B_3'). The manuscript must supply an explicit argument (e.g., in the section containing the main theorem) that the Boolean-polynomial construction introduces no additional kernel elements when k commuting twists are multiplied in the group ring before passing to homology; the k=1 case from Johnson does not automatically extend.
minor comments (2)
  1. [Introduction / §2] Notation for the target space B_3' and the precise definition of the Boolean polynomials should be recalled or referenced at the start of the higher-homology argument for readability.
  2. [Abstract / Theorem statement] The range k ≤ g-2 is stated without an accompanying remark on whether the bound is sharp or merely convenient; a brief comment on this would clarify the result.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying a point in the proof of the main theorem that would benefit from greater explicitness. We address the major comment below.

read point-by-point responses

  1. Referee: [main theorem / §4 (proof of injectivity for k>1)] The central injectivity claim for k > 1 rests on showing that the images of these abelian cycles remain linearly independent in H_k(B_3'). The manuscript must supply an explicit argument (e.g., in the section containing the main theorem) that the Boolean-polynomial construction introduces no additional kernel elements when k commuting twists are multiplied in the group ring before passing to homology; the k=1 case from Johnson does not automatically extend.

    Authors: We agree that the linear independence in H_k(B_3') for k>1 requires an explicit verification that the Boolean-polynomial images of products of k commuting separating twists introduce no extraneous kernel elements beyond the k=1 case. In the revised manuscript we will insert a self-contained paragraph (or short subsection) immediately preceding the statement of the main theorem that carries out this verification: because σ is a group homomorphism and the target is an F_2-vector space whose multiplication is given by symmetric Boolean polynomials, the image of an abelian cycle is the wedge product of the individual images; the explicit form of σ on separating twists (as recorded in Johnson’s original work and extended by the Boolean-polynomial definition) ensures that these wedge products remain linearly independent precisely when the curves are pairwise disjoint and k ≤ g−2. This argument uses only the already-established properties of σ and does not rely on any new computations. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: extension of external Johnson 1983 result on independent prior computation

full rationale

The derivation extends Johnson's 1983 explicit computation of H_1(I_g) and injectivity on separating twists to higher k via the Birman-Craggs-Johnson map σ. The abstract and claim rely on the standard well-definedness of σ and commutativity of disjoint Dehn twists (external facts from mapping class group theory), without any self-citation, self-definition of the target space, or reduction of the higher-homology injectivity statement to a fitted parameter or prior result by the same author. The central statement for k ≤ g-2 is presented as new content building on the k=1 case, with no load-bearing step that collapses to the input by construction.

Assumptions & free parameters 0 free parameters · 2 assumptions · 0 invented entities

Review based on abstract only. The claim rests on the prior existence of the Birman-Craggs-Johnson homomorphism and standard facts about Dehn twists and homology of groups; no free parameters or new entities are introduced in the abstract.

assumptions (2)
  • domain assumption The Birman-Craggs-Johnson homomorphism is a well-defined homomorphism I_g → B_3' that induces maps on homology.
    Invoked in the abstract as the object whose pushforward is studied.
  • domain assumption Pairwise disjoint separating simple closed curves give commuting Dehn twists whose homology classes form abelian cycles.
    Stated directly in the abstract as the generators under consideration.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Torsion in the homology of the Torelli group and the Birman-Craggs-Johnson homomorphism." pith.science (2026). https://pith.science/paper/GHISXSHY

@misc{pith2026260702107,
  author       = {Pith},
  title        = {Pith review of: Torsion in the homology of the Torelli group and the Birman-Craggs-Johnson homomorphism},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GHISXSHY}},
  note         = {Machine review of arXiv:2607.02107}
}
abstract

The Birman-Craggs-Johnson homomorphism is a homomorphism $\sigma \colon \mathcal{I}_g \to \mathbb{B}_3'$ from the Torelli group to a certain $\mathbb{Z}/2\mathbb{Z}$-vector space of Boolean polynomials. In 1983, Johnson computed $H_1(\mathcal{I}_g)$ for $g \geq 3$ and showed, in particular, that the induced homomorphism on $H_1(\mathcal{I}_g)$ is injective when restricted to the subgroup generated by Dehn twists about separating simple closed curves. In this paper, we extend Johnson's result to higher homology groups. Given any collection of pairwise disjoint separating simple closed curves on $\Sigma_g$, the corresponding Dehn twists pairwise commute and determine a homology class in $H_k(\mathcal{I}_g)$ called an abelian cycle. We prove that the pushforward homomorphism restricted to the subgroup of $H_k(\mathcal{I}_g)$ generated by such abelian cycles is injective for $k \leq g-2$.

Figures

Figures reproduced from arXiv: 2607.02107 by the authors.

Figure 1
Figure 1. FiGURE 1. Surfaces [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗
Figure 2
Figure 2. FiGURE 2. Subsurface [PITH_FULL_IMAGE:figures/full_fig_p008_2.png] view at source ↗
Figure 3
Figure 3. FiGURE 3. Example of the curves [PITH_FULL_IMAGE:figures/full_fig_p010_3.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages

  1. [1]

    The -invariant of 3-manifolds and certain structural properties of the group of homeomorphisms of a closed, oriented 2-manifold

    J. S. Birman and R. Craggs. “The -invariant of 3-manifolds and certain structural properties of the group of homeomorphisms of a closed, oriented 2-manifold”. Trans- actions of the American Mathematical Society 237 (1978), pp. 283–309

    work page 1978

  2. [2]

    Farb and D

    B. Farb and D. Margalit. A Primer on Mapping Class Groups . Princeton University Press, 2012

    work page 2012

  3. [3]

    On infinitely generated homology of Torelli groups

    A. A. Gaifullin. “On infinitely generated homology of Torelli groups”. St. Petersburg Mathematical Journal 35:6 (2024), pp. 959–993

    work page 2024

  4. [4]

    Finite generation, algebraicity, and representation stability for homology of Torelli groups

    A. A. Gaifullin. “Finite generation, algebraicity, and representation stability for ho- mology of Torelli groups”. arXiv preprint arXiv:2606.13517 (2026). REFERENCES 21

    work page Pith review arXiv 2026

  5. [5]

    An abelian quotient of the mapping class group Ig

    D. Johnson. “An abelian quotient of the mapping class group Ig”. Mathematische Annalen 249 (1980), pp. 225–242

    work page 1980

  6. [6]

    Quadratic forms and the Birman–Craggs homomorphisms

    D. Johnson. “Quadratic forms and the Birman–Craggs homomorphisms”. Transactions of the American Mathematical Society 261:1 (1980), pp. 235–254

    work page 1980

  7. [7]

    The structure of the Torelli group I: A finite set of generators for I

    D. Johnson. “The structure of the Torelli group I: A finite set of generators for I”. Annals of Mathematics 118:3 (1983), pp. 423–442

    work page 1983

  8. [8]

    The structure of the Torelli group II: A characterization of the group generated by twists on bounding curves

    D. Johnson. “The structure of the Torelli group II: A characterization of the group generated by twists on bounding curves”. Topology 24:2 (1985), pp. 113–126

    work page 1985

Show all 15 references
  1. [9]

    The structure of the Torelli group III: The abelianization of I

    D. Johnson. “The structure of the Torelli group III: The abelianization of I”. Topology 24:2 (1985), pp. 127–144

    1985

  2. [10]

    On the cohomology of Torelli groups

    A. Kupers and O. Randal-Williams. “On the cohomology of Torelli groups”. Forum of Mathematics, Pi . Vol. 8. Cambridge University Press. 2020, e7

    2020

  3. [11]

    The Torelli groups for genus 2 and 3 surfaces

    G. Mess. “The Torelli groups for genus 2 and 3 surfaces”. Topology31:4 (1992), pp. 775– 790

    1992

  4. [12]

    The second rational homology of the Torelli group

    D. Minahan and A. Putman. “The second rational homology of the Torelli group”. arXiv preprint arXiv:2504.00211 (2025)

    2025

  5. [13]

    Cutting and pasting in the Torelli group

    A. Putman. “Cutting and pasting in the Torelli group”. Geometry & Topology 11:2 (2007), pp. 829–865

    2007

  6. [14]

    The Johnson homomorphism and its kernel

    A. Putman. “The Johnson homomorphism and its kernel”. Journal für die reine und angewandte Mathematik (Crelles Journal) 2018:735 (2015), pp. 109–141

    2018

  7. [15]

    On torsion in the homology of the Torelli group

    A. Vladimirov. “On torsion in the homology of the Torelli group”. arXiv preprint arXiv:2510.25728 (2025). To appear in Algebr. Geom. Topol. LOMONOSOV MOSCOW STATE UNiVERSiTY, RUSSiA Email address : andreykaere1@gmail.com

    2025 arXiv

Pith tools

Reviewed July 3, 2026 · model on record in the stance chip above.