Three-Torsion Subgroups and Wild Conductor Exponents of Plane Quartics

Abstract

In this paper we give an algorithm to find the 3-torsion subgroup of the Jacobian of a smooth plane quartic curve with a marked rational point. We describe $3-$torsion points in terms of cubics which triply intersect the curve, and use this to define a system of equations whose solution set corresponds to the coefficients of these cubics. We compute the points of this zero-dimensional, degree $728$ scheme first by approximation, using homotopy continuation and Newton-Raphson, and then using continued fractions to obtain accurate expressions for these points. We describe how the Galois structure of the field of definition of the $3$-torsion subgroup can be used to compute local wild conductor exponents, including at $p=2$.

arXiv commentMajor changes: change of title, re-organised structure and added implementation. Comments are welcome! v4: Version appearing in Research in Number Theory

References in corpus (8)

• Two-cover descent on hyperelliptic curves
• Descent via (3,3)-isogeny on Jacobians of genus 2 curves
• Arithmetic of hyperelliptic curves over local fields
• Models of curves over DVRs
• A database of nonhyperelliptic genus 3 curves over Q
• Genus-2 Jacobians with torsion points of large order
• Two-Torsion Subgroups of some Modular Jacobians
• Three-Torsion Subgroups and Wild Conductors of Genus 3 Hyperelliptic Curves