Pith. sign in

REVIEW 1 major objections 4 minor 43 references

Effective Exponential Drifts on Strata of Abelian Differentials

T0 review · 1 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read The paper establishes an effective exponential drift on the stratum $H(2)$: a long upper-triangular orbit gains a transverse set of discretized dimension almost $1$ unless it approaches a low-discriminant Teichmüller curve.

desk verdict Serious and technically rich, but the main theorem is unproved as stated: §8.4 defines the drift time as a large κ-independent constant while the theorem requires all small κ. read the letter →

arxiv 2501.11530 v1 pith:SXFPL6YZ submitted 2025-01-20 math.DS

Siyuan Tang This is my paper · ORCID
classification math.DS MSC 37D4037A1732G1530F60
keywords AbeliandifferentialsstratumH(2)translationsurfacesTeichmüllercurvesexponentialdriftMargulisfunctionseffectiveclosinglemmahorocycleflow
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 an effective version of the exponential-drift phenomenon for the stratum $H(2)$ of unit-area translation surfaces of genus two with one double zero. Its main theorem says that for any long piece of the upper-triangular subgroup orbit, either the orbit contains a finite set of transverse points whose discretized dimension is almost $1$, or the orbit passes within $e^{-Nt}$ of a surface generating a Teichmüller curve of discriminant at most $e^{N_0t}$. Because the second alternative is a low-complexity exception, the result makes precise the sense in which the upper-triangular orbit spreads transversally, with explicit constants. This matters because it converts soft orbit-closure rigidity into quantitative estimates that can feed effective equidistribution results for the Teichmüller flow.

What carries the argument

The central object is the Margulis function, a local density function $f_{t,\gamma}(z)$ attached to a skeleton: the skeleton is a disjoint union of small $G$-thickenings around the points of a finite transverse set $F\subset H_C^\perp(x)$. The function records the weighted count of nearby transverse points, and the main mechanism is that pushing the skeleton forward by a random walk made of Teichmüller-flow steps $a_{m_\gamma}u_r$ contracts this density by a factor $e^{-1}$ on average (Proposition 8.12); the unipotent drift $u_r$ rotates a transverse difference into the unstable direction, where the flow expands it with the top Lyapunov exponent. Iterating the contraction improves the discretized dimension of $F$, while an effective closing lemma (Theorem 6.1) converts a self-intersection of the thickened horocycle into a nearby surface with a non-elementary Veech group, and in the genus-two case into a Teichmüller curve of small discriminant. The complete classification of Teichmüller curves in $H(2)$, together with effective lattice-point counting for non-Zariski-dense Fuchsian groups, gives the arithmetic control on discriminants.

What would settle it

One concrete test is to fix a surface $x_0$ in $H(2)$, choose a large $t$, and measure the subset of $r\in[0,1]$ where the shortest saddle connection (systole) of $a_t u_r x_0$ is below the threshold $\epsilon_0$: if any interval $I$ of length at least $10^{-3}$ spends more than $|I|/100$ of its time there, the non-divergence estimate behind the Lyapunov-averaging lemmas fails and the contraction step collapses. In the other direction, the paper's explicit prototypes for low-discriminant curves make the dichotomy numerically checkable: one can search over discriminants up to $e^{N_0t}$ and verify that no orbit stays $e^{-Nt}$-away from all of them while also failing to produce a transverse set $F$ of size $e^{t/2}$.

Watch

Extended reading notes

Core claim

Theorem 1.1 states that for $\alpha=(2g-2)$, given any $\epsilon<1/10$, $\gamma<1$, a thinness parameter $\eta$, a scale $N$, and a starting surface $x_0$, there are constants $\kappa$, $\kappa_1$, and $t_1$ such that for all small enough $\kappa$ and all $t\ge t_1$, at least one of two alternatives holds. Either there is a surface $x_1$ with shortest saddle connection at least $\eta$ and a finite set $F\subset H_C^\perp(x_1)$ containing $0$ with $|F|\ge e^{t/2}$, so that each point $x_1+w$ is within $e^{-\kappa t}$ of the thickened horocycle $a_{\kappa t}u_{[0,2]}x_0$ and the sum over distinct $w,w'\in F$ of $\|w-w'\|^{-\gamma}$ is at most $|F|^{1+\epsilon}$; or there is a surface $y$ within $e^{-Nt}$ of $x_0$ whose Veech group (the group of linear parts of affine automorphisms) is a non-elementary Fuchsian group, and in the case $\alpha=(2)$ the surface generates a Teichmüller curve (a finite-area complex geodesic in moduli space) of discriminant at most $e^{N_0t}$. The energy bound is a discretized fractal dimension bound: the set $F$ is spread through the direction transverse to the $SL(2,\mathbb{R})$-orbit, and its dimension is almost $1$ unless the orbit is exponentially close to a low-discriminant Teichmüller curve.

