Let $\ell$ be a prime and let $n\geq 1$. In this note we show that if there is a non-cuspidal, non-CM isolated point $x$ with a rational $j$-invariant on the modular curve $X_1(\ell^n)$, then $\ell=37$ and the $j$-invariant of $x$ is either $7\cdot11^3$ or $-7.137^3\cdot2083^3$. The reverse implication holds for the first j-invariant but it is currently unknown whether or not it holds for the second.
For a large class of isotrivial rational elliptic surfaces (with section), we show that the set of rational points is dense for the Zariski topology, by carefully studying variations of root numbers among the fibers of these surfaces. We also prove that these surfaces satisfy a variant of weak-weak approximation. Our results are conditional on the finiteness of Tate-Shafarevich groups for elliptic curves over the field of rational numbers.
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 $C$ be a curve defined over a number field $k$. We say a closed point $x\in C$ of degree $d$ is isolated if it does not belong to an infinite family of degree $d$ points parametrized by the projective line or a positive rank abelian subvariety of the curve's Jacobian. Building on work of Bourdon, Ejder, Liu, Odumodu, and Viray, we characterize elliptic curves with rational $j$-invariant which give rise to an isolated point of odd degree on $X_1(N)/\mathbb{Q}$ for some positive integer $N$.
I provide methods of constructing elliptic and hyperelliptic curves over global fields with interesting rational points over the given fields or over large field extensions. I also provide a elliptic curves defined over any given number field equipped with a rational point, (resp. with two rational points) of infinite order over the given number field, and elliptic curves over the rationals with two rational points over `simplest cubic fields.' I also provide hyperelliptic curves of genus exceeding any given number over any given number fields with points (over the given number field) which sp…
We study rational points on conic bundles over elliptic curves with positive rank over a number field. We show that the etale Brauer-Manin obstruction is insufficient to explain failures of the Hasse principle for such varieties. We then further consider properties of the distribution of the set of rational points with respect to its image in the rational points of the elliptic curve. In the process, we prove results on a local-to-global principle for torsion points on elliptic curves over $\mathbb{Q}$.
Let $A$ be an elliptic curve over $\Q$ of square free conductor $N$. We prove that if $A$ has a rational torsion point of prime order $r$ such that $r$ does not divide $6N$, then $r$ divides the order of the cuspidal subgroup of $J_0(N)$.
Let $\mathscr{E}\rightarrow\mathbb{P}^1_\mathbb{Q}$ be a non-trivial rational elliptic surface over $\mathbb{Q}$ with base $\mathbb{P}^1_\mathbb{Q}$ (with a section). We conjecture that any non-trivial elliptic surface has a Zariski-dense set of $\mathbb{Q}$-rational points. In this paper we work on solving the conjecture in case $\mathscr{E}$ is rational by means of geometric and analytic methods. First, we show that for $\mathscr{E}$ rational, the set $\mathscr{E}(\mathbb{Q})$ is Zariski-dense when $\mathscr{E}$ is isotrivial with non-zero $j$-invariant and when $\mathscr{E}$ is non-isotrivi…
Let $X$ be a K3 surface defined over a number field $K$. Assume that $X$ admits a structure of an elliptic fibration or an infinite group of automorphisms. Then there exists a finite extension $K'/K$ such that the set of $K'$-rational points is Zariski dense in $X$.
In studying rational points on elliptic K3 surfaces of the form $f(t)y^2=g(x)$, where $f,g$ are cubic or quartic polynomials (without repeated roots), we introduce a condition on the quadratic twists of two elliptic curves having simultaneously positive Mordell-Weil rank. We prove a necessary and sufficient condition for the Zariski density of rational points by using this condition, and we relate it to the Hilbert property. Applying to surfaces of Cassels-Schinzel type, we prove unconditionally that rational points are dense both in Zariski topology and in real topology.
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] .
Corvaja and Zannier conjectured that an abelian variety over a number field satisfies a modified version of the Hilbert property. We investigate their conjecture for products of elliptic curves using Kawamata's structure result for ramified covers of abelian varieties, and Faltings's finiteness theorem for rational points on higher genus curves.
Let E be an elliptic curve defined over Q. We study the relationship between the torsion subgroup E(Q)_tors and the torsion subgroup E(K)_tors, where K is a quadratic number field.
We unconditionally determine $I_\Q(d)$, the set of possible prime degrees of cyclic $K$-isogneies of elliptic curves with $\Q$-rational $j$-invariants and without complex multiplication over number fields $K$ of degree $\leq d$, for $d\leq 7$, and give an upper bound for $I_\Q(d)$ for $d>7$. Assuming Serre's uniformity conjecture, we determine $I_\Q(d)$ exactly for all positive integers $d$.
A collection of varieties satisfies uniform potential density if each of them contains a dense subset of rational points after extending its ground field by a bounded degree. In this paper, we prove that uniform potential density holds for connected algebraic groups of a fixed dimension over fields of characteristic zero as well as elliptic K3 surfaces over number fields.
For any positive integer $N$, we completely determine the structure of the rational cuspidal divisor class group of $X_0(N)$, which is conjecturally equal to the rational torsion subgroup of $J_0(N)$. More specifically, for a given prime $\ell$, we construct a rational cuspidal divisor $Z_\ell(d)$ for any non-trivial divisor $d$ of $N$. Also, we compute the order of the linear equivalence class of the divisor $Z_\ell(d)$ and show that the $\ell$-primary subgroup of the rational cuspidal divisor class group of $X_0(N)$ is isomorphic to the direct sum of the cyclic subgroups generated by the lin…
I provide a systematic construction of points (defined over number fields) on Legendre elliptic curves over $\mathbb{Q}$: for any odd integer $n\geq 3$ my method constructs $n$ points on the Legendre curve and I show that rank of the subgroup of the Mordell-Weil group they generate is $n$ if $n\geq 7$. I also show that every elliptic curve over any number field admits similar type of points after a finite base extension.
Let E be an elliptic curve defined over Q. We study the relationship between the torsion subgroup E(Q)_tors and the torsion subgroup E(K)_tors, where K is a cubic number field. In particular, We study the number of cubic number fields K such that E(Q)_tors\neq E(K)_tors.
Let E be an elliptic curve defined over Q and let G = E(Q)_tors be the associated torsion subgroup. We study, for a given G, which possible groups G <= H could appear such that H=E(K)_tors, for [K:Q]=4 and H is one of the possible torsion structures that occur infinitely often as torsion structures of elliptic curves defined over quartic number fields.
In this paper I demonstrate that any pair (m, n) of non-zero and distinct rational numbers may have, at most, four representations as the product of two rational factors such that the sum of factors of m coincides with the sum of factors of n. In the second part of the paper I derive the properties of elliptic curves such that the cubic has rational roots that satisfy this property
Let $b \ge 2$ and $\ell \ge 1$ be integers. We establish that there is an absolute real number $K$ such that all the partial quotients of the rational number $$ \prod_{h = 0}^\ell \, (1 - b^{-2^h}), $$ of denominator $b^{2^{\ell+1} - 1}$, do not exceed $\exp(K (\log b)^2 \sqrt{\ell} 2^{\ell/2})$.
We prove that a positive proportion of squarefree integers are congruent numbers such that the canonical height of the lowest non-torsion rational point on the corresponding elliptic curve satisfies a strong lower bound.
In this note we give an algorithm to explicitly construct the modular parametrization of an elliptic curve over the rationals given the Weierstrass function $\wp (z)$.
We call a simple abelian variety over $\mathbb{F}_p$ super-isolated if its ($\mathbb{F}_p$-rational) isogeny class contains no other varieties. The motivation for considering these varieties comes from concerns about isogeny based attacks on the discrete log problem. We heuristically estimate that the number of super-isolated elliptic curves over $\mathbb{F}_p$ with prime order and $p \leq N$, is roughly $\tildeΘ(\sqrt{N})$. In contrast, we prove that there are only 2 super-isolated surfaces of cryptographic size and near-prime order.
We give a complete characterization for the rational torsion of an elliptic curve in terms of the (non-)existence of integral solutions of a system of diophantine equations.
We give a list of $PGL_2(\mathbb{F}_\ell)$ number fields for $\ell \geq 11$ which have rational companion forms. Our list has fifty-three fields and seems likely to be complete. Some of the fields on our list are very lightly ramified for their Galois group.
We generalize a result of Frey [Fre88] on the Selmer group of twists of elliptic curves over Q with Q-rational torsion points to elliptic curves defined over number fields of small degree K with a K-rational point. We also provide examples of elliptic curves coming from [Zyw15] that satisfy the conditions of our Theorem B.
If P is an algebraic point on a commutative group scheme A/K, then P is _almost_rational_ if no two non-trivial Galois conjugates sigma(P), tau(P), have sum equal to 2P. In this paper, we classify almost rational torsion points on semistable elliptic curves over Q.
Let $E/\mathbb{Q}$ be an elliptic curve over the rational numbers. It is known, by the work of Bombieri and Zannier, that if $E$ has full rational $2$-torsion, the number $N_E(B)$ of rational points with Weil height bounded by $B$ is $\exp\left(O\left(\frac{\log B}{\sqrt{\log\log B}}\right)\right)$. In this paper we exploit the method of descent via $2$-isogeny to extend this result to elliptic curves with just one nontrivial rational $2$-torsion point. Moreover, we make use of a result of Petsche to derive the stronger upper bound $N_{E}(B) = \exp\left(O\left(\frac{\log B}{\log\log B}\right)\…
In this article we present a characterization of elliptic curves defined over a finite field Fq which possess a rational subgroup of order three. There are two posible cases depending on the rationality of the points in these groups. We show that for finite fields Fq, q= -1 mod 3, all elliptic curves with a point of order 3, they have another rational subgroup whose points are not defined over the finite field. If q = 1 mod 3, this is no true; but there exits a one to one correspondence between curves with points of order 3 and curves with rational subgroups whose points are not rational.
We consider elliptic surfaces whose coefficients are degree $2$ polynomials in a variable $T$. It was recently shown that for infinitely many rational values of $T$ the resulting elliptic curves have rank at least $1$. In this article, we prove that the Mordell-Weil rank of each such elliptic surface is at most $6$ over $\mathbb Q$. In fact, we show that the Mordell-Weil rank of these elliptic surfaces is controlled by the number of zeros of a certain polynomial over $\mathbb Q$.
We prove that the family $\mathcal{I}_{F_0}$ of elliptic curves over number fields that are geometrically isogenous to an elliptic curve with $F_0$-rational $j$-invariant is typically bounded in torsion. Under an additional uniformity assumption, we also prove that the family $\mathcal{I}_{d_0}$ of elliptic curves over number fields that are geometrically isogenous to an elliptic curve with degree $d_0$ $j$-invariant is typically bounded in torsion.
In this paper, the proof of the existence of a rational point on an elliptic curve is transformed into the proof of the existence of an integer solution for a Diophantine equation. By a new formula for calculating the number of elements in intersection of two finite sets, a necessary and sufficient condition for existence of a rational point on an elliptic curve is established. This condition is different from L-function in the Birch and Swinnerton-Dyer conjecture.
The classification of elliptic curves E over the rationals Q is studied according to their torsion subgroups E_{tors}(Q) of rational points. Explicit criteria for the classification are given when E_{tors}(Q) are cyclic groups with even orders. The generator points P of E_{tors}(Q) are also explicitly presented in each case. These results, together with recent results of K. Ono, completely solve the problem of the mentioned explicit classification when E has a rational point of order 2.
We show that two ordinary isogenous elliptic curves have isomorphic groups of rational points if they have the same $j$-invariant and we extend this result to certain isogenous supersingular elliptic curves, namely those with equal $j$-invariant of either 0 or 1728. Using a result by Heuberger and Mazzoli we establish a general case of this relationship within isogenous elliptic curves not necessarily having equal $j$-invariant.
Given $k \geq 2$, we show that there are at most finitely many rational numbers $x$ and $y \neq 0$ and integers $\ell \geq 2$ (with $(k,\ell) \neq (2,2)$) for which $$ x (x+1) \cdots (x+k-1) = y^\ell. $$ In particular, if we assume that $\ell$ is prime, then all such triples $(x,y,\ell)$ satisfy either $y=0$ or $\log \ell < 3^k$.
We classify the possible torsion structures of rational elliptic curves over cubic fields. Along the way we find a previously unknown torsion structure over a cubic field, $\Z /21 \Z$, which corresponds to a sporadic point on $X_1(21)$ of degree 3, which is the lowest possible degree of a sporadic point on a modular curve $X_1(n)$.
In this short note we show that the uniform abc-conjecture over number fields puts strong restrictions on the coordinates of rational points on elliptic curves. For the proof we use a variant of the uniform abc-conjecture over number fields formulated by Mochizuki. As an application, we generalize a result of Silverman on elliptic non-Wieferich primes.
Let $E$ be an elliptic curve defined over $\mathbb{Q}$, and let $K$ be a number field of degree four that is Galois over $\mathbb{Q}$. The goal of this article is to classify the different isomorphism types of $E(K)_{\text{tors}}$.
We consider the structure of rational points on elliptic curves in Weierstrass form. Let x(P)=A_P/B_P^2 denote the $x$-coordinate of the rational point P then we consider when B_P can be a prime power. Using Faltings' Theorem we show that for a fixed power greater than 1, there are only finitely many rational points. Where descent via an isogeny is possible we show, with no restrictions on the power, that there are only finitely many rational points, these points are bounded in number in an explicit fashion, and that they are effectively computable.
Let E/k be an elliptic curve over a number field. We obtain some quantitative refinements of results of Hindry-Silverman, giving an upper bound for the number of k-rational torsion points, and a lower bound for the canonical height of non-torsion k-rational points, in terms of expressions depending explicitly on the degree of k and the Szpiro ratio of E/k. The bounds exhibit only polynomial dependence on both quantities.
Let $E/\mathbb{Q}$ be an elliptic curve and let $\mathbb{Q}(D_4^\infty)$ be the compositum of all extensions of $\mathbb{Q}$ whose Galois closure has Galois group isomorphic to a quotient of a subdirect product of a finite number of transitive subgroups of $D_4$. In this article we first show that $\mathbb{Q}(D_4^\infty)$ is in fact the compositum of all $D_4$ extensions of $\mathbb{Q}$ and then we prove that the torsion subgroup of $E(\mathbb{Q}(D_4^\infty))$ is finite and determine the 24 possibilities for its structure. We also give a complete classification of the elliptic curves that have…
We formulate a conjecture about the distribution of the canonical height of the lowest non-torsion rational point on a quadratic twist of a given elliptic curve, as the twist varies. This conjecture seems to be very deep and we can only prove partial results in this direction.
We explain how recent work on 3-descent and 4-descent for elliptic curves over Q can be combined to search for generators of the Mordell-Weil group of large height. As an application we show that every elliptic curve of prime conductor in the Stein-Watkins database has rank at least as large as predicted by the conjecture of Birch and Swinnerton-Dyer.
A rational perfect cuboid is a rectangular parallelepiped whose edges and face diagonals are given by rational numbers and whose space diagonal is equal to unity. It is described by a system of four equations with respect to six variables. The cuboid factor equations were derived from these four equations by symmetrization procedure. They constitute a system of eight polynomial equations, which has been solved parametrically. In the present paper its parametric solution is expressed through intersections or rational and elliptic curves arranged into parametric families.
The family of Euclidean triangles having some fixed perimeter and area can be identified with a subset of points on a nonsingular cubic plane curve, i.e., an elliptic curve; furthermore, if the perimeter and the square of the area are rational, then the curve has rational coordinates and those triangles with rational side lengths correspond to rational points on the curve. We first recall this connection, and then we develop hyperbolic analogs. There are interesting relationships between the arithmetic on the elliptic curve (rank and torsion) and the family of triangles living on it. In the hy…
Let $\ell$ be an odd prime and $d$ a positive integer. We determine when there exists a degree-$d$ number field $K$ and an elliptic curve $E/K$ with $j(E)\in\mathbb{Q}\setminus\{0,1728\}$ for which $E(K)_{\mathrm{tors}}$ contains a point of order $\ell$. We also determine when there exists such a pair $(K,E)$ for which the image of the associated mod-$\ell$ Galois representation is contained in a Cartan subgroup or its normalizer, conditionally on a conjecture of Sutherland. We do the same under the stronger assumption that $E$ is defined over $\mathbb{Q}$.
By Mazur's Torsion Theorem, there are fourteen possibilities for the non-trivial torsion subgroup $T$ of a rational elliptic curve. For each $T$, such that $E$ may have additive reduction at a prime $p$, we consider a parameterized family $E_T$ of elliptic curves with the property that they parameterize all elliptic curves $E/\mathbb{Q}$ which contain $T$ in their torsion subgroup. Using these parameterized families, we explicitly classify the Kodaira-Néron type, the conductor exponent, and the local Tamagawa number at each prime $p$ where $E/\mathbb{Q}$ has additive reduction. As a consequenc…
In this paper we study the number of rational points on curves in an ensemble of abelian covers of the projective line: Let $\ell$ be a prime, $q$ a prime power and consider the ensemble $\mathcal{H}_{g,\ell}$ of $\ell$-cyclic covers of $\mathbb{P}^1_{\mathbb{F}_q}$ of genus $g$. We assume that $q\not\equiv 0,1\mod \ell$. If $2g+2\ell-2\not\equiv0\mod (\ell-1){\rm ord}_\ell(q)$, then $\mathcal{H}_{g,\ell}$ is empty. Otherwise, the number of rational points on a random curve in $\mathcal{H}_{g,\ell}$ distributes as $\sum_{i=1}^{q+1} X_i$ as $g\to \infty$, where $X_1,\ldots, X_{q+1}$ are i.i.d.\…
Let $E$ be an elliptic curve over a number field $K$. Descent calculations on $E$ can be used to find upper bounds for the rank of the Mordell-Weil group, and to compute covering curves that assist in the search for generators of this group. The general method of 4-descent, developed in the PhD theses of Siksek, Womack and Stamminger, has been implemented in Magma (when $K={\mathbb Q}$) and works well for elliptic curves with sufficiently small discriminant. By extending work of Bremner and Cassels, we describe the improvements that can be made when $E$ has a rational 2-torsion point. In parti…
