{"id":"005e5718-2a20-4e16-9ca1-21ada8a9ab3a","arxiv_id":"2411.09144","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For every genus, any SL2(R)-orbit in the moduli space of flat surfaces whose stabilizer is not a lattice has critical exponent at most 1 - ε_g, a uniform gap.","lead":"This mathematics paper proves that for flat surfaces of any genus, the symmetry group of any non-closed orbit has a critical exponent uniformly bounded below 1. The result gives a clean dichotomy for Teichmüller dynamics and is a step toward polynomial equidistribution theorems.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.4 as printed omits the dim_u→1 hypothesis and is false for a constant sequence of a-invariant measures on a closed a-orbit; the equidistribution step is therefore unsupported as written.","rationale":"The reader's weakest_assumption correctly identifies the companion preprint [18] as the main bottleneck. I agree that the unverified imported machinery is load-bearing. However, I found a sharper, internally checkable issue: Theorem 3.4 as stated in this paper is false, independent of any unpublished companion. The constant-sequence example on a closed a-orbit is decisive and requires only standard facts about SL2(R)/Γ. This does not prove the overall strategy wrong: Theorem 3.1 already assumes dim_u(µ_n) → 1, and the intended theorem in [18] very likely includes that condition. But as submitted, the proof cites a false theorem at the critical equidistribution step, so the conditional status is justified. Secondary gaps, such as the omitted proof of Claim 4.20 and the compressed 'one can see' algebraic-subgroup check in Claim 4.7, reinforce the need for a revised version but are less fundamental than the false statement of Theorem 3.4. I do not change the reader's verdict: the paper should remain conditional pending a corrected statement and supplied proofs of the imported results.","tokens_in":19346,"tokens_out":8860,"duration_ms":170340,"concrete_test":"Check [18, Thm 3.9] verbatim for a hypothesis of the form dim_u(µ_n) → 1. Independently, test the stated Theorem 3.4 against the constant sequence µ_n = µ on a closed a-orbit in SL2(R)/Γ, where Γ is a cocompact lattice with a hyperbolic element and no unipotents; if the hypotheses of Theorem 3.4 as printed are satisfied and the limit is not u-invariant, the statement must be amended. If [18] does contain the leafwise-dimension hypothesis, the present paper's Theorem 3.4 must state it explicitly and cite it at the crucial step in §3.2.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 3's equidistribution theorem rests on Theorem 3.4. As printed, the theorem asserts that any weak-* limit of a sequence of a-invariant, ergodic, u-free measures is u-invariant. This is false without an additional leafwise-dimension hypothesis. Counterexample: let Γ < SL2(R) be a cocompact lattice containing a hyperbolic element and no unipotent elements, and let µ be the a-invariant probability measure on a closed a(t)-orbit in SL2(R)/Γ. Then µ is a-invariant, ergodic for the a-flow, u-free, and the constant sequence µ_n = µ converges to µ, which is not u-invariant. Thus the theorem as stated admits a direct counterexample. The proof of Theorem 3.1 invokes Theorem 3.4 at the line 'By Theorem 3.4, we deduce that µ∞ is u-invariant'; the missing hypothesis dim_u(µ_n) → 1 appears only in the ambient assumption of Theorem 3.1, not in Theorem 3.4. Since Theorem 3.1 supplies Part (ISM'-a) and Appendix A uses the same statement in Proposition 1.7, the impossible-section contradiction is not established until Theorem 3.4 is corrected or the companion result is supplied. This is not a fatal objection to the strategy, but it is a load-bearing gap in the present text.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":19423,"tokens_out":8713,"duration_ms":122269,"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":[{"comment":"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.","section":"§3.1, Theorem 3.4 and §3.2"},{"comment":"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.","section":"§4.3, Claim 4.20"},{"comment":"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.","section":"§3 and Appendix A"},{"comment":"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.","section":"§4.1, Claim 4.7"}],"minor_comments":[{"comment":"The title reads 'Orbits in Teichmüller dynamics admits a critical exponent gap'; since 'orbits' is plural, the verb should be 'admit'.","section":"Title"},{"comment":"In the abstract, 'genus G' should be 'genus g' to match the notation in Theorem 1.2.","section":"Abstract"},{"comment":"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.","section":"§2"},{"comment":"In the sentence 'Now we cah prove Part (ISM'-c)' there is a typo: 'cah' should be 'can'.","section":"§4.2"},{"comment":"In the paragraph after Definition 4.11, 'Observation 4.12' should be 'Claim 4.12'.","section":"§4.2"},{"comment":"In the proof of Theorem 3.1, the expression 'Sµ({x ∈ M \\ Mi : α(x) ≥ t})' uses an undefined measure µ; it should be Sµ_n.","section":"§3.2"},{"comment":"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.","section":"§4.3"},{"comment":"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).","section":"§4.1, Remark 4.8"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is interesting and the strategy is promising, but the review process is hampered by the heavy reliance on the author's own unpublished companion [18]. I would recommend that the editor require the author to submit a complete version of [18] or incorporate the necessary statements as an appendix. The title also needs a grammatical correction. There is no issue of novelty disclosure as far as I can tell."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe short version: this paper proves a genuinely new gap theorem for critical exponents of stabilizers in Teichmüller dynamics, and the main strategy is coherent. But the text as it stands imports several load-bearing results from an unpublished companion and states one key theorem in a form that is false. I'd send it to a serious referee, but the referee will need to demand fixes.\n\nThe new result is Theorem 1.2: for each genus g, any non-lattice stabilizer of an SL2(R)-orbit has critical exponent at most 1-ε_g. This answers a question McMullen's 2003 construction left open, and it's the Teichmüller analog of the homogeneous critical exponent gap. The proof is a substantial adaptation of the impossible-section method: it establishes an equidistribution theorem for high-entropy a-invariant measures (Thm 3.1), computes the relevant algebraic hulls, and splits the treatment into large and small affine manifolds. The structure is careful and many sub-steps are genuinely verified.\n\nWhere the soft spots are: The stress-test note is correct. Theorem 3.4, as printed, says a weak-* limit of u-free, a-invariant, ergodic measures is u-invariant. That's false without the leafwise-dimension assumption: take a cocompact lattice with no unipotents, let µ be the invariant measure on a closed a-orbit; the constant sequence gives a counterexample. The missing hypothesis dim_u(µ_n) → 1 is exactly what Theorem 3.1 supplies in its assumptions, so the intended application is fine, but the theorem statement and the invocation in Appendix A need correction. This is a fixable error, not a fatal flaw. Claim 4.20 is explicitly unproved (\"similar to Claim 4.19\" — but it's a different statement and needs a proof). Claim 4.7 contains a \"one can see\" algebraic subgroup classification that deserves more detail. The dependence on the unpublished [18] is heavy: Theorem 3.4, Lemma 3.6, and Prop 4.1 are imported without proof. That's a real obstacle to verification, though not a sign of circularity; the target theorem is nowhere assumed.\n\nBottom line: the paper is for specialists, it deserves refereeing, and with the stated corrections it stands a good chance of being right. I would not cite it yet, but I'd keep an eye on the revision.","headline":"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.","tokens_in":20128,"tokens_out":3575,"would_cite":false,"duration_ms":37862,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37D40","37A17","32G15"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["Teichmüller dynamics","flat surfaces","moduli space of abelian differentials","critical exponent","SL(2,R)-orbit stabilizers","Kontsevich-Zorich cocycle","impossible section method","leafwise dimension"],"falsifier":"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.","tokens_in":18953,"feed_emoji":"📐","tokens_out":12226,"duration_ms":107303,"temperature":0.7,"pith_summary":"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.","feed_headline":"Non-lattice orbit stabilizers stay below exponent 1 by a uniform gap","feed_subtitle":"The gap forbids non-lattice stabilizers from creeping toward the maximal growth rate 1 in any genus.","key_machinery":"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).","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the companion results used throughout: weak-* limits of high-leafwise-dimension a-invariant measures are u-invariant, the Markov-chain representation, and the production of high-entropy measures on near-critical orbits.","marker":"[18]"},{"why":"Classifies B-invariant probability measures as weighted sums of Lebesgue measures on affine submanifolds, the base of Theorem 3.1.","marker":"[7]"},{"why":"Provides the escape-of-mass function with the averaging inequality that Claim 3.10 converts into the additive Margulis function estimate.","marker":"[14]"},{"why":"Identifies the entropy of an a-invariant measure with its leafwise dimension, linking critical exponents tending to 1 with dim_u(µ_i) tending to 1.","marker":"[5]"},{"why":"Computes the algebraic hull of the Kontsevich-Zorich cocycle, used to rule out invariant measures on the projective bundle in ISM'-c.","marker":"[6]"},{"why":"Classifies affine submanifolds in genus two and supplies the dichotomy that handles orbits where the impossible-section method does not apply.","marker":"[13]"},{"why":"Constructs the infinitely generated stabilizers that motivate the theorem and proves the number-field properties of the period map used in Proposition 4.2 and the small-size cases.","marker":"[12]"},{"why":"Defines the field of definition of an affine submanifold and the direct-sum decomposition of Galois conjugates used in the large-size case.","marker":"[20]"},{"why":"Supplies Lyapunov-exponent information that eliminates a smaller algebraic hull in the genus-two case.","marker":"[9]"},{"why":"Shows a closed SL2(R)-orbit has a lattice stabilizer, completing the small-size proof that certain orbits are periodic.","marker":"[19]"}],"fun_headline_variants":["Uniform gap: non-lattice stabilizers stay below exponent 1","In each genus, non-lattice stabilizers keep critical exponent <1","Orbit stabilizers: lattices or critical exponent bounded away from 1","A universal exponent gap for Teichmüller orbit stabilizers"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Uniform gap: non-lattice stabilizers stay below exponent 1","In each genus, non-lattice stabilizers keep critical exponent <1","Orbit stabilizers: lattices or critical exponent bounded away from 1","A universal exponent gap for Teichmüller orbit stabilizers"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000753,"raw_usage":{"total_tokens":3304,"prompt_tokens":850,"completion_tokens":2454,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":466,"completion_tokens_details":{"reasoning_tokens":2377}},"tokens_in":466,"tokens_out":2454,"duration_ms":16371,"temperature":1.0,"reasoning_tokens":2377,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T21:00:56.607714+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"Invariant and stationary measures for the action on moduli space","cited_arxiv_id":null,"evidence_quote":"Classifies B-invariant probability measures as weighted sums of Lebesgue measures on affine submanifolds, the base of Theorem 3.1."},{"cited_title":"Isolations of geodesic planes in the frame bundle of a hyper- bolic 3-manifold","cited_arxiv_id":null,"evidence_quote":"Provides the escape-of-mass function with the averaging inequality that Claim 3.10 converts into the additive Margulis function estimate."},{"cited_title":"Diagonal actions on locally homogeneous spaces","cited_arxiv_id":null,"evidence_quote":"Identifies the entropy of an a-invariant measure with its leafwise dimension, linking critical exponents tending to 1 with dim_u(µ_i) tending to 1."},{"cited_title":"The algebraic hull of the Kontsevich–Zorich cocycle","cited_arxiv_id":null,"evidence_quote":"Computes the algebraic hull of the Kontsevich-Zorich cocycle, used to rule out invariant measures on the projective bundle in ISM'-c."},{"cited_title":"McMullen","cited_arxiv_id":null,"evidence_quote":"Classifies affine submanifolds in genus two and supplies the dichotomy that handles orbits where the impossible-section method does not apply."},{"cited_title":"Teichm¨ uller geodesics of infinite complexity","cited_arxiv_id":null,"evidence_quote":"Constructs the infinitely generated stabilizers that motivate the theorem and proves the number-field properties of the period map used in Proposition 4.2 and the small-size cases."},{"cited_title":"The field of definition of affine invariant submanifolds of the moduli space of abelian differentials","cited_arxiv_id":null,"evidence_quote":"Defines the field of definition of an affine submanifold and the direct-sum decomposition of Galois conjugates used in the large-size case."},{"cited_title":"Deviation of ergodic averages for area-preserving flows on surfaces of higher genus","cited_arxiv_id":null,"evidence_quote":"Supplies Lyapunov-exponent information that eliminates a smaller algebraic hull in the genus-two case."},{"cited_title":"Geometric realizations of hyperelliptic curves","cited_arxiv_id":null,"evidence_quote":"Shows a closed SL2(R)-orbit has a lattice stabilizer, completing the small-size proof that certain orbits are periodic."}],"review_version":1}