Load-bearing premise

The proof rests on two uniform quantitative estimates: at most $1\%$ of the horocycle parameters in any interval of length at least $10^{-3}$ can make the flowed surface leave a fixed compact part of the stratum, and every non-Zariski-dense Fuchsian group has a uniform spectral gap; if either bound fails or has a non-explicit constant, the effective exponents in the theorem may not be uniform.

Editorial extensions

If this is right

  • On $H(2)$, a long upper-triangular orbit either fills the transverse balance direction with discretized dimension almost $1$ or is exponentially close to a Teichmüller curve of discriminant at most $e^{N_0 t}$; there is no intermediate asymptotic behavior.
  • The effective closing lemma turns a large nearly-periodic set of group elements in $B_G(T)$ into a nearby surface with a non-elementary Veech group, and in $H(2)$ into a Teichmüller curve of discriminant at most $T^{N_1}$; this is the moduli-space analogue of the homogeneous closing lemma.
  • The Margulis-function contraction gives a quantitative version of the exponential-drift mechanism that underlies orbit-closure rigidity: the same mechanism that shows upper-triangular orbit closures are $SL(2,\mathbb{R})$-invariant can now be run with explicit error terms.
  • The theorem's statements are uniform over compact sets where the shortest saddle connection is bounded below, so the dichotomy holds with constants depending only on that length, the dimension parameter $\gamma$, and the chosen scale $N$.

Reading between the lines

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

  • Implicit in the method but not stated: the same effective-closing-plus-Margulis-function scheme should transfer to higher-genus strata once the classification input is replaced by the algebraic hull of the linear cocycle over the Teichmüller flow; the curve branch would then become exponential closeness to a low-complexity affine invariant submanifold.
  • The paper's Claim 1.4 indicates that the $\gamma<1$ cut-off is structural, not a technical nuisance: because the ambient action mixes the real and imaginary parts of the balance space, any method using only linear unipotent drift cannot push the transverse dimension beyond $1$ without a quantitative symplectic bootstrap.
  • A testable extension is numerical: the explicit splitting prototypes in the paper give formulas for low-discriminant Teichmüller curves, so one can simulate long thickened horocycles and check the predicted cardinality $e^{t/2}$ and the discriminant threshold $e^{N_0t}$ directly.
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

1 major / 4 minor

