pith. sign in

arxiv: 2405.12067 · v2 · submitted 2024-05-20 · 🧮 math.GT · math.GR

Atoroidal surface bundles

Autumn E. Kent , Christopher J. Leininger This is my paper

Pith reviewed 2026-05-24 01:34 UTC · model grok-4.3

classification 🧮 math.GT math.GR
keywords atoroidal surface bundlesmapping class groupspseudo-Anosov subgroupsfigure-eight knottype-preserving homomorphismsurface subgroupscommensurability classes
0
0 comments X

The pith

There is a type-preserving homomorphism from the fundamental group of the figure-eight knot complement to the mapping class group of the thrice-punctured torus.

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

The paper establishes a type-preserving homomorphism from the fundamental group of the figure-eight knot complement into the mapping class group of the thrice-punctured torus. This homomorphism is then used to construct surface subgroups of mapping class groups of closed surfaces that are purely pseudo-Anosov. The construction produces infinitely many commensurability classes of such subgroups and yields the first known compact atoroidal surface bundles over surfaces. A sympathetic reader would care because these bundles are new 3-manifolds that fiber over a surface with a surface fiber and carry no toroidal geometry. The result links the topology of knot complements directly to questions about subgroups of mapping class groups.

Core claim

The authors exhibit a type-preserving homomorphism from the fundamental group of the figure-eight knot complement to the mapping class group of the thrice-punctured torus. This homomorphism produces infinitely many commensurability classes of purely pseudo-Anosov surface subgroups of mapping class groups of closed surfaces and supplies the first examples of compact atoroidal surface bundles over surfaces.

What carries the argument

The type-preserving homomorphism from the fundamental group of the figure-eight knot complement to the mapping class group of the thrice-punctured torus.

Load-bearing premise

The constructed map from the knot group to the mapping class group must be a homomorphism that preserves the type of every element.

What would settle it

An explicit verification that the proposed map fails to be a homomorphism or fails to preserve types on some generators would disprove the central claim.

Figures

Figures reproduced from arXiv: 2405.12067 by Autumn E. Kent, Christopher J. Leininger.

Figure 1
Figure 1. Figure 1: A representative of the loop τβ. This loop γ defines an embedding of the circle into Mf , and the image is L0 = H(L ), where L = q({z} ×[0,1]). By Lemma 9, we have Mfzhz ∼= M(f h)z ∼= Mf −L0. Since [τ] is sent to [[ fz ]] and [β] to [[hz ]], the loop [τβ] is sent to [[ fzhz ]] = [[(f h)z ]], which proves the “furthermore” statement and completes the proof. 15 [PITH_FULL_IMAGE:figures/full_fig_p015_1.png] view at source ↗
read the original abstract

We show that there is a type-preserving homomorphism from the fundamental group of the figure-eight knot complement to the mapping class group of the thrice-punctured torus. As a corollary, we obtain infinitely many commensurability classes of purely pseudo-Anosov surface subgroups of mapping class groups of closed surfaces. This gives the first examples of compact atoroidal surface bundles over surfaces.

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 manuscript constructs an explicit type-preserving homomorphism from the fundamental group of the figure-eight knot complement to the mapping class group of the thrice-punctured torus. As a corollary it produces infinitely many commensurability classes of purely pseudo-Anosov surface subgroups of mapping class groups of closed surfaces and thereby the first examples of compact atoroidal surface bundles over surfaces.

Significance. If the explicit construction and verification hold, the result supplies the first known compact atoroidal surface bundles over surfaces together with new infinite families of purely pseudo-Anosov surface subgroups; the explicit, checkable nature of the homomorphism (concrete images of the two generators together with relator and type verification) is a strength.

