Forni's equidistribution conjecture for Teichmüller geodesic translates

From papers

Let g1g\geq 1, let α=(α1,,αn)\alpha=(\alpha_1,\dots,\alpha_n) be a partition of 2g22g-2, let H1(α)\mathcal H_1(\alpha) be the space of unit-area surfaces in the corresponding stratum of abelian differentials, and let xH1(α)x\in\mathcal H_1(\alpha). For an interval IRI\subset\mathbb R, write

μIx=I1Iδusxd ⁣s.\mu_I^x=|I|^{-1}\int_I\delta_{u_sx}\operatorname{d}\!s.

Here ata_t denotes the diagonal subgroup of SL2(R){\rm SL}_2(\mathbb R), and an affine invariant measure is an SL2(R){\rm SL}_2(\mathbb R)-invariant probability measure supported on an affine invariant manifold. Forni's conjecture. The limit

limtatμ[0,1]x\lim_{t\to\infty}a_t\mu^{x}_{[0,1]}

exists in the weak^* sense and is equal to an affine invariant measure with xx in its support. The conjecture would give an effective or pointwise equidistribution statement complementing the existing averaged convergence theorem, while examples show that the unipotent averages themselves need not converge or may converge to a non-ergodic measure.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Elon Lindenstrauss, Amir Mohammadi and Zhiren Wang, “Effective equidistribution for some one parameter unipotent flows”, arXiv:2211.11099 (2025).

Additional references

2 papers in this index state this conjecture (2022). The statement above is taken from the most recent of them; the others are arXiv:2202.11815.

Solutions 0

No solutions have been posted yet.