arxiv: 2605.13064 · v1 · submitted 2026-05-13 · 🧮 math.GT · math.DS· math.GR

Recognition: 2 theorem links

· Lean Theorem

Non-arithmeticity of length spectra of subgroups of mapping class groups

Dongryul M. Kim, Inhyeok Choi

Pith reviewed 2026-05-14 01:49 UTC · model grok-4.3

classification 🧮 math.GT math.DSmath.GR

keywords mapping class groupsTeichmüller length spectrumnon-arithmeticcross-ratiospseudo-Anosov elementsmeasured foliations

0 comments

The pith

Every non-elementary subgroup of the mapping class group has a non-arithmetic Teichmüller length spectrum.

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

The paper proves that any non-elementary subgroup of the mapping class group of a surface has Teichmüller translation lengths of its pseudo-Anosov elements that generate a dense additive subgroup of the real numbers. This is established through new cross-ratios defined on the space of measured foliations and its projective version, together with an analysis of their geometric and dynamical properties. A sympathetic reader cares because the result shows these subgroups produce length spectra free of arithmetic constraints, even though Teichmüller space lacks negative curvature and the projective space lacks conformal structure.

Core claim

Every non-elementary subgroup of the mapping class group of a surface has non-arithmetic Teichmüller length spectrum. Namely, Teichmüller translation lengths of its pseudo-Anosov elements generate a dense additive subgroup of R. The proof introduces cross-ratios on MF and PMF and studies their geometric and dynamical properties despite the lack of negatively curved features of the Teichmüller space or conformal geometry on PMF.

What carries the argument

Cross-ratios on the spaces of measured foliations MF and projective measured foliations PMF, used to extract geometric and dynamical relations that force additive density of the generated length group.

If this is right

The additive group generated by the lengths is dense in R for every such subgroup.
The non-arithmeticity holds uniformly across all surfaces and all non-elementary subgroups.
The density conclusion is obtained without invoking negative curvature of Teichmüller space.

Where Pith is reading between the lines

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

Similar cross-ratio techniques might produce density results for other length functions associated to these groups.
The approach could extend to actions of mapping class groups on other spaces that also lack curvature.
Explicit length computations inside finitely generated examples could provide numerical checks of the density.

Load-bearing premise

The cross-ratios on MF and PMF satisfy the geometric and dynamical properties needed to force density of the length spectrum despite the absence of negative curvature or conformal structure.

What would settle it

A concrete non-elementary subgroup in which the Teichmüller translation lengths of all its pseudo-Anosov elements generate only a discrete subgroup of R, such as the integer multiples of one fixed length, would falsify the result.

Figures

Figures reproduced from arXiv: 2605.13064 by Dongryul M. Kim, Inhyeok Choi.

**Figure 1.** Figure 1: Iceberg on fτ Now we set C := i(g +, z)i(z, g−) i(g+, g−) > 0. Recalling α = λ 2 g , it follows from Equation (2.4) that fτ (A n v) = C · α n for all large n ∈ N [PITH_FULL_IMAGE:figures/full_fig_p010_1.png] view at source ↗

read the original abstract

In this paper, we prove that every non-elementary subgroup of the mapping class group of a surface has non-arithmetic Teichm\"uller length spectrum. Namely, Teichm\"uller translation lengths of its pseudo-Anosov elements generate a dense additive subgroup of $\mathbb{R}$. We prove this by introducing the notion of cross-ratios on $\mathcal{MF}$ and $\mathcal{PMF}$, and studying its geometric and dynamical properties, despite the lack of negatively curved features of the Teichm\"uller space nor the conformal geometry on $\mathcal{PMF}$.

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.

Desk Editor's Note private letter to a colleague

The paper proves that every non-elementary subgroup of a mapping class group has a dense Teichmüller length spectrum by defining cross-ratios on MF and PMF.

read the letter

The core claim is that non-elementary subgroups of mapping class groups always have non-arithmetic Teichmüller length spectra. The translation lengths of their pseudo-Anosov elements generate a dense subgroup of the reals. The authors reach this by introducing cross-ratios on the space of measured foliations and its projectivization, then checking their geometric and dynamical properties directly, without negative curvature on Teichmüller space or conformal structure on PMF. That choice is deliberate and looks like the main technical step forward. Earlier work on length spectra often leaned on those geometric features; here the argument stands on the new cross-ratios instead. The abstract states the result cleanly and the method reads as a genuine addition rather than a routine extension. If the full proofs establish the required inequalities and mixing properties for arbitrary non-elementary subgroups, the density conclusion follows. The potential soft spot is exactly there: those cross-ratio properties have to carry the whole argument on their own. Any gap in verifying the strict inequalities or ergodicity-type behavior for every subgroup action would weaken the result. From the setup there is no obvious circularity or dependence on extra assumptions, but the details need checking. This is aimed at people who already work with mapping class groups, pseudo-Anosov dynamics, and questions about arithmetic versus dense spectra. A reader comfortable with Teichmüller theory will see the value quickly. It is worth sending to a serious referee because the statement is natural and the technique introduces something usable for related problems.

