pith. sign in

arxiv: 2011.15075 · v6 · submitted 2020-11-30 · 🧮 math.GT · math.AG· math.NT

Automorphisms of profinite mapping class groups

Marco Boggi This is my paper

Pith reviewed 2026-05-24 13:36 UTC · model grok-4.3

classification 🧮 math.GT math.AGmath.NT
keywords profinite mapping class groupsGrothendieck-Teichmüller groupouter automorphismsprocongruence completionDehn twistssurface fundamental groupscongruence subgroups
0
0 comments X

The pith

Outer automorphisms of the procongruence pure mapping class group equal the symmetric group on punctures times the profinite Grothendieck-Teichmüller group under a Dehn twist rigidity condition.

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

The paper determines the outer automorphism groups of the procongruence completion of the pure mapping class group of a surface S of genus g with n punctures. Under the conditions that the Euler characteristic is less than g minus 2 and the pair is not (1,2), these groups are isomorphic to the symmetric group on n letters crossed with the profinite Grothendieck-Teichmüller group. It also establishes a faithful embedding of the profinite Grothendieck-Teichmüller group into the corresponding outer automorphism group of the profinite completion. A sympathetic reader cares because the result gives an explicit algebraic description of these automorphism groups in terms of familiar objects and connects the topology of surfaces to arithmetic structures through the Grothendieck-Teichmüller group.

Core claim

For a surface S_{g,n} with negative Euler characteristic, the groups Out^{I_0} of outer automorphisms that preserve the conjugacy class of a procyclic subgroup generated by a nonseparating Dehn twist satisfy Out^{I_0}(P check Γ(S)) ≅ Σ_n × hat{GT} when χ(S) < g-2 and (g,n) ≠ (1,2), together with a natural faithful representation hat{GT} ↪ Out^{I_0}(P hat Γ(S)) whenever χ(S) < g-2.

What carries the argument

The groups Out^{I_0} consisting of outer automorphisms that preserve the conjugacy class of the procyclic subgroup generated by a nonseparating Dehn twist; this condition carries the identification of the automorphism groups with the product of the symmetric group and the profinite Grothendieck-Teichmüller group.

If this is right

  • The outer automorphism group of the procongruence completion splits as a direct product of the symmetric group acting on the punctures and the profinite Grothendieck-Teichmüller group.
  • The profinite completion of the pure mapping class group admits a faithful action of the profinite Grothendieck-Teichmüller group through outer automorphisms.
  • The automorphism groups are completely determined for all surfaces satisfying the Euler characteristic inequality except the excluded low-genus case.

Where Pith is reading between the lines

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

  • The rigidity condition on Dehn twist conjugacy classes may extend to determine automorphisms for a wider range of surfaces or for the full mapping class group rather than the pure subgroup.
  • The embedding suggests that arithmetic information from the Grothendieck-Teichmüller group can be recovered from the outer automorphism groups of profinite completions of mapping class groups.
  • Analogous rigidity conditions on other generators could yield similar descriptions for automorphism groups of related profinite completions such as those of fundamental groups of surfaces.

Load-bearing premise

The outer automorphisms preserve the conjugacy class of the procyclic subgroup generated by a nonseparating Dehn twist.

What would settle it

An explicit outer automorphism of the procongruence completion P check Γ(S) for a surface such as the genus-3 closed surface that sends a nonseparating Dehn twist generator to an element outside its conjugacy class, or a direct computation showing the stated isomorphism fails for any surface meeting the Euler characteristic bound.

read the original abstract

