pith. sign in

arxiv: 2409.05647 · v2 · pith:ULZIYUQHnew · submitted 2024-09-09 · 🧮 math.GT

A big mapping class acting parabolically on the nonseparating curve graph

Federica Fanoni , Sebastian Hensel This is my paper

Pith reviewed 2026-05-23 21:13 UTC · model grok-4.3

classification 🧮 math.GT
keywords mapping class groupscurve graphsinfinite type surfacesparabolic isometriesnonseparating curvesbig mapping classes
0
0 comments X

The pith

Big mapping classes on infinite-type surfaces can act as parabolic isometries on the nonseparating curve graph.

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

The paper establishes the existence of parabolic isometries for graphs of curves on surfaces of infinite type by applying fine curve graph techniques. It focuses on a specific big mapping class that realizes this parabolic action on the nonseparating curve graph. A sympathetic reader would care because this extends known dynamical behaviors of mapping classes from finite-type surfaces to the infinite-type setting. The result shows that parabolic elements appear in the isometry groups of these graphs. This provides concrete examples where the geometry of the graph admits parabolic motions induced by surface homeomorphisms.

Core claim

The central claim is that there exist parabolic isometries of the nonseparating curve graph associated to certain infinite-type surfaces, and these isometries are realized by elements of the big mapping class group.

What carries the argument

Fine curve graph tools that detect parabolic isometries through the dynamics of mapping classes on the graph.

If this is right

  • The isometry group of the nonseparating curve graph contains parabolic elements.
  • Big mapping classes can induce parabolic dynamics on curve graphs.
  • The classification of isometries on these graphs must include parabolic types for infinite-type surfaces.
  • Tools from the fine curve graph apply directly to produce examples of parabolic actions.

Where Pith is reading between the lines

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

  • Similar parabolic examples might exist for other curve graphs, such as the full curve graph, on the same surfaces.
  • The result suggests that the boundary at infinity of these graphs may have parabolic fixed points corresponding to these mapping classes.
  • One could test whether the same mapping class acts parabolically on related graphs like the arc graph.

Load-bearing premise

The fine curve graph tools developed for finite-type or simpler infinite-type cases extend without modification to the specific infinite-type surfaces and nonseparating curve graphs considered here.

What would settle it

A direct computation on a concrete infinite-type surface showing that the candidate big mapping class fails to act parabolically, for instance by exhibiting a bounded orbit or a different translation length behavior.

Figures

Figures reproduced from arXiv: 2409.05647 by Federica Fanoni, Sebastian Hensel.