Referee Report

2 major / 2 minor

Summary. The paper proves that every non-elementary subgroup of the mapping class group of a closed surface has non-arithmetic Teichmüller length spectrum: the translation lengths of its pseudo-Anosov elements generate a dense additive subgroup of R. The argument proceeds by defining cross-ratios on the space of measured foliations MF and its projectivization PMF, then establishing geometric and dynamical properties of these cross-ratios that are claimed to imply density of the length spectrum for arbitrary non-elementary subgroups, without using negative curvature on Teichmüller space or conformal structure on PMF.

Significance. If the central claim holds, the result would be a notable contribution to Teichmüller theory and geometric group theory, establishing density of length spectra beyond the cases previously known from negative curvature or conformal dynamics. The introduction of cross-ratios on MF/PMF as a new tool is a potential strength that could have broader applicability.

major comments (2)

[Proof of the main theorem (cross-ratio dynamical properties)] The load-bearing step is the assertion that the dynamical properties of the newly defined cross-ratios on PMF (mixing, non-degeneracy, or strict inequalities producing incommensurable lengths) hold for the action of every non-elementary subgroup and force density of the length spectrum. This needs explicit verification that no invariant subsets of PMF allow commensurate lengths; the abstract sketch does not rule out the possibility that the properties only hold under additional restrictions on the subgroup action.
[Definition and geometric properties of cross-ratios] The geometric properties claimed for the cross-ratios on MF (e.g., the inequalities or continuity statements used to relate lengths) must be shown to be independent of any conformal or curvature assumptions; if these properties are only verified in special cases or rely on unstated non-degeneracy conditions, the extension to arbitrary non-elementary subgroups does not follow.

minor comments (2)

[Section 2] Notation for the cross-ratio function should be introduced with a clear symbol (e.g., [·,·;·,·]) and distinguished from classical cross-ratios to avoid confusion.
[Introduction] The statement of the main theorem should explicitly list the surface assumptions (genus, punctures) and clarify whether the result holds for surfaces with boundary.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on our manuscript. We address the major comments point by point below, providing clarifications from the full text and indicating where revisions strengthen the exposition.

read point-by-point responses

Referee: [Proof of the main theorem (cross-ratio dynamical properties)] The load-bearing step is the assertion that the dynamical properties of the newly defined cross-ratios on PMF (mixing, non-degeneracy, or strict inequalities producing incommensurable lengths) hold for the action of every non-elementary subgroup and force density of the length spectrum. This needs explicit verification that no invariant subsets of PMF allow commensurate lengths; the abstract sketch does not rule out the possibility that the properties only hold under additional restrictions on the subgroup action.

Authors: The full manuscript provides explicit verification in Sections 3 and 4. The cross-ratios on PMF are defined in Section 3 using only intersection numbers, and their dynamical properties are proven in Section 4 to hold for the action of any non-elementary subgroup (Theorem 4.2 establishes mixing, and Lemma 4.8 derives strict inequalities forcing incommensurable lengths). The non-elementary assumption ensures independent pseudo-Anosovs with transverse foliations, ruling out invariant subsets permitting commensurate lengths (new paragraph added in Section 4.3 for explicit verification). This requires no additional restrictions on the subgroup action. revision: yes
Referee: [Definition and geometric properties of cross-ratios] The geometric properties claimed for the cross-ratios on MF (e.g., the inequalities or continuity statements used to relate lengths) must be shown to be independent of any conformal or curvature assumptions; if these properties are only verified in special cases or rely on unstated non-degeneracy conditions, the extension to arbitrary non-elementary subgroups does not follow.

Authors: These properties are established in Section 2 from the combinatorial definition via intersection numbers on measured foliations alone, with no reference to conformal structure or curvature. Proposition 2.3 and Lemma 2.6 prove the relevant inequalities and continuity statements in full generality; they apply directly to foliations of pseudo-Anosovs in any non-elementary subgroup. No unstated non-degeneracy conditions are used. We have added a clarifying remark after Lemma 2.6 emphasizing independence from curvature assumptions. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation proceeds from newly introduced cross-ratio definitions and their independently derived geometric/dynamical properties

