Pith. sign in

REVIEW 2 major objections 5 minor 67 references

Veech Surfaces and Expanding Twist Tori on Moduli Spaces of Abelian Differentials

T0 review · 2 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

Pith's one-line read Expanding twist tori of Veech surfaces become dense in the full orbit closure as $t\to\infty$.

desk verdict Substantial, plausible progress on density and full support of expanding twist tori, with one real scaling slip in the proof of Proposition 5.1 that looks routine to fix. read the letter →

arxiv 2507.09775 v1 pith:D52S2BIL submitted 2025-07-13 math.DS math.GT

classification math.DSmath.GT MSC 37D4037A1732G15
keywords VeechsurfacestwisttoriTeichmüllergeodesicflowhorocyclemeasurerigidityKontsevich–Zorichcocyclemodulispacesofabeliandifferentialsequidistribution
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

Given a translation surface whose horizontal foliation is periodic, the twist torus $\mathbb{T}(\omega)$ collects all surfaces obtained by shearing each horizontal cylinder independently. This paper studies how the tori $g_t\cdot\mathbb{T}(\omega)$ spread out under the Teichmüller geodesic flow, aiming to understand whether they equidistribute in the conjectured locus $\mathcal{M}=\overline{\mathrm{SL}_2(\mathbb{R})\cdot\mathbb{T}(\omega)}$. The main theorems give sufficient conditions for these expanding tori to be dense in $\mathcal{M}$ for all sufficiently large $t$ (Theorem A), and for every weak-* limit of their uniform measures to have full support in $\mathcal{M}$ (Theorem B). Because earlier results only worked along subsequences, these are the first no-subsequence statements for non-square-tiled Veech surfaces, and they make the twist-torus analogue of a long-standing conjecture for hyperbolic surfaces plausible in these cases.

What carries the argument

The central object is the twist torus $\mathbb{T}(\omega)$, the compact torus $\mathbb{R}^n/\prod m_i\mathbb{Z}$ of surfaces obtained by applying the horocycle flow to each horizontal cylinder independently. The load-bearing mechanism is a key matching proposition (Proposition 5.1) that compares, near the Veech curve $V=\mathrm{SL}_2(\mathbb{R})\cdot\omega$, a small piece of $g_t\cdot\mathbb{T}(\omega)$ with the $g_{T+\ell}$-image of a nearby tremor; the comparison is made via a linear A-invariance statement (Theorem 1.8) for the projective bundle of the Kontsevich–Zorich cocycle over $V$. This A-invariance is proved by adapting the classical shearing argument for unipotent flows, using subpolynomial fiber divergence: under the polynomial growth bound (1.4), the dominant direction of divergence of two nearby points under the horocycle flow is parallel to the base, which forces every $U$-invariant measure projecting to Haar on $V$ to be $A$-invariant. For Theorem B, the matching is promoted from closeness to exact equality of cocycle matrices (Proposition 8.2), which requires the monodromy hypothesis (1.2).

What would settle it

Look for a $U$-invariant probability measure on the projective Kontsevich–Zorich bundle $\mathbb{P}\widehat{V}$ that projects to the Haar measure $\mu_V$ on $V$ but is not $A$-invariant, while satisfying the polynomial growth bound (1.4); Theorem 1.8 declares such a measure impossible. Alternatively, for a regular $2n$-gon surface with $n>5$, exhibit a compact set $K\subset\mathcal{M}$ and $\varepsilon>0$ such that $g_t\cdot\mathbb{T}(\omega_n)\cap K$ fails to be $\varepsilon$-dense for arbitrarily large $t$, contradicting Theorem A.

Watch

Extended reading notes

Core claim

On the paper's own terms, the discovery is that dense-in-time behavior of expanding twist tori can be pushed through from the (well-understood) horocycle dynamics on the Veech curve to the full orbit closure, using a rigidity theorem for the Kontsevich–Zorich cocycle. Theorem A asserts that if $(M,\omega)$ is horizontally periodic Veech and $M$-primitive in $\mathcal{M}$, then for every compact $K\subset\mathcal{M}$ and $\varepsilon>0$, the set $K\cap g_t\cdot\mathbb{T}(\omega)$ is $\varepsilon$-dense in $K$ for all $t$ large enough. Theorem B asserts that under hypothesis (1.2)—a pseudo-Anosov element of the affine group acting as the identity on $\mathrm{Cyl}^0(\omega)$—every weak-* limit of $(g_t)_*\mu_{\mathbb{T}}$ has full support in $\mathcal{M}$, with a uniform lower bound on the mass of any nonempty open set. The paper also shows both hypotheses are satisfied by infinite families of classical examples, and that the decagon, though not primitive, satisfies the density conclusion by an appendix argument.

