pith. machine review for the scientific record. sign in

arxiv: 2604.12974 · v1 · submitted 2026-04-14 · 🧮 math.GT · math.DS· math.GR

Recognition: unknown

Fine projection complex and subsurface homeomorphisms with positive stable commutator length

Yongsheng Jia , Yusen Long
Authors on Pith no claims yet

Pith reviewed 2026-05-10 13:51 UTC · model grok-4.3

classification 🧮 math.GT math.DSmath.GR
keywords surface homeomorphismsstable commutator lengthprojection complexquasi-treessubsurface projectionsHomeo_0(S_g)cobounded actiongenus g surfaces
0
0 comments X

The pith

Some surface homeomorphisms that preserve a non-sporadic essential subsurface or a once-bordered torus have positive stable commutator length inside the identity component of the homeomorphism group of a closed surface.

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

The paper constructs a family of unbounded quasi-trees associated to any closed oriented surface of genus at least two. The identity component of the homeomorphism group acts on these quasi-trees by isometries with all orbits bounded in diameter. This action is then used to produce quasimorphisms that detect positive stable commutator length for certain subsurface-preserving homeomorphisms. The same construction yields a version of the projection complex that drops the usual finiteness requirements on the subsurface data. A reader cares because stable commutator length measures the minimal number of commutators needed to express an element, so positive values imply concrete algebraic rigidity inside an otherwise very large group.

Core claim

Drawing on earlier projection-complex techniques, the authors build a family of unbounded quasi-trees for the closed surface S_g of genus g at least 2 on which Homeo_0(S_g) acts coboundedly by isometries. They apply the resulting quasimorphisms to show that homeomorphisms preserving a non-sporadic essential subsurface or an essential subsurface homeomorphic to a once-bordered torus have positive stable commutator length inside Homeo_0(S_g). They also supply a version of the projection complex that does not require the standard finiteness conditions on the subsurface data.

What carries the argument

The fine projection complex: a graph whose vertices are essential subsurfaces and whose edges connect pairs whose projections have uniformly bounded diameter, used here to produce the family of unbounded quasi-trees carrying the cobounded isometric action of Homeo_0(S_g).

If this is right

  • Homeomorphisms fixing a non-sporadic subsurface cannot be expressed as a bounded-length product of commutators inside Homeo_0(S_g).
  • The same holds for homeomorphisms fixing a once-bordered torus subsurface.
  • Stable commutator length is positive for an infinite family of elements in every Homeo_0(S_g) with g at least two.
  • Projection complexes can be defined and used without the usual finiteness hypotheses on the collection of subsurfaces.
  • The method produces new quasimorphisms on Homeo_0(S_g) for every genus at least two.

Where Pith is reading between the lines

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

  • The same quasi-trees might be used to bound stable commutator length from below for other classes of homeomorphisms not necessarily fixing a subsurface.
  • The relaxed projection-complex construction could apply to mapping class groups or to homeomorphism groups of manifolds with boundary.
  • Positive scl values here suggest that the bounded cohomology of Homeo_0(S_g) is richer than previously detected by classical quasimorphisms.
  • One could test whether the same technique detects positive scl for homeomorphisms that permute multiple subsurfaces rather than fix one.

Load-bearing premise

The family of unbounded quasi-trees with the stated cobounded isometric action by Homeo_0(S_g) can be constructed for every closed oriented surface of genus at least two, even when the subsurface data fails the usual finiteness conditions.

What would settle it

An explicit example of a homeomorphism that preserves a non-sporadic essential subsurface yet has stable commutator length zero in Homeo_0(S_g), or a direct proof that the quasi-tree action fails to be cobounded for some genus g at least two.

Figures

Figures reproduced from arXiv: 2604.12974 by Yongsheng Jia, Yusen Long.

