Quadratic torsion orders on Jacobian varieties
Authors:
Hamide Kuru,
Mohammad Sadek
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.
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.
△ Less
Submitted 18 October, 2024;
originally announced October 2024.
Rational torsion on hyperelliptic jacobian varieties
Authors:
Hamide Kuru,
Mohammad Sadek
Abstract:
Fixing an integer $g\ge 2$, it was conjectured by Flynn that there exists a constant $κ$, independent of $g$, such that for every $m \le κg$, there exists a hyperelliptic curve of genus $g$ over $\Q$ with a rational $m$-torsion point on its Jacobian. Leprévost proved this conjecture with $κ=3$. In this work we prove that given an integer $N$ in the interval $[3g,4g+1]$, $g\ge 3$, satisfying certai…
▽ More
Fixing an integer $g\ge 2$, it was conjectured by Flynn that there exists a constant $κ$, independent of $g$, such that for every $m \le κg$, there exists a hyperelliptic curve of genus $g$ over $\Q$ with a rational $m$-torsion point on its Jacobian. Leprévost proved this conjecture with $κ=3$. In this work we prove that given an integer $N$ in the interval $[3g,4g+1]$, $g\ge 3$, satisfying certain partition conditions, there exist infinite families of hyperelliptic Jacobian varieties with a rational torsion point of order $N$. In particular, we establish the existence of such varieties for $N=4g+1$ when $g$ is odd and for $N=4g-1$ when $g$ is even. A few explicit applications of this result produce the first known infinite examples of torsion $13$ when $g=3$, torsion $15$ when $g=4$, and torsion $17,18,21$ when $g=5$. In fact, we show that infinitely many of the latter abelian varieties are absolutely simple.
△ Less
Submitted 18 October, 2024;
originally announced October 2024.
Rational approximations, multidimensional continued fractions and lattice reduction
Authors:
Valerie Berthé,
Karma Dajani,
Charlene Kalle,
Ela Krawczyk,
Hamide Kuru,
Andrea Thevis
Abstract:
We first survey the current state of the art concerning the dynamical properties of multidimensional continued fraction algorithms defined dynamically as piecewise fractional maps and compare them with algorithms based on lattice reduction. We discuss their convergence properties and the quality of the rational approximation, and stress the interest for these algorithms to be obtained by iterating…
▽ More
We first survey the current state of the art concerning the dynamical properties of multidimensional continued fraction algorithms defined dynamically as piecewise fractional maps and compare them with algorithms based on lattice reduction. We discuss their convergence properties and the quality of the rational approximation, and stress the interest for these algorithms to be obtained by iterating dynamical systems. We then focus on an algorithm based on the classical Jacobi--Perron algorithm involving the nearest integer part. We describe its Markov properties and we suggest a possible procedure for proving the existence of a finite ergodic invariant measure absolutely continuous with respect to Lebesgue measure.
△ Less
Submitted 14 March, 2023;
originally announced March 2023.