The non-hyperelliptic connected components of the strata of translation surfaces are conjectured to be orbifold classifying spaces for some groups commensurable to some mapping class groups. The topological monodromy map of the non-hyperelliptic components projects naturally to the mapping class group of the underlying punctured surface and is an obvious candidate to test commensurability. In the present article, we prove that for the components $\mathcal{H}(3,1)$ and $\mathcal{H}^{nh}(4)$ in genus 3 the monodromy map fails to demonstrate the conjectured commensurability. In particular, building on work of Wajnryb, we prove that the kernels of the monodromy maps for $\mathcal{H}(3,1)$ and $\mathcal{H}^{nh}(4)$ are large, as they contain a non-abelian free group of rank $2$
This paper investigates the relationship between strata of abelian differentials and various mapping class groups afforded by means of the topological monodromy representation. Building off of prior work of the authors, we show that the fundamental group of a stratum surjects onto the subgroup of the mapping class group which preserves a fixed framing of the underlying Riemann surface, thereby giving a complete characterization of the monodromy group. In the course of our proof we also show that these "framed mapping class groups" are finitely generated (even though they are of infinite index)…
We investigate specific examples of locally-defined real vector-fields on strata of translation surfaces. Integrating SL(2,R)-loci of Veech surfaces along these vector-fields yield interesting new examples of horocyle-invariant ergodic measures. These measures are supported on closed immersed manifolds with boundary that approach the boundary of strata in a novel way.
We classify the GL(2,R)-invariant subvarieties M in strata of Abelian differentials for which any two M-parallel cylinders have homologous core curves. This answers a question of Mirzakhani and Wright. As a corollary we show that outside of an explicit list of exceptions, if M is a GL(2,R)-invariant subvariety, then the Kontsevich-Zorich cocycle has nonzero Lyapunov exponents in the symplectic orthogonal of the projection of the tangent bundle of M to absolute cohomology.
Translation surfaces with poles correspond to meromorphic differentials on compact Riemann surfaces. They appear in compactifications of strata of the moduli space of Abelian differentials and in the study of stability conditions. Such structures have different geometrical and dynamical properties than usual translation surfaces. In particular, they always have infinite area and can have a finite number of saddle connections. We provide a combinatorial characterization of the strata for which there can be an infinite number of saddle connections and give lower and upper bounds for the number o…
In this paper, we study the translation surfaces corresponding to meromorphic differentials on compact Riemann surfaces. We compute the number of connected components of the corresponding strata of the moduli space. We show that in genus greater than or equal to two, one has up to three components with a similar description as the one of Kontsevich and Zorich for the moduli space of Abelian differentials. In genus one, one can obtain an arbitrarily large number of connected components that are easily distinghished by a simple topological invariant.
For $g \ge 5$, we give a complete classification of the connected components of strata of abelian differentials over Teichmüller space, establishing an analogue of Kontsevich and Zorich's classification of their components over moduli space. Building off of work of the first author (arXiv:1901.05482), we find that the non-hyperelliptic components are classified by an invariant known as an $r$-spin structure. This is accomplished by computing a certain monodromy group valued in the mapping class group. To do this, we determine explicit finite generating sets for all $r$-spin stabilizer subgroup…
This paper studies Heegaard splittings of surface bundles via the curve complex of the fibre. The translation distance of the monodromy is the smallest distance it moves any vertex of the curve complex. We prove that the translation distance is bounded above in terms of the genus of any strongly irreducible Heegaard splitting. As a consequence, if a splitting surface has small genus compared to the translation distance of the monodromy, the splitting is standard.
Stratification and realization of singularity data on the Loch Ness monster
Swarthmore College（斯沃斯莫尔学院）；Universidad Nacional de Colombia, Sede Manizales, Facultad de Ciencias Exactas y Naturales, Departamento de Matemáticas y Estadística（哥伦比亚国立大学马尼萨莱斯校区自然科学理学院数学与统计系）
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 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 compute the Zariski closure of the Kontsevich-Zorich monodromy groups arising from certain square tiled surfaces that are geometrically motivated. Specifically we consider three surfaces that emerge as translation covers of platonic solids and quotients of infinite polyhedra, and show that the Zariski closure of the monodromy group arising from each surface is equal to a power of $\rm{SL}(2, \mathbb{R})$. We prove our results by finding generators for the monodromy groups, using a theorem of Matheus-Yoccoz-Zmiaikou that provides constraints on the Zariski closure of the groups (to obtain an…
Given a closed hyperbolic 3-manifold T_ψthat fibers over the circle with monodromy ψ: S -> S, the monodromy $ψ$ determines an isometry of Teichmuller space with its Weil-Petersson metric whose translation distance ||ψ||_WP is positive. We show there is a constant K >= 1 depending only on the topology of S so that the volume of T_ψsatisfies ||ψ||_WP/K <= vol(T_ψ) <= K ||ψ||_WP.
We show that all GL(2,R) equivariant point markings over orbit closures of translation surfaces arise from branched covering constructions and periodic points, completely classify such point markings over strata of quadratic differentials, and give applications to the finite blocking problem.
Given $M_φ$, a fibered 3-manifold with boundary, we show that the translation distance of the monodromy $φ$ can be bounded above by the complexity of an essential surface with non-zero slope. Furthermore we prove that the minimal complexity of a surface with non-zero slope in $M_{φ^n}$ tends to infinity as $n\to\infty$. Additionally, we show that an infinite family of fibered hyperbolic knots has translation distance bounded above by two, satisfying a conjecture by Schleimer which postulates that this behavior should hold for all fibered knots.
A surface $F$ in a 3-manifold $M$ is called cylindrical if $M$ cut open along $F$ admits an essential annulus $A$. If, in addition, $(A, \partial A)$ is embedded in $(M, F)$, then we say that $F$ is strongly cylindrical. Let $M$ be a connected 3-manifold that admits a triangulation using $t$ tetrahedra and $F$ a two-sided connected essential closed surface of genus $g(F)$. We show that if $g(F)$ is at least $38 t$, then $F$ is strongly cylindrical. As a corollary, we give an alternative proof of the assertion that every closed hyperbolic 3-manifold admits only finitely many fibrations over the…
We show that if the monodromy of a 3-manifold M that fibers over the circle has large translation distance in the curve complex, then the rank of the fundamental group of M is 2g+1, where g is the genus of the fiber.
We study framed translation surfaces corresponding to meromorphic differentials on compact Riemann surfaces, for which a horizontal separatrix is marked for each pole or zero. Such geometric structures naturally appear when studying flat geometry surfaces "near" the Deligne-Mumford boundary.We compute the number of connected components of the corresponding strata, and give a simple topological invariant that distinguishes them. In particular we see that for $g>0$, there are at most two such components, except in the hyperelliptic case.
We prove an effective version of a theorem relating curve complex distance to electric distance in hyperbolic 3-manifolds, up to errors that are polynomial in the complexity of the underlying surface. We use this to give an effective proof of a result regarding maps between curve complexes of surfaces induced by finite covers. As applications, we effectively relate the electric circumference of a fibered manifold to the curve complex translation length of its monodromy, and we give quantitative bounds on virtual specialness for cube complexes dual to curves on surfaces.
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…
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…
Let $S$ be a (topological) compact closed surface of genus two. We associate to each translation surface $(X,ω) \in \mathcal{H}(2)\sqcup\mathcal{H}(1,1)$ a subgraph $\hat{\mathcal{C}}_{\rm cyl}$ of the curve graph of $S$. The vertices of this subgraph are free homotopy classes of curves which can be represented either by a simple closed geodesic, or by a concatenation of two parallel saddle connections (satisfying some additional properties) on $X$. The subgraph $\hat{\mathcal{C}}_{\rm cyl}$ is by definition $\mathrm{GL}^+(2,\mathbb{R})$-invariant. Hence, it may be seen as the image of the cor…
Dilation surfaces are generalizations of translation surfaces where the geometric structure is modelled on the complex plane up to affine maps whose linear part is real. They are the geometric framework to study suspensions of affine interval exchange maps. However, though the $SL(2,\mathbb{R})$-action is ergodic in connected components of strata of translation surfaces, there may be mutually disjoint $SL(2,\mathbb{R})$-invariant open subsets in components of dilation surfaces. A first distinction is between triangulable and non-triangulable dilation surfaces. For non-triangulable surfaces, th…
In this note we introduce the (homologically essential) arc complex of a surface as a tool for studying properties of open book decompositions and contact structures. After characterizing destabilizability in terms of the essential translation distance of the monodromy of an open book we given an application of this result to show that there are planer open books of the standard contact structure on the 3-sphere with 5 (or any number larger than 5) boundary components that do not destabilize. We also show that any planar open book with 4 or fewer boundary components does destabilize.
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…