minor comments (2)
  1. The abstract and introduction should state the precise target surface (thrice-punctured torus) and the knot (figure-eight) already in the first sentence for immediate clarity.
  2. Notation for the mapping class group Mod(T_{1,3}) and the knot complement should be introduced once and used consistently; a short table of generators and their images would aid readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance. The report contains no major comments requiring a point-by-point response.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper's central result is an explicit construction of a type-preserving homomorphism φ: π₁(S³∖4₁) → Mod(T_{1,3}), with the manuscript supplying concrete images of the generators, direct verification that the figure-eight relator is preserved, and type checks (parabolic to reducible, hyperbolic to pseudo-Anosov). The corollary on atoroidal bundles follows formally from this map. No equation reduces a claimed prediction to a fitted input by construction, no load-bearing premise rests on a self-citation chain, and no ansatz or uniqueness theorem is imported from prior work by the same authors. The derivation is self-contained against external benchmarks (the knot group presentation and mapping class group relations).

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The abstract invokes standard facts from 3-manifold topology and mapping class group theory (fundamental groups, type-preserving maps, pseudo-Anosov elements, commensurability of subgroups) but introduces no new free parameters, ad-hoc axioms, or invented entities. The central claim rests on the existence of one specific homomorphism whose construction is not detailed here.

axioms (2)
  • domain assumption The figure-eight knot complement has a well-defined fundamental group that admits type-preserving homomorphisms into mapping class groups.
    Invoked implicitly as the source of the homomorphism; standard in geometric topology but required for the claim.
  • standard math Mapping class groups of punctured tori contain elements whose action can be classified as pseudo-Anosov.
    Background fact used to interpret the image of the homomorphism.

pith-pipeline@v0.9.0 · 5570 in / 1549 out tokens · 19707 ms · 2026-05-24T01:34:26.399292+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. On fixed points of pseudo-Anosov maps

    math.GT 2025-09 unverdicted novelty 6.0

    Authors supply an estimate for fixed points of pseudo-Anosov maps and prove that, under strong irreducibility, log of the count is coarsely the Teichmuller length, plus volume-homology inequalities for mapping tori.

Reference graph

Works this paper leans on