Load-bearing premise

The central load-bearing premise is the rigidity theorem (Theorem 1.8): every $U$-invariant probability measure on the projective Kontsevich–Zorich bundle over a Veech curve that projects to Haar measure on the curve is also invariant under the geodesic flow; if this classification fails, the key matching proposition and with it Theorem A collapse.

Editorial extensions

If this is right

  • Under Theorem A, the torus $g_t\cdot\mathbb{T}(\omega)$ must intersect every open subset of $\mathcal{M}$ for every sufficiently large $t$, eliminating the possibility of escape to proper invariant submanifolds in the primitive case.
  • Under Theorem B, the uniform measures on $g_t\cdot\mathbb{T}(\omega)$ cannot concentrate on any proper closed subset: each nonempty open set receives mass at least some uniform $\varepsilon>0$ for all large $t$.
  • The hypotheses of both theorems are checkable in concrete families, including the regular $2n$-gon surfaces for $n>5$ and the exceptional square-tiled family of examples, so the density and full-support conclusions apply to infinitely many distinct Veech curves.
  • The correspondence between flat and hyperbolic twist tori means that full convergence of these flat tori would settle the corresponding conjecture for hyperbolic surfaces along the relevant sequences.
  • Theorem 1.8 provides a new measure rigidity statement for general locally constant cocycles over $\mathrm{SL}_2(\mathbb{R})/\Gamma$ with polynomial growth, which is of independent use in homogeneous dynamics.

Reading between the lines

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

  • The paper's Remark 1.9 and Appendix B suggest that under extra hypotheses on the cocycle (bounded image, or proximal and irreducible), the limiting measure is unique; one could test whether the full convergence in Conjecture 1.5 holds for the exceptional square-tiled family, where those extra hypotheses are naturally satisfied.
  • A concrete numerical check on the decagon or a regular $14$-gon surface—computing $\varepsilon$-density of $g_t\mathbb{T}(\omega)$ in a fixed ball for a mesh of times—would provide independent confirmation of the density claim in a case not covered by the general primitivity hypothesis.
  • The uniform lower mass bound in Theorem B resembles an effective equidistribution statement; if made quantitative, it may yield error estimates for counting problems of saddle connections and periodic orbits, mirroring how effective unipotent flow results feed counting in flat geometry.
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

2 major / 5 minor

Summary. The paper studies the distribution of expanding twist tori g_t·T(ω) in moduli spaces of translation surfaces, where T(ω) is the torus of independent horizontal cylinder twists of a horizontally periodic translation surface. The main results are Theorem A, asserting that if (M,ω) is a Veech surface and is M-primitive for M = SL2(R)·T(ω), then g_t·T(ω) becomes dense in M as t→∞ without passing to subsequences, and Theorem B, asserting that under a transverse monodromy hypothesis (1.2) every weak-* limit of the uniform measures (g_t)_*μ_T is fully supported in M. The proofs are built on a strengthening of Forni's full-density equidistribution result (Theorem 1.6), a measure rigidity theorem for U-invariant measures on projective Kontsevich-Zorich bundles (Theorem 1.8), a Key Matching Proposition 5.1, and, for Theorem B, a matching proposition 8.2 and a measure-theoretic matching proposition 8.4. Section 3 supplies infinite families of examples: regular 2n-gon Veech surfaces for Theorem A and the Matheus-Yoccoz square-tiled surfaces for Theorem B.

