The flow in a fixed direction on a translation surface S determines a decomposition of S into closed invariant sets, each of which is either periodic or minimal. We study this decomposition for translation surfaces in the hyperelliptic connected components $\mathcal{H}^{hyp}(2g-2)$ and $\mathcal{H}^{hyp}(g-1,g-1)$ of the corresponding strata of the moduli space of translation surfaces. Specifically, we characterize the pairs of nonnegative integers (p,m) for which there exists a translation surface in $\mathcal{H}^{hyp}(2g-2)$ or $\mathcal{H}^{hyp}(g-1,g-1)$ with precisely p periodic components and m minimal components. This extends results by Naveh ([Naveh08]), who obtained tight upper bounds on the numbers of minimal components and invariant components a translation surface in any given stratum may have. Analogous results for the other connected components of moduli space are forthcoming.
We prove that the dilatation of any pseudo-Anosov homeomorphism on a translation surface that belong to a hyperelliptic component is bounded from below uniformly by sqrt{2}. This is in contrast to Penner's asymptotic. Penner proved that the logarithm of the least dilatation of any pseudo-Anosov homeomorphism on a surface of genus g tends to zero at rate 1/g (as g goes to infinity). We also show that our uniform lower bound sqrt{2} is sharp. More precisely the least dilatation of a pseudo-Anosov on a genus g>1 translation surface in a hyperelliptic component belongs to the interval ]sqrt{2},sqr…
We describe geometric algorithms that generalize the classical continued fraction algorithm for the torus to all translation surfaces in hyperelliptic components of translation surfaces. We show that these algorithms produce all saddle connections which are best approximations in a geometric sense, which generalizes the notion of best approximation for the classical continued fraction. In addition, they allow to list all systoles along a Teichmueller geodesic and all bispecial words which appear in the symbolic coding of linear flows. The elementary moves of the described algorithms provide a …
The object of this paper is to study GL(2,R) orbit closures in hyperelliptic components of strata of abelian differentials. The main result is that all higher rank affine invariant submanifolds in hyperelliptic components are branched covering constructions, i.e. every translation surface in the affine invariant submanifold covers a translation surface in a lower genus hyperelliptic component of a stratum of abelian differentials. This result implies finiteness of algebraically primitive Teichmuller curves in all hyperelliptic components for genus greater than two. A classification of all GL(2…
We prove an effective version of a celebrated result of Eskin and Masur: for any affine invariant manifold of translation surfaces, almost every translation surface has quadratic growth for the saddle connection holonomy vectors, with an effective bound of the error. We also provide effective versions of counting in sectors and in ellipses.
We propose a general framework for studying pseudo-Anosov homeomorphisms on translation surfaces. This new approach, among other consequences, allows us to compute the systole of the Teichmueller geodesic flow restricted to the hyperelliptic connected components, settling a question of Farb. We stress that all proofs and computations are performed without the help of a computer. As a byproduct, our methods give a way to describe the bottom of the lengths spectrum of the hyperelliptic components.
We show that on any translation surface, if a regular point is contained in a simple closed geodesic, then it is contained in infinitely many simple closed geodesics, whose directions are dense in the unit circle. Moreover, the set of points that are not contained in any simple closed geodesic is finite. We also construct explicit examples showing that such points exist. For a surface in any hyperelliptic component, we show that this finite exceptional set is actually empty. The proofs of our results use Apisa's classifications of periodic points and of $\GL(2,\R)$ orbit closures in hyperellip…
We study periodic wind-tree models, billiards in the plane endowed with $\mathbb{Z}^2$-periodically located identical connected symmetric right-angled obstacles. We exhibit effective asymptotic formulas for the number of (isotopy classes of) periodic billiard trajectories (up to $\mathbb{Z}^2$-translations) on Veech wind-tree billiards, that is, wind-tree billiards whose underlying compact translation surfaces are Veech surfaces. We show that the error term depends on spectral properties of the Veech group and give explicit estimates in the case when obstacles are squares of side length $1/2$.
We exhibit a non-varying phenomenon for the counting problem of cylinders, weighted by their area, passing through two marked (regular) Weierstrass points of a translation surface in a hyperelliptic connected component $\mathcal{H}^{hyp}(2g-2)$ or $\mathcal{H}^{hyp}(g-1,g-1)$, $g > 1$. As an application, we obtain the non-varying phenomenon for the counting problem of (weighted) periodic trajectories on the classical wind-tree model, a billiard in the plane endowed with $\mathbb{Z}^2$-periodically located identical rectangular obstacles.
We give effective estimates for the number of saddle connections on a translation surface that have length $\leq L$ and are in a prescribed homology class modulo $q$. Our estimates apply to almost all translation surfaces in a stratum of the moduli space of translation surfaces, with respect to the Masur-Veech measure on the stratum.
We classify GL(2,R) invariant point markings over components of strata of Abelian differentials. Such point markings exist only when the component is hyperelliptic and arise from marking Weierstrass points or two points exchanged by the hyperelliptic involution. We show that these point markings can be used to determine the holomorphic sections of the universal curve restricted to orbifold covers of subvarieties of the moduli space of Riemann surfaces that contain a Teichmuller disk. The finite blocking problem is also solved for translation surfaces with dense GL(2,R) orbit.
We study translation covers of several triply periodic polyhedral surfaces that are intrinsically Platonic. We describe their affine symmetry groups and compute the quadratic asymptotics for counting saddle connections and cylinders, including the count of cylinders weighted by area. The mathematical study of triply periodic surfaces was initiated by Novikov, motivated by the study of electron transport. The surfaces we consider are of particular interest as they admit several different explicit geometric and algebraic descriptions, as described, for example, in the second author's thesis.
Let $\mathcal{T}$ be a locally finite tree, $Γ$ be a discrete subgroup of $\textrm{Aut}(\mathcal{T})$ and $\widetilde{F}$ be a $Γ$-invariant potential. Suppose that the length spectrum of $Γ$ is not arithmetic. In this case, we prove the exponential mixing property of the geodesic translation map $ϕ\colon Γ\backslash S\mathcal{T}\to Γ\backslash S\mathcal{T}$ with respect to the measure $m_{Γ,F}^{ν^-,ν^+}$ under the assumption that $Γ$ is full and $(Γ,\widetilde{F})$ has weighted spectral gap property. We also obtain the effective formula for the number of $Γ$-orbits with weights in a Bruhat-Ti…
We show that every GL(2, R) orbit closure of translation surfaces is either a connected component of a stratum, the hyperelliptic locus, or consists entirely of surfaces whose Jacobians have extra endomorphisms. We use this result to give applications related to polygonal billiards. For example, we exhibit infinitely many rational triangles whose unfoldings have dense GL(2,R) orbit.
In every connected component of every stratum of Abelian differentials, we construct square-tiled surfaces with one vertical and one horizontal cylinder. We show that for all but the hyperelliptic components this can be achieved in the minimum number of squares necessary for a square-tiled surface in that stratum. For the hyperelliptic components, we show that the number of squares required is strictly greater and construct surfaces realising these bounds. Using these surfaces, we demonstrate that pseudo-Anosov homeomorphisms optimising the ratio of Teichmüller to curve graph translation lengt…
We consider smooth flows preserving a smooth invariant measure, or, equivalently, locally Hamiltonian flows on compact orientable surfaces and show that, when the genus of the surface is two, almost every such locally Hamiltonian flow with two non degenerate isomorphic saddle has singular spectrum. More in general, singularity of the spectrum holds for special flows over a full measure set of interval exchange transformations with a hyperelliptic permutation (of any number of exchanged intervals), under a roof with symmetric logarithmic singularities. The result is proved using a criterion for…
Let $γ_0$ be a curve on a surface $Σ$ of genus $g$ and with $r$ boundary components and let $π_1(Σ)\curvearrowright X$ be a discrete and cocompact action on some metric space. We study the asymptotic behavior of the number of curves $γ$ of type $γ_0$ with translation length at most $L$ on $X$. For example, as an application, we derive that for any finite generating set $S$ of $π_1(Σ)$ the limit $$\lim_{L\to\infty}\frac 1{L^{6g-6+2r}}\{γ\text{ of type }γ_0\text{ with }S\text{-translation length}\le L\}$$ exists and is positive. The main new technical tool is that the function which associates t…
Let M be an invariant subvariety in the moduli space of translation surfaces. We contribute to the study of the dynamical properties of the horocycle flow on M. In the context of dynamics on the moduli space of translation surfaces, we introduce the notion of a 'weak classification of horocycle invariant measures' and we study its consequences. Among them, we prove genericity of orbits and related uniform equidistribution results, asymptotic equidistribution of sequences of pushed measures, and counting of saddle connection holonomies. As an example, we show that invariant varieties of rank on…
Let $\mathcal{H}$ denote a connected component of a stratum of translation surfaces. We show that the Siegel-Veech transform of a bounded compactly supported function on $\mathbb{R}^2$ is in $L^2(\mathcal{H}, μ)$, where $μ$ is Lebesgue measure on $\mathcal{H}$, and give applications to bounding error terms for counting problems for saddle connections. We also propose a new invariant associated to $SL(2, \mathbb{R})$-invariant measures on strata satisfying certain integrability conditions.
Square-tiled surfaces are a class of translation surfaces that are of particular interest in geometry and dynamics because, as covers of the square torus, they share some of its simplicity and structure. In this paper, we study counting problems that result from focusing on properties of the square torus one by one. After drawing insights from experimental evidence, we consider the implications between these properties and their frequency in each stratum of translation surfaces.
