Bainbridge, Matt and Habegger, Philipp and Möller, Martin.
(2016)
* Teichmüller curves in genus three and just likely intersections in ${\bf G}_m^n\times{\bf G_a}^n$.*
Preprints Fachbereich Mathematik, 2016 (08).

PDF
- Published Version
1634Kb |

Official URL: https://edoc.unibas.ch/69973/

Downloads: Statistics Overview

## Abstract

We prove that the moduli space of compact genus three Riemann surfaces contains only finitely many algebraically primitive Teichmüller curves. For the stratum $\Omega\mathcal{M}_3(4)$, consisting of holomorphic one-forms with a single zero, our approach to finiteness uses the Harder-Narasimhan filtration of the Hodge bundle over a Teichmüller 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 Teichmüller curves in terms of cross-ratios of six points on $P^1$.

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\timesG_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 $\Omega\mathcal{M}_3(1,1,1,1)$, we obtain global torsion order bounds through a computer search for subtori of a codimension-two sub-variety 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.

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\timesG_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 $\Omega\mathcal{M}_3(1,1,1,1)$, we obtain global torsion order bounds through a computer search for subtori of a codimension-two sub-variety 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.

Faculties and Departments: | 05 Faculty of Science > Departement Mathematik und Informatik > Mathematik > Zahlentheorie (Habegger) 12 Special Collections > Preprints Fachbereich Mathematik |
---|---|

UniBasel Contributors: | Habegger, Philipp |

Item Type: | Preprint |

Publisher: | Universität Basel |

Language: | English |

Last Modified: | 20 Apr 2019 21:48 |

Deposited On: | 28 Mar 2019 09:51 |

Repository Staff Only: item control page