Teichmüller curves in genus three and just likely intersections in G_m^n_a^n

DOI10.1007/S10240-016-0084-6MaRDI QIDQ507685zbMATH OpenOpenAlexFDO

Authors Matt Bainbridge, Philipp Habegger, Martin Möller

Publication date 7 February 2017

Published in Publications Mathématiques (Search for Journal in Brave)

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

Harder-Narasimhan filtration holomorphic one-forms Teichmüller curves unlikely intersections

Families, moduli of curves (algebraic) (14H10) Moduli of Riemann surfaces, Teichmüller theory (complex-analytic aspects in several variables) (32G15)

Abstract: We prove that the moduli space of compact genus three Riemann surfaces contains only finitely many algebraically primitive Teichmueller curves. For the stratum consisting of holomorphic one-forms in genus three with a single zero, our approach to finiteness uses the Harder-Narasimhan filtration of the Hodge bundle over a Teichmueller curve to obtain new information on the locations of the zeros of eigenforms. By passing to the boundary of moduli space, this gives explicit constraints on the cusps of Teichmueller curves in terms of cross-ratios of six points on a projective line. These constraints are akin to those that appear in Zilber and Pink's conjectures on unlikely intersections in diophantine geometry. However, in our case one is lead naturally to the intersection of a surface with a family of codimension two algebraic subgroups of

G_{m}^{n} i m e s G_{a}^{n}

(rather than the more standard

G_{m}^{n}

). The ambient algebraic group lies outside the scope of Zilber's Conjecture but we are nonetheless able to prove a sufficiently strong height bound. For the generic stratum in genus three, we obtain global torsion order bounds through a computer search for subtori of a codimension-two subvariety of

G_{m}^{9}

. These torsion bounds together with new bounds for the moduli of horizontal cylinders in terms of torsion orders yields finiteness in this stratum. The intermediate strata are handled with a mix of these techniques.

Review text

A Teichmüller curve is an isometrically immersed algebraic curve from the hyperbolic plane to the moduli space \(\mathcal M_g\) of genus \(g\) Riemann surfaces. It is said to be algebraically primitive if the associated trace field attains its maximum degree (equal to \(g\)). The main result of this paper shows that there are only finitely many algebraically primitive Teichmüller curves in \(\mathcal M_3\). In order to prove the result, the authors apply various techniques, such as the Harder-Narasimhan filtration of the Hodge bundle over a Teichmüller curve, passing to the boundary of the moduli space, and torsion bounds related to unlikely intersections in diophantine geometry. A number of related results on primitive Teichmüller curves can be found in [\textit{I. I. Bouw} and \textit{M. Möller}, Ann. Math. (2) 172, No. 1, 139--185 (2010; Zbl 1203.37049)], [\textit{M. Bainbridge} and \textit{M. Möller}, Acta Math. 208, No. 1, 1--92 (2012; Zbl 1250.14014)], [\textit{K. Calta}, J. Am. Math. Soc. 17, No. 4, 871--908 (2004; Zbl 1073.37032)], [\textit{C. T. McMullen}, J. Am. Math. Soc. 16, No. 4, 857--885 (2003; Zbl 1030.32012); Invent. Math. 165, No. 3, 651--672 (2006; Zbl 1103.14014); Duke Math. J. 133, No. 3, 569--590 (2006; Zbl 1099.14018)], [\textit{M. Möller}, Ann. Inst. Fourier 58, No. 1, 63--83 (2008; Zbl 1140.14010)], [\textit{C. Matheus} and \textit{A. Wright}, Duke Math. J. 164, No. 6, 1041--1077 (2015; Zbl 1345.37029)], and [\textit{D.-M. Nguyen} and \textit{A. Wright}, Geom. Funct. Anal. 24, No. 4, 1316--1335 (2014; Zbl 1303.30039)].

Recommendations

Cites work

Cited in

(22)

Describes a project that uses

Uses Software

This page was built for publication: Teichmüller curves in genus three and just likely intersections in \(\mathbf{G}_{m}^{n}\times\mathbf{G}_{a}^{n}\)

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