Summary. The paper claims an effective version of the exponential drift theorem for the SL(2,R)-action on the stratum H(2) of genus-2 translation surfaces. Theorem 1.1 asserts that for any long P-orbit segment a_{κt}u_{[0,2]}x0, either one finds a large finite set F in the transverse balanced direction H⊥C(x1), of size at least e^{t/2}, with an almost-uniform 'discretized dimension' bound ∑_{w'≠w} ‖w−w′‖^{-γ} ≤ |F|^{1+ε} at scale e^{-κt} around the orbit, or the surface is exponentially close to a surface whose Veech group is a non-elementary Fuchsian group (and in H(2), generating a Teichmüller curve of discriminant at most e^{N0 t}). The proof uses an effective closing lemma based on a spectral gap for non-Zariski-dense Fuchsian groups, quantitative nondivergence of horocycles, McMullen's classification of Teichmüller curves in H(2), and a Margulis-function induction in Section 8.

Significance. If correct, Theorem 1.1 would be a significant quantitative step: it gives a discretized almost-1-dimensional transverse structure for P-orbits in H(2), with effective control of the scale and of the distance to low-discriminant Teichmüller curves. The paper is based on a clear strategy and uses the right external tools (EMV effective equidistribution, Minsky–Weiss nondivergence, Forni's Lyapunov bounds, McMullen's classification), so the machinery is credible and not circular. The closing lemma and the effective lattice-point-counting portions are valuable in themselves. However, the final induction in Section 8.4 contains a load-bearing quantification error: the theorem is not proved for the small-κ regime it states.

major comments (1)
  1. [8.4 (proof of Theorem 8.1), equations (8.59)–(8.61), (8.68), (8.71)–(8.72)] The induction in §8.4 does not close the stated quantification. After the Margulis iterations, the accumulated Teichmüller time is (5̟+2)t + i·k·mγ. With k = ⌊εt/(100γmγ(κ16+1))⌋ from (8.62) and i bounded by (8.71), the product i·k·mγ is asymptotically (3/2)(N+γ−1/2)mγ·t, which is independent of κ and ε. The proof then defines κ to be exactly this total-drift coefficient. But the theorem requires κ∈(0,κ1), and κ1 is chosen via (8.59), which — since Proposition 8.12 gives κ17=(2c+8)κ — forces κ ≲ ε/(2c+8), tending to 0 with ε. The accumulated-drift coefficient is bounded below by 5̟+2 > 2, so for the small κ allowed by the theorem the final inclusion x1+F ⊂ E_{κt,[0,2]}(e^{10−κt}).x0 is not justified. The induction would need i·k·mγ proportional to κt, which is incompatible with the bound (8.68) on |F_i|; as written, Theorem 8.1 — and therefore Theorem 1.1 — is unproved in the advertised small-κ regime.
minor comments (4)
  1. [3.2, Corollary 3.8] The stated exponent 1−1/(3κ7) does not follow from Proposition 3.7 and Lemma 3.6: combining (3.1), (3.4), and Lemma 3.6 with 1/p = κ7 gives |Δ| ≤ C Vol^{1−κ7/3}, not Vol^{1−1/(3κ7)}. The later use in Lemma 6.7 only needs some bound of the form Vol^{1−δ} with δ>0, so the argument can be repaired, but the displayed statement should be corrected.
  2. [8, Theorem 8.1 statement] The statement 'there exist κ = κ(N,γ,̟)>0, κ1 = κ1(N,γ,α,ǫ)>0, ... such that for κ∈(0,κ1)' uses κ both as an existentially quantified named constant and as the variable in the universal quantifier. This wording should be revised (e.g., 'there exists κ1 such that for every κ∈(0,κ1)'), and the revision is not purely cosmetic because it bears on the quantification gap in the proof.
  3. [2.6, Lemma 2.16] In the proof of Lemma 2.16 the sets I(R) and I^c are used without being defined; presumably I^c is the complement in [0,1] of I(1), but this should be stated. Also the constant c1 in the estimate |J_k| ≤ c1‖b‖^{-1}_x e^{-k} is introduced without definition.
  4. [8.4, constants and notation] The notation in §8.4 is very heavy, with κ15, κ16, κ17, κ18, κ19, mγ, ̟, and several auxiliary constants all appearing in the iteration. A table of constants and their roles (including which depend on α, γ, N, or ε) would substantially improve readability and help the reader verify the dependencies.

Circularity Check

1 steps flagged · score 6.0 of 10

Theorem 8.1's small-κ quantification is redefined as the induction's accumulated drift coefficient, so the advertised κ∈(0,κ1) dichotomy is not actually derived.

  1. fitted input called prediction [Section 8.4, Proof of Theorem 8.1, equations (8.59)–(8.72)]
    "κ = κ(N,γ,̟) = [ 3/2 (N +γ − 1/2)mγ + (5̟ + 2)], κ1 = κ1(N,γ,α,ǫ ) be small enough so that for any 0 <κ ≤κ1, (8.59) 2(κ17(α,γ,κ ) + ǫ/(10γmγ)) <ǫ ... Therefore, since we have defined κ = 3/2(N +γ − 1/2)mγ + (5̟ + 2), we conclude that there exists a skeleton E satisfying: E = E(x1,F,e −κt, L(η)/10 ) ⊂ H(η)1(α) ∩ Eκt,[0,2](e10−κt).x0"

    Theorem 8.1 states the dichotomy for every κ∈(0,κ1), with κ1 chosen so that (8.59) forces κ to be O(ε) and hence small. But in the proof κ is first fixed as the large, ε-independent constant 3/2(N+γ−1/2)mγ+(5̟+2), which is bounded below by 5̟+2 > 2 and makes (8.59) false. The final inclusion is then asserted 'since we have defined κ' to equal the total Teichmüller time ikmγ+(5̟+2)t accumulated during the induction, where i is bounded by (8.71) independently of κ and ε. Thus the e^{−κt} scale appearing in the conclusion is not the arbitrary small κ required by the theorem; it is the proof's accumulated drift coefficient relabeled as κ. The advertised small-κ dichotomy is therefore not derived—the parameter is fitted to the proof's output rather than being an input of the derivation.

full rationale

The paper is otherwise self-contained and relies on external, independent results: McMullen's classification, Eskin–Mirzakhani–Mohammadi/Atthreya non-divergence, Minsky–Weiss, Forni's Lyapunov bounds, and the Lindenstrauss–Mohammadi–Wang effective equidistribution theorems. There is no problematic author self-citation chain or ansatz smuggled through a citation. The one load-bearing reduction is the quantifier/parameter mismatch in §8.4: the proof constructs a skeleton only after redefining κ as the accumulated drift coefficient of the i·k·mγ induction, while the theorem's statement requires the dichotomy for all κ below a small κ1. Because the accumulated drift is independent of the input κ and of ε, the final inclusion is obtained by definition rather than by proving the advertised small-κ claim. This reduces the central prediction to a fitted parameter, so the circularity score is elevated to 6 despite the overall external benchmark structure of the paper.

Assumptions & free parameters 4 free parameters · 5 assumptions · 2 invented entities

The paper introduces no new physical or geometric entities, only technical tools (skeletons, Margulis functions). The free parameters are constants in inequalities, chosen to make the proof work. The main axioms are standard results in Teichmüller dynamics and homogeneous dynamics. The paper relies on a large body of prior work, but these are external benchmarks, not ad hoc assumptions.

free parameters (4)
  • N0 = unspecified, defined in Theorem 7.1
    A large integer constant depending only on α, used to separate quantitative regimes in the closing lemma. It is chosen post hoc to satisfy inequalities like N0 > 3κ6+2 and N0 ≥ 20̟κ10, so it is a hand-chosen threshold.
  • mγ = defined as mγ(N0) in Section 8.3
    The time scale in Lemma 2.16 used to get the contraction of the local density. It depends on the Lyapunov bound and is chosen so that (8.24) holds.
  • λ = 1/3 = stated as the second Lyapunov exponent of H(2)
    This is used in the heuristic illustration in Section 1.2, and is a known value for the Masur-Veech measure, not a free parameter in the proof. However, the proof avoids using this exact value, so it is not a fitted parameter.
  • κ15, κ16, κ17, κ19, etc. = defined as explicit functions of other constants
    These are constants arising from various technical estimates (e.g., Lemma 7.2, Lemma 8.14, Proposition 8.12). They are not fitted to data, but they are chosen by hand to make inequalities work.
assumptions (5)
  • domain assumption SL2(R)-invariant subbundles have invariant complements (Theorem 2.3)
    Used in Proposition 6.2 to construct the projected vector. Cited from Filip [Fil16].
  • domain assumption Effective non-divergence of Teichmüller flow (Theorem 2.7, Theorem 2.8)
    Used to control the set of r where the horocycle leaves compact sets (Corollary 2.9). Cited from Eskin-Masur, Athreya, Minsky-Weiss.
  • standard math Spectral gap for non-Zariski dense Fuchsian groups (Proposition 3.2)
    Used to obtain effective lattice point counting (Corollary 3.8). Cited from EMV09 and CHH88.
  • domain assumption McMullen classification of SL2(R)-orbit closures in H(2) (Theorem 4.1)
    Used to restrict to Teichmüller curves or the whole stratum, essential for the discriminant bound.
  • domain assumption Forni's bound on the top Lyapunov exponent (Theorem 2.4)
    Used in Lemma 2.15 and Lemma 2.16 to control the growth of the norm under the geodesic flow.
invented entities (2)
  • Margulis function fE
    purpose: A local density function defined on a skeleton to measure the discrete dimension of the transverse direction.
    This is a technical tool introduced in the paper, not an empirical entity. It is defined in Definition 8.6 and used throughout Section 8.
  • Skeleton E
    purpose: A Borel subset composed of disjoint local G-orbits, used to organize the finite set F and the bony structure.
    A structural device introduced by the author, motivated by EM22. No independent evidence needed.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Effective Exponential Drifts on Strata of Abelian Differentials." pith.science (2026). https://pith.science/paper/SXFPL6YZ

@misc{pith2026250111530,
  author       = {Pith},
  title        = {Pith review of: Effective Exponential Drifts on Strata of Abelian Differentials},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SXFPL6YZ}},
  note         = {Machine review of arXiv:2501.11530}
}
abstract