Significance. If the results are correct, they provide the first no-subsequence statements for expanding twist tori in the non-square-tiled setting and, in Theorem B, a full-support statement for all weak-* limits that is stronger than mere density and new even in previously studied square-tiled cases. The architecture of the proof is coherent and the paper explicitly separates the algebraic hypotheses (M-primitivity and the monodromy hypothesis (1.2)) from the dynamical matching arguments. The examples in Section 3 are concrete and non-trivial, and the paper is unusually candid about which parts are sketches or outlines. That said, two load-bearing pieces are not fully established as written: the proof of the Key Matching Proposition has a missing normalization factor in its application of Lemma 7.2, and the proof of Theorem 1.8 is a compressed summary rather than a complete argument. These are repairable, but they prevent the paper from being accepted in its current form.

major comments (2)
  1. [Section 7.3.1, proof of Proposition 5.1] The application of Lemma 7.2 is inconsistent with the definition of Tremβ in (2.11). The actual tremor is Tremβ(t1,s,r) = Trem(ω(t1,s), r·β(t1,s)) = Trem(x1, rN(t1,s)v1), where v1 = β(t1,s)/N(t1,s). The proof instead defines y1 = Trem(x1, rv1) and y2 = Trem(x2, rv2), so Lemma 7.2 is applied to tremors with displacement r rather than the displacement rN(t1,s) that actually occurs. Moreover, the hypothesis of Lemma 7.2 requires the displacement parameter to be <δ, but r can exceed δ when N(t1,s)<1, and no lower bound on N(t1,s) on the matching set is established. The gap is repairable: set ρ = rN(t1,s), define y1 = Trem(x1, ρv1) and y2 = Trem(x2, ρv2), and then ρ<δ follows from the stated range r<δ/N(t1,s). With this change y2 still lies in g_{t2}·T(ω,β), and Lemma 7.2 gives the desired estimate. But as written, the proof compares the wrong points, and item (2) of Proposition 5.1 is not established. Since Proposition 5.1 is the key input to Theorem A, this must be corrected.
  2. [Section 6, proof of Proposition 6.2 and Theorem 1.8] The proof of Proposition 6.2 is a compressed summary of Ratner's shearing argument. In particular, the step following (6.3), where the authors say that 'Following Ratner, with the aid of Birkhoff's ergodic theorem, we can find s∈I so that the two points ... also belong to the compact set L̂', is the decisive point of the proof but is not justified in the manuscript. The text does not show how Lemma 6.3 is combined with the decomposition u(s)p = u_-(r_p)g_{t_p}u(s_p) to produce a common s of positive measure for which both relevant points lie in L̂, nor does it define the ambient metric on PbV used in (6.2). Because Lemma 7.3, and hence Proposition 7.1 and Proposition 5.1, depend on Theorem 1.8, this argument needs to be written out in full rather than summarized.
minor comments (5)
  1. [Section 8.4, Lemma 8.11] The proof of Lemma 8.11 is omitted with the phrase 'proof is left to the reader'. The lemma is used in the proof of Proposition 8.9, which is needed for Theorem B. A short proof should be included, even though the statement is elementary.
  2. [Appendix B, Proposition B.2] Proposition B.2 is presented as a sketch and relies on entropy arguments from [BAM+18, Led84]. This may be acceptable because it is used only for Remark 1.9 and Theorem B.1 rather than for Theorems A and B, but the paper should state explicitly that this is a sketch and identify the precise statements it invokes.
  3. [Appendix A, Theorem A.1] Theorem A.1 for the decagon is advertised as an example, but its proof is an outline: the substitute sets R^D_{δ0,η} are introduced and Lemma A.6 is stated, but several steps are summarized rather than fully proved. If this appendix is meant to be a full proof, it needs expansion; otherwise it should be labelled as a sketch.
  4. [Section 6, equation (6.2)] The metric dist on subsets of PbV used in (6.2) is not defined in Section 6; a fiber metric is defined in (6.1), but a global product metric on the bundle is only introduced later, in Section 7.2. Please define the metric used in the measure rigidity argument.
  5. [Throughout, cf. Remark 2.12] The notation Trem(t,s,r) without the subscript β is used after Remark 2.12, and in Section 7.3.1 the same symbol r is used both for the coefficient in Tremβ and for the displacement parameter in Lemma 7.2. This overloading is a source of the gap described in the first major comment and should be clarified.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main theorems are derived from independent rigidity and equidistribution inputs; self-citations are background lemmas only.

full rationale

