Pith. sign in

REVIEW 4 major objections 8 minor 20 references

Orbits in Teichm\"uller dynamics admits a critical exponent gap

T0 review · 4 major / 8 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For every genus g, any SL2(R)-orbit in the moduli space of genus-g flat surfaces whose stabilizer is not a lattice has critical exponent at most 1−ε_g, for a constant ε_g depending only on g.

desk verdict A genuinely new critical exponent gap theorem with a coherent strategy, but the text needs fixing: Theorem 3.4 is mis-stated, Claim 4.20 is unproved, and key tools live in an unpublished companion. read the letter →

arxiv 2411.09144 v1 pith:4EB7TWXZ submitted 2024-11-14 math.DS

Omri Nisan Solan This is my paper · ORCID
classification math.DS MSC 37D4037A1732G15
keywords TeichmüllerdynamicsflatsurfacesmodulispaceofabeliandifferentialscriticalexponentSL(2R)-orbitstabilizersKontsevich-Zorichcocycleimpossiblesectionmethodleafwisedimension
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves that the growth rates of non-lattice stabilizers of SL2(R)-orbits in the moduli space of flat surfaces cannot accumulate at the maximal value 1. Concretely, for each genus g there is a positive constant ε_g such that every non-lattice stabilizer has critical exponent at most 1−ε_g, where the constant depends only on the genus. This matters because infinitely generated stabilizers have been known to exist since a 2003 construction in genus two, and this is the first structural restriction on how close such stabilizers can come to lattice-like growth. The proof adapts the impossible-section strategy from recent work on affine submanifolds, using equidistribution of high-entropy measures and algebraic-hull computations for the Kontsevich-Zorich cocycle.

What carries the argument

Central machinery is the impossible section method, run at the level of a-invariant measures with leafwise dimension near 1. The method needs three ingredients: (1) an equidistribution theorem (Theorem 3.1) saying that high leafwise-dimension a-invariant measures on an affine manifold converge to Lebesgue measure; (2) equivariant sections of a projective bundle built from the relative homology bundle, using the Kontsevich-Zorich cocycle (the linear action on homology) and the field of definition of the affine manifold; (3) a no-invariant-measure conclusion for that bundle, obtained from the algebraic hull computation. The companion paper's Markov-chain representation and additive Margulis functions are the quantitative device that converts dim_u(µ)→1 into the escape-of-mass estimates needed in (1).

What would settle it

If, in the explicit one-parameter family of genus-two flat surfaces with infinitely generated stabilizers, the critical exponents approach 1 along any sequence of parameters, Theorem 1.2 is false; the theorem predicts a uniform gap below 1.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.2: for each genus g there is a constant ε_g > 0 such that every point x in H_g satisfies the dichotomy: either stab_{SL2(R)}(x) is a lattice in SL2(R), or δ(stab_{SL2(R)}(x)) ≤ 1−ε_g. The proof assumes an infinite sequence of non-lattice orbits with critical exponents tending to 1 and derives a contradiction. The contradiction is obtained by the impossible-section method: equidistribution of high-entropy a-invariant measures forces weak-* convergence to Lebesgue measure on a minimal affine manifold; equivariant sections into a projective bundle of relative homology planes are constructed; and an algebraic-hull computation shows no invariant measure can project to the limit. The remaining cases are dispatched by showing the orbit must actually be periodic and hence a lattice.

Load-bearing premise

The load-bearing premise is that the companion preprint's results about high-entropy invariant measures are correct, since both the equidistribution theorem and the measure-production step of the contradiction depend on them.

Editorial extensions

If this is right

  • For any fixed genus, no sequence of non-periodic SL2(R)-orbits can have stabilizer critical exponents tending to 1; the supremum below 1 is at most 1−ε_g.
  • The known infinite-complexity genus-two orbits, whose stabilizers are infinitely generated, all have critical exponent bounded away from 1 uniformly.
  • An orbit whose stabilizer has critical exponent greater than 1−ε_g must be periodic, since the only alternative is a non-lattice stabilizer and that alternative is excluded.
  • The dichotomy supplies the missing gap needed to adapt the homogeneous-dynamics strategy to polynomial equidistribution of unipotent orbits in moduli space.
  • The interval (1−ε_g,1) contains no critical exponents of non-lattice stabilizers in H_g.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Because the proof is ergodic, no explicit value of ε_g is obtained, and the theorem does not rule out the possibility that ε_g shrinks to 0 as the genus grows.
  • A quantitative version would require effective versions of the equidistribution theorem and of the algebraic-hull computation, neither of which is attempted here.
  • If one constructs infinite-complexity orbits in higher genera, computing the critical exponents of their stabilizers would test how close the gap is to optimal.
  • The theorem is advertised by the author as a starting point for polynomial equidistribution results in Teichmüller dynamics; proving such equidistribution would be a natural follow-up that the paper does not carry out.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 8 minor

