Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userTorsion Points of order 2g+1 on odd degree hyperelliptic curves of genus g
67
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
Let $K$ be an algebraically closed field of characteristic different from $2$, $g$ a positive integer, $f(x)in K[x]$ a degree $2g+1$ monic polynomial without repeated roots, $C_f: y^2=f(x)$ the corresponding genus g hyperelliptic curve over $K$, and $J$ the jacobian of $C_f$. We identify $C_f$ with the image of its canonical embedding into $J$ (the infinite point of $C_f$ goes to the zero of group law on $J$). It is known (arXiv:1809.03061 [math.AG]) that if $g>1$ then $C_f(K)$ does not contain torsion points, whose order lies between $3$ and $2g$. In this paper we study torsion points of order $2g+1$ on $C_f(K)$. Despite the striking difference between the cases of $g=1$ and $g> 1$, some of our results may be viewed as a generalization of well-known results about points of order $3$ on elliptic curves. E.g., if $p=2g+1$ is a prime that coincides with $char(K)$, then every odd degree genus $g$ hyperelliptic curve contains, at most, two points of order $p$. If $g$ is odd and $f(x)$ has real coefficients, then there are, at most, two real points of order $2g+1$ on $C_f$. If $f(x)$ has rational coefficients and $g<52$, then there are, at most, two rational points of order $2g+1$ on $C_f$. (However, there are exist genus $52$ hyperelliptic curves over the field of rational numbers that have, at least, four rational points of order 105.)
rate research
Read More
Let $C$ be a hyperelliptic curve of genus $g>1$ over an algebraically closed field $K$ of characteristic zero and $O$ one of the $(2g+2)$ Weierstrass points in $C(K)$. Let $J$ be the jacobian of $C$, which is a $g$-dimensional abelian variety over $K$. Let us consider the canonical embedding of $C$ into $J$ that sends $O$ to the zero of the group law on $J$. This embedding allows us to identify $C(K)$ with a certain subset of the commutative group $J(K)$. A special case of the famous theorem of Raynaud (Manin--Mumford conjecture) asserts that the set of torsion points in $C(K)$ is finite. It is well known that the points of order 2 in $C(K)$ are exactly the remaining $(2g+1)$ Weierstrass points. One of the authors proved that there are no torsion points of order $n$ in $C(K)$ if $3le nle 2g$. So, it is natural to study torsion points of order $2g+1$ (notice that the number of such points in $C(K)$ is always even). Recently, the authors proved that there are infinitely many (for a given $g$) mutually nonisomorphic pairs $C,O)$ such that $C(K)$ contains at least four points of order $2g+1$. In the present paper we prove that (for a given $g$) there are at most finitely many (up to a isomorphism) pairs $(C,O)$ such that $C(K)$ contains at least six points of order $2g+1$.
Let $K$ be an algebraically closed field of characteristic different from 2, $g$ a positive integer, $f(x)$ a degree $(2g+1)$ polynomial with coefficients in $K$ and without multiple roots, $C:y^2=f(x)$ the corresponding genus $g$ hyperelliptic curve over K, and $J$ the jacobian of $C$. We identify $C$ with the image of its canonical embedding into $J$ (the infinite point of $C$ goes to the identity element of $J$). It is well known that for each $mathfrak{b} in J(K)$ there are exactly $2^{2g}$ elements $mathfrak{a} in J(K)$ such that $2mathfrak{a}=mathfrak{b}$. M. Stoll constructed an algorithm that provides Mumford representations of all such $mathfrak{a}$, in terms of the Mumford representation of $mathfrak{b}$. The aim of this paper is to give explicit formulas for Mumford representations of all such $mathfrak{a}$, when $mathfrak{b}in J(K)$ is given by $P=(a,b) in C(K)subset J(K)$ in terms of coordinates $a,b$. We also prove that if $g>1$ then $C(K)$ does not contain torsion points with order between $3$ and $2g$.
In this article, we show that in each of four standard families of hyperelliptic curves, there is a density-$1$ subset of members with the property that their Jacobians have adelic Galois representation with image as large as possible. This result constitutes an explicit application of a general theorem on arbitrary rational families of abelian varieties to the case of families of Jacobians of hyperelliptic curves. Furthermore, we provide explicit examples of hyperelliptic curves of genus $2$ and $3$ over $mathbb Q$ whose Jacobians have such maximal adelic Galois representations.
Let $C$ be a hyperelliptic curve of genus $g$ over the fraction field $K$ of a discrete valuation ring $R$. Assume that the residue field $k$ of $R$ is perfect and that $mathop{textrm{char}} k eq 2$. Assume that the Weierstrass points of $C$ are $K$-rational. Let $S = mathop{textrm{Spec}} R$. Let $mathcal{X}$ be the minimal proper regular model of $C$ over $S$. Let $mathop{textrm{Art}} (mathcal{X}/S)$ denote the Artin conductor of the $S$-scheme $mathcal{X}$ and let $ u (Delta)$ denote the minimal discriminant of $C$. We prove that $-mathop{textrm{Art}} (mathcal{X}/S) leq u (Delta)$. As a corollary, we obtain that the number of components of the special fiber of $mathcal{X}$ is bounded above by $ u(Delta)+1$.
We describe a method to show that certain elliptic surfaces do not admit purely inseparable multisections (equivalently, that genus one curves over function fields admit no points over the perfect closure of the base field) and use it to show that any non-Jacobian elliptic structure on a very general supersingular K3 surface has no purely inseparable multisections. We also describe specific examples of such fibrations without purely inseparable multisections. Finally, we discuss the consequences for the claimed proof of the Artin conjecture on unirationality of supersingular K3 surfaces.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
