Abstract
We relate trimmed sums of twists in cylinders along a typical Teichmüller geodesic to the area Siegel–Veech constant.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The strong law in [10] relates trimmed sums of excursions of a random geodesic in the thin parts of moduli spaces of quadratic differentials to Siegel–Veech constants. This strong law is a generalisation of the Diamond–Vaaler strong law [4] for continued fraction coefficients: for almost every \(r \in [0,1]\) the continued fraction coefficients of r satisfy
By work of Series [16], continued fraction coefficients can be interpreted in terms of hyperbolic geodesic rays on the modular surface \(X = {{\mathbb {H}}}/ SL(2,{{\mathbb {Z}}})\). In the upper half-space model, consider the (vertical) hyperbolic geodesic \(\gamma \) converging to \(r \in [0,1] \subset {{\mathbb {R}}}\cup \infty = \partial {{\mathbb {H}}}\). Since r is irrational, the geodesic \(\gamma \) passes through infinitely many horoballs in the Ford packing. As \(\gamma \) enters and leaves the k-th horoball \(H_k\), the distance along \(\partial H_k\) between the entry and exit points is, up to a uniform additive constant, the same as the coefficient \(a_k\) in the continued fraction expansion of r.
The generalisation then proceeds by two steps. Let \(\Gamma \) be a non-uniform lattice in \(SL(2,{{\mathbb {R}}})\), such as \(SL(2,{{\mathbb {Z}}})\). First, one proves a continuous time strong law for trimmed sums of excursions of hyperbolic geodesics in cusp neighbourhoods of \(X = {{\mathbb {H}}}/ \Gamma \). The limit is \((2/\pi )\) times the relative volume in X of the cusp neighbourhoods. For \(SL(2,{{\mathbb {Z}}})\), one can then invoke a well known asymptotic for the number n of coefficients as a function of the time parameter T along a random vertical geodesic on \(X = {{\mathbb {H}}}/ SL(2,{{\mathbb {Z}}})\). This allows us to pass from the continuous time strong law to the discrete version of Diamond–Vaaler. The proof of the continuous time strong law uses the exponential decay of correlations by Moore, Ratner [12, 15] for the geodesic flow on \(T^1 X\). It combines the decay of co-relations with estimates coming from the cusp geometry of X.
From this point, the strong law generalises to cusp excursions of Teichmüller geodesics in the thin parts of \(SL(2,{{\mathbb {R}}})\)-orbit closures. The exponential decay of correlations for the flow by Avila-Gouëzel-Yoccoz [2] and Avila-Resende [3] has been shown to generalise to orbit closures by Avila-Gouëzel [1]. The cusp geometry is significantly more involved because the thin parts can intersect in complicated ways. However, regularity of the (absolutely continuous) invariant measure proved by Dozier [5] and a counting result for short saddle connections by Eskin-Masur [7] imply that the higher rank contributions to the estimates are asymptotically negligible. Analogous to the Fuchsian situation, the limit in the strong law is a fixed multiple of the Siegel–Veech constant associated to the thin part.
In this note, we state a particular version of a trimmed sum strong law not set out explicitly in [10]. We set up some some preliminaries before stating the theorem. A quadratic differential q on an oriented surface S of finite type is equivalent to a half-translation structure on S, that is, contour integration of a square-root of q defines charts from S to \({{\mathbb {C}}}\) and the transition functions are half-translations with the form \(z \rightarrow \pm z + c\). The charts thus define a singular flat metric on S.
A cylinder for a quadratic differential q is an embedded cylinder in S that is a union of freely homotopic closed geodesic trajectories in its singular flat metric. Any cylinder can be enlarged to be maximal, that is, enlarged so that both boundary components of the cylinder contain a singularity of the flat metric. The isotopy class of the simple closed curve given by any of the closed geodesics that sweep out a maximal cylinder is called the core curve.
We prove the following theorem.
Theorem 1.1
Let S be an oriented surface of finite type. Let \(\mu \) be a regular \(SL(2,{{\mathbb {R}}})\)-invariant measure in the Lebesgue class on an affine invariant manifold \(\mathcal {N}\) in a stratum \(\mathcal {Q}(\alpha )\) of quadratic differentials on S. For \(\mu \)-almost every \(q \in \mathcal {N}\), let \(\phi _t(q)\) be the Teichmüller geodesic ray given by q. Suppose that till time \(T > 0\) the ray \(\phi _t\) has excursions in the thin parts of cylinders \(\{\text {Cyl}_1, \ldots , \text {Cyl}_{N(T)}\}\), ordered by time. Let \(\alpha _j\) be the core curve of \(\text {Cyl}_j\). Then
where \(c_{\text {area}}\) is the area Siegel–Veech constant for \(\mathcal {N}\) and where \(\text {tw}(\alpha _k)\) is the number of twists in \(\alpha \) that \(\phi _t(q)\) has during its excursion in the thin part of \(\text {Cyl}_j\).
The Teichmüller flow can be coded symbolically in a number of ways. Theorem 1.1 thus sets up the intriguing prospect of a direct computer verification/computation of area Siegel–Veech constants. These constants are important for their relationship with other dynamical quantities such as the Lyapunov spectrum for the Teichmüller flow [6, Theorem 1].
2 Preliminaries
2.1 Quadratic differentials
Let S be an oriented surface of finite type. The Teichmüller space \(\mathcal {T}(S)\) is the space of marked conformal structures on S. The mapping class group \(\text {Mod}(S)\) is the group of orientation preserving diffeomorphisms of S. It acts on \(\mathcal {T}(S)\) by changing the marking. The quotient \(\mathcal {M}(S) = \mathcal {T}(S) / \text {Mod}(S)\) is the moduli space of Riemann surfaces X of type S.
For a Riemann surface X, let \(\mathcal {Q}(X)\) be the set of meromorphic quadratic differentials on X with simple poles at the punctures. If \((k_1, k_2, \dots , k_r)\) are the multiplicities of the zeros then \(k_1 + k_2 + \dots + k_r = 2g-2+n\), where n is the number of punctures. A quadratic differential is equivalent to a half-translation structure on S, i.e. it defines charts from S to \({{\mathbb {C}}}\) with transition functions of the form \(z \rightarrow \pm z + c\). The resulting flat metric has a cone singularity with angle \((k+2)\pi \) at a k-order zero (or with \(k=-1\) for a simple pole). A quadratic differential is unit area if the corresponding singular flat metric has area 1. The space \(\mathcal {Q}\) is stratified by the multiplicity of its zeros: we denote the stratum with multiplicities \(\alpha = (k_1, k_2, \dots , k_r)\) by \(\mathcal {Q}(\alpha )\). Each stratum is \(Mod (S)\) invariant. We will continue to denote the moduli space by \(\mathcal {Q}(\alpha )\).
The action of \(SL(2,{{\mathbb {R}}})\) on \({{\mathbb {C}}}= {{\mathbb {R}}}^2\) preserves the form of the transitions, that is, a half-translation is taken to a half-translation. Hence, it descends to an action of \(SL(2,{{\mathbb {R}}})\) on \(\mathcal {Q}(\alpha )\). The diagonal action gives the Teichmüller flow on \(\mathcal {Q}(\alpha )\).
The compact part \(SO(2,{{\mathbb {R}}})\) leaves the conformal structure unchanged. As a result, one gets isometric embeddings of \({{\mathbb {H}}}= SL(2,{{\mathbb {R}}}) / SO(2,{{\mathbb {R}}})\) in \(\mathcal {T}(S)\). These are called Teichmüller discs. We denote the Teichmüller disc determined by a quadratic differential q as \({{\mathbb {H}}}(q)\).
2.2 Orbit closures
Let \(\alpha \) be a homology class in the first homology of S relative to the singularities. The period/ holonomy for \(\alpha \) is the complex number given by integrating a square root of q along a contour representing \(\alpha \). For a quadratic differential that is not a square of an abelian differential, the holonomy is only defined up to sign. The periods/holonomies of a fixed basis for the homology of S relative to the singularities, give local co-ordinates on \(\mathcal {Q}(\alpha )\). Eskin-Mirzakhani-Mohammadi [9] showed that \(SL(2,{{\mathbb {R}}})\)-orbit closures are affine sub-manifolds in the period co-ordinates. Eskin-Mirzakhani [8] showed that ergodic \(SL(2,{{\mathbb {R}}})\)-invariant measures are Lebesgue measures supported on such affine submanifolds.
2.3 Siegel–Veech formula
Let V be a \(SL(2,{{\mathbb {R}}})\)-invariant loci of vectors (with multiplicities) in \({{\mathbb {R}}}^2 \setminus \{(0,0)\}\), that is, for each \(q \in \mathcal {N}\), the subset V(q) is a discrete subset of (weighted) non-zero vectors in \({{\mathbb {R}}}^2\) and the assignment \(q \rightarrow V(q)\) is \(SL(2,{{\mathbb {R}}})\)-equivariant. The Siegel–Veech transform given by an \(SL(2,{{\mathbb {R}}})\)-invariant locus V takes compactly supported functions on \({{\mathbb {R}}}^2\) to a function on \(\mathcal {N}\). For a compactly supported function f on \({{\mathbb {R}}}^2\), it is defined as
Under some additional assumptions on the locus V (see [7, Section 2]) one gets the Siegel–Veech formula
where \(c(V,\mu )\) is a non-negative constant that is zero if and only \({\widehat{f}}\) is zero \(\mu \)-almost everywhere for all compactly supported functions f. See [7, Section 2] for the precise details.
2.4 Thin parts
Let V be an \(SL(2,{{\mathbb {R}}})\)-invariant locus. Let \(\epsilon > 0\) be a fixed constant. The \(\epsilon \)-thin part of \(\mathcal {N}\) given by V is the set of all \(q \in \mathcal {N}\) such that the subset V(q) contains a (possibly weighted) vector v satisfying \(\Vert v \Vert ^2 \leqslant \epsilon \). To get a sensible definition, we have to assume that \(\epsilon > 0\) is small enough depending only on \(\mathcal {N}\) and V. With this assumption, we will suppress \(\epsilon \) in the notation hereafter. So we will call the \(\epsilon \)-thin part of \(\mathcal {N}\) given by V as simply the V-thin part of \(\mathcal {N}\), We will denote it by \(\mathcal {N}_{V, \epsilon }\).
By applying the Siegel–Veech formula to the characteristic function of a ball of radius \(\epsilon / R\) about the origin in \({{\mathbb {R}}}^2\) and then letting \(R \rightarrow \infty \) one derives the asymptotic
The details can be found in [7, Section 2.1].
3 The area Siegel–Veech constant and excursions in cylinder thin parts
3.1 Area Siegel–Veech constants
A saddle connection on a half-translation surface (S, q) is a straight line segment in the flat metric embedded on its interior such that a singularity/ pole of q is a point of the saddle connection if and only if it is its endpoint. A metric cylinder \(\text {Cyl}\) in q is an embedded cylinder that is a union of freely homotopic closed trajectories of q. For our purposes, we will always consider maximal cylinders, that is, the boundary components are a concatenation of saddle connections. We will drop the adjective maximal from now as it is implicitly assumed.
Associated to cylinders, there are natural \(SL(2,{{\mathbb {R}}})\)-invariant loci that use holonomies (periods) of core curves of cylinders in q. As an example, the holonomy of a cylinder \(\text {Cyl}_\alpha \) with core curve \(\alpha \) can be weighted by \(\text {Area}(\text {Cyl}_\alpha )\). Since the \(SL(2,{{\mathbb {R}}})\) action preserves area we get an \(SL(2,{{\mathbb {R}}})\)-invariant locus which we denote by \(V_{\text {area}}\). By the work of Veech [17] and Vorobets [18], the locus \(V_{\text {area}}\) satisfies the assumptions required for the derivation of the Siegel–Veech formula. The Siegel–Veech constant \(c_{\text {area}} (\mathcal {N})\) in this case is called the area Siegel–Veech constant. See [6, Section 1.6] for more details.
Let \(\text {Cyl}_\alpha \) be a cylinder in the half-translation surface (S, q) with core curve \(\alpha \). The flat length \(\ell _q(\alpha )\) of \(\alpha \) is exactly \(\Vert v(\alpha ) \Vert \), where \(v(\alpha )\) is the holonomy of \(\alpha \). We fix an \(\epsilon > 0\) small enough so that there is an open set in \(\mathcal {N}\) such that for any q in this open set \(\ell _q(\alpha )^2 > \epsilon \) for every cylinder \(\text {Cyl}_\alpha \) in (S, q). The cylinder thin part of \(\mathcal {N}\) is then the subset of those q such that \(\ell _q (\alpha )^2 \leqslant \epsilon \) for a core curve \(\alpha \) of some cylinder. The intersection of the cylinder thin part of \(\mathcal {N}\) with a typical Teichmüller disc \({{\mathbb {H}}}(q)\) is a collection of horoballs. Given a cylinder \(\text {Cyl}_\alpha \), the subset of \({{\mathbb {H}}}(q)\) where \(\alpha \) is short is a horoball \(H_\alpha \) whose point at infinity (in \(S^1 = \partial {{\mathbb {H}}}(q)\)) is given by the direction \(\theta \) in which the cylinder given by \(\alpha \) is vertical.
3.2 Excursions
Let H be a horoball in a Teichmüller disc \({{\mathbb {H}}}(q)\). Let \(\pi : H \rightarrow \partial H\) be the closest point projection. For a finite geodesic segment \(\gamma \) that enters H we define the excursion \(E(\gamma , H)\) as
where the length on the right is measured by using the path metric on the boundary \(\partial H\) of the horoball H.
When a horoball H is part of a collection arising from an \(SL(2,{{\mathbb {R}}})\)-invariant locus V, then there might be a weight \(A \ne 1\) assigned by V. For example, a cylinder horoball could be weighted by the flat area of the cylinder. In such cases, we let the excursion \(E_V(\gamma , H)\) be A times the length along \(\partial H\) of \(\pi (\gamma \cap H)\). In other words, \(E_V(\gamma , H) = A \, E(\gamma , H)\).
For a geodesic ray \(\gamma \) let N(T) be the number of cylinder horoballs encountered by \(\gamma \) till time T. Let us number these horoballs as \(H_1, H_2, \cdots , H_{N(T)}\) in the order of increasing time. Let \(E_V(\gamma , T)\) be the sum
The strong law in [10] states that for \(\mu \)-almost every q in \(\mathcal {N}\) we have
The original statement of the strong law in [10] was conditioned on \(\mu \) being a regular measure, that is, \(\mu \) is required to satisfy a particular quantitative version of independence for multiple (non-parallel) saddle connections being short. See [10, Section 4.3] for the precise description. In subsequent work [5], Dozier proved that all ergodic \(SL(2,{{\mathbb {R}}})\)-invariant measures in the Lebesgue class of their supporting affine invariant manifolds, are regular. Hence, the regularity condition can now be dropped from the statement of the strong law. In the special case that \(V = V_{\text {area}}\) the area Siegel–Veech constant shows up in the limit.
Suppose that the weights assigned by V are bounded above, as for example in \(V_{\text {area}}\). We will now show that the final excursion \(E_V(\gamma , H_{N(T)})\) can be excluded from the trimmed sum without changing the limit. By [10, Corollary 3.5], for any constant \(c> 1/2\) if \(E_V(\gamma , H_{N(T)}) > T (\log T)^c\) then there is no other \(k < N(T)\) such that \(E_V(\gamma , H_k) > T (\log T)^c\). Thus \(E_V(\gamma , H_{N(T)}) \) gets trimmed if it is larger than \(T (\log T)^c\). Otherwise \(E_V(\gamma , H_{N(T)})\) is bounded above by \(T (\log T)^c\) and hence \(E_V(\gamma , H_{N(T)}) / (T \log T) \rightarrow 0\) as \(T \rightarrow \infty \). Thus we may exclude the final excursion to conclude that for \(\mu \)-almost every q in \(\mathcal {N}\)
For times T such that \(\gamma _T\) is inside some horoball H, the excursion \(E_V(\gamma , H_{N(T)})\) is only partial. The above version of the strong law allows us to restrict to trimmed sums of complete excursions excluding the final partial excursion if any.
3.3 Twists
We now recall from [11, Section 2.5] estimates relating excursions to twists in the core curves of the cylinders. As pointed out in [11], the derivation of this goes back to the work of Rafi [13, 14]. Here, we are interested in tracking the relationship of excursion to twists more carefully than it is done in [11].
Let us fix the Poincare disc model for \({{\mathbb {H}}}(q)\). In this model, the (unweighted by area) excursion \(E(\gamma , H)\) can be interpreted as the "relative visual size" of the set of geodesic rays that go deeper than \(\gamma \) in H. To be precise, suppose \(\gamma \) is parameterised so that \(\gamma (0) = X_0 \in {{\mathbb {H}}}(q)\). Let \(\gamma _H\) be the geodesic ray from \(X_0\) that goes straight to the cusp at infinity for the horoball H. Similarly, let \(\gamma '_H\) be the geodesic ray from \(X_0\) that is tangent to H and on the same side of \(\gamma _H\) as \(\gamma \). Let \(\phi _{\text {max}}\) be the angle between \(\gamma _H\) and \(\gamma '_H\) and \(\phi \) be the angle between \(\gamma _H\) and \(\gamma \). See Fig. 1.
By basic hyperbolic geometry, the excursion in H, unweighted by area, is up to uniform additive error given by
We leave the straightforward details of this to the reader.
Let \(F^{\pm }\) be the vertical and horizontal measured foliations for \(\gamma \). In the singular flat metric of the quadratic differential given by \(\gamma _t\), let \(\beta _t\) be a segment that is perpendicular to a core curve \(\alpha \) of the cylinder. The twist parameter \(\text {tw}^-_t (\alpha )\) is the highest intersection number of a leaf of \(F^-\) with \(\beta _t\). Let \(t_1\) and \(t_2 \geqslant t_1\) be the times of entry and exit respectively of \(\gamma \) in H. The twists \(\text {tw}(\alpha )\) in \(\alpha \) are defined as \(\text {tw}^-_{t_2}(\alpha ) - \text {tw}^-_{t_1}(\alpha ) \). It does not matter that we use the horizontal foliation \(F^-\). If we use the vertical foliation \(F^+\), we get the same answer for \(\text {tw}(\alpha )\) up to a uniform additive constant. At the end of the proof of [11, Proposition 2.7], we prove that up to a uniform additive constant
where A is the flat area of the cylinder.
Let \(\xi > 1\) and let \(\xi '\) be the positive constant
Note that \(\xi ' < 1\). It is then elementary to verify that there is a constant \(\phi _\xi > 0\) such that if \(\phi _{\text {max}} < \phi _\xi \) and \(\phi < \xi ' \phi _{\text {max}}\) then
By relating \(\phi _{\text {max}}\) to time along \(\gamma '_H\) and hence \(\gamma \), it follows that for any \(\xi > 1\) there exists \(s_\xi > 0\) such that if the entry time \(t_1\) of \(\gamma \) in H satisfies \(t_1 \geqslant s_\xi \) and if \(\phi < \xi ' \ \phi _{\text {max}}\) then
By (3.6) the above bounds are equivalent to
provided \(E(\gamma , H) > 1/\xi '\).
3.4 Proof of Theorem 1.1
Let \(\xi > 1\). Consider (3.8) for excursions that are larger than \(1/\xi '\) and whose entry time is larger than \(s_\xi \). If we weight these excursions by area, that is consider \(V_{\text {area}}\), then the relationship between twists and excursions becomes
We will use the relationship above in the excursion strong law (3.3). Before we do that, we need to justify that the excursions we ignore do not affect the conclusion. This follows from the two observations below.
-
(1)
Consider excursions \(E(\gamma , H_j)\) that satisfy \(E(\gamma , H_j) \leqslant 1/\xi '\) and consider their average as \(T \rightarrow \infty \). By ergodicity of the Teichmüller geodesic flow, this average converges to the integral over \(\mathcal {N}\) of a function that has finite expectation. See the discussion related to [10, Inequality 3.6]. This implies that the sum of these shallow excursions is linear in T. Since the area of a cylinder is at most 1, we have \(E_{V_{\text {area}}} (\gamma , H_j) \leqslant E(\gamma , H_j)\). Hence the sum weighted by area of the shallow excursions is also linear in T.
-
(2)
As \(T \rightarrow \infty \), for all but finitely many initial excursions the entry times \(t_j\) in the respective horoballs \(H_j\) satisfy \(t_j \geqslant s_\xi \).
By the observations above, we may ignore the excursions in (1) and (2) in the strong law (3.3). Thus, we may conclude that for any \(\xi > 1\) there exists \(T_\xi \) large enough depending on \(\xi \) and the geodesic \(\gamma \) such that
for all \(T > T_\xi \). As \(\xi \rightarrow 1\), this implies
finishing the proof of Theorem 1.1.
References
Avila, A., Gouëzel, S.: Small eigenvalues of the Laplacian for algebraic measures in moduli space, and mixing properties of the Teichmüller flow. Ann. Math. 178(2), 385–442 (2013)
Avila, A., Gouëzel, S., Yoccoz, J.-C.: Exponential mixing for the Teichmüller flow. Publ. Math. Inst. Hautes Etudes Sci. 104, 143–211 (2006)
Avila, A., Resende, M.-J.: Exponential mixing for the Teichmüller flow in the space of quadratic differentials. Comment. Math. Helv. 87(3), 589–638 (2012)
Diamond, H., Vaaler, J.: Estimates for partial sums of continued fraction partial quotients. Pac. J. Math. 122(1), 73–82 (1986)
Dozier, B.: Translation surfaces with multiple short saddle connections. Preprint arXiv:2002.10026 (2020)
Eskin, A., Kontsevich, M., Zorich, A.: Sum of Lyapunov exponents of the Hodge bundle with respect to the Teichmüller geodesic flow. Publ. Math. Inst. Hautes Études Sci. 120, 207–333 (2014)
Eskin, A., Masur, H.: Asymptotic formulas on flat surfaces. Ergod. Theory Dyn. Syst. 21(2), 443–478 (2001)
Eskin, A., Mirzakhani, M.: Invariant and stationary measures for the \(SL(2,{\mathbb{R}})\) action on moduli space. Preprint
Eskin, A., Mirzakhani, M., Mohammadi, A.: Isolation, equidistribution and orbit closures for the \(SL(2,{\mathbb{R}})\) action on moduli space. Ann. Math. 182(2), 673–721 (2015)
Gadre, V.: Partial sums of excursions along random geodesics and volume asymptotics for thin parts of moduli spaces of quadratic differentials. J. Eur. Math. Soc. 19(10), 3053–3089 (2017)
Gadre, V., Maher, J., Tiozzo, G.: Word length statistics for Teichmüller geodesics and singularity of harmonic measure. Comment. Math. Helv. 92(1), 1–36 (2017)
Moore, C.: Exponential decay of correlation coefficients for geodesic flows. Group Representations, ergodic theory, operator algebras and mathematical physics (Berkeley, Calif., 1984), 163–181, Math. Sci. Res. Inst. Publ., no. 6, Springer, New York, (1987)
Rafi, K.: A combinatorial model for the Teichmüller metric. Geom. Funct. Anal. 17(3), 936–959 (2007)
Rafi, K.: Hyperbolicity in Teichmüller space. Geom. Topol. 18, 3025–3053 (2014)
Ratner, M.: The rate of mixing for geodesic and horocycle flows. Ergod. Theory Dyn. Syst. 7, 267–288 (1987)
Series, C.: The modular surface and continued fractions. J. Lond. Math. Soc. 2 31(1), 69–80 (1985)
Veech, W.: Siegel measures. Ann. Math. 2 148(3), 895–944 (1998)
Vorobets, Y.: Periodic geodesics on generic translation surfaces. Algebraic and topological dynamics, 205–258, Contemp. Math., 385, : Amer. Math. Soc, Providence, RI (2005)
Acknowledgements
I thank V. Delecroix and S. Schleimer for their suggestion to formulate Theorem 1.1 relating trimmed sums of cylinder twists to area Siegel–Veech constants.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.