Families of elliptic curves with rational torsion points of even order
This paper is a follow up of arXiv:1702.02255 [math.NT]. We construct explicitly versal families of elliptic curves with rational points of order 4, 6, 8, 10, 12 respectively.
arXiv subjects
Publications and source records attributed to Yuri G. Zarhin.
This paper is a follow up of arXiv:1702.02255 [math.NT]. We construct explicitly versal families of elliptic curves with rational points of order 4, 6, 8, 10, 12 respectively.
Let $W$ be a quasiprojective variety over an algebraically closed field of characteristic zero. Assume that $W$ is birational to a product of a smooth projective variety $A$ and the projective line. We prove that if $A$ contains no rational curves then the automorphism group $G:=Aut(W)$ of $W$ is Jordan. That means that there is a positive integer $J=J(W)$ such that every finite subgroup $\mathcal{B}$ of ${G}$ contains a commutative subgroup $\mathcal{A}$ such that $\mathcal{A}$ is normal in $\mathcal{B}$ and the index $[\mathcal{B}:\mathcal{A}] \le J$ .
We study Kummer varieties attached to 2-coverings of abelian varieties of arbitrary dimension. Over a number field we show that the subgroup of odd order elements of the Brauer group does not obstruct the Hasse principle. Sufficient conditions for the triviality of the Brauer group are given, which allow us to give an example of a Kummer K3 surface of geometric Picard rank 17 over the rationals with trivial Brauer group. We establish the non-emptyness of the Brauer--Manin set of everywhere locally soluble Kummer varieties attached to 2-coverings of products of hyperelliptic Jacobians with large Galois action on 2-torsion.
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] .
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 zero point of $J$). For each point $P=(a,b)\in C(K)$ there are $2^{2g}$ points $\frac{1}{2}P \in J(K)$. We describe explicitly the Mumford represesentations of all $\frac{1}{2}P$. The rationality questions for $\frac{1}{2}P$ are also discussed.
Let K be a field of characteristic zero, n>4 an integer, f(x) an irreducible polynomial over K of degree n, whose Galois group is doubly transitive simple non-abelian group. Let p be an odd prime, Z[ζ_p] the ring of integers in the p-th cyclotomic field, C_{f,p}:y^p=f(x) the corresponding superelliptic curve and J(C_{f,p}) its jacobian. Assuming that either n=p+1 or p does not divide n(n-1), we prove that the ring of all endomorphisms of J(C_{f,p}) coincides with Z[ζ_p].
A group $G$ is called Jordan if there is a positive integer $J=J_G$ such that every finite subgroup $\mathcal{B}$ of $G$ contains a commutative subgroup $\mathcal{A}\subset \mathcal{B}$ such that $\mathcal{A}$ is normal in $\mathcal{B}$ and the index $[\mathcal{B}:\mathcal{A}] \le J$ (V.L. Popov). In this paper we deal with Jordaness properties of the groups $Bir(X)$ of birational automorphisms of irreducible smooth projective varieties $X$ over an algebraically closed field of characteristic zero. It is known (Yu. Prokhorov - C. Shramov) that $Bir(X)$ is Jordan if $X$ is non-uniruled. On the other hand, the second named author proved that $Bir(X)$ is not Jordan if $X$ is birational to a product of the projective line and a positive-dimensional abelian variety. We prove that $Bir(X)$ is Jordan if (uniruled) $X$ is a conic bundle over a non-uniruled variety $Y$ but is not birational to a product of $Y$ and the projective line. (Such a conic bundle exists only if $\dim(Y)\ge 2$.) When $Y$ is an abelian surface, this Jordaness property result gives an answer to a question of Prokhorov and Shramov.
We prove that the triviality of the Galois action on the suitably twisted odd-dimensional étale cohomogy group of a smooth projective varietiy with finite coefficients implies the existence of certain primitive roots of unity in the field of definition of the variety. This text was inspired by an exercise in Serre's Lectures on the Mordell--Weil theorem.
We discuss a non-computational elementary approach to a well-known criterion of divisibility by 2 in the group of rational points on an elliptic curve.
Let $E$ be an elliptic curve without CM that is defined over a number field $K$. For all but finitely many nonarchimedean places $v$ of $K$ there is the reduction $E(v)$ of $E$ at $v$ that is an elliptic curve over the residue field $k(v)$ at $v$. The set of $v$'s with ordinary $E(v)$ has density 1 (Serre). For such $v$ the endomorphism ring $End(E(v))$ of $E(v)$ is an order in an imaginary quadratic field. We prove that for any pair of relatively prime positive integers $N$ and $M$ there are infinitely many nonarchimedean places $v$ of $K$ such that the discriminant $Δ(v)$ of $End(E(v))$ is divisible by $N$ and the ratio $Δ(v)/N$ is relatively prime to $NM$. We also discuss similar questions for reductions of abelian varieties. The subject of this paper was inspired by an exercise in Serre's "Abelian $\ell$-adic representations and elliptic curves" and questions of Mihran Papikian and Alina Cojocaru.
We show that an element w of a free group F on n generators defines a surjective word map of PSL(2,C)^n onto PSL(2,C) unless w belongs to the second derived subgroup of F. We also describe certain words maps that are surjective on SL(2,C) x SL(2,C). Here C is the field of complex numbers.
The aim of this paper is to extend our old results about Galois action on the torsion points of abelian varieties to the case of (finitely generated) fields of characteristic 2.
We compute the Galois groups for a certain class of polynomials over the the field of rational numbers that was introduced by S. Mori and study the monodromy of corresponding hyperelliptic jacobians.
In this paper we discuss multiplicative relations between eigenvalues of Frobenius endomorphism of abelian varieties of small dimension over finite fields.
We prove that an analogue of Jordan's theorem on finite subgroups of general linear groups holds for the groups of biregular automorphisms of elliptic ruled surfaces. This gives a positive answer to a question of Vladimir L. Popov.
Let $K$ be a global field of characteristic different from 2 and $u(x)\in K[x]$ be an irreducible polynomial of even degree $2g\ge 6$, whose Galois group over $K$ is either the full symmetric group $S_{2g}$ or the alternating group $A_{2g}$. We describe explicitly how to choose (infinitely many) pairs of distinct elements $t_1, t_2$ of $K$ such that the $g$-dimensional jacobian of a hyperelliptic curve $y^2=(x-t_1)(x-t_2))u(x)$ has no nontrivial endomorphisms over an algebraic closure of $K$ and has big $\ell$-adic monodromy.
We prove that an analogue of Jordan's theorem on finite subgroups of general linear groups holds for the groups of biregular automorphisms of algebraic surfaces. This gives a positive answer to a question of Vladimir L. Popov.
We discuss tangent maps related to the multipliers of periodic points of a typical one-dimensional polynomial map.