Figure 1
Figure 1. Figure 1: d π X1 (X2, X3) can be arbitrarily large. Theorem 3.13 (Fine Behrstock’s inequality). There exists M > 0 such that the following holds. Let X1, X2, X3 be three non-sporadic essential subsurfaces of S pairwise intersecting each 16 [PITH_FULL_IMAGE:figures/full_fig_p016_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: An example of the isotopies operated in Theorem 3.13. By this means, we obtain a pair of subsurfaces with strictly one less non-essential intersection. Now by proceeding this operation for X2 and X3 for finite steps, we can find two subsurfaces Y ⊂ X2 and Z ⊂ X3 such that they have no non-essential intersection. By Proposition 3.5, we can conclude that Y and X2 are velcrot, so are Z and X3. Again, by trian… view at source ↗
Figure 3
Figure 3. Figure 3: Isotoping subsurface boundaries to boundaries of neighbourhoods of dual [PITH_FULL_IMAGE:figures/full_fig_p018_3.png] view at source ↗
read the original abstract

Drawing inspiration from [BBF15], we construct a family of unbounded quasi-trees for a connected closed oriented surface \(S_g\) of genus \(g\geq 2\), upon which the group \(\Homeo_0(S_g)\) acts coboundedly by isometries. As an application, we show that some surface homeomorphisms preserving a non-sporadic essential subsurface or an essential subsurface homeomorphic to a once-bordered torus can have positive stable commutator length in \(\Homeo_0(S_g)\). Moreover, we provide a version of projection complex that does not require the finiteness conditions.

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

2 major / 2 minor

Summary. The paper constructs a 'fine' projection complex for a closed oriented surface S_g of genus g≥2 that dispenses with the usual finiteness conditions on the collection of subsurfaces. This yields a family of unbounded quasi-trees X_g on which Homeo_0(S_g) acts coboundedly by isometries. The main application is that certain homeomorphisms preserving a non-sporadic essential subsurface or an essential subsurface homeomorphic to a once-bordered torus have positive stable commutator length in Homeo_0(S_g).

Significance. If the construction succeeds with uniform projection constants independent of the subsurface data, the result would supply new explicit examples of positive scl in the identity component of surface homeomorphism groups and relax a standard hypothesis in the theory of projection complexes (BBF15). This could enable further applications to scl computations and quasi-tree actions in geometric topology.

major comments (2)
  1. [§3] §3 (Fine projection complex construction): The verification that the projection axioms hold with a constant K independent of the number and complexity of subsurfaces is load-bearing. Standard BBF complexes rely on finiteness to guarantee uniform K and δ-hyperbolicity; without an explicit argument that the fine version produces a quasi-tree with δ independent of the data, the unboundedness of X_g and the coboundedness of the Homeo_0 action cannot be guaranteed, blocking the translation-length lower bound for scl.
  2. [§5] §5 (Application to scl): The claim that the specified homeomorphisms have positive translation length in the quasi-tree action requires an explicit lower bound or computation. It is unclear whether this follows directly from the cobounded action or needs a separate argument showing that the homeomorphisms move the basepoint by a definite amount; without this, the positive scl conclusion does not follow from the quasi-tree construction.
minor comments (2)
  1. [Abstract] The abstract and introduction should explicitly state the precise class of homeomorphisms for which positive scl is proved, rather than 'some surface homeomorphisms'.
  2. [§2] Notation for the projection complex (e.g., the distance functions d_Y and the constant K) should be defined in a single preliminary subsection before the construction, to improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and insightful comments, which highlight important points for clarification. We address the major comments point by point below and will revise the manuscript accordingly to strengthen the exposition.

read point-by-point responses

  1. Referee: [§3] §3 (Fine projection complex construction): The verification that the projection axioms hold with a constant K independent of the number and complexity of subsurfaces is load-bearing. Standard BBF complexes rely on finiteness to guarantee uniform K and δ-hyperbolicity; without an explicit argument that the fine version produces a quasi-tree with δ independent of the data, the unboundedness of X_g and the coboundedness of the Homeo_0 action cannot be guaranteed, blocking the translation-length lower bound for scl.

    Authors: We agree that explicit independence of the constants is essential for the claims. In Section 3, the fine projection complex is constructed by taking the full collection of essential subsurfaces of S_g without finiteness restrictions, and the projection axioms are verified using the standard properties of subsurface projections. The constants K and δ are in fact independent of the collection because they depend only on the fixed genus g (via the complexity of S_g and the uniform bounds on projection distances between any pair of subsurfaces). To address the concern directly, we will add a new lemma in the revised Section 3 that explicitly computes these constants and proves δ-hyperbolicity with δ = δ(g) only, ensuring the resulting X_g is an unbounded quasi-tree with a cobounded Homeo_0(S_g)-action. revision: yes

  2. Referee: [§5] §5 (Application to scl): The claim that the specified homeomorphisms have positive translation length in the quasi-tree action requires an explicit lower bound or computation. It is unclear whether this follows directly from the cobounded action or needs a separate argument showing that the homeomorphisms move the basepoint by a definite amount; without this, the positive scl conclusion does not follow from the quasi-tree construction.

    Authors: The referee correctly identifies that coboundedness alone does not immediately yield positive translation length; a separate lower bound is required. For the homeomorphisms in question (those preserving a non-sporadic essential subsurface or a once-bordered torus), the action on the basepoint x_0 in X_g has positive displacement because such a homeomorphism moves the distinguished subsurface by a definite projection distance. In the revision, we will add an explicit computation in Section 5: for any such f, d(f·x_0, x_0) ≥ 2, implying translation length τ(f) ≥ 2. Combined with the standard inequality scl(f) ≥ τ(f)/2 for isometric actions on quasi-trees, this yields scl(f) > 0 in Homeo_0(S_g). revision: yes

Circularity Check

0 steps flagged

No circularity: construction of fine projection complex is independent of target scl statements

full rationale

The paper constructs a modified projection complex dropping finiteness conditions on subsurface collections, then builds unbounded quasi-trees with cobounded Homeo_0(S_g) action, and derives positive scl as an application. No step reduces the central claims to self-definitions, fitted parameters renamed as predictions, or load-bearing self-citations. The derivation chain relies on external inspiration from [BBF15] but verifies the required axioms and properties directly in the new setting; the scl lower bounds follow from the resulting isometric action without circular reduction to the input data or prior results by the same authors. The construction is presented as self-contained against the stated assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard domain assumptions of surface topology and the cited prior construction in [BBF15]. No free parameters, ad-hoc axioms, or new postulated entities appear in the abstract.

axioms (1)
  • domain assumption S_g is a connected closed oriented surface of genus g >= 2
    Explicitly stated as the setting for all constructions and applications.

pith-pipeline@v0.9.0 · 5393 in / 1174 out tokens · 44270 ms · 2026-05-10T13:51:21.566805+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

58 extracted references · 45 canonical work pages · 1 internal anchor

  1. [1]

    Longueur stable des commutateurs

    Christophe Bavard. Longueur stable des commutateurs. Enseign. Math. (2) , 37(1-2):109--150, 1991

    1991

  2. [2]

    Constructing group actions on quasi-trees and applications to mapping class groups

    Mladen Bestvina, Ken Bromberg, and Koji Fujiwara. Constructing group actions on quasi-trees and applications to mapping class groups. Publ. Math., Inst. Hautes \'E tud. Sci. , 122:1--64, 2015. https://doi.org/10.1007/s10240-014-0067-4 doi:10.1007/s10240-014-0067-4

    work page doi:10.1007/s10240-014-0067-4 2015

  3. [3]

    Stable commutator length on mapping class groups

    Mladen Bestvina, Ken Bromberg, and Koji Fujiwara. Stable commutator length on mapping class groups. Ann. Inst. Fourier , 66(3):871--898, 2016. https://doi.org/10.5802/aif.3028 doi:10.5802/aif.3028

    work page doi:10.5802/aif.3028 2016

  4. [4]

    Acylindrical actions on projection complexes

    Mladen Bestvina, Kenneth Bromberg, Koji Fujiwara, and Alessandro Sisto. Acylindrical actions on projection complexes. Enseign. Math. (2) , 65(1-2):1--32, 2019. https://doi.org/10.4171/LEM/65-1/2-1 doi:10.4171/LEM/65-1/2-1

    work page doi:10.4171/lem/65-1/2-1 2019

  5. [5]

    and Dranishnikov, A

    G. Bell and A. Dranishnikov. Asymptotic dimension. Topology Appl. , 155(12):1265--1296, 2008. https://doi.org/10.1016/j.topol.2008.02.011 doi:10.1016/j.topol.2008.02.011

    work page doi:10.1016/j.topol.2008.02.011 2008

  6. [6]

    Behrstock

    Jason A. Behrstock. Asymptotic geometry of the mapping class group and Teichm \"u ller space. Geom. Topol. , 10:1523--1578, 2006. https://doi.org/10.2140/gt.2006.10.1523 doi:10.2140/gt.2006.10.1523

    work page doi:10.2140/gt.2006.10.1523 2006

  7. [7]

    Bounded cohomology of subgroups of mapping class groups

    Mladen Bestvina and Koji Fujiwara. Bounded cohomology of subgroups of mapping class groups. Geom. Topol. , 6:69--89, 2002. URL: https://eudml.org/doc/122903, https://doi.org/10.2140/gt.2002.6.69 doi:10.2140/gt.2002.6.69

    work page doi:10.2140/gt.2002.6.69 2002

  8. [8]

    Bridson and Andr \'e Haefliger

    Martin R. Bridson and Andr \'e Haefliger. Metric spaces of non-positive curvature , volume 319 of Grundlehren Math. Wiss. Berlin: Springer, 1999

    1999

  9. [9]

    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:33, 2022. Id/No 108579. https://doi.org/10.1016/j.aim.2022.108579 doi:10.1016/j.aim.2022.108579

    work page doi:10.1016/j.aim.2022.108579 2022

  10. [10]

    Quasi-morphisms on surface diffeomorphism groups

    Jonathan Bowden, Sebastian Wolfgang Hensel, and Richard Webb. Quasi-morphisms on surface diffeomorphism groups. J. Am. Math. Soc. , 35(1):211--231, 2022. https://doi.org/10.1090/jams/981 doi:10.1090/jams/981

    work page doi:10.1090/jams/981 2022

  11. [11]

    Towards the boundary of the fine curve graph, 2024

    Jonathan Bowden, Sebastian Hensel, and Richard Webb. Towards the boundary of the fine curve graph, 2024. URL: https://arxiv.org/abs/2402.18948, https://arxiv.org/abs/2402.18948 arXiv:2402.18948

    work page arXiv 2024

  12. [12]

    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 in honor of Shigeyuki Morita on the occasion of his 60th birthday. Based on the international symposium on groups and diffeomorphisms 2006, Tokyo, Japan, September 11--15, 2006 , pages 221--250. Tokyo: Mathematical ...

    2006

  13. [13]

    Dimensions of locally and asymptotically self-similar spaces

    Serei Buyalo and Nina Lebedeva. Dimensions of locally and asymptotically self-similar spaces. St. Petersbg. Math. J. , 19(1):45--65, 2008. https://doi.org/10.1090/S1061-0022-07-00985-5 doi:10.1090/S1061-0022-07-00985-5

    work page doi:10.1090/s1061-0022-07-00985-5 2008

  14. [14]

    Automorphisms of the fine 1-curve graph

    Katherine Williams Booth, Daniel Minahan, and Roberta Shapiro. Automorphisms of the fine 1-curve graph. Geom. Dedicata , 219(5):20, 2025. Id/No 68. https://doi.org/10.1007/s10711-025-01024-3 doi:10.1007/s10711-025-01024-3

    work page doi:10.1007/s10711-025-01024-3 2025

  15. [15]

    Automorphisms of smooth fine curve graphs

    Katherine Williams Booth. Automorphisms of smooth fine curve graphs. Trans. Am. Math. Soc. , 379(4):4697--4730, 2026. https://doi.org/10.1090/tran/9560 doi:10.1090/tran/9560

    work page doi:10.1090/tran/9560 2026

  16. [16]

    , TITLE =

    Brian H. Bowditch. Uniform hyperbolicity of the curve graphs. Pac. J. Math. , 269(2):269--280, 2014. https://doi.org/10.2140/pjm.2014.269.269 doi:10.2140/pjm.2014.269.269

    work page doi:10.2140/pjm.2014.269.269 2014

  17. [17]

    Some remarks on bounded cohomology

    Robert Brooks. Some remarks on bounded cohomology. In Riemann surfaces and related topics: Proceedings of the 1978 Stony Brook Conference (State Univ. New York, Stony Brook, NY, 1978) , volume 97, pages 53--63, 1980

    1978

  18. [18]

    Non-orientable surfaces have stably unbounded homeomorphism group, 2026

    Lukas Böke. Non-orientable surfaces have stably unbounded homeomorphism group, 2026. URL: https://arxiv.org/abs/2602.10707, https://arxiv.org/abs/2602.10707 arXiv:2602.10707

    work page arXiv 2026

  19. [19]

    Danny Calegari. scl. , volume 20 of MSJ Mem. Tokyo: Mathematical Society of Japan, 2009. URL: projecteuclid.org/euclid.msjm/1416864672, https://doi.org/10.2969/msjmemoirs/020010000 doi:10.2969/msjmemoirs/020010000

    work page doi:10.2969/msjmemoirs/020010000 2009

  20. [20]

    Amenable hyperbolic groups

    Pierre-Emmanuel Caprace, Yves Cornulier, Nicolas Monod, and Romain Tessera. Amenable hyperbolic groups. J. Eur. Math. Soc. (JEMS) , 17(11):2903--2947, 2015. https://doi.org/10.4171/JEMS/575 doi:10.4171/JEMS/575

    work page doi:10.4171/jems/575 2015

  21. [21]

    Metric weak proper discontinuity for pseudo- A nosov maps, 2025

    Inhyeok Choi. Metric weak proper discontinuity for pseudo- A nosov maps, 2025. URL: https://arxiv.org/abs/2506.21214, https://arxiv.org/abs/2506.21214 arXiv:2506.21214

    work page arXiv 2025

  22. [22]

    Big pure mapping class groups are never perfect

    George Domat and Ryan Dickmann. Big pure mapping class groups are never perfect. Math. Res. Lett. , 29(3):691--726, 2022. https://doi.org/10.4310/MRL.2022.v29.n3.a4 doi:10.4310/MRL.2022.v29.n3.a4

    work page doi:10.4310/mrl.2022.v29.n3.a4 2022

  23. [23]

    Homotopy types of fine curve and fine arc complexes, 2026

    Ryan Dickmann, Zachary Himes, Alexander Nolte, and Roberta Shapiro. Homotopy types of fine curve and fine arc complexes, 2026. URL: https://arxiv.org/abs/2602.09897, https://arxiv.org/abs/2602.09897 arXiv:2602.09897

    work page arXiv 2026

  24. [24]

    Geometry and dynamics in Gromov hyperbolic metric spaces: with an emphasis on non-proper settings , volume 218 of Math

    Tushar Das, David Simmons, and Mariusz Urba \'n ski. Geometry and dynamics in Gromov hyperbolic metric spaces: with an emphasis on non-proper settings , volume 218 of Math. Surv. Monogr. Providence, RI: American Mathematical Society (AMS), 2017. https://doi.org/10.1090/surv/218 doi:10.1090/surv/218

    work page doi:10.1090/surv/218 2017

  25. [25]

    Torus diffeomorphisms with parabolic and non-proper actions on the fine curve graph and their generalized rotation sets, 2024

    Nastaran Einabadi. Torus diffeomorphisms with parabolic and non-proper actions on the fine curve graph and their generalized rotation sets, 2024. URL: https://arxiv.org/abs/2405.19123, https://arxiv.org/abs/2405.19123 arXiv:2405.19123

    work page arXiv 2024

  26. [26]

    From curve graphs to fine curve graphs and back, 2024

    Federica Fanoni and Sebastian Hensel. From curve graphs to fine curve graphs and back, 2024. URL: https://arxiv.org/abs/2409.05647, https://arxiv.org/abs/2409.05647 arXiv:2409.05647

    work page internal anchor Pith review arXiv 2024

  27. [27]

    Approximating stable translation lengths on fine curve graphs, 2026

    Federica Fanoni, Sebastian Hensel, and Frédéric Le Roux . Approximating stable translation lengths on fine curve graphs, 2026. URL: https://arxiv.org/abs/2601.03412, https://arxiv.org/abs/2601.03412 arXiv:2601.03412

    work page arXiv 2026

  28. [28]

    Hyperbolic isometries of the fine curve graph of higher genus surfaces, 2023

    Pierre-Antoine Guihéneuf and Emmanuel Militon. Hyperbolic isometries of the fine curve graph of higher genus surfaces, 2023. URL: https://arxiv.org/abs/2311.01087, https://arxiv.org/abs/2311.01087 arXiv:2311.01087

    work page arXiv 2023

  29. [29]

    Parabolic isometries of the fine curve graph of the torus

    Pierre-Antoine Guih \'e neuf and Emmanuel Militon. Parabolic isometries of the fine curve graph of the torus. Proc. Lond. Math. Soc. (3) , 129(2):27, 2024. Id/No e12625. https://doi.org/10.1112/plms.12625 doi:10.1112/plms.12625

    work page doi:10.1112/plms.12625 2024

  30. [30]

    Volume and bounded cohomology

    Mikhael Gromov. Volume and bounded cohomology. Publ. Math., Inst. Hautes \'E tud. Sci. , 56:5--99, 1982

    1982

  31. [31]

    Hyperbolic groups

    Mikhael Gromov. Hyperbolic groups. In Essays in group theory , pages 75--263. Springer, New York, NY, 1987

    1987

  32. [32]

    Asymptotic invariants of infinite groups

    Mikhael Gromov. Asymptotic invariants of infinite groups. In Geometric Group Theory , volume 2, pages 1--295. Cambridge University Press, 1993

    1993

  33. [33]

    a dt. Geometry of the complex of curves and of Teichm \

    Ursula Hamenst \"a dt. Geometry of the complex of curves and of Teichm \"u ller space. In Handbook of Teichm\"uller theory. Volume I , pages 447--467. Z \"u rich: European Mathematical Society (EMS), 2007

    2007

  34. [34]

    Rotation sets and axes in the fine curve graph for torus homeomorphisms, 2025

    Sebastian Hensel and Frédéric Le Roux . Rotation sets and axes in the fine curve graph for torus homeomorphisms, 2025. URL: https://arxiv.org/abs/2509.26156, https://arxiv.org/abs/2509.26156 arXiv:2509.26156

    work page arXiv 2025

  35. [35]

    Induced quasicocycles on groups with hyperbolically embedded subgroups

    Michael Hull and Denis Osin. Induced quasicocycles on groups with hyperbolically embedded subgroups. Algebr. Geom. Topol. , 13(5):2635--2665, 2013. https://doi.org/10.2140/agt.2013.13.2635 doi:10.2140/agt.2013.13.2635

    work page doi:10.2140/agt.2013.13.2635 2013

  36. [36]

    Sebastian Hensel, Piotr Przytycki, and Richard C. H. Webb. 1-slim triangles and uniform hyperbolicity for arc graphs and curve graphs. J. Eur. Math. Soc. (JEMS) , 17(4):755--762, 2015. URL: www.research.manchester.ac.uk/portal/en/publications/1slim-triangles-and-uniform-hyperbolicity-for-arc-graphs-and-curve-graphs(c0c1b89f-2bd1-4281-9df6-67f4d7111e81).ht...

    work page doi:10.4171/jems/517 2015

  37. [37]

    Big mapping class groups with hyperbolic actions: classification and applications

    Camille Horbez, Yulan Qing, and Kasra Rafi. Big mapping class groups with hyperbolic actions: classification and applications. J. Inst. Math. Jussieu , 21(6):2173--2204, 2022. https://doi.org/10.1017/S1474748021000189 doi:10.1017/S1474748021000189

    work page doi:10.1017/s1474748021000189 2022

  38. [38]

    Balanced curves, quasimorphisms, and the equator conjecture, 2025

    Yongsheng Jia and Richard Webb. Balanced curves, quasimorphisms, and the equator conjecture, 2025. URL: https://arxiv.org/abs/2511.22698, https://arxiv.org/abs/2511.22698 arXiv:2511.22698

    work page arXiv 2025

  39. [39]

    Quasimorphisms on nonorientable surface diffeomorphism groups

    Mitsuaki Kimura and Erika Kuno. Quasimorphisms on nonorientable surface diffeomorphism groups. Adv. Geom. , 25(2):193--205, 2025. https://doi.org/10.1515/advgeom-2025-0011 doi:10.1515/advgeom-2025-0011

    work page doi:10.1515/advgeom-2025-0011 2025

  40. [40]

    Survey on invariant quasimorphisms and stable mixed commutator length

    Morimichi Kawasaki, Mitsuaki Kimura, Shuhei Maruyama, Takahiro Matsushita, and Masato Mimura. Survey on invariant quasimorphisms and stable mixed commutator length. Topol. Proc. , 64:129--174, 2024. URL: topology.nipissingu.ca/tp/restricted/v64/tp64006.pdf

    2024

  41. [41]

    Kopreski

    Michael C. Kopreski. The asymptotic dimension of the grand arc graph is infinite, 2025. URL: https://arxiv.org/abs/2402.03603, https://arxiv.org/abs/2402.03603 arXiv:2402.03603

    work page arXiv 2025

  42. [42]

    Stable length in stable groups

    Dieter Kotschick. Stable length in stable groups. In Groups of diffeomorphisms in honor of Shigeyuki Morita on the occasion of his 60th birthday. Based on the international symposium on groups and diffeomorphisms 2006, Tokyo, Japan, September 11--15, 2006 , pages 401--413. Tokyo: Mathematical Society of Japan, 2008

    2006

  43. [43]

    John M. Lee. Introduction to smooth manifolds , volume 218 of Grad. Texts Math. New York, NY: Springer, 2002

    2002

  44. [44]

    Automorphisms of the fine curve graph

    Adele Long, Dan Margalit, Anna Pham, Yvon Verberne, and Claudia Yao. Automorphisms of the fine curve graph. Trans. Am. Math. Soc. , 378(8):5259--5277, 2025. https://doi.org/10.1090/tran/9374 doi:10.1090/tran/9374

    work page doi:10.1090/tran/9374 2025

  45. [45]

    Étude topologique de l’espace des homéomorphismes de Brouwer

    Frédéric Le Roux. Étude topologique de l’espace des homéomorphismes de Brouwer . PhD thesis, Université Joseph Fourier Grenoble I, 1997

    1997

  46. [46]

    Automorphisms of some variants of fine graphs

    Fr \'e d \'e ric Le Roux and Maxime Wolff. Automorphisms of some variants of fine graphs. Algebr. Geom. Topol. , 24(8):4697--4730, 2024. https://doi.org/10.2140/agt.2024.24.4697 doi:10.2140/agt.2024.24.4697

    work page doi:10.2140/agt.2024.24.4697 2024

  47. [47]

    Connectedness of the gromov boundary of fine curve graphs, 2025

    Yusen Long and Dong Tan. Connectedness of the gromov boundary of fine curve graphs, 2025. URL: https://arxiv.org/abs/2401.15383, https://arxiv.org/abs/2401.15383 arXiv:2401.15383

    work page arXiv 2025

  48. [48]

    Geometry of pseudocharacters

    Jason Fox Manning. Geometry of pseudocharacters. Geom. Topol. , 9:1147--1185, 2005. URL: https://eudml.org/doc/125703, https://doi.org/10.2140/gt.2005.9.1147 doi:10.2140/gt.2005.9.1147

    work page doi:10.2140/gt.2005.9.1147 2005

  49. [49]

    Uniform uniform exponential growth of subgroups of the mapping class group

    Johanna Mangahas. Uniform uniform exponential growth of subgroups of the mapping class group. Geom. Funct. Anal. , 19(5):1468--1480, 2010. https://doi.org/10.1007/s00039-009-0038-y doi:10.1007/s00039-009-0038-y

    work page doi:10.1007/s00039-009-0038-y 2010

  50. [50]

    Masur and Yair N

    Howard A. Masur and Yair N. Minsky. Geometry of the complex of curves. I : Hyperbolicity . Invent. Math. , 138(1):103--149, 1999. https://doi.org/10.1007/s002220050343 doi:10.1007/s002220050343

    work page doi:10.1007/s002220050343 1999

  51. [51]

    H. A. Masur and Y. N. Minsky. Geometry of the complex of curves. II : Hierarchical structure. Geom. Funct. Anal. , 10(4):902--974, 2000. https://doi.org/10.1007/PL00001643 doi:10.1007/PL00001643

    work page doi:10.1007/pl00001643 2000

  52. [52]

    Large-scale geometry of homeomorphism groups

    Kathryn Mann and Christian Rosendal. Large-scale geometry of homeomorphism groups. Ergodic Theory Dyn. Syst. , 38(7):2748--2779, 2018. https://doi.org/10.1017/etds.2017.8 doi:10.1017/etds.2017.8

    work page doi:10.1017/etds.2017.8 2018

  53. [53]

    The geometry of the disk complex

    Howard Masur and Saul Schleimer. The geometry of the disk complex. J. Am. Math. Soc. , 26(1):1--62, 2013. https://doi.org/10.1090/S0894-0347-2012-00742-5 doi:10.1090/S0894-0347-2012-00742-5

    work page doi:10.1090/s0894-0347-2012-00742-5 2013

  54. [54]

    A note on acylindrical hyperbolicity of mapping class groups

    Piotr Przytycki and Alessandro Sisto. A note on acylindrical hyperbolicity of mapping class groups. In Hyperbolic geometry and geometric group theory. Proceedings of the 7th Seasonal Institute of the Mathematical Society of Japan (MSJ-SI), Tokyo, Japan, July 30 -- August 5, 2014 , pages 255--264. Tokyo: Mathematical Society of Japan (MSJ), 2017. https://d...

    work page doi:10.2969/aspm/07310255 2014

  55. [55]

    Rasmussen

    Alexander J. Rasmussen. Uniform hyperbolicity of the graphs of nonseparating curves via bicorn curves. Proc. Am. Math. Soc. , 148(6):2345--2357, 2020. https://doi.org/10.1090/proc/14880 doi:10.1090/proc/14880

    work page doi:10.1090/proc/14880 2020

  56. [56]

    Lectures on coarse geometry , volume 31 of Univ

    John Roe. Lectures on coarse geometry , volume 31 of Univ. Lect. Ser. Providence, RI: American Mathematical Society (AMS), 2003

    2003

  57. [57]

    Coarse geometry of topological groups , volume 223 of Camb

    Christian Rosendal. Coarse geometry of topological groups , volume 223 of Camb. Tracts Math. Cambridge: Cambridge University Press, 2021. https://doi.org/10.1017/9781108903547 doi:10.1017/9781108903547

    work page doi:10.1017/9781108903547 2021

  58. [58]

    An extension theorem for quasimorphisms, 2025

    Bingxue Tao. An extension theorem for quasimorphisms, 2025. URL: https://arxiv.org/abs/2511.21306, https://arxiv.org/abs/2511.21306 arXiv:2511.21306

    work page arXiv 2025