The paper's central claims, Theorems A and B, are not equivalent to their hypotheses by construction. Theorem A reduces to the Key Matching Proposition 5.1, the uniform equidistribution result Theorem 1.6, and the measure rigidity result Theorem 1.8. Neither M-primitivity nor the other assumptions contains the conclusion that g_t · T(ω) becomes dense; M-primitivity is an algebraic condition on intermediate orbit closures, and Theorem 1.8 is proved from the polynomial growth bound (1.4) via an original adaptation of Ratner's shearing argument and the subpolynomial fiber divergence estimate Lemma 6.3. Theorem B similarly rests on the monodromy hypothesis (1.2) and the cocycle matching Proposition 8.2, which are independent algebraic and dynamical inputs, not restatements of full support of limiting measures. The self-citations to [CSW20], [CKS21], and [ASAE+21] provide standard or previously established lemmas such as equivariance of cylinder twists under the geodesic flow and exponential recurrence estimates; these are background tools, not the target conclusions, and they are not used as an unverified uniqueness theorem or ansatz. No fitted parameter is renamed as a prediction, and no known result is merely repackaged. The skeptic's tremor-scaling concern about Proposition 5.1 is a potential gap in the proof of the matching statement, not a circularity: it concerns whether the claimed estimate follows from the stated lemmas, not whether the conclusion is assumed as an input. Overall, the derivation chain is self-contained modulo cited external rigidity and equidistribution results, and no circular step was found.

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

The paper relies on standard deep results in Teichmüller dynamics and homogeneous dynamics (EMM15, AG13, Ratner), plus domain restrictions to horizontally periodic Veech surfaces. No fitted parameters or invented entities are introduced; the new content is obtained by combining these external tools with new matching and rigidity arguments.

assumptions (7)
  • standard math Eskin-Mirzakhani-Mohammadi orbit closure and equidistribution theorems for the SL2(R) action on strata.
    Used in Theorem 1.6, Lemma 5.3, and Section 8.4; supplies the convergence and isolation results on which all long-time limits in the paper rest.
  • standard math Avila-Gouezel estimates for AGY norms, distance bounds, and non-uniform hyperbolicity of the Teichmüller geodesic flow.
    Invoked via Propositions 2.4, 2.7, 2.9 and Corollary 2.16 to control contraction, Lipschitz properties, and recurrence.
  • standard math Ratner's measure classification and shearing arguments for unipotent and diagonal subgroups of SL2(R).
    The proof of Theorem 1.8 in Section 6 explicitly adapts Ratner's proof; Appendix B uses Margulis-Tomanov entropy arguments.
  • standard math Sierpinski's theorem that a countable decomposition of a compact connected set into closed sets is trivial in this context.
    Used in Lemma 5.3 to show a single point in T(ω) has orbit closure equal to M = SL2(R)·T(ω).
  • standard math McMullen, Calta, Apisa, and Wright classifications of SL2(R)-orbit closures in hyperelliptic components and genus two.
    Used in Proposition 3.1 to establish M-primitivity of the regular 2n-gon examples and the decagon orbit closure structure.
  • standard math Matheus-Yoccoz computations of the affine group action on homology of their square-tiled surfaces.
    Used in Proposition 3.4 to verify the monodromy hypothesis (1.2) for the Theorem B examples.
  • domain assumption All results are restricted to horizontally periodic Veech surfaces, with a standing passage to a torsion-free finite cover.
    This is the setting where the twist torus T(ω) is a torus and where Convention 2.3 trivializes automorphism groups; it is an explicit restriction of the theorems.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Veech Surfaces and Expanding Twist Tori on Moduli Spaces of Abelian Differentials." pith.science (2026). https://pith.science/paper/D52S2BIL

@misc{pith2026250709775,
  author       = {Pith},
  title        = {Pith review of: Veech Surfaces and Expanding Twist Tori on Moduli Spaces of Abelian Differentials},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/D52S2BIL}},
  note         = {Machine review of arXiv:2507.09775}
}
abstract

