Quaternionic covers and monodromy of the Kontsevich-Zorich cocycle in orthogonal groups

DOI10.4171/JEMS/763MaRDI QIDQ679668zbMATH OpenOpenAlexFDO

Authors Simion Filip, Giovanni Forni, Carlos Matheus

Publication date 19 January 2018

Published in Journal of the European Mathematical Society (JEMS) (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1502.07202

zbMATH Keywords

abelian differentialHodge bundleKontsevich-Zorich cocyclemonodromyorthogonal groupsquare-tiled surfaceTeichmüller flowtranslation surface

Mathematics Subject Classification ID

Moduli of Riemann surfaces, Teichmüller theory (complex-analytic aspects in several variables) (32G15) Dynamics induced by group actions other than (mathbb{Z}) and (mathbb{R}), and (mathbb{C}) (37C85) Dynamical systems of geometric origin and hyperbolicity (geodesic and horocycle flows, etc.) (37D40)

Abstract: We give an example of a Teichm"uller curve which contains, in a factor of its monodromy, a group which was not observed before. Namely, it has Zariski closure equal to the group $S{O}^{\ast }(6)$ in its standard representation; up to finite index, this is the same as $SU(3,1)$ in its second exterior power representation. The example is constructed using origamis (i.e. square-tiled surfaces). It can be generalized to give monodromy inside the group $S{O}^{\ast }(2n)$ for all $n$, but in the general case the monodromy might split further inside the group. Also, we take the opportunity to compute the multiplicities of representations in the (0,1) part of the cohomology of regular origamis, answering a question of Matheus-Yoccoz-Zmiaikou.

Review text

A square-tiled surface, or origami, \(M\) is a finite cover of the flat torus \(\mathbb C/\mathbb Z[i]\), branched over \(0\). To specify such a surface with \(n\) squares, one needs two permutations, \(\sigma_h, \sigma_v \in S_n\), telling you how to glue the horizontal and vertical sides of the \(n\) squares respectively (namely, the right side of square \(i\) is glued to the left of \(\sigma_v(i)\), and the top of square \(j\) is glued to the bottom of \(\sigma_h(j)\)). The resulting surface is connected if the group \(\langle \sigma_h, \sigma_v\rangle\) acts transitively on \(\{1, 2, \ldots, n\}\). By pulling back the complex structure and the holomorphic one-form \(dz\) from the torus, one obtains both a Riemann surface structure and an holomorphic one-form on \(M\), giving it the structure of a translation surface (equivalently, you can just see it as made up of polygons with parallel sides glued by translation). These surfaces are a very important source of examples in the study of the \({\mathrm{SL}}(2, \mathbb R)\) action on the space of translation surfaces. They are rational points in natural period coordinates, have closed \({\mathrm {SL}}(2, \mathbb R)\)-orbits and have very interesting properties. Associated to these closed \({\mathrm {SL}}(2, \mathbb R)\)-orbits, which can be identified with \({\mathrm {SL}}(2, \mathbb R)/\Gamma\), where \(\Gamma\) is commensurable to \({\mathrm {SL}}(2, \mathbb Z)\), is a cocycle over the natural action of \({\mathrm {SL}}(2, \mathbb R)\), namely, the action on the bundle whose fibers are the absolute homology of the surface. This cocycle, known as the Kontsevich-Zorich cocycle, captures important information about the dynamics on the moduli space and of the dynamical properties of flows on these surfaces. In general, the cocycle takes values in \({\mathrm {Sp}}(2g, \mathbb Z)\), where \(g\) is the genus of the surface. It is of great interest to see what the image of \(\Gamma\) under this monodromy map is. In this paper, using detailed algebraic and combinatorial constructions, the authors observe a new phenomenon: they build a genus-11 square-tiled surfaces so the Zariski closure of (a factor of) the monodromy group is equal to the group \({\mathrm {SO}}^*(6)\). Remarkably, much of this is proved by direct computation of matrices!

Recommendations

• A family of quaternionic monodromy groups of the Kontsevich-Zorich cocycle
• The Kontsevich-Zorich cocycle over Veech-McMullen family of symmetric translation surfaces
• An extraordinary origami curve
• Examples for Veech groups of origamis
• Homology of origamis with symmetries

Cites work

• A geometric criterion for the nonuniform hyperbolicity of the Kontsevich-Zorich cocycle
• Braid groups and Hodge theory
• Deviation for interval exchange transformations
• Deviation of ergodic averages for area-preserving flows on surfaces of higher genus
• Differential geometry, Lie groups, and symmetric spaces.
• Diffusion for the periodic wind-tree model
• Euler characteristics of Teichmüller curves in genus two
• Gauss measures for transformations on the space of interval exchange maps
• Homology of origamis with symmetries
• scientific article; zbMATH DE number 4212334 (Why is no real title available?)
• scientific article; zbMATH DE number 3632732 (Why is no real title available?)
• scientific article; zbMATH DE number 790015 (Why is no real title available?)
• Interval exchange transformations and measured foliations
• Invariant and stationary measures for the \(\mathrm{SL}(2,\mathbb{R})\) action on moduli space
• Lyapunov spectrum of ball quotients with applications to commensurability questions
• Lyapunov spectrum of square-tiled cyclic covers
• Nonvarying sums of Lyapunov exponents of abelian differentials in low genus
• Right-angled billiards and volumes of moduli spaces of quadratic differentials on \(\mathbb{C}\mathrm{P}^1\)
• Semisimplicity and rigidity of the Kontsevich-Zorich cocycle
• Sum of Lyapunov exponents of the Hodge bundle with respect to the Teichmüller geodesic flow
• Variations of Hodge structures of a Teichmüller curve
• Zero Lyapunov exponents and monodromy of the Kontsevich-Zorich cocycle

Cited in

(11)

• The algebraic hull of the Kontsevich-Zorich cocycle
• The Kontsevich-Zorich cocycle over Veech-McMullen family of symmetric translation surfaces
• A family of quaternionic monodromy groups of the Kontsevich-Zorich cocycle
• Semisimplicity and rigidity of the Kontsevich-Zorich cocycle
• Homology of origamis with symmetries
• An origami of genus 3 with arithmetic Kontsevich-Zorich monodromy
• The action of the affine diffeomorphisms on the relative homology group of certain exceptionally symmetric origamis
• An arithmetic Kontsevich-Zorich monodromy of a symmetric origami in genus 4
• Arithmeticity of the Kontsevich-Zorich monodromies of certain families of square-tiled surfaces. II
• Translation surfaces: dynamics and Hodge theory
• Kontsevich-Zorich monodromy groups of translation covers of some platonic solids

This page was built for publication: Quaternionic covers and monodromy of the Kontsevich-Zorich cocycle in orthogonal groups

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