pith. sign in

arxiv: 2305.11767 · v2 · submitted 2023-05-19 · 🧮 math.GT

The rational abelianization of the Chillingworth subgroup of the mapping class group of a surface

Ryotaro Kosuge This is my paper

Pith reviewed 2026-05-24 08:16 UTC · model grok-4.3

classification 🧮 math.GT
keywords Chillingworth subgroupmapping class groupJohnson homomorphismCasson-Morita homomorphismrational abelianizationEuler classcentral extension
0
0 comments X

The pith

The rational abelianization of the Chillingworth subgroup is generated as a mapping class group module by the first Johnson homomorphism and the Casson-Morita homomorphism.

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

The paper determines the rational abelianization of the Chillingworth subgroup of the mapping class group of a compact oriented surface of genus g with one boundary component. This subgroup consists of mapping classes that preserve nonvanishing vector fields on the surface up to homotopy. The abelianization is identified explicitly as a module over the full mapping class group, with generators given by the first Johnson homomorphism and the Casson-Morita homomorphism. The work additionally computes the order of the Euler class of a related central extension and determines the kernel of the Casson-Morita homomorphism restricted to the Chillingworth subgroup.

Core claim

The rational abelianization of the Chillingworth subgroup is given by the first Johnson homomorphism and the Casson-Morita homomorphism as a module over the full mapping class group. The kernel of the Casson-Morita homomorphism on the Chillingworth subgroup is determined, and the Euler class of the associated central extension has a specific order.

What carries the argument

The Chillingworth subgroup, defined by preservation of nonvanishing vector fields up to homotopy, with the first Johnson homomorphism and Casson-Morita homomorphism serving as the generators of its rational abelianization as a module.

If this is right

  • The abelianization admits an explicit description in terms of these two homomorphisms as a module.
  • The kernel of the restricted Casson-Morita homomorphism is identified.
  • The order of the Euler class in the related central extension is fixed.
  • The module structure permits further calculations of invariants associated to the subgroup.

Where Pith is reading between the lines

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

  • The module description may be used to compare the Chillingworth subgroup with other subgroups in the Johnson filtration.
  • The result supplies a concrete presentation that could be applied to study central extensions or cohomology classes beyond the cases treated in the paper.

Load-bearing premise

The first Johnson homomorphism and the Casson-Morita homomorphism generate the full rational abelianization of the Chillingworth subgroup as a module over the mapping class group.

What would settle it

Explicit computation of the rational abelianization for a low-genus case such as genus two and direct comparison against the submodule generated by the two homomorphisms.

Figures

Figures reproduced from arXiv: 2305.11767 by Ryotaro Kosuge.

