Field theory for function fields of singular plane quartic curves

From MaRDI portal





We work over an algebraically closed field of characteristic zero. Let \(C\subset\mathbb{P}^2: =\mathbb{P}^2_k\) be a plane projective curve of degree \(d\), \(K=k(C)\) the field of rational functions of \(C\), \(p:X\to C\) the normalization (or desingularization) of \(C\). (Then, \(k(X)= k(C)=K\).) If \(P\in \mathbb{P}^2\), there is a natural rational map from \(C\) to \(\mathbb{P}^1\) (regarded as the space of lines through \(P)\), namely sending a general point \(Q\) of \(C\) to the line joining \(P\) and \(Q\). Composing with \(p\), this extends to a morphism \(\pi_P: X\to\mathbb{P}^1\); this induces a homomorphism of fields \(\pi_P^*: k(\mathbb{P}^1)\to K\) or, taking the image \(K_P\) of \(\pi_P^*\), an inclusion of fields \(K_P\subset K\). Let \(L_P\) be be the Galois closure of \(K/K_P\), \(G_P\) the Galois group of \(L_P\) over \(K_P\) and \(g(P)\) the genus of a non-singular model of the field \(L_P\). A point \(P\in \mathbb{P}^2\) is called a Galois point if \(K=L_P\). In this paper, the author investigates properties of the field extensions \(K_P\subset K\subset L_P\), the group \(G_P\), the number \(g(P)\) and the set of Galois points, in the case where \(d=\deg(C)=4\) and \(C\) is singular. The regular case had been studied by \textit{K. Miura} and \textit{H. Yoshihara} [J. Algebra 226, 283-294 (2000; Zbl 0983.11067)]. Now the author obtains, among other, the following results: (1) If \(C\) has a triple point and \(P\in C\), then \(g(P)=0\) or 1. (2) If the only singularities of \(C\) are double points an \(P\in C\), then \(g(P)=g\) or \(3g+1-a\), where \(0\leq a \leq g+1\). If P is a general point of \(C\), then \(G_P\) is isomorphic to the symmetric group \(S_3\) and \(g(P)=3g+1\). (3) If \(P\) is not on \(C\), then \(G_P\) is isomorphic to either \(S_4\), or to the alternating group \(A_4\), or to the dihedral group of order 8, or to the cyclic group of order 4, or to Klein's 4-group. (4) For a general point \(P\in\mathbb{P}^2\) there are no fields between \(K\) and \(K_P\).




Cited in
(25)








This page was built for publication: Field theory for function fields of singular plane quartic curves

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4522512)