SearcharxivSearch

arXiv subjects

Boris M. Bekker

Publications and source records attributed to Boris M. Bekker.

6 recordsLinked to original sources

Torsion points of small order on cyclic covers of $\mathbb{P}^1$. III

Let $d>1$ be an integer and $K_0$ a perfect field such that $char(K_0)$ does not divide $d$. Let $n>d$ be an integer that is prime to $d$. Let $f(x)\in K_0[x]$ be a degree $n$ monic polynomial without repeated roots, and $\mathcal{C}_{f,d}$ a smooth projective model of the affine curve $y^d=f(x)$. Let $J(\mathcal{C}_{f,d})$ be the Jacobian of the $K_0$-curve $\mathcal{C}_{f,d} $. As usual, we identify $\mathcal{C}_{f,d}$ with its canonical image in $J(\mathcal{C}_{f,d})$ (such that the only ``infinite point'' of $\mathcal{C}_{f,d}$ goes to the zero of the group law on $J(\mathcal{C}_{f,d})$). We say that an integer $m>1$ is $(n,d)$-reachable over $K_0$ if there exists a polynomial $f(x)$ as above such that $\mathcal{C}_{f,d}(K_0)$ contains a torsion point of order $m$. Let us put $\ell_0:=[(n+d)/d], \ m_0:=\ell_0 d$. Earlier we proved that if $m$ is $(n,d)$-reachable, then either $m=d$ or $m = n$ or $m \ge m_0$ (in addition, both $d$ and $n$ are $(n,d)$-reachable over every $K_0$). We also proved that if $m_0$ is $(n,d)$-reachable over some $K_0$ then $n-m_0+\ell_0\ge 0$. In the present paper we discuss the $(n,d)$-reachability of $m_0$ when $n-m_0+\ell_0=0$ or $1$.

math.NT

Torsion points of small order on cyclic covers of $\mathbb P^1$

Let $d\geq 2$ be a positive integer, $K$ an algebraically closed field of characteristic not dividing $d$, $n\geq d+1$ a positive integer that is prime to $d$, $f(x)\in K[x]$ a degree $n$ monic polynomial without multiple roots, $C_{f,d}: y^d=f(x)$ the corresponding smooth plane affine curve over $K$, $\mathcal{C}_{f,d}$ a smooth projective model of $C_{f,d}$ and $J(\mathcal{C}_{f,d})$ the Jacobian of $\mathcal{C}_{f,d} $. We identify $\mathcal{C}_{f,d}$ with the image of its canonical embedding into $J(\mathcal{C}_{f,d})$ (such that the infinite point of $\mathcal{C}_{f,d}$ goes to the zero of the group law on $J(\mathcal{C}_{f,d})$). Earlier the second named author proved that if $d=2$ and $n=2g+1 \ge 5$ then the genus $g$ hyperelliptic curve $\mathcal{C}_{f,2}$ contains no points of orders lying between $3$ and $n-1=2g$. In the present paper we generalize this result to the case of arbitrary $d$. Namely, we prove that if $P$ is a point of order $m>1$ on $\mathcal{C}_{f,d}$, then either $m=d$ or $m\geq n$. We also describe all curves $\mathcal{C}_{f,d}$ having a point of order $n$.

math.AG

Torsion points of small order on hyperelliptic curves

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 $3\le n\le 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$.

math.AG

Torsion Points of order 2g+1 on odd degree hyperelliptic curves of genus g

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.)

math.AG

The divisibility by 2 of rational points on elliptic curves

We give a simple proof of the well-known divisibility by 2 condition for rational points on elliptic curves with rational 2-torsion. As an application of the explicit division by $2^n$ formulas obtained in Sec.2, we construct versal families of elliptic curves containing points of orders 4, 5, 6, and 8 from which we obtain an explicit description of elliptic curves over certain finite fields $\mathbb{F}_q$ with a prescribed (small) group $E(\mathbb{F}_q)$. In the last two sections we study 3- and 5-torsion. This paper supercedes arXiv:1605.09279 [math.NT] .

math.NT