The field of definition of affine invariant submanifolds of the moduli space of abelian differentials

Abstract

The field of definition of an affine invariant submanifold M is the smallest subfield of the reals such that M can be defined in local period coordinates by linear equations with coefficients in this field. We show that the field of definition is equal to the intersection of the holonomy fields of translation surfaces in M, and is a real number field of degree at most the genus. We show that the projection of the tangent bundle of M to absolute cohomology H^1 is simple, and give a direct sum decomposition of H^1. Applications include explicit full measure sets of translation surfaces whose orbit closures are as large as possible, and evidence for finiteness of algebraically primitive Teichmüller curves. The proofs use recent results of Artur Avila, Alex Eskin, Maryam Mirzakhani, Amir Mohammadi, and Martin Möller.

minor revision; 19 pages

Cited by in corpus (12)

• Semisimplicity and rigidity of the Kontsevich-Zorich cocycle
• Cylinder deformations in orbit closures of translation surfaces
• Zero Lyapunov exponents and monodromy of the Kontsevich-Zorich cocycle
• Everything is illuminated
• Full rank affine invariant submanifolds
• Marked points on translation surfaces
• Rel leaves of the Arnoux-Yoccoz surfaces
• Enumeration of meanders and Masur-Veech volumes
• Rank two affine submanifolds in $\mathcal{H}(2,2)$ and $\mathcal{H}(3,1)$
• The WYSIWYG compactification
• Affine Manifolds and Zero Lyapunov Exponents in Genus 3
• Quasidiagonals in Strata of Translation Surfaces