We study the dynamics of $SL_{2}(\mathbb{R})$ on the stratum of translation surfaces $\mathcal{H}(2)$. In particular, we prove that an orbit of the upper triangular subgroup of $SL_{2}(\mathbb{R})$ has a discretized dimension of almost $1$ in a direction transverse to the $SL_{2}(\mathbb{R})$-orbit. The proof proceeds via an effective closing lemma, and the Margulis function technique, which serves as an effective version of the exponential drift on $\mathcal{H}(2)$. The idea is based on the use of McMullen's classification theorem, together with Lindenstrauss-Mohammadi-Wang's effective equidistribution theorems in homogeneous dynamics.

Figures

Figures reproduced from arXiv: 2501.11530 by the authors.

Figure 1
Figure 1. Case (ii). In case (i), we can apply the effective closing lemma (see Theorem 7.1). It states that the x is e −N t-close to a Teichm¨uller curve with discriminant smaller than e t . Now suppose that case (i) does not occur. Then we obtain a finite set F ⊂ H⊥ C (x1). For simplicity, we further assume that F ⊂ H⊥(x1) ⊂ W+(x1). In the following, we briefly show that the discretized fractal dimension of F can be improve… view at source ↗
Figure 2
Figure 2. Prototypical splitting of type (a, b, c, e). Then the splittings (X, ω) = Λ1 # [0,v] Λ2 is said to be a prototypical splitting of type (a, b, c, e). In [McM05, §3], McMullen showed that all prototypical splittings are well-defined, and all other splittings of ΩWs D can be generated by these prototypes via GL+ 2 (R)-action. In particular, one may check (4.7) that • For D ≡ 0 mod 4, the Weierstrass curve WD contains a… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

