SOME SPECIAL FAMILIES OF HYPERELLIPTIC CURVES

Let \(X\) denote a hyperelliptic curve of genus \(g\) defined over an algebraically closed field \(k\) of characteristic zero. Given a group \(G\), let \({\mathcal L}^G_g\) denote the locus of such curves such that \(G\) is isomorphic to a subgroup of Aut\((X)\). The possible groups that can occur as full automorphism group of a hyperelliptic curve, as well as the signature of the cover \(X\rightarrow X/G\), were determined by \textit{E.~Bujalance, J.~Gamboa} and \textit{G.~Gromadzki} [Manuscr. Math. 79, No. 3--4, 267--282 (1993; Zbl 0788.30031)]. For \(G={\mathbb Z}_{2n}\) or \({\mathbb Z}_2\oplus {\mathbb Z}_n\), the author shows that \({\mathcal L}^G_g\) is a rational variety, with its function field generated over \(k\) by the dihedral invariants of \(X\), as defined by the author [in: ISSAC 2003. Proc. 2003 int. symp. symbolic and algebraic computation, Philadelphia, 2003, 248--254 (2003; Zbl 1072.68697)]. For \(G={\mathbb Z}_2\oplus {\mathbb Z}_4\) or SL\(_2(3)\), the author gives a necessary condition, in terms of the vanishing of a certain invariant of the binary form defining the curve, for determining if \(X\) is in \({\mathcal L}^G_g\). He also shows in these cases that if \(X\in {\mathcal L}^G_g\) and \(g\leq 12\), then the field of definition of \(X\) is the same as the field of moduli of \(X\), thus establishing some special cases of a conjecture he made [in: Computer mathematics. Proc. 6th Asian Symp., Beijing 2003, Lect. Notes Ser. Comput. 10, 248--257 (2003; Zbl 1051.14033)].

Recommendations

Cites work

Cited in

(24)

Describes a project that uses

Uses Software

GAP

This page was built for publication: SOME SPECIAL FAMILIES OF HYPERELLIPTIC CURVES

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