92 extracted references · 92 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    A. D. Abrams.Configuration spaces and braid groups of graphs. ProQuest LLC, Ann Arbor, MI, 2000. Thesis (Ph.D.)–University of California, Berke- ley

    work page 2000

  2. [2]

    I. Agol. Private communication

    work page

  3. [3]

    Aougab, D

    T. Aougab, D. Futer, and S. Taylor. On fixed points of pseudo-anosov maps. To appear inJ. Eur. Math. Soc

    work page

  4. [4]

    Aramayona, C

    J. Aramayona, C. J. Leininger, and J. Souto. Injections of mapping class groups.Geom. Topol., 13(5):2523–2541, 2009

    work page 2009

  5. [5]

    M. F. Atiyah. The signature of fibre-bundles. InGlobal Analysis (Papers in Honor of K. Kodaira), pages 73–84. Univ. Tokyo Press, Tokyo, 1969

    work page 1969

  6. [6]

    Baker and D

    M. Baker and D. Cooper. Immersed, virtually-embedded, boundary slopes. Topology Appl., 102(3):239–252, 2000

    work page 2000

  7. [7]

    L. Bers. Fiber spaces over Teichmüller spaces.Acta Math., 130:89–126, 1973. •We thank M. Stover for bringing [88] to our attention. 32

    work page 1973

  8. [8]

    L. Bers. An extremal problem for quasiconformal mappings and a theorem by Thurston.Acta Math., 141(1-2):73–98, 1978

    work page 1978

  9. [9]

    Bestvina, K

    M. Bestvina, K. Bromberg, A. E. Kent, and C. J. Leininger. Undistorted purely pseudo-Anosov groups.J. Reine Angew. Math., 760:213–227, 2020

    work page 2020

  10. [10]

    J. S. Birman. Mapping class groups and their relationship to braid groups. Comm. Pure Appl. Math., 22:213–238, 1969

    work page 1969

  11. [11]

    J. S. Birman and H. M. Hilden. On the mapping class groups of closed surfaces as covering spaces. InAdvances in the Theory of Riemann Surfaces (Proc. Conf., Stony Brook, N.Y., 1969), volume No. 66 ofAnn. of Math. Stud., pages 81–115. Princeton Univ. Press, Princeton, NJ, 1971

    work page 1969

  12. [12]

    J. S. Birman and H. M. Hilden. On isotopies of homeomorphisms of Rie- mann surfaces.Ann. of Math. (2), 97:424–439, 1973

    work page 1973

  13. [13]

    Isotopies of homeomorphisms of Riemann surfaces

    J. S. Birman and H. M. Hilden. Erratum to “Isotopies of homeomorphisms of Riemann surfaces” [MR0325959].Ann. of Math. (2), 185(1):345, 2017

    work page 2017

  14. [14]

    B. H. Bowditch. Atoroidal surface bundles over surfaces.Geom. Funct. Anal., 19(4):943–988, 2009

    work page 2009

  15. [15]

    M. R. Bridson. On the subgroups of right-angled Artin groups and mapping class groups.Math. Res. Lett., 20(2):203–212, 2013

    work page 2013

  16. [16]

    Bryan and R

    J. Bryan and R. Donagi. Surface bundles over surfaces of small genus. Geom. Topol., 6:59–67, 2002

    work page 2002

  17. [17]

    R. D. Canary, D. B. A. Epstein, and P. L. Green. Notes on notes of Thurston. InFundamentals of hyperbolic geometry: selected expositions, volume 328 ofLondon Math. Soc. Lecture Note Ser., pages 1–115. Cambridge Univ. Press, Cambridge, 2006

    work page 2006

  18. [18]

    M. T. Clay, C. J. Leininger, and J. Mangahas. The geometry of right-angled Artin subgroups of mapping class groups.Groups Geom. Dyn., 6(2):249– 278, 2012

    work page 2012

  19. [19]

    Cooper and D

    D. Cooper and D. Futer. Ubiquitous quasi-Fuchsian surfaces in cusped hy- perbolic 3-manifolds.Geom. Topol., 23(1):241–298, 2019. 33

    work page 2019

  20. [20]

    Cooper, D

    D. Cooper, D. D. Long, and A. W. Reid. Bundles and finite foliations.Invent. Math., 118(2):255–283, 1994

    work page 1994

  21. [21]

    Crisp and L

    J. Crisp and L. Paris. The solution to a conjecture of Tits on the subgroup generated by the squares of the generators of an Artin group.Invent. Math., 145(1):19–36, 2001

    work page 2001

  22. [22]

    Crisp, M

    J. Crisp, M. Sageev, and M. Sapir. Surface subgroups of right-angled Artin groups.Internat. J. Algebra Comput., 18(3):443–491, 2008

    work page 2008

  23. [23]

    Crisp and B

    J. Crisp and B. Wiest. Embeddings of graph braid and surface groups in right-angled Artin groups and braid groups.Algebr. Geom. Topol., 4:439– 472, 2004

    work page 2004

  24. [24]

    Dowdall, A

    S. Dowdall, A. E. Kent, and C. J. Leininger. Pseudo-Anosov subgroups of fibered 3-manifold groups.Groups Geom. Dyn., 8(4):1247–1282, 2014

    work page 2014

  25. [25]

    M. G. Durham and S. J. Taylor. Convex cocompactness and stability in mapping class groups.Algebr. Geom. Topol., 15(5):2839–2859, 2015

    work page 2015

  26. [26]

    A. L. Edmonds, R. S. Kulkarni, and R. E. Stong. Realizability of branched coverings of surfaces.Trans. Amer. Math. Soc., 282(2):773–790, 1984

    work page 1984

  27. [27]

    Farb and D

    B. Farb and D. Margalit.A primer on mapping class groups, volume 49 of Princeton Mathematical Series. Princeton University Press, Princeton, NJ, 2012

    work page 2012

  28. [28]

    Farb and L

    B. Farb and L. Mosher. Convex cocompact subgroups of mapping class groups.Geom. Topol., 6:91–152 (electronic), 2002

    work page 2002

  29. [29]

    Farb and L

    B. Farb and L. Mosher. The geometry of surface-by-free groups.Geom. Funct. Anal., 12(5):915–963, 2002

    work page 2002

  30. [30]

    Fujiwara

    K. Fujiwara. Subgroups generated by two pseudo-Anosov elements in a mapping class group. II. Uniform bound on exponents.Trans. Amer. Math. Soc., 367(6):4377–4405, 2015

    work page 2015

  31. [31]

    D. Futer. There are no periodic Wright maps. Preprint,arXiv:2509.05222

    work page arXiv

  32. [32]

    F. P. Gardiner and N. Lakic.Quasiconformal Teichmüller theory, volume 76 ofMathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2000. 34

    work page 2000

  33. [33]

    González-Díez and W

    G. González-Díez and W. J. Harvey. Surface groups inside mapping class groups.Topology, 38(1):57–69, 1999

    work page 1999

  34. [34]

    C. McA. Gordon, D. D. Long, and A. W. Reid. Surface subgroups of Coxeter and Artin groups.J. Pure Appl. Algebra, 189(1-3):135–148, 2004

    work page 2004

  35. [35]

    Hamenstädt

    U. Hamenstädt. Word hyperbolic extensions of surface groups. Preprint, arXiv:math.GT/0505244

    work page arXiv

  36. [36]

    X.H. Han, Z. Rao, and J. Wan. Counting surface subgroups in cusped hy- perbolic 3-manifolds. Preprint,arXiv:2602.20098

    work page arXiv

  37. [37]

    Hatcher.Algebraic topology

    A. Hatcher.Algebraic topology. Cambridge University Press, Cambridge, 2002

    work page 2002

  38. [38]

    M. W. Hirsch.Differential topology, volume 33 ofGraduate Texts in Math- ematics. Springer-Verlag, New York, 1994. Corrected reprint of the 1976 original

    work page 1994

  39. [39]

    Hirzebruch

    F. Hirzebruch. The signature of ramified coverings. InGlobal Analysis (Papers in Honor of K. Kodaira), pages 253–265. Univ. Tokyo Press, Tokyo, 1969

    work page 1969

  40. [40]

    D. H. Husemoller. Ramified coverings of Riemann surfaces.Duke Math. J., 29:167–174, 1962

    work page 1962

  41. [41]

    Imayoshi, M

    Y . Imayoshi, M. Ito, and H. Yamamoto. A remark on the Bers type of some self-maps of Riemann surfaces with two specified points. InProceedings of the Second ISAAC Congress, Vol. 2 (Fukuoka, 1999), volume 8 ofInt. Soc. Anal. Appl. Comput., pages 871–875. Kluwer Acad. Publ., Dordrecht, 2000

    work page 1999

  42. [42]

    Italiano, B

    G. Italiano, B. Martelli, and M. Migliorini. Hyperbolic 5-manifolds that fiber overS 1.Invent. Math., 231(1):1–38, 2023

    work page 2023

  43. [43]

    N. V . Ivanov.Subgroups of Teichmüller modular groups, volume 115 of Translations of Mathematical Monographs. American Mathematical Soci- ety, Providence, RI, 1992. Translated from the Russian by E. J. F. Primrose and revised by the author

    work page 1992

  44. [44]

    Kahn and V

    J. Kahn and V . Markovi´c. Counting essential surfaces in a closed hyperbolic three-manifold.Geom. Topol., 16(1):601–624, 2012. 35

    work page 2012

  45. [45]

    Kahn and V

    J. Kahn and V . Markovic. Immersing almost geodesic surfaces in a closed hyperbolic three manifold.Ann. of Math. (2), 175(3):1127–1190, 2012

    work page 2012

  46. [46]

    Kahn and A

    J. Kahn and A. Wright. Nearly Fuchsian surface subgroups of finite covol- ume Kleinian groups.Duke Math. J., 170(3):503–573, 2021

    work page 2021

  47. [47]

    Kapovich

    M. Kapovich. Private communication

    work page

  48. [48]

    On normal subgroups in the fundamental groups of complex surfaces

    M. Kapovich. On normal subgroups in the fundamental groups of complex surfaces, 1998.arXiv:math/9808085

    work page internal anchor Pith review Pith/arXiv arXiv 1998

  49. [49]

    A. E. Kent and C. J. Leininger. Atoroidal surface bundles lacking structure. Preprint

    work page

  50. [50]

    A. E. Kent and C. J. Leininger. Subgroups of mapping class groups from the geometrical viewpoint. InIn the tradition of Ahlfors-Bers. IV, volume 432 ofContemp. Math., pages 119–141. Amer. Math. Soc., Providence, RI, 2007

    work page 2007

  51. [51]

    A. E. Kent and C. J. Leininger. Shadows of mapping class groups: capturing convex cocompactness.Geom. Funct. Anal., 18(4):1270–1325, 2008

    work page 2008

  52. [52]

    A. E. Kent and C. J. Leininger. Uniform convergence in the mapping class group.Ergodic Theory Dynam. Systems, 28(4):1177–1195, 2008

    work page 2008

  53. [53]

    A. E. Kent and C. J. Leininger. A geometric criterion to be pseudo-Anosov. Michigan Math. J., 63(2):227–251, 2014

    work page 2014

  54. [54]

    A. E. Kent, C. J. Leininger, and Saul Schleimer. Trees and mapping class groups.J. Reine Angew. Math., 637:1–21, 2009

    work page 2009

  55. [55]

    Kim.Hyperbolic surface subgroups of right-angled Artin groups and graph products of groups

    S.-h. Kim.Hyperbolic surface subgroups of right-angled Artin groups and graph products of groups. ProQuest LLC, Ann Arbor, MI, 2007. Thesis (Ph.D.)–Yale University

    work page 2007

  56. [56]

    S.-h. Kim. Co-contractions of graphs and right-angled Artin groups.Algebr. Geom. Topol., 8(2):849–868, 2008

    work page 2008

  57. [57]

    T. Koberda. Right-angled Artin groups and a generalized isomorphism prob- lem for finitely generated subgroups of mapping class groups.Geom. Funct. Anal., 22(6):1541–1590, 2012. 36

    work page 2012

  58. [58]

    Koberda, J

    T. Koberda, J. Mangahas, and S. J. Taylor. The geometry of purely loxo- dromic subgroups of right-angled Artin groups.Trans. Amer. Math. Soc., 369(11):8179–8208, 2017

    work page 2017

  59. [59]

    K. Kodaira. A certain type of irregular algebraic surfaces.J. Analyse Math., 19:207–215, 1967

    work page 1967

  60. [60]

    I. Kra. On the Nielsen-Thurston-Bers type of some self-maps of Riemann surfaces.Acta Math., 146(3-4):231–270, 1981

    work page 1981

  61. [61]

    Lafont, N

    J.-F. Lafont, N. Miller, and L. Ruffoni. On signatures of the atoroidal bundles of Kent-Leininger.arXiv:2410.18029

    work page arXiv

  62. [62]

    C. J. Leininger and A. W. Reid. A combination theorem for Veech subgroups of the mapping class group.Geom. Funct. Anal., 16(2):403–436, 2006

    work page 2006

  63. [63]

    C. J. Leininger and J. Russell. Pseudo-Anosov subgroups of general fibered 3-manifold groups.Trans. Amer. Math. Soc. Ser. B, 10:1141–1172, 2023

    work page 2023

  64. [64]

    Maclachlan

    C. Maclachlan. Fuchsian subgroups of the groups PSL 2(Od). InLow- dimensional topology and Kleinian groups (Coventry/Durham, 1984), vol- ume 112 ofLondon Math. Soc. Lecture Note Ser., pages 305–311. Cam- bridge Univ. Press, Cambridge, 1986

    work page 1984

  65. [65]

    Maclachlan and W

    C. Maclachlan and W. J. Harvey. On mapping-class groups and Teichmüller spaces.Proc. London Math. Soc. (3), 30(part):496–512, 1975

    work page 1975

  66. [66]

    Mangahas and S

    J. Mangahas and S. J. Taylor. Convex cocompactness in mapping class groups via quasiconvexity in right-angled Artin groups.Proc. Lond. Math. Soc. (3), 112(5):855–881, 2016

    work page 2016

  67. [67]

    Margalit and R

    D. Margalit and R. R. Winarski. Braids groups and mapping class groups: the Birman-Hilden theory.Bull. Lond. Math. Soc., 53(3):643–659, 2021

    work page 2021

  68. [68]

    J. D. Masters and X. Zhang. Closed quasi-Fuchsian surfaces in hyperbolic knot complements.Geom. Topol., 12(4):2095–2171, 2008

    work page 2095

  69. [69]

    C. T. McMullen, R. E. Mukamel, and A. Wright. Cubic curves and totally geodesic subvarieties of moduli space.Ann. of Math. (2), 185(3):957–990, 2017. 37

    work page 2017

  70. [70]

    M. Mitra. Cannon-Thurston maps for hyperbolic group extensions.Topol- ogy, 37(3):527–538, 1998

    work page 1998

  71. [71]

    Mj and P

    M. Mj and P. Sardar. A combination theorem for metric bundles.Geom. Funct. Anal., 22(6):1636–1707, 2012

    work page 2012

  72. [72]

    L. Mosher. A hyperbolic-by-hyperbolic hyperbolic group.Proc. Amer. Math. Soc., 125(12):3447–3455, 1997

    work page 1997

  73. [73]

    L. Mosher. Problems in the geometry of surface group extensions. InProb- lems on mapping class groups and related topics, volume 74 ofProc. Sym- pos. Pure Math., pages 245–256. Amer. Math. Soc., Providence, RI, 2006

    work page 2006

  74. [74]

    J. Nielsen. Abbildungsklassen endlicher Ordnung.Acta Math., 75:23–115, 1943

    work page 1943

  75. [75]

    Otal.The hyperbolization theorem for fibered 3-manifolds, volume 7 of SMF/AMS Texts and Monographs

    J.-P. Otal.The hyperbolization theorem for fibered 3-manifolds, volume 7 of SMF/AMS Texts and Monographs. American Mathematical Society, Provi- dence, RI; Société Mathématique de France, Paris, 2001. Translated from the 1996 French original by Leslie D. Kay

    work page 2001

  76. [76]

    A. W. Reid. Arithmeticity of knot complements.J. London Math. Soc. (2), 43(1):171–184, 1991

    work page 1991

  77. [77]

    A. W. Reid. Surface subgroups of mapping class groups. InProblems on mapping class groups and related topics, volume 74 ofProc. Sympos. Pure Math., pages 257–268. Amer. Math. Soc., Providence, RI, 2006

    work page 2006

  78. [78]

    A. G. Reznikov. Harmonic maps, hyperbolic cohomology and higher Milnor inequalities.Topology, 32(4):899–907, 1993

    work page 1993

  79. [79]

    R. Riley. Discrete parabolic representations of link groups.Mathematika, 22(2):141–150, 1975

    work page 1975

  80. [80]

    R. Riley. A quadratic parabolic group.Math. Proc. Cambridge Philos. Soc., 77:281–288, 1975

    work page 1975

Showing first 80 references.