43 extracted references · 39 canonical work pages

  1. [1]

    o ller. Symplectic and isometric sl(2,R) -invariant subbundles of the hodge bundle. Journal f \

    Artur Avila, Alex Eskin, and Martin M \"o ller. Symplectic and isometric sl(2,R) -invariant subbundles of the hodge bundle. Journal f \"u r die reine und angewandte Mathematik (Crelles Journal) , 2017(732):1--20, 2017

    work page 2017

  2. [2]

    e zel. Small eigenvalues of the laplacian 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 laplacian for algebraic measures in moduli space, and mixing properties of the T eichm\" u ller flow. Annals of Mathematics , pages 385--442, 2013

    work page 2013

  3. [3]

    e zel, and Jean-Christophe Yoccoz. Exponential mixing for the teichm\

    Artur Avila, \'S e bastien Gou\" e zel, and Jean-Christophe Yoccoz. Exponential mixing for the teichm\" u ller flow. Publications Math\' e matiques de l'IH\' E S , 104:143--211, 2006

    work page 2006

  4. [4]

    Quantitative recurrence and large deviations for teichmuller geodesic flow

    Jayadev S Athreya. Quantitative recurrence and large deviations for teichmuller geodesic flow. Geometriae Dedicata , 119(1):121--140, 2006

    work page 2006

  5. [5]

    Mesures stationnaires et ferm \'e s invariants des espaces homog \`e nes

    Yves Benoist and Jean-Fran c ois Quint. Mesures stationnaires et ferm \'e s invariants des espaces homog \`e nes. Annals of mathematics , pages 1111--1162, 2011

    work page 2011

  6. [6]

    Almost l^ 2 matrix coefficients

    Michael Cowling, Uffe Haagerup, and Roger Howe. Almost l^ 2 matrix coefficients. Journal fur die Reine und Angewandte Mathematik , 387:97--110, 1988

    work page 1988

  7. [7]

    Chaika, khalil, smillie, on the space of ergodic measures for the horocycle flow on strata of abelian differentials

    Jon Chaika, Osama Khalil, and John Smillie. Chaika, khalil, smillie, on the space of ergodic measures for the horocycle flow on strata of abelian differentials. arXiv preprint arXiv:2104.00554 , 2023

    arXiv 2023

  8. [8]

    Tremors and horocycle dynamics on the moduli space of translation surfaces

    Jon Chaika, John Smillie, and Barak Weiss. Tremors and horocycle dynamics on the moduli space of translation surfaces. arXiv preprint arXiv:2004.04027 , 2020

    arXiv 2004