For $S=S_{g,n}$ a closed orientable differentiable surface of genus $g$ from which $n$ points have been removed, such that $\chi(S)=2-2g-n<0$, let $\mathrm{P}\Gamma(S)$ be the pure mapping class group of $S$ and $\mathrm{P}\widehat\Gamma(S)$ and $\mathrm{P}\check\Gamma(S)$ be, respectively, its profinite and its congruence completions, the latter being identified with the image of the natural representation $\mathrm{P}\widehat\Gamma(S)\to\operatorname{Out}({\widehat\pi}_1(S))$ (where ${\widehat\pi}_1(S)$ is the profinite completion of the fundamental group of $S$). We determine the automorphism groups of procongruence completions under a natural rigidity condition, and show that the profinite Grothendieck-Teichm\"uller group embeds into the outer automorphism group of the profinite completion. Let $\operatorname{Out}^{\mathbb{I}_0}(\mathrm{P}\widehat\Gamma(S))$ and $\operatorname{Out}^{\mathbb{I}_0}(\mathrm{P}\check\Gamma(S))$ be the groups of outer automorphisms which preserve the conjugacy class of a procyclic subgroup generated by a nonseparating Dehn twist (a condition trivially satisfied for $g=0$). Our main result gives that, for $\chi(S)<g-2$ and $(g,n)\neq (1,2)$, there is a natural isomorphism: \[\operatorname{Out}^{\mathbb{I}_0}(\mathrm{P}\check\Gamma(S))\cong\Sigma_n\times\widehat{\operatorname{GT}},\] where $\Sigma_{n}$ is the symmetric group on $n$ letters and $\widehat{\operatorname{GT}}$ denotes the profinite Grothendieck-Teichm\"uller group. We also prove that, for $\chi(S)<g-2$, there is a natural faithful representation $\widehat{\operatorname{GT}}\hookrightarrow\operatorname{Out}^{\mathbb{I}_0}(\mathrm{P}\widehat\Gamma(S))$.

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

1 major / 2 minor

Summary. The paper determines the automorphism groups of the procongruence completions of pure mapping class groups PΓ(S) under the natural rigidity condition I_0 (outer automorphisms preserving the conjugacy class of a procyclic subgroup generated by a nonseparating Dehn twist), showing that for χ(S)<g-2 and (g,n)≠(1,2), Out^{I_0}(P check Γ(S)) is naturally isomorphic to Σ_n × hat{GT}. It also shows a natural faithful representation of hat{GT} into Out^{I_0}(P hat Γ(S)) for χ(S)<g-2. The congruence completion is identified with the image in Out(hat π1(S)).

Significance. If the results hold, they provide a precise description of these outer automorphism groups in terms of known groups like the symmetric group and the profinite Grothendieck-Teichmüller group. This is significant for understanding the structure of profinite mapping class groups and their relation to anabelian geometry. The use of natural maps and the embedding are strengths.

major comments (1)
  1. [Abstract and main theorem statement] The bounds χ(S)<g-2 and the exclusion of (g,n)=(1,2) are stated in the main result without immediate explanation of their necessity; the paper should clarify why these conditions are required for the isomorphism to hold, as they appear load-bearing for the central claim.
minor comments (2)
  1. Ensure consistent use of notation for the profinite completion (hat) and congruence completion (check) throughout the manuscript.
  2. The definition of the I_0 condition should be recalled explicitly in the statement of the main theorem for reader clarity.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive assessment of the significance of the results and for the constructive comment. We address the major comment below.

read point-by-point responses

  1. Referee: [Abstract and main theorem statement] The bounds χ(S)<g-2 and the exclusion of (g,n)=(1,2) are stated in the main result without immediate explanation of their necessity; the paper should clarify why these conditions are required for the isomorphism to hold, as they appear load-bearing for the central claim.

    Authors: We agree that the necessity of the stated bounds should be clarified immediately after the main theorem for the benefit of the reader. These conditions ensure that the surface has enough topological complexity for the rigidity of the action on the procyclic subgroups generated by nonseparating Dehn twists to determine the outer automorphisms precisely (up to the symmetric group factor), and that the case (g,n)=(1,2) is excluded because it exhibits exceptional behavior in the congruence completion. In the revised manuscript we will add a brief explanatory remark right after the statement of the main result, referencing the relevant parts of the proof. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper explicitly defines the congruence completion P check Γ(S) as the image of the natural map from the profinite completion into Out(hat π1(S)), introduces the I_0 condition as an explicit restriction on outer automorphisms (preserving the conjugacy class of a procyclic subgroup generated by a nonseparating Dehn twist), and states the main results as theorems establishing isomorphisms and faithful embeddings involving the independently defined profinite Grothendieck-Teichmüller group under explicit hypotheses on χ(S) and (g,n). These are presented as derived conclusions rather than tautological redefinitions or self-referential fits; no load-bearing steps reduce by construction to the inputs, and the abstract invokes no self-citations or ansatzes to justify the claims.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard constructions of profinite and congruence completions of mapping class groups and fundamental groups; no free parameters, ad-hoc axioms, or new entities are visible in the abstract.

