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

In this paper, several important results on the field of definition of an affine \(\mathrm{SL}(2,\mathbb R)\)-invariant submanifold of the moduli space of translation surfaces are obtained. The field of definition \(k(M)\) of an affine invariant submanifold \(M\) is the smallest subfield of \(\mathbb R\) such that \(M\) can be defined in local (period) coordinates by linear equations with coefficients in this field. The main result (Theorem 1.1) states that if you consider all surfaces \((X, \omega) \in M\), and their holonomy fields (the minimal number field in which all holonomy vectors of saddle connections have their coordinates), the field of definition is the intersection of these holonomy fields; that the field is real; and that the degree is bounded by the genus of the surface \(X\). This allows one to understand specific examples of orbit closures of \(\mathrm{SL}(2, \mathbb R)\) acting on these moduli spaces.