Summary. This paper proves a uniform critical exponent gap for stabilizers of SL2(R)-orbits in the moduli space of genus-g flat surfaces: for each g, there is ε_g > 0 such that for every x ∈ H_g, either stab_{SL2(R)}(x) is a lattice in SL2(R) or δ(stab_{SL2(R)}(x)) ≤ 1 − ε_g. The proof uses a variant of the 'impossible section method' of Eskin–Filip–Wright and Bader–Fisher–Miller–Stover. Assuming a sequence of orbits with critical exponents tending to 1, the author produces a-invariant measures with leafwise dimension tending to 1 (via the companion paper [18]), proves an equidistribution result (Theorem 3.1) using the Eskin–Mirzakhani measure classification and additive Margulis functions, constructs sections of projective bundles from the Kontsevich–Zorich cocycle, and obtains a contradiction from algebraic-hull computations. Orbits that are not treated by this method are handled in a small-size case where a McMullen-type argument shows they are periodic. The paper is well structured and contains a detailed outline of the strategy, but several load-bearing steps are imported from the unpublished companion [18] or stated without proof.

Significance. If the main theorem is correct, it is a major contribution to Teichmüller dynamics, giving the first uniform critical-exponent gap for non-lattice stabilizers in every genus and providing a route toward polynomial equidistribution results. The proof strategy is innovative and provides a clear template: it combines measure classification, additive Margulis functions, and algebraic hull computations. The paper also credits prior work and gives a transparent account of where the gaps lie. However, the result is conditional on the correctness of the companion [18] and on filling the gaps described below; as it stands, the manuscript is not self-contained.

major comments (4)
  1. [§3.1, Theorem 3.4 and §3.2] Theorem 3.4, as printed, is false. The statement omits the hypothesis dim_u(µ_n)→1, and without it the conclusion fails. For example, let Γ < SL2(R) be a cocompact lattice with a hyperbolic element and no unipotent elements, and let µ be the a-invariant probability measure on a closed a(t)-orbit in SL2(R)/Γ. The constant sequence µ_n = µ is a-invariant, ergodic for the a-flow, u-free, and weak-* converges to µ, which is not u-invariant. The proof of Theorem 3.1 uses this theorem at the line 'By Theorem 3.4, we deduce that µ∞ is u-invariant'; since Theorem 3.1 is the key input for Part (ISM'-a) and Appendix A relies on the same statement, the impossible-section contradiction is not established as written. The author should restate Theorem 3.4 with the missing leafwise-dimension hypothesis (as in [18, Thm. 3.9]) and check that the hypothesis holds in the applications.
  2. [§4.3, Claim 4.20] The proof of Theorem 4.18 in the d' = 2 case depends on Claim 4.20, but the claim is explicitly not proved; the text says 'The Proof of this claim is similar to the proof of Claim 4.19, and we will not repeat it.' This is load-bearing: the d' = 2 small-size case is essential for the dichotomy, and the discreteness of U_ω(Z, η, σ(η)) is not a direct consequence of Claim 4.19 because the construction of the integral operator A is different. A full proof of Claim 4.20 must be supplied.
  3. [§3 and Appendix A] The main theorem depends on several substantial results from the unpublished companion [18]: Theorem 3.4 (or its corrected version), Lemma 3.6 (the Markov-chain representation), Lemma 3.9 (the additive Margulis function estimate), and Proposition [18, Prop. 4.1] used in Appendix A to produce the measures µ_i with high entropy. These results are not proved or even stated in sufficient detail in the present manuscript. Because the companion paper is unpublished, the referee cannot verify these inputs. The author should either include proofs of the needed statements in this paper or clearly state them as theorems and make a complete, verifiable version of [18] available.
  4. [§4.1, Claim 4.7] The proof of Claim 4.7 for M = M_O contains an unproved assertion: 'One can see that (up to conjugations) there is only one connected proper algebraic subgroup of SL2(R) × (R2 ⋊ SL2(R)) that projects onto the two coordinates', after which a specific group is written down. This classification is used to conclude that the two top Lyapunov exponents are equal and hence to obtain the contradiction with Forni's theorem. The argument is not immediate from the cited results [6, 13], and it is essential for Part (ISM'-c). Please provide a detailed proof of this algebraic-subgroup classification and of the implication for Lyapunov exponents.
