On Calculation of the Group of Automorphisms of Hyperelliptic Curves

Abstract

We suggest an algorithm for finding the group of birational automorphisms of a hyperelliptic curve y2 = p(x), p ∈ ℚ[x], over the field of complex numbers based on power series expansion. We present an implementation of this algorithm in the computer algebra system Sage and examples of its application. Computer experiments show that the algorithm does not lead to unexpectedly cumbersome calculations. The format of the group representation allows one to use the embedded Sage tools for dealing with finite groups of low order. Bibliography: 20 titles.