Galois subfields of abelian function field of two variables (Q1327762)
From MaRDI portal
![]() | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Galois subfields of abelian function field of two variables |
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Galois subfields of abelian function field of two variables |
scientific article |
Statements
Galois subfields of abelian function field of two variables (English)
0 references
8 August 1994
0 references
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\).
0 references
abelian varieties
0 references
abelian surface
0 references
abelian function field
0 references
Enriques surface
0 references