Parallelogram decompositions and generic surfaces in H^hyp(4)

From MaRDI portal
Publication:640346



Abstract: In this paper we are interested in the stratum H^{hyp}(4) of translation surfaces, which consists of pairs (M,omega), where M is a hyper-elliptic Riemann surface of genus 3, and omega is a holopmorphic 1-form on M having only one zero. We first show that every surface in this stratum can be decomposed into parallelograms following a unique model. We then single out a condition on this decomposition, and show that if this condition is satisfied then the SL(2,R) orbit of the surface is dense in the stratum. Using this criterion, we show that there are generic surfaces in this stratum with coordinates in any quadratic field, and that surfaces arising from the Thurston-Veech construction with cubic trace field can be generic.


The space \(\mathcal{H}^{\text{hyp}}(4)\) is one of the two connected components of the the stratum of the space of holomorphic 1-forms on a closed Riemann surface of genus 3 that consists of holomorphic 1-forms that are defined on hyperelliptic Riemann surfaces,. The unique zero of a 1-form is necessarily a Weierstrass point. Equivalently, \(\mathcal{H}^{\text{hyp}}(4)\) is the space of translation surfaces of genus 3 having one singularity, such that there exists an isometric involution which has exactly 8 fixed points, and acts by \(-\mathrm{Id}\) on homology. In the paper under review, the author shows that every surface in \(\mathcal{H}^{\text{hyp}}(4)\) admits a decomposition into parallelograms and simple cylinders following a unique model. As a by-product, he shows that if \(\Sigma_0\) is a surface in \(\mathcal{H}^{\text{hyp}}(4)\) such that any of its horizontal directions of is either a closed geodesic or a saddle connection, and if \(\Sigma_0\) is decomposed into three horizontal cylinders whose moduli are independent over \(\mathbb{Q}\), then the orbit \(\mathrm{SL}(2,\mathbb{R})\cdot \Sigma_0\) is dense in \(\mathcal{H}^{\text{hyp}}(4)\). The author also constructs explicitly some Thurston-Veech surfaces with trace field of degree three over \(\mathbb{Q}\) which satisfy the above hypotheses on \(\Sigma_0\).











This page was built for publication: Parallelogram decompositions and generic surfaces in \(\mathcal H^{\text{hyp}}(4)\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q640346)