Show all 43 references
  1. [9]

    Density of integer points on affine homogeneous varieties

    William Duke, Ze \'e v Rudnick, and Peter Sarnak. Density of integer points on affine homogeneous varieties. Duke mathematical journal , 71(1):143--179, 1993

    1993

  2. [10]

    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

    2018

  3. [11]

    Distribution of periodic torus orbits on homogeneous spaces

    Manfred Einsiedler, Elon Lindenstrauss, Philippe Michel, and Akshay Venkatesh. Distribution of periodic torus orbits on homogeneous spaces. Duke Mathematical Journal , 148(1):119--174, 2009

    2009

  4. [12]

    Mixing, counting, and equidistribution in lie groups

    Alex Eskin and Curtis T McMullen. Mixing, counting, and equidistribution in lie groups. Duke mathematical journal , 1993

    1993

  5. [13]

    Asymptotic formulas on flat surfaces

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

    2001

  6. [14]

    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\' e matiques de l'IH\' E S , 127(1):95--324, 2018

    2018

  7. [15]

    Margulis functions and their applications

    Alex Eskin and Shahar Mozes. Margulis functions and their applications. In Dynamics, Geometry, Number Theory - The Impact of Margulis on Modern Mathematics , pages 342--361. University of Chicago Press, 2022

    2022

  8. [16]

    Effective counting of simple closed geodesies on hyperbolic surfaces

    Alex Eskin, Maryam Mirzakhani, and Amir Mohammadi. Effective counting of simple closed geodesies on hyperbolic surfaces. Journal of the European Mathematical Society (EMS Publishing) , 24(9), 2022

    2022

  9. [17]

    Effective equidistribution and property ( )

    Manfred Einsiedler, Grigory Margulis, Amir Mohammadi, and Akshay Venkatesh. Effective equidistribution and property ( ). Journal of the American Mathematical Society , 33(1):223--289, 2020

    2020

  10. [18]

    Counting closed geodesics in strata

    Alex Eskin, Maryam Mirzakhani, and Kasra Rafi. Counting closed geodesics in strata. Inventiones mathematicae , 215(2):535--607, 2019

    2019

  11. [19]

    Effective equidistribution for closed orbits of semisimple groups on homogeneous spaces

    Manfred Einsiedler, Grigory Margulis, and Akshay Venkatesh. Effective equidistribution for closed orbits of semisimple groups on homogeneous spaces. Inventiones mathematicae , 177(1):137--212, 2009

    2009

  12. [20]

    Semisimplicity and rigidity of the kontsevich-zorich cocycle

    Simion Filip. Semisimplicity and rigidity of the kontsevich-zorich cocycle. Inventiones mathematicae , 205(3):617--670, 2016

    2016

  13. [21]

    A primer on mapping class groups

    Benson Farb and Dan Margalit. A primer on mapping class groups . Princeton University Press, 2011

    2011

  14. [22]

    Introduction to Teichm\" u ller theory and its applications to dynamics of interval exchange transformations, flows on surfaces and billiards

    Giovanni Forni and Carlos Matheus. Introduction to Teichm\" u ller theory and its applications to dynamics of interval exchange transformations, flows on surfaces and billiards. J. Mod. Dyn. , 8:271--436, 2014

    2014

  15. [23]

    Lyapunov spectrum of invariant subbundles of the hodge bundle

    Giovanni Forni, Carlos Matheus, and Anton Zorich. Lyapunov spectrum of invariant subbundles of the hodge bundle. Ergodic Theory and Dynamical Systems , 34(2):353--408, 2014

    2014

  16. [24]

    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

    2002

  17. [25]

    a dt. Bowen's construction for the teichm\

    Ursula Hamenst\" a dt. Bowen's construction for the teichm\" u ller flow. Journal of Modern Dynamics , 7(07), 2010

    2010

  18. [26]

    Teichm\" u ller theory and applications to geometry, topology, and dynamics , volume 1

    John Hubbard. Teichm\" u ller theory and applications to geometry, topology, and dynamics , volume 1. Matrix Editions, 2006

    2006

  19. [27]

    Finite groups of matrices whose entries are integers

    James Kuzmanovich and Andrey Pavlichenkov. Finite groups of matrices whose entries are integers. The American mathematical monthly , 109(2):173--186, 2002

    2002

  20. [28]

    Lyapunov exponents and hodge theory

    Maxim Kontsevich and Anton Zorich. Lyapunov exponents and hodge theory. The Mathematical Beauty of Physics (Saclay, 1996), Adv. Ser. Math. Phys. , 34:318--332, 1997

    1996

  21. [29]

    Effective estimates on indefinite ternary forms

    Elon Lindenstrauss and Gregory Margulis. Effective estimates on indefinite ternary forms. Israel Journal of Mathematics , 203(1):445--499, 2014

    2014

  22. [30]

    Polynomial effective density in quotients of H ^ 3 and H ^ 2 H ^ 2

    Elon Lindenstrauss and Amir Mohammadi. Polynomial effective density in quotients of H ^ 3 and H ^ 2 H ^ 2 . Inventiones mathematicae , 231(3):1141--1237, 2023

    2023

  23. [31]

    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

    2022

  24. [32]

    On some aspects of the theory of anosov systems

    Grigoriy A Margulis. On some aspects of the theory of anosov systems. In On Some Aspects of the Theory of Anosov Systems , pages 1--71. Springer, 2004

    2004

  25. [33]

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

    Curtis McMullen. Billiards and T eichm \"u ller curves on H ilbert modular surfaces. Journal of the American Mathematical Society , 16(4):857--885, 2003

    2003

  26. [34]

    McMullen

    Curtis T. McMullen. Teichm \"u ller curves in genus two: Discriminant and spin. Mathematische Annalen , 333:87--130, 2005

    2005

  27. [35]

    Dynamics of SL (2, R ) over moduli space in genus two

    Curtis T McMullen. Dynamics of SL (2, R ) over moduli space in genus two. Annals of Mathematics , pages 397--456, 2007

    2007

  28. [36]

    Hausdorff dimension of sets of nonergodic measured foliations

    Howard Masur and John Smillie. Hausdorff dimension of sets of nonergodic measured foliations. Annals of Mathematics , 134(3):455--543, 1991

    1991

  29. [37]

    Nondivergence of horocyclic flows on moduli space

    Yair Minsky and Barak Weiss. Nondivergence of horocyclic flows on moduli space. 552:131--177, 2002

    2002

  30. [38]

    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

    2024 arXiv

  31. [39]

    The rate of mixing for geodesic and horocycle flows

    Marina Ratner. The rate of mixing for geodesic and horocycle flows. Ergodic theory and dynamical systems , 7(2):267--288, 1987

    1987

  32. [40]

    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

    2023 arXiv

  33. [41]

    Characterizations of lattice surfaces

    John Smillie and Barak Weiss. Characterizations of lattice surfaces. Inventiones mathematicae , 180(3):535--557, 2010

    2010

  34. [42]

    Sparse equidistribution problems, period bounds and subconvexity

    Akshay Venkatesh. Sparse equidistribution problems, period bounds and subconvexity. Annals of Mathematics , pages 989--1094, 2010

    2010

  35. [43]

    Asymptotic flag of an orientable measured foliation on a surface

    Anton Zorich. Asymptotic flag of an orientable measured foliation on a surface. Geometric study of foliations (Tokyo, 1993) , 479:498, 1994

    1993

Pith tools

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