Figure 1
Figure 1. Figure 1: the boundary curve γ 0 1 of a genus one sub￾surface with one boundary of the surface defining the Dehn twist Tγ 0 1 [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 3
Figure 3. Figure 3: A generating system of the fundamental group of the surface π1(Σg,1) Given two elements γ1, γ2 in the fundamental group of the surface π = π1(Σg,1), their product γ1γ2 indicates that we traverse γ1 first, then γ2. The commutator [γ1, γ2] is defined by γ1γ2γ1 −1γ2 −1 . Let H = H1(Σg,1; Z) be the first integral homology group of the surface and ·: H ⊗H → Z be the in￾tersection form of the first homology of t… view at source ↗
Figure 4
Figure 4. Figure 4: A symplectic basis of H 2.1. The action of the mapping class group on the fundamental group of the surface and the Johnson homomorphisms. The action of the mapping class group on the fundamental group of the surface yields the Dehn–Nielsen representation r : Mg,1 → Aut(π), which is known to be faithful. The mapping class group also acts naturally on the first integral homology group of the surface H = H1(Σ… view at source ↗
Figure 5
Figure 5. Figure 5: The sign of a point where the velocity vector is tangent to the vector field The winding number function ωX is regarded as an element of H1 (UTΣg,1; Z) and these elements are characterized by the preimage of 1 ∈ H1 (S 1 ; Z) under H1 (UTΣg,1) → H1 (S 1 ; Z). Conversely, for an arbitrary element ω ∈ H1 (Σg,1; Z) which satisfies the condition, there exists a nonsingu￾lar vector field X ∈ Ξ(Σ) such that ω = ω… view at source ↗
Figure 6
Figure 6. Figure 6: Some simple closed curves on the surface defining some BP maps We denote the kernel of the contraction Ker(C3) ⊂ V3 H as U. U is a rank 2g 3  − 2g  free abelian group and a Sp(2g, Z)-submodule of V3 H. Lemma 6. the quotient Ig/Chg ∼= Coker(U → V3 H/H) = Coker(v : H ⊕ U → V3 H,(x, Y ) 7→ ( Pg i=1 ai ∧ bi ∧ x) + Y ) is isomorphic to (Z/(g − 1)Z) 2g as groups. Proof. Let us take a basis of U as follows: (i)… view at source ↗
Figure 7
Figure 7. Figure 7: Some simple closed curves on the surface defining the element B0 [PITH_FULL_IMAGE:figures/full_fig_p010_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Some simple closed curves on the surface defining an abelian cycle which detects the summand [221 2 ]Sp We confirm that these two elements are contained in Chg,1. C3 ◦ τg,1(1)(BP(b4, δ)BP(b4, µ)BP(b4, λ)) = C3(a1 ∧ b1 ∧ b4 − a3 ∧ b3 ∧ b4) = b4 − b4 = 0 C3 ◦ τg,1(1)(BP(b4, µ)BP(b4, λ) −2 ) = C3(a2 ∧ b2 ∧ b4 − a3 ∧ b3 ∧ b4) = b4 − b4 = 0 Therefore, we obtain an element of Im ((τg,1(1))∗ : H2(Chg,1; Q) → H2(U… view at source ↗
Figure 9
Figure 9. Figure 9: Some simple closed curves on the surface defining an abelian cycle which detects the summand [14 ]Sp To prove Proposition 13, it is enough to show that the element is nontrivial on the summand [14 ]Sp, and we detect the nontriviality by using an Sp(2g, Q)-equivariant homomorphism as follows: V2 UQ ,→ V2 V3 HQ  i 2V3 HQ −−−−→ N2 V3 HQ  φH3,3 Q −−−−→ V6 HQ C6 −−→ V4 HQ. Similarly, we compute directly as … view at source ↗
Figure 10
Figure 10. Figure 10: A simple closed curve γ 0 1 on the surface This theorem is essentially based on the result H1 (Kg,1; Z)Mg,1 ∼= Z ⊕ Z by Morita [26], where the superscript means the Mg,1-invariant. Morita introduced the other Mg,1-invariant homomor￾phism d 0 : Kg,1 → Z, and showed that H1 (Kg,1; Q)Mg,1 is generated by d and d 0 . Faes taken lin￾ear combinations d 8 and 4d+5d 0 12 , and proved in [9] that these two element… view at source ↗
Figure 11
Figure 11. Figure 11: Some simple closed curves on the surface defining a homological genus 0 BP map The element B0 satisfies d(B0) = 0 and U is generated by τg,1(1)(B0) = a1 ∧ b1 ∧ b3 − a2 ∧ b2 ∧ b3 as an Sp(2g, Z)-module. Therefore, for any elements ϕ ∈ Ker(d: Chg,1 → Z), there is an element ψ ∈ hhB0ii such that τg,1(ψ) = τg,1(ϕ), i.e., ψ −1ϕ ∈ Ker(d|Kg,1 ). Hence, Ker(d: Chg,1 → Z) = hhB0iihTγ 0 1 i[Kg,1,Mg,1]. 6. Determina… view at source ↗
read the original abstract

The Chillingworth subgroup of the mapping class group of a compact oriented surface of genus $g$ with one boundary component is defined as the subgroup whose elements preserve nonvanishing vector fields on the surface up to homotopy. In this work, we determine the rational abelianization of the Chillingworth subgroup as a full mapping class group module. The abelianization is given by the first Johnson homomorphism and the Casson--Morita homomorphism for the Chillingworth subgroup. Additionally, we compute the order of the Euler class of a certain central extension related to the Chillingworth subgroup and determine the kernel of the Casson--Morita homomorphism for the Chillingworth subgroup.

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.

Referee Report

0 major / 2 minor

Summary. The paper defines the Chillingworth subgroup of the mapping class group of a compact oriented surface of genus g with one boundary component as the subgroup preserving nonvanishing vector fields up to homotopy. It determines the rational abelianization of this subgroup as a module over the full mapping class group, showing that it is generated by the first Johnson homomorphism and the Casson-Morita homomorphism. Additional results include the order of the Euler class of a related central extension and the kernel of the Casson-Morita homomorphism restricted to the Chillingworth subgroup.

Significance. If the derivations hold, the result supplies an explicit module structure for the rational abelianization of an important subgroup of the mapping class group, generated by two standard homomorphisms. This would be useful for computations involving the Johnson filtration and related invariants in low-dimensional topology. The additional computations on the Euler class order and the kernel provide concrete data that could be checked against known examples for small genus.

minor comments (2)
  1. The abstract is unusually dense and states the main theorem without any indication of the proof strategy or key intermediate steps; adding one sentence outlining the approach (e.g., use of the Johnson filtration or explicit cocycle computations) would improve accessibility.
  2. Notation for the Chillingworth subgroup and the relevant homomorphisms is introduced only in the abstract; a short preliminary section recalling the standard definitions and normalizations of the first Johnson and Casson-Morita homomorphisms would help readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the paper and for recommending minor revision. No major comments are listed in the report, so we have no specific points to address point-by-point. We will make any minor editorial changes as needed in the revised version.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper determines the rational abelianization of the Chillingworth subgroup using the first Johnson homomorphism and Casson-Morita homomorphism as generators over the mapping class group. These are pre-existing maps in the literature on surface mapping class groups and Johnson homomorphisms; the work frames its contribution as computing the module structure, kernel, and related Euler class order rather than fitting parameters or redefining inputs. No self-definitional reductions, fitted-input predictions, or load-bearing self-citation chains appear in the stated claims or derivation outline. The result is therefore self-contained against external algebraic topology benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Based on abstract only; the paper relies on standard definitions and properties of mapping class groups, Johnson homomorphisms, Casson-Morita homomorphisms, and central extensions from prior literature. No free parameters, ad-hoc axioms, or invented entities are mentioned.

pith-pipeline@v0.9.0 · 5637 in / 1197 out tokens · 51498 ms · 2026-05-24T08:16:15.440613+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

39 extracted references · 39 canonical work pages

  1. [1]

    On the automorphism group of some pro- l fundamental groups, Galois rep- resentations and arithmetic algebraic geometry (Kyoto, 1985/Tokyo, 1986), 137–159, Adv

    Mamoru Asada, Masanobu Kaneko. On the automorphism group of some pro- l fundamental groups, Galois rep- resentations and arithmetic algebraic geometry (Kyoto, 1985/Tokyo, 1986), 137–159, Adv. Stud. Pure Math., 12, North-Holland, Amsterdam, 1987

    work page 1985

  2. [2]

    On graded quotient modules of mapping class groups of surfaces, Israel J

    Mamoru Asada, Hiroaki Nakamura. On graded quotient modules of mapping class groups of surfaces, Israel J. Math. 90, 93–113 (1995)

    work page 1995

  3. [3]

    Abelian quotients of the mapping class group of a 2-manifold, Bull

    Joan Birman. Abelian quotients of the mapping class group of a 2-manifold, Bull. Amer. Math. Soc., 76 (1970), 147–150; Erratum, ibid., 77 (1971), 479

    work page 1970

  4. [4]

    The µ-Invariant of 3-Manifolds and Certain Structural Properties of the Group of Homeomorphisms of a Closed, Oriented 2-Manifold, Trans

    Joan Birman, Robert Craggs. The µ-Invariant of 3-Manifolds and Certain Structural Properties of the Group of Homeomorphisms of a Closed, Oriented 2-Manifold, Trans. Amer. Math. Soc. 237, 283-309 (1978)

    work page 1978

  5. [5]

    Heisenberg homology on surface configurations, 2021

    Christian Blanchet, Martin Palmer, and Awais Shaukat. Heisenberg homology on surface configurations, 2021. arXiv:2109.00515

    work page arXiv 2021

  6. [6]

    Cohomology of Groups, Graduate Texts in Mathematics, vol

    Kenneth Brown. Cohomology of Groups, Graduate Texts in Mathematics, vol. 87, Springer, New York, 1982

    work page 1982

  7. [7]

    Simply Intersecting Pair Maps in the Mapping Class Group, Journal of Knot Theory and Its Rami- fications Vol

    Leah Childers. Simply Intersecting Pair Maps in the Mapping Class Group, Journal of Knot Theory and Its Rami- fications Vol. 21, No. 11 (2012) 1250107 (21 pages)

    work page 2012

  8. [8]

    Winding Numbers on Surfaces, I., Springer, Math

    David Chillingworth. Winding Numbers on Surfaces, I., Springer, Math. Ann. 196, 218–249 (1972)

    work page 1972

  9. [9]

    Triviality of the J4-equivalence among homology 3-spheres, Trans

    Quentin Faes. Triviality of the J4-equivalence among homology 3-spheres, Trans. Amer. Math. Soc. 375 (2022), no. 9, 6597–6620

    work page 2022

  10. [10]

    On the non-triviality of the torsion subgroup of the abelianized Johnson kernel,

    Quentin Faes, Gw´ ena¨ el Massuyeau. On the non-triviality of the torsion subgroup of the abelianized Johnson kernel,

    work page

  11. [11]

    Representation Theory, Graduate Texts in Mathematics, vol

    William Fulton, Joe Harris. Representation Theory, Graduate Texts in Mathematics, vol. 129, Springer, Berlin, 1991

    work page 1991

  12. [12]

    Infinitesimal presentations of the Torelli groups, J

    Richard Hain. Infinitesimal presentations of the Torelli groups, J. Amer. Math. Soc., 10(3):597–651, 1997

    work page 1997

  13. [13]

    Tree level Lie algebra structures of perturbative invariants, J

    Nathan Habegger and Wolfgang Pitsch. Tree level Lie algebra structures of perturbative invariants, J. Knot Theory Ramifications 12:3 (2003), 333–345

    work page 2003

  14. [14]

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

    John Harer. The second homology group of the mapping class group of an orientable surface, Invent. Math. 72 (1983), 221–239

    work page 1983

  15. [15]

    Iterated Integrals and Cycles on Algebraic Manifolds, (Nankai Tracts in Mathematics 7)

    Bruno Harris. Iterated Integrals and Cycles on Algebraic Manifolds, (Nankai Tracts in Mathematics 7)

    work page

  16. [16]

    An abelian quotient of the mapping class group Ig, Math

    Dennis Johnson. An abelian quotient of the mapping class group Ig, Math. Ann., 249(3):225–242, 1980. 24 RYOTARO KOSUGE

    work page 1980

  17. [17]

    Homeomorphisms of a surface which act trivially on homology, Proc

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

    work page 1979

  18. [18]

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

    Dennis Johnson. A survey of the Torelli group, Low-dimensional topology (San Francisco, Calif., 1981), 165–179, Contemp. Math., 20, Amer. Math. Soc., Providence, RI, 1983

    work page 1981

  19. [19]

    The structure of the Torelli group

    Dennis 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

    work page 1985

  20. [20]

    The structure of the Torelli group

    Dennis Johnson. The structure of the Torelli group. III. The abelianization of T , Topology 24 (1985), no. 2, 127–144

    work page 1985

  21. [21]

    Low-dimensional homology groups of mapping class groups: a survey, Turkish J

    Mustafa Korkmaz. Low-dimensional homology groups of mapping class groups: a survey, Turkish J. Math., 26 (2002), 101–114

    work page 2002

  22. [22]

    Algebra 14 (1970), 16–23

    John Labute, On the descending central series of groups with a single defining relation, J. Algebra 14 (1970), 16–23

    work page 1970

  23. [23]

    Gw´ ena¨ el Massuyeau, Infinitesimal Morita homomorphisms and the tree-level of the LMO invariant, Bull. Soc. Math. France 140:1 (2012), 101–161

    work page 2012

  24. [24]

    Die Signatur von Fl¨ achenb¨ undeln, Math

    Werner Meyer. Die Signatur von Fl¨ achenb¨ undeln, Math. Ann. 201 (1973), 239–264. MR 48:9715

    work page 1973

  25. [25]

    Shigeyuki Morita. A linear representation of the mapping class group of orientable surfaces and characteristic classes of surface bundles, In Topology and Teichm¨ uller spaces (Katinkulta, 1995), 159–186. World Sci. Publ., River Edge, NJ, 1996

    work page 1995

  26. [26]

    On the structure of the Torelli group and the Casson invariant, Topology, 30(4):603–621, 1991

    Shigeyuki Morita. On the structure of the Torelli group and the Casson invariant, Topology, 30(4):603–621, 1991

    work page 1991

  27. [27]

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

    Shigeyuki Morita. Abelian quotients of subgroups of the mapping class group of surfaces, Duke Math. J. 70 (1993), no. 3, 699–726

    work page 1993

  28. [28]

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

    Shigeyuki Morita. Casson’s invariant for homology 3-spheres and characteristic classes of surface bundles. I., Topol- ogy, 28(3):305–323, 1989

    work page 1989

  29. [29]

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

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

    work page

  30. [30]

    Families of Jacobian manifolds and characteristic classes of surface bundles

    Shigeyuki Morita. Families of Jacobian manifolds and characteristic classes of surface bundles. I., Ann. Inst. Fourier (Grenoble) 39 (1989), no. 3, 777–810

    work page 1989

  31. [31]

    Shigeyuki Morita. (1989). Families of Jacobian manifolds and characteristic classes of surface bundles. II., Mathe- matical Proceedings of the Cambridge Philosophical Society, 105(1), 79–101

    work page 1989

  32. [32]

    Structure of the mapping class groups of surfaces: A survey and a prospect, in: Proceedings of the Kirbyfest, in: Geometry and Topology Monographs, vol

    Shigeyuki Morita. Structure of the mapping class groups of surfaces: A survey and a prospect, in: Proceedings of the Kirbyfest, in: Geometry and Topology Monographs, vol. 2, 1999, 349–406

    work page 1999

  33. [33]

    Characteristic classes of surface bundles, Invent

    Shigeyuki Morita. Characteristic classes of surface bundles, Invent. Math., 90 (1987), 551–577

    work page 1987

  34. [34]

    Abelian quotients of the Teichm¨ uller modular group, J

    David Mumford. Abelian quotients of the Teichm¨ uller modular group, J. Analyse Math., 18 (1967), 227–244

    work page 1967

  35. [35]

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

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

    work page 1978

  36. [36]

    The Johnson homomorphism and the third rational cohomology group of the Torelli group, Topology Appl., 148(1–3):83–111, 2005

    Takuya Sakasai. The Johnson homomorphism and the third rational cohomology group of the Torelli group, Topology Appl., 148(1–3):83–111, 2005

    work page 2005

  37. [37]

    The second Johnson homomorphism and the second rational cohomology of the Johnson kernel, Math

    Takuya Sakasai. The second Johnson homomorphism and the second rational cohomology of the Johnson kernel, Math. Proc. Cambridge Philos. Soc., 143(3):627–648, 2007

    work page 2007

  38. [38]

    Johnson’s homomorphisms and the rational cohomology of subgroups of the mapping class group, In Groups of diffeomorphisms, volume 52 of Adv

    Takuya Sakasai. Johnson’s homomorphisms and the rational cohomology of subgroups of the mapping class group, In Groups of diffeomorphisms, volume 52 of Adv. Stud. Pure Math., 93–109. Math. Soc. Japan, Tokyo, 2008

    work page 2008

  39. [39]

    Rolland Trapp. A linear representation of the mapping class groupM and the theory of winding numbers, Topology and its Applications Volume 43, Issue 1, 2 January 1992, Pages 47–64 Graduate School of Mathematical Sciences, The University of Tokyo, 3-8-1 Komaba, Meguro-ku, Tokyo 153-8914, Japan Email address : kosuge-55cb@g.ecc.u-tokyo.ac.jp

    work page 1992