Quadratic torsion orders on Jacobian varieties

Hamide Kuru,Mohammad Sadek
2024-10-18
Abstract:We establish the existence of hyperelliptic curves of genus $g\ge 2$ defined over $\mathbb{Q}$ whose Jacobians possess rational torsion points of order $N$ where $N=4g^2+2g-2$ or $4g^2+ 2g -4$. For $N=2g^2+7g+1$, we introduce a $1$-parameter family of hyperelliptic curves of genus $g$ over $\mathbb{Q}$ with a rational torsion point of order $N$ on their Jacobians.
Number Theory,Algebraic Geometry
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to construct hyperelliptic curves of high genus (\(g \geq 2\)) with specific quadratic - order rational torsion points. Specifically, the author hopes to find hyperelliptic curves defined over the field of rational numbers \(\mathbb{Q}\), whose Jacobian varieties contain rational torsion points with specific orders. ### Main problems 1. **Constructing hyperelliptic curves with rational torsion points of specific orders**: - For a given integer \(g \geq 2\), the author attempts to construct hyperelliptic curves with rational torsion points of the following orders: - Order \(N = 4g^2+2g - 2\) - Order \(N = 4g^2+2g - 4\) 2. **Providing new quadratic - order rational torsion points**: - The author extends previous research results and proposes a new family of hyperelliptic curves with rational torsion points of quadratic order \(N = 2g^2+7g + 1\). ### Specific contributions - **First instances**: - Provides the first hyperelliptic curve of genus 4, whose Jacobian variety has a rational torsion point of order 70. - Provides the first hyperelliptic curve of genus 3, whose Jacobian variety has a rational torsion point of order 20. - **Infinite family construction**: - Constructs a parametric family of hyperelliptic curves, which have rational torsion points of order \(2g^2+7g + 1\). ### Mathematical background According to the Mordell - Weil theorem, the group of rational points \(A(K)\) of an abelian variety \(A\) over a number field \(K\) is finitely generated, and its torsion subgroup \(A(K)_{\text{tor}}\) is finite. For hyperelliptic curves of high genus, researchers are committed to finding rational torsion points with specific orders to verify and extend existing theoretical results. ### Conclusion By constructing specific hyperelliptic curves and proving the existence of rational torsion points of specific orders in their Jacobian varieties, the author not only extends previous research but also provides new instances and infinite families, providing important progress for the study of rational torsion points of high - genus curves.