full rationale

The paper's central claim is established by defining cross-ratios on MF and PMF, then proving their geometric and dynamical properties suffice to force density of Teichmüller translation lengths for any non-elementary subgroup. No step reduces a prediction to a fitted parameter by construction, renames a known result, or relies on a load-bearing self-citation whose content is itself unverified. The argument is explicitly self-contained against the absence of negative curvature or conformal structure, with all load-bearing steps flowing from the new definitions rather than presupposing the density conclusion. This is the normal case of an honest non-finding.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The proof rests on standard facts about mapping class groups and Teichmüller theory plus the newly introduced cross-ratios; no free parameters or invented entities beyond the cross-ratio functions themselves.

axioms (1)

standard math Standard properties of the mapping class group action on Teichmüller space and measured foliations hold.
Invoked implicitly when defining translation lengths and non-elementary subgroups.

invented entities (1)

Cross-ratios on MF and PMF no independent evidence
purpose: To study geometric and dynamical properties that imply density of length spectra
Newly defined objects whose properties are studied in the paper; no independent evidence outside this work is claimed in the abstract.

pith-pipeline@v0.9.0 · 5394 in / 1303 out tokens · 31254 ms · 2026-05-14T01:49:05.610809+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
We prove this by introducing the notion of cross-ratios on MF and PMF, and studying its geometric and dynamical properties, despite the lack of negatively curved features of the Teichmüller space nor the conformal geometry on PMF.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
λgnhn / (λng λnh) → [g+, h+, g−, h−] as n→+∞

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages

[1]

Effective mapping class group dynamics III : counting filling closed curves on surfaces

Francisco Arana-Herrera. Effective mapping class group dynamics III : counting filling closed curves on surfaces. Camb. J. Math. , 12(3):563--622, 2024

work page 2024
[2]

Propri\'et\'es asymptotiques des groupes lin\'eaires

Yves Benoist. Propri\'et\'es asymptotiques des groupes lin\'eaires. II . In Analysis on homogeneous spaces and representation theory of L ie groups, O kayama-- K yoto (1997) , volume 26 of Adv. Stud. Pure Math. , pages 33--48. Math. Soc. Japan, Tokyo, 2000

work page 1997
[3]

An extremal problem for quasiconformal mappings and a theorem by T hurston

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

work page 1978
[4]

M. Bourdon. Structure conforme au bord et flot g\' e od\' e sique d'un CAT (-1) -espace. Enseign. Math. (2) , 41(1-2):63--102, 1995

work page 1995
[5]

Inhyeok Choi and Dongryul M. Kim. Invariant measures on the space of measured laminations for subgroups of mapping class group. arXiv preprint arXiv:2510.23256 , 2025

work page arXiv 2025
[6]

Remarques sur le spectre des longueurs d'une surface et comptages

Fran c oise Dal'bo. Remarques sur le spectre des longueurs d'une surface et comptages. Bol. Soc. Brasil. Mat. (N.S.) , 30(2):199--221, 1999

work page 1999
[7]

Topologie du feuilletage fortement stable

Fran c oise Dal'bo. Topologie du feuilletage fortement stable. Ann. Inst. Fourier (Grenoble) , 50(3):981--993, 2000

work page 2000
[8]

Some negatively curved manifolds with cusps, mixing and counting

Fran c oise Dal'bo and Marc Peign\'e. Some negatively curved manifolds with cusps, mixing and counting. J. Reine Angew. Math. , 497:141--169, 1998

work page 1998
[9]

Travaux de T hurston sur les surfaces , volume 66 of Ast\' e risque

Albert Fathi, Fran \'c ois Laudenbach, and Valentin Po \'e naru. Travaux de T hurston sur les surfaces , volume 66 of Ast\' e risque . Soci\' e t\' e Math\' e matique de France, Paris, 1979. S\' e minaire Orsay, With an English summary

work page 1979
[10]

A primer on mapping class groups , volume 49 of Princeton Mathematical Series

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

work page 2012
[11]

Dynamics of convex cocompact subgroups of mapping class groups

Ilya Gekhtman. Dynamics of convex cocompact subgroups of mapping class groups . ProQuest LLC, Ann Arbor, MI, 2014. Thesis (Ph.D.)--The University of Chicago

work page 2014
[13]

