We study the quantity $\mbox{KVol}$ defined as the supremum, over all pairs of closed curves, of their algebraic intersection, divided by the product of their lengths, times the area of the surface. The surfaces we consider live in the stratum $\mathcal{H}(2)$ of translation surfaces of genus $2$, with one conical point. We provide an explicit sequence $L(n,n)$ of surfaces such that $\mbox{KVol}(L(n,n)) \longrightarrow 2$ when $n$ goes to infinity, $2$ being the conjectured infimum for $\mbox{KVol}$ over $\mathcal{H}(2)$.
Continuing the work in \cite{ergodic-infinite}, we show that within each stratum of translation surfaces, there is a residual set of surfaces for which the geodesic flow in almost every direction is ergodic for almost-every periodic group extension produced using a technique referred to as \emph{cuts}.
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 introduce a twisted cohomology cocycle over the Teichmueller flow and prove a "spectral gap" for its Lyapunov spectrum with respect to the Masur-Veech measures. We then derive Hoelder estimates on spectral measures and bounds on the speed of weak mixing for almost all translation flows in every stratum of Abelian differentials on Riemann surfaces, as well as bounds on the deviation of ergodic averages for product translation flows on the product of a translation surface with a circle.
For each stratum of the space of translation surfaces, we introduce an infinite translation surface containing in an appropriate manner a copy of every translation surface of the stratum. Given a translation surface $(X, ω)$ in the stratum, a matrix is in its Veech group $\mathrm{SL}(X,ω)$ if and only if an associated affine automorphism of the infinite surface sends each of a finite set, the ``marked" {\em Voronoi staples}, arising from orientation-paired segments appropriately perpendicular to Voronoi 1-cells, to another pair of orientation-paired ``marked" segments. We prove a result of ind…
We announce a classification of genus 2 Veech surfaces in the stratum with a single double zero. Furthermore, we classify all completely periodic translation surfaces in genus 2.
We give infinite lists of translations surfaces with no convex presentations. We classify the surfaces in the stratum H(2) which do not have convex presentations, as well as those with no strictly convex presentations. We show that in H(1,1), all surfaces in the eigenform loci E_4, E_9 or E_{16} have no strictly convex presentation, and that the list of surfaces with no convex presentations in H(1,1) - (E_4 union E_9 union E_{16}) is finite and consists of square-tiled surfaces. We prove the existence of non-lattice surfaces without strictly convex presentations in all of the strata H^{(hyp)}(…
The setting is a square-tiled surface X. We study the quantity KVol, defined as the supremum over all pairs of closed curves, of their algebraic intersection divided by the product of their length, times the volume of X (so as to make it scaling-invariant). We give a hyperbolic-geometric construction to compute KVol in a family of Teichműller disks of square-tiled surfaces.
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 component…
A translation surface S is said to have the finite blocking property if for every pair (O,A) of points in S there exists a finite number of "blocking" points B_1,...,B_n such that every geodesic from O to A meets one of the B_i's. S is said to be purely periodic if the directional flow is periodic in each direction whose directional flow contains a periodic trajectory (this implies that S admits a cylinder decomposition in such directions). We will prove that finite blocking property implies pure periodicity. We will also classify the surfaces that have the finite blocking property in genus 2:…
We prove that, for translation surfaces whose homology is generated by the periodic orbits, the notions of - finite blocking property - pure periodicity - torus branched covering are equivalent. In particular, we prove this equivalence for convex surfaces and on a dense open subset of full measure on every normalized stratum.
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…
An Abelian differential gives rise to a flat structure (translation surface) on the underlying Riemann surface. In some directions the directional flow on the flat surface may contain a periodic region that is made up of maximal cylinders filled by parallel geodesics of the same length. The growth rate of the number of such regions counted with weights, as a function of the length, is quadratic with a coefficient, called Siegel-Veech constant, that is shared by almost all translation surfaces in the ambient stratum. We evaluate various Siegel-Veech constants associated to the geometry of confi…
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.
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 show that all GL(2, R)-equivariant point markings over orbit closures of primitive genus two translation surfaces arise from marking pairs of points exchanged by the hyperelliptic involution, Weierstrass points, or the golden points in the golden eigenform locus. As corollaries, we classify the holomorphically varying families of points over orbifold covers of genus two Hilbert modular surfaces, solve the finite blocking problem on genus two translation surfaces, and show that there is at most one nonarithmetic rank two orbit closure in the minimal stratum in genus four.
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.
For $λ\in(0,1/3]$ let $C_λ$ be the middle-$(1-2λ)$ Cantor set in $\mathbb R$. Given $t\in[-1,1]$, excluding the trivial case we show that \[ Λ(t):=\left\{λ\in(0,1/3]: C_λ\cap(C_λ+t)\ne\emptyset\right\} \] is a topological Cantor set with zero Lebesgue measure and full Hausdorff dimension. In particular, we calculate the local dimension of $Λ(t)$, which reveals a dimensional variation principle. Furthermore, for any $β\in[0,1]$ we show that the level set \[ Λ_β(t):=\left\{λ\inΛ(t): \dim_H(C_λ\cap(C_λ+t))=\dim_P(C_λ\cap(C_λ+t))=β\frac{\log 2}{-\log λ}\right\} \] has equal Hausdorff and packing d…
Translation surfaces can be defined in an elementary way via polygons, and arise naturally in in the study of various basic dynamical systems. They can also be defined as Abelian differentials on Riemann surfaces, and have moduli spaces called strata that are related to the moduli space of Riemann surfaces. There is a GL(2,R) action on each stratum, and to solve most problems about a translation surface one must first know the closure of its orbit under this action. Furthermore, these orbit closures are of fundamental interest in their own right, and are now known to be algebraic varieties tha…
In this paper, we investigate the closure of a large class of Teichmüller discs in the stratum Q(1,1,1,1) or equivalently, in a GL^+_2(R)-invariant locus L of translation surfaces of genus three. We describe a systematic way to prove that the GL^+_2(R)-orbit closure of a translation surface in L is the whole of L. The strategy of the proof is an analysis of completely periodic directions on such a surface and an iterated application of Ratner's theorem to unipotent subgroups acting on an ``adequate'' splitting. This analysis applies for example to all Teichmueller discs stabilized obtained by …