axioms (1)
  • standard math The profinite completion of the fundamental group of S and the natural representation of the mapping class group into its outer automorphism group are well-defined.
    Invoked when defining P hat Γ(S) and P check Γ(S) as the image in Out(hat π_1(S)).

pith-pipeline@v0.9.0 · 5906 in / 1610 out tokens · 33501 ms · 2026-05-24T13:36:56.187354+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

30 extracted references · 30 canonical work pages · 1 internal anchor

  1. [1]

    M. Asada. The faithfulness of the monodromy representations associated with certain families of algebraic curves. J. Pure Appl. Algebra 159, (2001), 123–147. 6

    work page 2001

  2. [2]

    M. Boggi. The congruence subgroup property for the hyperelliptic Teichm¨ uller modular group: the open surface case . Hiroshima Math. J. 39 (2009), 351–362. 2, 6

    work page 2009

  3. [3]

    M. Boggi. On the procongruence completion of the Teichm¨ uller modular groups.Trans. Amer. Math. Soc. 366 (2014), 5185–5221. 3, 5, 6, 7, 9, 14, 24, 25, 48 52 M. BOGGI

    work page 2014

  4. [4]

    Boggi, P

    M. Boggi, P. Zalesskii. A restricted Magnus property for profinite surface groups. Trans. Amer. Math. Soc. 371 (2019), 729–753. 3

    work page 2019

  5. [5]

    M. Boggi. Congruence topologies on the mapping class groups . J. of Algebra 546 (2020), 518–552. 2, 3, 5, 6, 20, 29, 45

    work page 2020

  6. [6]

    Boggi, L

    M. Boggi, L. Funar. Automorphisms of procongruence curve and pants complexes. https://arxiv. org/abs/2004.04135v3 (2021). 4, 6, 7, 9, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 24, 26, 27, 34, 35, 37, 43, 44, 49, 50, 51

    work page arXiv 2004

  7. [7]

    M. Boggi. Notes on hyperelliptic mapping class groups. https://arxiv.org/abs/2110.13534v2 (2022). 34, 35, 36, 37

    work page arXiv 2022

  8. [8]

    B. Collas. Action of the Grothendieck-Teichm¨ uller group on torsion elements of full Teichm¨ uller mod- ular groups in genus zero. Journal de th´ eorie des nombres de Bordeaux, Volume 24 (2012) no. 3, 605–622. 4

    work page 2012

  9. [9]

    Drinfeld

    V.G. Drinfeld. On quasitriangular quasi-Hopf algebras and a group closely connected with GalpQ{Qq. Leningrad Math. J. Vol. 2 (1991), No. 4, 829–860. 2, 15, 30

    work page 1991

  10. [10]

    Farb and D

    B. Farb and D. Margalit. A primer on mapping class groups . Princeton Math. Series, Vol. 49, 2012. 6, 35

    work page 2012

  11. [11]

    S. Gervais. A finite presentation of the mapping class group of a punctured surface. Topology 40 (2001), 703–725. 4, 40, 41

    work page 2001

  12. [12]

    Grothendieck

    A. Grothendieck. Esquisse d’un Programme. In Geometric Galois Actions I , edited by L. Schneps and P. Lochak, London Math. Soc. LNS 242 (1997), 5–48. 2, 30

    work page 1997

  13. [13]

    Harbater, L

    D. Harbater, L. Schneps. Fundamental groups of moduli and the Grothendieck-Teichm¨ uller group. Trans. Amer. Math. Soc. 352 (2000), 3117–3148. 2, 3, 15, 26, 40

    work page 2000

  14. [14]

    Hatcher, P

    A. Hatcher, P. Lochak, L. Schneps. On the Teichm¨ uller tower of mapping class groups. J. Reine Angew. Math. 521 (2000), 1–24. 3, 4

    work page 2000

  15. [15]

    Hoshi, S

    Y. Hoshi, S. Mochizuki. On the combinatorial anabelian geometry of nodally nondegenerate outer representations. Hiroshima Math. J. Volume 41, Number 3 (2011), 275–342. 48

    work page 2011

  16. [16]

    Hoshi, A

    Y. Hoshi, A. Minamide, S. Mochizuki. Group-theoreticity of numerical invariants and distinguished subgroups of configuration space groups . RIMS Preprint 1870 (2017). 3, 15, 17

    work page 2017

  17. [17]

    J. Huisman. The equivariant fundamental group, uniformization of real algebraic curves, and global complex analytic coordinates on Teichm¨ uller spaces.Annales de la Facult´ e de sciences de Toulouse 6e s´ erie, tome10, no4 (2001), 659–682. 49

    work page 2001

  18. [18]

    Ihara, H

    Y. Ihara, H. Nakamura. Some illustrative examples for anabelian geometry in high dimensions. In Geometric Galois Actions I , edited by L. Schneps and P. Lochak, Lon. Math. Soc. LNS 242 (1997), 127-138. 49

    work page 1997

  19. [19]

    Y. Ihara. Some details on the yGT-action on pBn. Appendix to: Y. Ihara and M. Matsumoto. On Galois Actions on Profinite Completions of Braid Groups . In Recent Developments in the Inverse Galois Problem. Contemp. Math. 186, AMS (1995), 173–200. 35

    work page 1995

  20. [20]

    N.V. Ivanov. Automorphisms of complexes of curves and of Teichm¨ uller spaces.Int. Math. Res. Not. IMRN 14 (1997), 651–666. 1, 50

    work page 1997

  21. [21]

    Lochak, L

    P. Lochak, L. Schneps. A cohomological interpretation of the Grothendieck-Teichm¨ uller group.Invent. math. 127 (1997), 571–600. 51

    work page 1997

  22. [22]

    Lochak, H

    P. Lochak, H. Nakamura, L. Schneps. On a new version of the Grothendieck-Teichm¨ uller group. C. R. Acad. Sci. Paris, t. 325 (1997), 11–16. 4

    work page 1997

  23. [23]

    McCarthy

    J.D. McCarthy. Automorphisms of surface mapping class groups: A recent theorem of N.Ivanov. Invent. Math. 84 (1986), 49–71. 1, 2, 50

    work page 1986

  24. [24]

    The automorphism groups of the profinite braid groups

    A. Minamide, H. Nakamura. The automorphism groups of the profinite braid groups.https://arxiv. org/abs/1904.06749 (2019). 15, 16

    work page internal anchor Pith review Pith/arXiv arXiv 1904

  25. [25]

    Nakamura

    H. Nakamura. Galois rigidity of pure sphere braid groups and profinite calculus. J. Math. Sci. Univ. Tokyo 1 (1994), 72–136. 16, 51 AUTOMORPHISMS OF PROCONGRUENCE MAPPING CLASS GROUPS 53

    work page 1994

  26. [26]

    Nakamura, L

    H. Nakamura, L. Schneps. On a subgroup of the Grothendieck-Teichm¨ uller group acting on the tower of profinite Teichm¨ uller modular groups.Inventiones Math. 141 (2000), 503–560. 4

    work page 2000

  27. [27]

    F. Pop. ON I/OM . https://www.math.upenn.edu/~pop/Research/files-Res/IOM_29May14.pdf (2014). 11

    work page 2014

  28. [28]

    F. Pop. Finite tripod variants of I/OM . Inv. Math. 216 (2019), 745–797. 11

    work page 2019

  29. [29]

    Ribes, P

    L. Ribes, P. Zalesskii. Profinite groups. Second edition . Erg. der Math. und ihrer Grenz. 3. Folge 40, Springer-Verlag (2010). 40, 41

    work page 2010

  30. [30]

    L. Schneps. The Grothendieck-Teichm¨ uller groupyGT: a survey. In Geometric Galois Actions I , edited by L. Schneps and P. Lochak, Lon. Math. Soc. LNS 242 (1997), 183-203. 2 Departamento de Matem´atica, UFMG, Av. Ant ˆonio Carlos, 6627 – Caixa Postal 702 – CEP 31270-901, Belo Horizonte – MG, Brazil. Email address : marco.boggi@gmail.com

    work page 1997