Dynamics of subgroups of mapping class groups

Ilya Gekhtman and Biao Ma. Dynamics of subgroups of mapping class groups. arXiv preprint arXiv:2311.03779v1 , 2023

work page arXiv 2023
[14]

Nikolai V. Ivanov. Subgroups of T eichm\" u ller modular groups , volume 115 of Translations of Mathematical Monographs . American Mathematical Society, Providence, RI, 1992. Translated from the Russian by E. J. F. Primrose and revised by the author

work page 1992
[15]

Length spectrum in rank one symmetric space is not arithmetic

Inkang Kim. Length spectrum in rank one symmetric space is not arithmetic. Proc. Amer. Math. Soc. , 134(12):3691--3696, 2006

work page 2006
[16]

A `` T its-alternative'' for subgroups of surface mapping class groups

John McCarthy. A `` T its-alternative'' for subgroups of surface mapping class groups. Trans. Amer. Math. Soc. , 291(2):583--612, 1985

work page 1985
[17]

Simple geodesics on hyperbolic surfaces and the volume of the moduli space of curves

Maryam Mirzakhani. Simple geodesics on hyperbolic surfaces and the volume of the moduli space of curves . ProQuest LLC, Ann Arbor, MI, 2004. Thesis (Ph.D.)--Harvard University

work page 2004
[18]

Dynamics on T hurston's sphere of projective measured foliations

John McCarthy and Athanase Papadopoulos. Dynamics on T hurston's sphere of projective measured foliations. Comment. Math. Helv. , 64(1):133--166, 1989

work page 1989
[19]

Masur and Michael Wolf

Howard A. Masur and Michael Wolf. Teichm\"uller space is not G romov hyperbolic. Ann. Acad. Sci. Fenn. Ser. A I Math. , 20(2):259--267, 1995

work page 1995
[20]

Surface transformation classes of algebraically finite type

Jakob Nielsen. Surface transformation classes of algebraically finite type. Danske Vid. Selsk. Mat.-Fys. Medd. , 21(2):89, 1944

work page 1944
[21]

Athanase Papadopoulos. R \'e seaux ferrovaires, diff \'e omorphismes pseudo-Anosov et automorphismes sympl \'e clique de l'homologie d'une surface , volume 83-3 of Publications Math\'ematiques d'Orsay [Mathematical Publications of Orsay] . Universit\'e de Paris-Sud, D\'epartement de Math\'ematiques, Orsay, 1983

work page 1983
[22]

Geometric intersection functions and H amiltonian flows on the space of measured foliations on a surface

Athanase Papadopoulos. Geometric intersection functions and H amiltonian flows on the space of measured foliations on a surface. Pacific J. Math. , 124(2):375--402, 1986

work page 1986
[23]

Measured foliations and mapping class groups of surfaces

Athanase Papadopoulos. Measured foliations and mapping class groups of surfaces. Balkan J. Geom. Appl. , 13(1):93--106, 2008

work page 2008
[24]

R. C. Penner and J. L. Harer. Combinatorics of train tracks , volume 125 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 1992

work page 1992
[25]

Athanase Papadopoulos and Robert C. Penner. A characterization of pseudo- A nosov foliations. Pacific J. Math. , 130(2):359--377, 1987

work page 1987
[26]

An alternative approach to the ergodic theory of measured foliations on surfaces

Mary Rees. An alternative approach to the ergodic theory of measured foliations on surfaces. Ergodic Theory Dynam. Systems , 1(4):461--488 (1982), 1981

work page 1982
[27]

Ergodicit\'e et \'equidistribution en courbure n\'egative

Thomas Roblin. Ergodicit\'e et \'equidistribution en courbure n\'egative. M\'em. Soc. Math. Fr. (N.S.) , (95):vi+96, 2003

work page 2003
[28]

Thurston

William P. Thurston. On the geometry and dynamics of diffeomorphisms of surfaces. Bull. Amer. Math. Soc. (N.S.) , 19(2):417--431, 1988

work page 1988
[29]

Thurston

William P. Thurston. Three-dimensional geometry and topology. V ol. 1 , volume 35 of Princeton Mathematical Series . Princeton University Press, Princeton, NJ, 1997. Edited by Silvio Levy

work page 1997
[30]

Thurston

William P. Thurston. The geometry and topology of three-manifolds. V ol. IV . American Mathematical Society, Providence, RI, [2022] 2022. Edited and with a preface by Steven P. Kerckhoff and a chapter by J. W. Milnor

work page 2022