Let $(M,\omega)$ be a translation surface such that every leaf of its horizontal foliation is either closed, or joins two zeros of $\omega$. Then, $M$ decomposes as a union of horizontal Euclidean cylinders. The $\textit{twist torus}$ of $(M,\omega)$, denoted $\mathbb{T}(\omega)$, consists of all translation surfaces obtained from $(M,\omega)$ by applying the horocycle flow independently to each of these cylinders. Let $g_t$ be the Teichm\"uller geodesic flow. We study the distribution of the expanding tori $g_t\cdot \mathbb{T}(\omega)$ on moduli spaces of translation surfaces in cases where $(M,\omega)$ is a $\textit{Veech surface}$. We provide sufficient criteria for these tori to become dense within the conjectured limiting locus $\mathcal{M} :=\overline{\mathrm{SL}_2(\mathbb{R})\cdot \mathbb{T}(\omega)}$ as $t\rightarrow \infty$. We also provide criteria guaranteeing a uniform lower bound on the mass a given open set $U\subset\mathcal{M}$ must receive with respect to any weak-$\ast$ limit of the uniform measures on $g_t\cdot \mathbb{T}(\omega)$ as $t\rightarrow\infty$. In particular, all such limits must be fully supported in $\mathcal{M}$ in such cases. Finally, we exhibit infinite families of well-known examples of Veech surfaces satisfying each of these results. A key feature of our results in comparison to previous work is that they do not require passage to subsequences.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

67 extracted references · 59 canonical work pages

  1. [1]

    e zel, Small eigenvalues of the L aplacian for algebraic measures in moduli space, and mixing properties of the T eichm\

    Artur Avila and S\' e bastien Gou\" e zel, Small eigenvalues of the L aplacian for algebraic measures in moduli space, and mixing properties of the T eichm\" u ller flow , Ann. of Math. (2) 178 (2013), no. 2, 385--442. 3071503

  2. [2]

    Athreya and Howard Masur, Translation surfaces, Graduate Studies in Mathematics, vol

    Jayadev S. Athreya and Howard Masur, Translation surfaces, Graduate Studies in Mathematics, vol. 242, American Mathematical Society, Providence, RI, [2024] 2024. 4783430

  3. [3]

    Paul Apisa, GL _2 R orbit closures in hyperelliptic components of strata , Duke Math. J. 167 (2018), no. 4, 679--742. 3769676

  4. [4]

    , Rank one orbit closures in H ^ hyp (g-1, g-1) , Geom. Funct. Anal. 29 (2019), no. 6, 1617--1637. 4034916

  5. [5]

    Hamid Al-Saqban, Paul Apisa, Alena Erchenko, Osama Khalil, Shahriar Mirzadeh, and Caglar Uyanik, Exceptional directions for the T eichm\" u ller geodesic flow and H ausdorff dimension , J. Eur. Math. Soc. (JEMS) 23 (2021), no. 5, 1423--1476. 4244511

  6. [6]

    Athreya, Quantitative recurrence and large deviations for T eichmuller geodesic flow , Geom

    Jayadev S. Athreya, Quantitative recurrence and large deviations for T eichmuller geodesic flow , Geom. Dedicata 119 (2006), 121--140. 2247652

  7. [7]

    Paul Apisa and Alex Wright, Generalizations of the E ierlegende- W ollmilchsau , Camb. J. Math. 10 (2022), no. 4, 859--933. 4524830

  8. [8]

    Aaron W. Brown , S \'e bastien Alvarez , Dominique Malicet , Davi Obata , Mario Rold \'a n , Bruno Santiago , and Michele Triestino , Entropy, Lyapunov exponents, and rigidity of group actions , arXiv e-prints (2018), arXiv:1809.09192

