Abstract:We give a practical method for computing the 3-torsion subgroup of the Jacobian of a genus 3 hyperelliptic curve. We define a scheme for the 3-torsion points of the Jacobian and use complex approximations, homotopy continuation and lattice reduction to find precise expression for the 3-torsion. In the latter stages of the paper, we explain how the 3-torsion subgroup can be used to compute the wild part of the local exponent of the conductor at 2.
What problem does this paper attempt to address?
### The problems the paper attempts to solve
The main objective of this paper is to provide a practical method for computing the 3 - torsion subgroup, especially for hyperelliptic curves of genus 3. Specifically, the author aims to:
1. **Compute the 3 - torsion subgroup**:
- Provide a practical method to compute the 3 - torsion subgroup in the Jacobian variety of a hyperelliptic curve of genus 3. This involves defining the scheme of 3 - torsion points and using techniques such as complex approximation, homotopy continuation, and lattice reduction to find exact expressions.
2. **Use the 3 - torsion subgroup to compute the local conductor exponent**:
- Explain how to use the 3 - torsion subgroup to compute the local conductor exponent at the prime 2. This is crucial for understanding the arithmetic properties of the curve.
### Background and motivation
For elliptic curves, the local conductor exponent can be computed by the Tate algorithm. However, for hyperelliptic curves of higher genus, especially in the case of genus 3, the computational methods are more complex. By studying the 3 - torsion subgroup, the author provides a new approach to deal with this problem.
### Main contributions
- **Propose a new method**: Combine numerical analysis and algebraic geometry techniques, such as complex approximation, homotopy continuation, and lattice reduction, to efficiently compute the 3 - torsion subgroup.
- **Application examples**: Demonstrate how to apply these methods to specific modular Jacobians, such as \( J_0(30) \) and \( J_0(40) \), and compute their 3 - torsion subgroups.
- **Theoretical framework**: Establish a theoretical connection from the 3 - torsion subgroup to the local conductor exponent, especially the wild part at the prime 2.
### Formula representation
To ensure the correctness and readability of the formulas, the following are some key formulas in Markdown format:
- **Correspondence of 3 - torsion points**:
For an odd - degree polynomial \( f(x) \):
\[
f(x)(x + \alpha_1)^2+\frac{\alpha_7}{(x^3+\alpha_8 x^2+\alpha_9 x+\alpha_{10})^3}=(\alpha_2 x^4+\alpha_3 x^3+\alpha_4 x^2+\alpha_5 x+\alpha_6)^2
\]
For an even - degree polynomial \( f(x) \):
\[
- f(x)l(x)^2 + g(x)^2=\frac{\alpha_7}{(x^3+\alpha_8 x^2+\alpha_9 x+\alpha_{10})^3}
\]
- **Computation of the local conductor exponent**:
The local conductor exponent \( n_2 \) can be decomposed as:
\[
n_2=n_{\text{tame}}+n_{\text{wild}}
\]
where \( n_{\text{tame}} \) can be derived from the regular model, and \( n_{\text{wild}} \) is the Swan conductor of the 3 - adic Tate module and can be computed by the action of \( \text{Gal}(K(J[3])/K) \) on \( J[3] \).
### Summary
This paper solves the problem of computing the 3 - torsion subgroup of the Jacobian variety of a hyperelliptic curve of genus 3 by introducing new numerical and algebraic geometry techniques, and further explores how to use these results to compute the local conductor exponent. This method not only improves computational efficiency but also provides a new tool for studying the arithmetic properties of hyperelliptic curves of high genus.