Fine projection complex and subsurface homeomorphisms with positive stable commutator length
Pith reviewed 2026-05-25 06:10 UTC · model grok-4.3
The pith
Some surface homeomorphisms preserving essential subsurfaces have positive stable commutator length in Homeo_0(S_g).
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By building a family of unbounded quasi-trees for S_g that admits a cobounded isometric action by Homeo_0(S_g), the authors prove that 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). They further supply a projection complex construction that avoids the finiteness condition.
What carries the argument
The family of unbounded quasi-trees admitting a cobounded isometric action by Homeo_0(S_g), obtained via a fine projection complex without the finiteness condition.
If this is right
- Homeomorphisms preserving non-sporadic essential subsurfaces can have positive stable commutator length.
- Homeomorphisms preserving essential subsurfaces homeomorphic to a once-bordered torus can have positive stable commutator length.
- The projection complex construction applies without requiring a finiteness condition.
- The quasi-tree action provides a uniform way to produce elements of positive stable commutator length inside Homeo_0(S_g).
Where Pith is reading between the lines
- The same quasi-tree construction could be tested on homeomorphisms that preserve other classes of subsurfaces to see whether positive scl appears more widely.
- If the cobounded action holds, it supplies a concrete geometric model for detecting scl positivity that might be compared against other length functions on the homeomorphism group.
- The finiteness-free projection complex may allow direct application to infinite-type surfaces or other settings where the standard finiteness assumption fails.
Load-bearing premise
The family of unbounded quasi-trees exists and admits a cobounded isometric action by Homeo_0(S_g).
What would settle it
An explicit computation or example showing that every homeomorphism preserving a non-sporadic essential subsurface or a once-bordered torus subsurface has stable commutator length exactly zero.
Figures
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 $\mathrm{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 $\mathrm{Homeo}_0(S_g)$. Moreover, we provide a version of projection complex that does not require the finiteness condition.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript constructs a family of unbounded quasi-trees for a closed oriented surface S_g (g ≥ 2) on which Homeo_0(S_g) acts coboundedly by isometries, using a projection complex that dispenses with the usual finiteness condition and draws inspiration from BBF15. As an application, it establishes 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 central construction holds, the result supplies new examples of elements with positive scl inside Homeo_0(S_g) and supplies a technically more flexible projection-complex framework that removes a restrictive hypothesis; both contributions are of interest to researchers working on stable commutator length and quasi-trees in surface homeomorphism groups.
minor comments (2)
- [Abstract] The abstract and introduction should include a brief sentence recalling the definition of a non-sporadic subsurface (or a pointer to the precise reference) so that readers outside the immediate subfield can follow the statement of the main theorem without external lookup.
- [Section 3 or 4] In the construction of the projection complex (likely §3 or §4), the verification that the resulting spaces are quasi-trees should be cross-referenced explicitly to the relevant axioms or distance formula, even if the argument is modeled on BBF15.
Simulated Author's Rebuttal
We thank the referee for the positive summary, the assessment of significance, and the recommendation of minor revision. No specific major comments appear in the report.
Circularity Check
No significant circularity; derivation self-contained against external benchmarks
full rationale
The paper constructs a finiteness-free projection complex and a family of unbounded quasi-trees with cobounded Homeo_0(S_g) action, drawing inspiration from [BBF15] (distinct authors). It then applies this to exhibit positive stable commutator length for certain subsurface-preserving homeomorphisms. No equations, fitted parameters, or self-citations are shown that reduce any central claim to its own inputs by construction; the construction is presented as independent of the target scl result and externally inspired. This is the normal case of a self-contained argument.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
Longueur stable des commutateurs
Christophe Bavard. Longueur stable des commutateurs. Enseign. Math. (2) , 37(1-2):109--150, 1991
work page 1991
-
[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
-
[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
-
[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
-
[5]
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
-
[6]
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
-
[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
-
[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
work page 1999
-
[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
-
[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
-
[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
-
[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 ...
work page 2006
-
[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
-
[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
-
[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
-
[16]
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
-
[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
work page 1978
-
[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
-
[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
-
[20]
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
-
[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
-
[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
-
[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
-
[24]
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
-
[25]
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
-
[26]
A big mapping class acting parabolically on the nonseparating curve graph
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 Pith/arXiv arXiv 2024
-
[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
-
[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
-
[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
-
[30]
Mikhael Gromov. Volume and bounded cohomology. Publ. Math., Inst. Hautes \'E tud. Sci. , 56:5--99, 1982
work page 1982
-
[31]
Mikhael Gromov. Hyperbolic groups. In Essays in group theory , pages 75--263. Springer, New York, NY, 1987
work page 1987
-
[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
work page 1993
-
[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
work page 2007
-
[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
-
[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
-
[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...
-
[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
-
[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
-
[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
-
[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
work page 2024
- [41]
-
[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
work page 2006
-
[43]
John M. Lee. Introduction to smooth manifolds , volume 218 of Grad. Texts Math. New York, NY: Springer, 2002
work page 2002
-
[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
-
[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
work page 1997
-
[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
-
[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
-
[48]
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
-
[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
-
[50]
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
-
[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
-
[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
-
[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
-
[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...
-
[55]
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
-
[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
work page 2003
-
[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
-
[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
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.