I‑AIMS Institute for Artificial Intelligence
and Mathematical Sciences
/

Determining the automorphism group of a hyperelliptic curve

Tanush Shaska

I-AIMS paper 2002-3 · Published in Proceedings of ISSAC 2003, ACM (2003), 248–254 · 2003

In this note we discuss techniques for determining the automorphism group of a genus g hyperelliptic curve 𝒳_g defined over an algebraically closed field k of characteristic zero. The first technique uses the classical GL₂(k)-invariants of binary forms. This is a practical method for curves of small genus, but has limitations as the genus increases, due to the fact that such invariants are not known for large genus. The second approach, which uses dihedral invariants of hyperelliptic curves, is a very convenient method and works well in all genera. First we define the normal decomposition of a hyperelliptic curve with extra automorphisms. Then dihedral invariants are defined in terms of the coefficients of this normal decomposition. We define such invariants independently of the automorphism group Aut(𝒳_g). However, to compute such invariants the curve is required to be in its normal form. This requires solving a nonlinear system of equations. We find conditions in terms of classical invariants of binary forms for a curve to have reduced automorphism group A₄, S₄, A₅. As far as we are aware, such results have not appeared before in the literature.

MSC classes: Primary 14H37; Secondary 68W30, 14H10, 14Q05, 20B27

PDF

References

  1. R. Brandt and H. Stichtenoth, Die Automorphismengruppen hyperelliptischer Kurven, Man. Math 55 (1986), 83–92.
  2. Th. Breuer, Characters and automorphism groups of compact Riemann surfaces, London Math. Soc. Lect. Notes 280, Cambridge Univ. Press 2000.
  3. E. Bujalance, J. Gamboa, and G. Gromadzki, The full automorphism groups of hyperelliptic Riemann surfaces, Manuscripta Math. 79 (1993), no. 3-4, 267–282.
  4. E. Bujalance, F. J. Cirre, J. M. Gamboa, G. Gromadzki, Symmetry types of hyperelliptic Riemann surfaces. Mm. Soc. Math. Fr. (N.S.), No. 86 (2001).
  5. A. Hurwitz, Uber algebraische Gebilde miẗ eindeutigen Transformationen in sich, Math. Ann. 41 (1893), 403–442.
  6. The GAP Group, GAP – Groups, Algorithms, and Programming, Version 4.2; 2000. (http://www.gap-system.org)
  7. J. Gutierrez, A polynomial decomposition algorithm over factorial domains, Comptes Rendues Mathematiques, de Ac. de Sciences, 13 (1991), 81-86.
  8. J. Gutierrez and T. Shaska, Hyperelliptic curves with extra involutions, 2002 (submitted).
  9. The Magma Computational Algebra System, http://magma.maths.usyd.edu.au/magma/
  10. K. Magaard, T. Shaska, S. Shpectorov, and H. Völklein, The locus of curves with prescribed automorphism group, RIMS Kyoto Series, Communications in Arithmetic Fundamental Groups, ed. H. Nakamura, 2002, 112-141.
  11. T. Shaska, Genus 2 curves with (3,3)-split Jacobian and large automorphism group, ANTS V (Sydney, 2002), 205-218, Lect. Not. in Comp. Sci., 2369, Springer, Berlin, 2002.
  12. T. Shaska, Computational Aspects of Hyperelliptic Curves, Computer mathematics (Beijing, 2003), Lecture Notes Ser. Comput., 10, pg. 248-258, World Sci. Publishing, River Edge, NJ, 2003.
  13. T. Shaska, Some special families of hyperelliptic curves, J. Algebra Appl., (submitted).
  14. T. Shaska, Subvarieties of the moduli space of hyperelliptic curves (preprint).
  15. T. Shaska and H. Völklein, Elliptic subfields and automorphisms of genus two fields, Algebra and Algebraic Geometry with Applications, (West Lafayette, 2000), Lect. Not. in Comp. Sci., Springer, Berlin, 2002 (to appear).

All preprints