Show all 67 references
  1. [9]

    Christian Bonatti, Alex Eskin, and Amie Wilkinson, Projective cocycles over SL(2, R) actions: measures invariant under the upper triangular group , Some aspects of the theory of dynamical systems: a tribute to J ean- C hristophe Y occoz. V ol. I , no. 415, Soci\'et\'e Math\'em...

  2. [10]

    oller, Teichm\

    Irene I. Bouw and Martin M\"oller, Teichm\"uller curves, triangle groups, and L yapunov exponents , Ann. of Math. (2) 172 (2010), no. 1, 139--185. 2680418

  3. [11]

    Matt Bainbridge, John Smillie, and Barak Weiss, Horocycle dynamics: new invariants and eigenform loci in the stratum H (1,1) , Mem. Amer. Math. Soc. 280 (2022), no. 1384, v+100. 4493581

  4. [12]

    Kariane Calta, Veech surfaces and complete periodicity in genus two, J. Amer. Math. Soc. 17 (2004), no. 4, 871--908. 2083470

  5. [13]

    Aaron Calderon and James Farre , Continuity of the orthogeodesic foliation and ergodic theory of the earthquake flow , arXiv e-prints (2024), arXiv:2401.12299

  6. [14]

    , On Mirzakhani's twist torus conjecture , arXiv e-prints (2024), arXiv:2405.12106

  7. [15]

    Jon Chaika , Osama Khalil , and John Smillie , On the Space of Ergodic Measures for the Horocycle Flow on Strata of Abelian Differentials , arXiv e-prints (to appear in Annales Scientifiques de L'ENS.) (2021), arXiv:2104.00554

  8. [16]

    Jon Chaika , John Smillie , and Barak Weiss , Tremors and horocycle dynamics on the moduli space of translation surfaces , arXiv e-prints (2020), arXiv:2004.04027

  9. [17]

    Alex Eskin, Simion Filip, and Alex Wright, The algebraic hull of the K ontsevich- Z orich cocycle , Ann. of Math. (2) 188 (2018), no. 1, 281--313. 3815463

  10. [18]

    Einsiedler and E

    M. Einsiedler and E. Lindenstrauss, Diagonal actions on locally homogeneous spaces, Homogeneous flows, moduli spaces and arithmetic, Clay Math. Proc., vol. 10, Amer. Math. Soc., Providence, RI, 2010, pp. 155--241. 2648695

  11. [19]

    Systems 21 (2001), no

    Alex Eskin and Howard Masur, Asymptotic formulas on flat surfaces, Ergodic Theory Dynam. Systems 21 (2001), no. 2, 443--478. 1827113

  12. [20]

    Alex Eskin and Maryam Mirzakhani, Invariant and stationary measures for the SL (2, R) action on moduli space , Publ. Math. Inst. Hautes \' E tudes Sci. 127 (2018), 95--324. 3814652

  13. [21]

    Alex Eskin, Maryam Mirzakhani, and Amir Mohammadi, Isolation, equidistribution, and orbit closures for the SL (2, R) action on moduli space , Ann. of Math. (2) 182 (2015), no. 2, 673--721. 3418528

  14. [22]

    , Effective counting of simple closed geodesics on hyperbolic surfaces, J. Eur. Math. Soc. (JEMS) 24 (2022), no. 9, 3059--3108. 4422208

  15. [23]

    Alex Eskin, Howard Masur, and Martin Schmoll, Billiards in rectangles with barriers, Duke Math. J. 118 (2003), no. 3, 427--463. 1983037

  16. [24]

    Systems 26 (2006), no

    Alex Eskin, Jens Marklof, and Dave Witte Morris, Unipotent flows on the space of branched covers of V eech surfaces , Ergodic Theory Dynam. Systems 26 (2006), no. 1, 129--162. 2201941

  17. [25]

    6, Heldermann Verlag, Berlin, 1989, Translated from the Polish by the author

    Ryszard Engelking, General topology, second ed., Sigma Series in Pure Mathematics, vol. 6, Heldermann Verlag, Berlin, 1989, Translated from the Polish by the author. 1039321

  18. [26]

    259, Springer-Verlag London, Ltd., London, 2011

    Manfred Einsiedler and Thomas Ward, Ergodic theory with a view towards number theory, Graduate Texts in Mathematics, vol. 259, Springer-Verlag London, Ltd., London, 2011. 2723325

  19. [27]

    Giovanni Forni and Carlos Matheus , An example of a Teichmuller disk in genus 4 with degenerate Kontsevich-Zorich spectrum , arXiv e-prints (2008), arXiv:0810.0023

  20. [28]

    49, Princeton University Press, Princeton, NJ, 2012

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

  21. [29]

    Giovanni Forni and Carlos Matheus, Introduction to T eichm\" u ller theory and its applications to dynamics of interval exchange transformations, flows on surfaces and billiards , J. Mod. Dyn. 8 (2014), no. 3-4, 271--436. 3345837

  22. [30]

    Giovanni Forni, Deviation of ergodic averages for area-preserving flows on surfaces of higher genus, Ann. of Math. (2) 155 (2002), no. 1, 1--103. 1888794

  23. [31]

    , On the L yapunov exponents of the K ontsevich- Z orich cocycle , Handbook of dynamical systems. V ol. 1 B , Elsevier B. V., Amsterdam, 2006, pp. 549--580. 2186248

  24. [32]

    Systems 41 (2021), no

    , Limits of geodesic push-forwards of horocycle invariant measures, Ergodic Theory Dynam. Systems 41 (2021), no. 9, 2782--2804. 4297073

  25. [33]

    Eugene Gutkin and Chris Judge, Affine mappings of translation surfaces: geometry and arithmetic, Duke Math. J. 103 (2000), no. 2, 191--213. 1760625

  26. [34]

    Patrick Hooper, Grid graphs and lattice surfaces, Int

    W. Patrick Hooper, Grid graphs and lattice surfaces, Int. Math. Res. Not. IMRN (2013), no. 12, 2657--2698. 3071661

  27. [35]

    Frank Herrlich and Gabriela Schmith\"usen, An extraordinary origami curve, Math. Nachr. 281 (2008), no. 2, 219--237. 2387362

  28. [36]

    Patrick Hooper and Barak Weiss, Rel leaves of the A rnoux- Y occoz surfaces , Selecta Math

    W. Patrick Hooper and Barak Weiss, Rel leaves of the A rnoux- Y occoz surfaces , Selecta Math. (N.S.) 24 (2018), no. 2, 875--934, With an appendix by Lior Bary-Soroker, Mark Shusterman, and Umberto Zannier. 3782414

  29. [37]

    Kadyrov, D

    S. Kadyrov, D. Kleinbock, E. Lindenstrauss, and G. A. Margulis, Singular systems of linear forms and non-escape of mass in the space of lattices, J. Anal. Math. 133 (2017), 253--277. 3736492

  30. [38]

    Richard Kenyon and John Smillie, Billiards on rational-angled triangles, Comment. Math. Helv. 75 (2000), no. 1, 65--108. 1760496

  31. [39]

    Maxim Kontsevich and Anton Zorich, Connected components of the moduli spaces of A belian differentials with prescribed singularities , Invent. Math. 153 (2003), no. 3, 631--678. 2000471

  32. [40]

    Ledrappier, Propri\'et\'es ergodiques des mesures de S ina\"i , Inst

    F. Ledrappier, Propri\'et\'es ergodiques des mesures de S ina\"i , Inst. Hautes \'Etudes Sci. Publ. Math. (1984), no. 59, 163--188. 743818

  33. [41]

    Elon Lindenstrauss and Maryam Mirzakhani, Ergodic theory of the space of measured laminations, Int. Math. Res. Not. IMRN (2008), no. 4, Art. ID rnm126, 49. 2424174

  34. [42]

    Elon Lindenstrauss , Amir Mohammadi , and Zhiren Wang , Effective equidistribution for some one parameter unipotent flows , arXiv e-prints (2022), arXiv:2211.11099

  35. [43]

    oller, Shimura and T eichm\

    Martin M\"oller, Shimura and T eichm\"uller curves , J. Mod. Dyn. 5 (2011), no. 1, 1--32. 2787595

  36. [44]

    Grigoriy A. Margulis, On some aspects of the theory of A nosov systems , Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2004, With a survey by Richard Sharp: Periodic orbits of hyperbolic flows, Translated from the Russian by Valentina Vladimirovna Szulikowska. 2035655

  37. [45]

    McMullen, Billiards and T eichm\" u ller curves on H ilbert modular surfaces , J

    Curtis T. McMullen, Billiards and T eichm\" u ller curves on H ilbert modular surfaces , J. Amer. Math. Soc. 16 (2003), no. 4, 857--885. 1992827

  38. [46]

    , Dynamics of SL _2( R) over moduli space in genus two , Ann. of Math. (2) 165 (2007), no. 2, 397--456. 2299738

  39. [47]

    Maryam Mirzakhani, Ergodic theory of the earthquake flow, Int. Math. Res. Not. IMRN (2008), no. 3, Art. ID rnm116, 39. 2416997

  40. [48]

    G. A. Margulis and G. M. Tomanov, Invariant measures for actions of unipotent groups over local fields on homogeneous spaces, Invent. Math. 116 (1994), no. 1-3, 347--392. 1253197

  41. [49]

    Carlos Matheus and Jean-Christophe Yoccoz, The action of the affine diffeomorphisms on the relative homology group of certain exceptionally symmetric origamis, J. Mod. Dyn. 4 (2010), no. 3, 453--486. 2729331

  42. [50]

    Anthony Quas, Philippe Thieullen, and Mohamed Zarrabi, Explicit bounds for separation between O seledets subspaces , Dyn. Syst. 34 (2019), no. 3, 517--560. 3980636

  43. [51]

    Marina Ratner, On R aghunathan's measure conjecture , Ann. of Math. (2) 134 (1991), no. 3, 545--607. 1135878

  44. [52]

    , Raghunathan's topological conjecture and distributions of unipotent flows, Duke Math. J. 63 (1991), no. 1, 235--280. 1106945

  45. [53]

    , Raghunathan's conjectures for SL (2, R) , Israel J. Math. 80 (1992), no. 1-2, 1--31. 1248925

  46. [54]

    W Sierpinski, Un th \'e oreme sur les continus , Tohoku Mathematical Journal, First Series 13 (1918), 300--303

  47. [55]

    John Smillie, Peter Smillie, Barak Weiss, and Florent Ygouf, Horospherical dynamics in invariant subvarieties, Adv. Math. 451 (2024), Paper No. 109783, 54. 4761952

  48. [56]

    W. A. Veech, Teichm\"uller curves in moduli space, E isenstein series and an application to triangular billiards , Invent. Math. 97 (1989), no. 3, 553--583. 1005006

  49. [57]

    Veech, The billiard in a regular polygon, Geom

    William A. Veech, The billiard in a regular polygon, Geom. Funct. Anal. 2 (1992), no. 3, 341--379. 1177316

  50. [58]

    217--226

    , Geometric realizations of hyperelliptic curves, Algorithms, fractals, and dynamics ( O kayama/ K yoto, 1992), Plenum, New York, 1995, pp. 217--226. 1402493

  51. [59]

    338, Springer-Verlag, Berlin, 2009, Old and new

    C\'edric Villani, Optimal transport, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 338, Springer-Verlag, Berlin, 2009, Old and new. 2459454

  52. [60]

    Ward, Calculation of F uchsian groups associated to billiards in a rational triangle , Ergodic Theory Dynam

    Clayton C. Ward, Calculation of F uchsian groups associated to billiards in a rational triangle , Ergodic Theory Dynam. Systems 18 (1998), no. 4, 1019--1042. 1645350

  53. [61]

    uller curves: the V eech- W ard- B ouw- M \

    Alex Wright, Schwarz triangle mappings and T eichm\"uller curves: the V eech- W ard- B ouw- M \"oller curves , Geom. Funct. Anal. 23 (2013), no. 2, 776--809. 3053761

  54. [62]

    , The field of definition of affine invariant submanifolds of the moduli space of abelian differentials, Geom. Topol. 18 (2014), no. 3, 1323--1341. 3254934

  55. [63]

    , Cylinder deformations in orbit closures of translation surfaces, Geom. Topol. 19 (2015), no. 1, 413--438. 3318755

  56. [64]

    , A tour through M irzakhani's work on moduli spaces of R iemann surfaces , Bull. Amer. Math. Soc. (N.S.) 57 (2020), no. 3, 359--408. 4108090

  57. [65]

    Proc., vol

    Jean-Christophe Yoccoz, Interval exchange maps and translation surfaces, Homogeneous flows, moduli spaces and arithmetic, Clay Math. Proc., vol. 10, Amer. Math. Soc., Providence, RI, 2010, pp. 1--69. 2648692

  58. [66]

    Zimmer, Ergodic Theory and Semisimple Groups , Monographs in Mathematics, vol

    Robert J. Zimmer, Ergodic Theory and Semisimple Groups , Monographs in Mathematics, vol. 81, Birkh\"auser, 1984

  59. [67]

    I , Springer, Berlin, 2006, pp

    Anton Zorich, Flat surfaces, Frontiers in number theory, physics, and geometry. I , Springer, Berlin, 2006, pp. 437--583. 2261104

Pith tools

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