minor comments (8)
  1. [Title] The title reads 'Orbits in Teichmüller dynamics admits a critical exponent gap'; since 'orbits' is plural, the verb should be 'admit'.
  2. [Abstract] In the abstract, 'genus G' should be 'genus g' to match the notation in Theorem 1.2.
  3. [§2] Theorem 1.2 states 'Let g > 0', but Section 2 defines H_g only for g ≥ 2; the genus-one case should be addressed explicitly.
  4. [§4.2] In the sentence 'Now we cah prove Part (ISM'-c)' there is a typo: 'cah' should be 'can'.
  5. [§4.2] In the paragraph after Definition 4.11, 'Observation 4.12' should be 'Claim 4.12'.
  6. [§3.2] In the proof of Theorem 3.1, the expression 'Sµ({x ∈ M \ Mi : α(x) ≥ t})' uses an undefined measure µ; it should be Sµ_n.
  7. [§4.3] At the end of the d' = 1 case of Theorem 4.18, 'Smillie's theorem [19]' is cited to reference [19], which is a paper by Veech; please supply the correct reference for the theorem that a closed SL2(R)-orbit has a lattice stabilizer.
  8. [§4.1, Remark 4.8] The remark says that one could finish with a weaker result, 'either the algebraic hull is as in the claim, or it is the transpose of Eq. (4.4)'; it would be helpful to explain why the transposed case still satisfies Part (ISM'-c).

Circularity Check

0 steps flagged · score 0.0 of 10

No circular reduction found; the proof imports general ergodic-theoretic tools from the author's companion preprint, which is a dependency rather than an equivalence-by-construction.

full rationale

The claimed Theorem 1.2 is never assumed in the proof, and no equation is equivalent by construction to an input; no fitted parameter is renamed as a prediction. The derivation route is: assume a sequence of non-lattice orbits with critical exponent tending to 1; Proposition 1.7, proved in Appendix A from [18, Prop. 4.1] and [18, Thm 3.9], produces a-invariant measures of entropy tending to 1; Theorem 3.1 then proves equidistribution to lambda_M using Eskin-Mirzakhani classification, [18, Lem. 3.6] and [18, Lem. 5.3]; Eskin-Filip-Wright algebraic-hull computations provide the contradiction for Parts (ISM'-b) and (ISM'-c). These ingredients have independent content, and none is stated as a consequence of Theorem 1.2. The self-citation chain [18] is load-bearing, but it is a dependency, not a circular reduction: [18] is a companion source of general ergodic-theoretic statements, and the paper does not claim those statements contain the Teichmuller gap. I flag, separately, a correctness gap in the printed text: Theorem 3.4 omits the leafwise-dimension hypothesis present in Theorem 3.1 and is false for a constant sequence on a closed a-orbit in a cocompact quotient with no unipotents, so the line 'By Theorem 3.4, we deduce that mu_infty is u-invariant' is unsupported as written. This affects the soundness of Theorem 3.1 and Proposition 1.7, but it is a missing hypothesis, not circularity.

Assumptions & free parameters 0 free parameters · 9 assumptions · 0 invented entities

The central claim rests on a network of established and recent results in Teichmüller dynamics, ergodic theory, and algebraic group actions. The most fragile inputs are the author's companion results in [18], which are not independently verified here, and the deep published tools of Eskin-Filip-Wright and McMullen. No free parameters are fitted and no new entities are postulated.

assumptions (9)
  • domain assumption Eskin-Mirzakhani measure classification: any B-invariant probability measure on H(k) is a convex combination of Lebesgue measures on affine manifolds.
    Used in the proof of Theorem 3.1 to decompose the weak-* limit of high leafwise-dimension measures.
  • domain assumption Eskin-Mirzakhani-Mohammadi isolation: for every proper affine submanifold M' there is an SO(2)-invariant escape function f_{M'} with the averaging decay property of Prop 3.3.
    Used in Theorem 3.1 to rule out mass on proper affine submanifolds via additive Margulis functions.
  • domain assumption Solan [18] results: Theorem 3.4 (limits of a-invariant ergodic u-free measures with leafwise dimension tending to 1 are u-invariant), Lemma 3.6 (Markov chain representation), and Prop 4.1 (existence of high-entropy a-invariant measures on orbits with large critical exponent).
    These are the core inputs from the author's companion preprint, used in Theorem 3.1 and Proposition 1.7; they are load-bearing and unverified here.
  • domain assumption McMullen's classification of affine manifolds in H(1,1) (Theorem 4.5) and his theorems on relative period maps (McMullen [12] Thms 9.4, 9.5; [13] Thms 5.1, 5.5).
    Used in Section 4.1 to prove Proposition 4.2 and to reduce the algebraic hull computation to the cases M = H(1,1) or M = M_O.
  • domain assumption Eskin-Filip-Wright algebraic hull computation of the Kontsevich-Zorich cocycle ([6, Thm 1.2]) and the associated properties of algebraic hulls (Claim 4.6).
    Used to compute the algebraic hull of the relative homology bundle in Claim 4.7 and to establish Part (ISM'-c).
  • domain assumption Forni's Lyapunov exponent contrast ([9, Cor 2.2]) used to exclude the proper algebraic subgroup in Eq. (4.4).
    Used in Claim 4.7 to conclude the algebraic hull is the full product.
  • domain assumption Bader-Duchesne-Lécureux ([2, Cor 1.10]) no invariant probability measures for Sp(2d) actions on Grassmannians and the affine extension.
    Used in Claim 4.12 to rule out invariant measures in Part (ISM'-c).
  • domain assumption Wright's field of definition results ([20]) and Avila-Eskin-Möller ([1, Thm 1.4]) on symplectic nondegeneracy.
    Used in Section 4.2 to define the large size assumption and to control Galois conjugates of the tangent bundle.
  • domain assumption Smillie's theorem: a closed SL2(R)-orbit in moduli space has lattice stabilizer.
    Used in the d'=1 case of Theorem 4.18 to conclude the stabilizer is a lattice.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Orbits in Teichm\"uller dynamics admits a critical exponent gap." pith.science (2026). https://pith.science/paper/4EB7TWXZ

@misc{pith2026241109144,
  author       = {Pith},
  title        = {Pith review of: Orbits in Teichm\"uller dynamics admits a critical exponent gap},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4EB7TWXZ}},
  note         = {Machine review of arXiv:2411.09144}
}
abstract

McMullen '03 constructs a collection of orbits $\mathrm{SL}_2(\mathbb{R}).x$ in $\mathcal{H}(1,1)$ with infinitely generated stabilizers $\mathrm{stab}_{\mathrm{SL}_2(\mathbb{R})}(x)$. We prove a gap in the set of critical exponents of stabilizers of $\mathrm{SL}_2(\mathbb{R})$-orbits in $\mathcal{H}_g$: for every $x\in \mathcal{H}_g$, either $\mathrm{stab}_{\mathrm{SL}_2(\mathbb{R})}(x)$ is a lattice, or we have a uniform bound on the critical exponent $\delta(\mathrm{stab}_{\mathrm{SL}_2(\mathbb{R})}(x)) \le 1-\varepsilon_g$.

Figures

Figures reproduced from arXiv: 2411.09144 by the authors.

Figure 1
Figure 1. The surface S(a). Theorem 1.2. Let g > 0. There exists an εg such that for each x ∈ Hg, either stabSL2(R)(x) is a lattice in SL2(R), or we have a bound on the critical exponent (see Definition 2.3) δ(stabSL2(R)(x)) ≤ 1 − εg. Comparing Teichm¨uller dynamics to homogeneous dynamics, Theorem 1.2 has an analogous result [18]: Theorem 1.3 (Critical exponent gap in homogeneous dynamics). Let Γ < SL2(C) be a geometrically … view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

20 extracted references · 16 canonical work pages

  1. [18]

    Critical exponent gap and leafwise dimension

    Omri Nisan Solan. Critical exponent gap and leafwise dimension. arXiv preprint arXiv:2404.00700, 2024. 2, 3, 4, 5, 6, 7, 8, 9, 20

    arXiv 2024

  2. [1]

    Symplectic and isometric SL2(R)-invariant sub- bundles of the Hodge bundle

    Artur Avila, Alex Eskin, and Martin M¨ oller. Symplectic and isometric SL2(R)-invariant sub- bundles of the Hodge bundle. Journal f¨ ur die reine und angewandte Mathematik (Crelles Journal), 2017(732):1–20, 2017. 15

    work page 2017

  3. [2]

    Almost algebraic actions of algebraic groups and applications to algebraic representations

    Uri Bader, Bruno Duchesne, and Jean L´ ecureux. Almost algebraic actions of algebraic groups and applications to algebraic representations. Groups Geom. Dyn , 11(2):705–738, 2017. 17

    work page 2017

  4. [3]

    Arithmeticity, superrigidity, and totally geodesic submanifolds

    Uri Bader, David Fisher, Nicholas Miller, and Matthew Stover. Arithmeticity, superrigidity, and totally geodesic submanifolds. Annals of mathematics , 193(3):837–861, 2021. 2, 3, 4

    work page 2021

  5. [4]

    Veech surfaces and complete periodicity in genus two.Journal of the American Mathematical Society, 17(4):871–908, 2004

    Kariane Calta. Veech surfaces and complete periodicity in genus two.Journal of the American Mathematical Society, 17(4):871–908, 2004. 1

    work page 2004

  6. [5]

    Diagonal actions on locally homogeneous spaces

    M Einsiedler and E Lindenstrauss. Diagonal actions on locally homogeneous spaces. Homo- geneous flows, moduli spaces and arithmetic , 10:155–241, 2010. 10, 20

    work page 2010

  7. [6]

    The algebraic hull of the Kontsevich–Zorich cocycle

    Alex Eskin, Simion Filip, and Alex Wright. The algebraic hull of the Kontsevich–Zorich cocycle. Annals of Mathematics , 188(1):281–313, 2018. 2, 3, 4, 12, 13, 14, 16

    work page 2018

  8. [7]

    Invariant and stationary measures for the action on moduli space

    Alex Eskin and Maryam Mirzakhani. Invariant and stationary measures for the action on moduli space. Publications math´ ematiques de l’IH´ES, 127:95–324, 2018. 1, 6

    work page 2018

Show all 20 references
  1. [8]

    Isolation, equidistribution, and orbit closures for the SL(2 , R) action on moduli space

    Alex Eskin, Maryam Mirzakhani, and Amir Mohammadi. Isolation, equidistribution, and orbit closures for the SL(2 , R) action on moduli space. Annals of Mathematics , pages 673– 721, 2015. 1, 3, 4

    2015

  2. [9]

    Deviation of ergodic averages for area-preserving flows on surfaces of higher genus

    Giovanni Forni. Deviation of ergodic averages for area-preserving flows on surfaces of higher genus. Annals of Mathematics , 155(1):1–103, 2002. 14, 15

    2002

  3. [10]

    Effective equidistribution for some one parameter unipotent flows

    Elon Lindenstrauss, Amir Mohammadi, and Zhiren Wang. Effective equidistribution for some one parameter unipotent flows. arXiv preprint arXiv:2211.11099 , 2022. 2

    2022

  4. [11]

    Billiards and teichm¨ uller curves on hilbert modular surfaces

    Curtis McMullen. Billiards and teichm¨ uller curves on hilbert modular surfaces. Journal of the American Mathematical Society , 16(4):857–885, 2003. 15

    2003

  5. [12]

    Teichm¨ uller geodesics of infinite complexity

    Curtis T McMullen. Teichm¨ uller geodesics of infinite complexity. 2003. 1, 10, 11, 18

    2003

  6. [13]

    McMullen

    Curtis T. McMullen. Dynamics of SL 2(R) over moduli space in genus two. Annals of Math- ematics, 165(2):397–456, 2007. 1, 4, 10, 12, 13, 18

    2007

  7. [14]

    Isolations of geodesic planes in the frame bundle of a hyper- bolic 3-manifold

    Amir Mohammadi and Hee Oh. Isolations of geodesic planes in the frame bundle of a hyper- bolic 3-manifold. Compositio Mathematica, 159(3):488–529, 2023. 6

    2023

  8. [15]

    On the space of ergodic invariant measures of unipotent flows

    Shahar Mozes and Nimish Shah. On the space of ergodic invariant measures of unipotent flows. Ergodic theory and dynamical systems , 15(1):149–159, 1995. 3

    1995

  9. [16]

    Separation of horocycle orbits on moduli space in genus 2

    John Rached. Separation of horocycle orbits on moduli space in genus 2. arXiv preprint arXiv:2406.19527, 2024. 2 ORBITS IN TEICHM ¨ULLER DYNAMICS ADMITS A CRITICAL EXPONENT GAP 21

    2024 arXiv

  10. [17]

    Effective equidistribution of large dimensional measures on affine invariant submanifolds

    Anthony Sanchez. Effective equidistribution of large dimensional measures on affine invariant submanifolds. arXiv preprint arXiv:2306.06740 , 2023. 2

    2023 arXiv

  11. [19]

    Geometric realizations of hyperelliptic curves

    William A Veech. Geometric realizations of hyperelliptic curves. In Algorithms, fractals, and dynamics, pages 217–226. Springer, 1995. 19

    1995

  12. [20]

    The field of definition of affine invariant submanifolds of the moduli space of abelian differentials

    Alex Wright. The field of definition of affine invariant submanifolds of the moduli space of abelian differentials. Geometry & Topology, 18(3):1323–1341, 2014. 15, 16

    2014

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.