d40d5e99a59b968b.tex
1: \begin{abstract} \setlength{\parskip}{1ex} \setlength{\parindent}{0mm}
2: We introduce an algorithm to compute the structure of the rational torsion subgroup of the Jacobian of a
3:   hyperelliptic curve of genus~3 over the rationals. We apply a {\tt Magma} implementation
4:   of our algorithm to a database of curves with low discriminant due to Sutherland as well as a
5:   list of curves with small coefficients. In the process, we find several torsion
6:   structures not previously described in the literature.
7: The algorithm is a generalisation of an algorithm for genus 2 due to Stoll, which we
8:   extend to  
9:   abelian varieties satisfying certain conditions. The idea is to compute
10:   $p$-adic torsion lifts of points
11:   over finite fields using the Kummer variety and to check whether
12:   they are rational using  heights. Both  have been made explicit for
13:   Jacobians of hyperelliptic curves of genus~3 by Stoll.
14: This article is partially based on the second-named author's Master thesis.
15: \end{abstract}