Galois subfields of abelian function field of two variables (Q1327762)

Let \(L\) be an Abelian function field of two variables over \(\mathbb{C}\) and let \(K\) be a Galois subfield of \(L\), with \(G = \text{Gal} (L/K)\). In this note the author classifies such fields \(K\) in terms of a suitable complex representation of \(G\). The field \(L\) is the function field of some Abelian surface \(A\). If \(g \in G\) then \(g\) induces an automorphism of \(A\), which yields a complex representation \(gz = M(g) z + t(g)\), where \(M(g) \in GL_2 (\mathbb{C})\), \(z \in \mathbb{C}^2\) and \(t(g) \in \mathbb{C}^2\). Denote by \(G_0\) the subgroup of \(G\) for which \(M(g)\) is the identity, \(H\) the subgroup of \(GL_2 (\mathbb{C})\) corresponding to \(G\) and by \(H_1\) the subgroup of \(H\) consisting of matrices of determinant 1. Then \(H/H_1\) is a cyclic group, \(C_n\), of order \(n \leq 12\), the quotient surface \(A/G_0\) is an Abelian surface and the function field of \(A/G\) is isomorphic to \(K\). \textit{A. Fujiki} [Publ. Res. Inst. Math. Sci. 24, No. 1, 1-97 (1988; Zbl 0654.32015)] determined the group \(H\) (the holonomy part of the complex representation) and, by considering Sylow subgroups of \(H\), the author shows that the order of \(H\) is 5, 10 or \(2^a \cdot 3^b\), where \(a \leq 5\), \(b \leq 2\), from which it follows that \(G\) is solvable. The main result of this paper is a classification of \(H\) in terms of the structure of the surface \(S\), a relatively minimal model of \(X = A/G\). (For example, if \(H = \langle [1,-1], [-1,1] \rangle\), and if the set of fixed points of \(G\) is finite, then \(S\) is an Enriques surface.) The author poses the question of finding the degree of irrationality of \(A\).