Figure 1
Figure 1. Figure 1: The curves γ,γi and ηi in the proof of Proposition A We now iteratively define: • two sequences of curves β0, β1, . . . and α0, α1, . . ., • collection of arcs Ω1 ⊂ Ω2, . . ., with pairwise disjoint regular neighborhoods (de￾note by N(Ωi) the union of the regular neighborhoods of the arcs in Ωi), such that (1) for every i ≥ 1, d† (βi−1, αi) ≥ L, (2) for every i ≥ 1, (αi−1, αi)βi ≤ C and (βi , βi+1)αi ≤ C, … view at source ↗
Figure 2
Figure 2. Figure 2: Lifts of γ ′ (in orange) and of F 2 (γ) (in blue) to the universal cover of T. The lifts of p and C are in red. If by contradiction the [F]-orbit of [γ] is bounded, there is some K ≥ 0 so that for every n d † (γ, F n (γ)) ≤ d([γ], [F n (γ)]) + 1 ≤ K. Fix a genus-two branched cover S2 → T, branched over a point in the Cantor set; then the elevations of γ and of F n (γ) also have bounded distance if N C† (S2… view at source ↗
read the original abstract

We use fine curve graph tools to prove that there exist parabolic isometries of graphs of curves associated to surfaces of infinite type.

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 proves the existence of a big mapping class inducing a parabolic isometry on the nonseparating curve graph of an infinite-type surface, obtained by applying fine curve graph machinery developed in prior work.

Significance. If the argument holds, the result supplies a concrete example of a parabolic isometry on a curve graph in the infinite-type setting, extending known finite-type phenomena and contributing to the study of big mapping class groups and their actions on curve complexes.

minor comments (2)
  1. [Abstract] The abstract is extremely terse and does not identify the specific infinite-type surface or the precise fine-curve-graph lemma being invoked; expanding the introduction to state the surface and the key prior result (with citation) would improve readability.
  2. [Introduction] Notation for the nonseparating curve graph and the fine curve graph should be introduced with a brief comparison to the standard curve graph to clarify the distinction for readers unfamiliar with the infinite-type literature.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending minor revision. The report contains no specific major comments to address.

Circularity Check

0 steps flagged

No significant circularity; result follows from application of established tools

full rationale

The abstract states the existence result is obtained by applying fine curve graph tools to infinite-type surfaces and nonseparating curve graphs. No quoted equations, definitions, or self-citations in the provided material reduce the claimed parabolic isometry to a fitted parameter, self-definition, or prior result by the same authors that is itself unverified. The derivation chain is presented as an extension of independent prior machinery whose assumptions do not include the target existence statement, making the paper self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Review based solely on abstract; no free parameters, invented entities, or non-standard axioms are visible. Standard mathematical background in geometric topology is assumed.

pith-pipeline@v0.9.0 · 5528 in / 1045 out tokens · 28697 ms · 2026-05-23T21:13:58.166724+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. Fine projection complex and subsurface homeomorphisms with positive stable commutator length

    math.GT 2026-04 unverdicted novelty 7.0

    A finiteness-free projection complex yields unbounded quasi-trees for Homeo_0(S_g) with cobounded isometric actions, proving positive scl for subsurface-preserving homeomorphisms.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages · cited by 1 Pith paper

  1. [1]

    Available at http://aimpl.org/genusinfinity, 2019

    AimPL : Surfaces of infinite type. Available at http://aimpl.org/genusinfinity, 2019

    work page 2019

  2. [2]

    Abbott and Jason F

    Carolyn R. Abbott and Jason F. Manning . Acylindrically hyperbolic groups and their quasi-isometrically embedded subgroups . arXiv e-prints , page arXiv:2105.02333, May 2021

    work page arXiv 2021

  3. [3]

    On the geometry of graphs associated to infinite-type surfaces

    Javier Aramayona and Ferr\' a n Valdez. On the geometry of graphs associated to infinite-type surfaces. Math. Z. , 289(1-2):309--322, 2018

    work page 2018

  4. [4]

    Bridson and Andr\' e Haefliger

    Martin R. Bridson and Andr\' e Haefliger. Metric spaces of non-positive curvature , volume 319 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] . Springer-Verlag, Berlin, 1999

    work page 1999

  5. [5]

    Rotation sets and actions on curves

    Jonathan Bowden, Sebastian Hensel, Kathryn Mann, Emmanuel Militon, and Richard Webb. Rotation sets and actions on curves. Adv. Math. , 408:Paper No. 108579, 33, 2022

    work page 2022

  6. [6]

    Quasi-morphisms on surface diffeomorphism groups

    Jonathan Bowden, Sebastian Wolfgang Hensel, and Richard Webb. Quasi-morphisms on surface diffeomorphism groups. J. Amer. Math. Soc. , 35(1):211--231, 2022

    work page 2022

  7. [7]

    Towards the boundary of the fine curve graph

    Jonathan Bowden , Sebastian Hensel , and Richard Webb . Towards the boundary of the fine curve graph . arXiv e-prints , page arXiv:2402.18948, February 2024

    work page arXiv 2024

  8. [8]

    Conjugation-invariant norms on groups of geometric origin

    Dmitri Burago, Sergei Ivanov, and Leonid Polterovich. Conjugation-invariant norms on groups of geometric origin. In Groups of diffeomorphisms , volume 52 of Adv. Stud. Pure Math. , pages 221--250. Math. Soc. Japan, Tokyo, 2008

    work page 2008

  9. [9]

    Hyperbolic isometries of the fine curve graph of higher genus surfaces

    Pierre-Antoine Guih \'e neuf and Emmanuel Militon . Hyperbolic isometries of the fine curve graph of higher genus surfaces . arXiv e-prints , page arXiv:2311.01087, November 2023

    work page arXiv 2023

  10. [10]

    Parabolic isometries of the fine curve graph of the torus

    Pierre-Antoine Guiheneuf and Emmanuel Militon . Parabolic isometries of the fine curve graph of the torus . arXiv e-prints , page arXiv:2302.08184, February 2023

    work page arXiv 2023

  11. [11]

    Hyperbolicity of the graph of nonseparating multicurves

    Ursula Hamenst\" a dt. Hyperbolicity of the graph of nonseparating multicurves. Algebr. Geom. Topol. , 14(3):1759--1778, 2014

    work page 2014

  12. [12]

    W. J. Harvey. Boundary structure of the modular group. In Riemann surfaces and related topics: P roceedings of the 1978 S tony B rook C onference ( S tate U niv. N ew Y ork, S tony B rook, N . Y ., 1978) , volume No. 97 of Ann. of Math. Stud. , pages 245--251. Princeton Univ. Press, Princeton, NJ, 1981

    work page 1978

  13. [13]

    The boundary at infinity of the curve complex and the relative T eichm\"uller space

    Erica Klarreich. The boundary at infinity of the curve complex and the relative T eichm\"uller space. Groups Geom. Dyn. , 16(2):705--723, 2022

    work page 2022

  14. [14]

    Connectedness of the Gromov boundary of fine curve graphs

    Yusen Long and Dong Tan . Connectedness of the Gromov boundary of fine curve graphs . arXiv e-prints , page arXiv:2401.15383, January 2024

    work page arXiv 2024

  15. [15]

    On residualizing homomorphisms preserving quasiconvexity

    Ashot Minasyan. On residualizing homomorphisms preserving quasiconvexity. Comm. Algebra , 33(7):2423--2463, 2005

    work page 2005

  16. [16]

    Rotation sets for maps of tori

    Micha Misiurewicz and Krystyna Ziemian . Rotation sets for maps of tori. J. London Math. Soc. (2) , 40(3):490--506, 1989

    work page 1989

  17. [17]

    Rasmussen

    Alexander J. Rasmussen. Uniform hyperbolicity of the graphs of nonseparating curves via bicorn curves. Proc. Amer. Math. Soc. , 148(6):2345--2357, 2020

    work page 2020

  18. [18]

    a is\" a l\

    Jussi V \" a is\" a l\" a . Gromov hyperbolic spaces. Expo. Math. , 23(3):187--231, 2005

    work page 2005