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] .
We prove an optimal Zsigmondy bound for elliptic divisibility sequences over function fields in case the $j$-invariant of the elliptic curve is constant. In more detail, given an elliptic curve $E$ with a point $P$ of infinite order, the sequence $D_1$, $D_2, \ldots$ of denominators of multiples $P$, $2P,\ldots$ of $P$ is a strong divisibility sequence in the sense that $\gcd(D_m, D_n) = D_{\gcd(m,n)}$. This is the genus-one analogue of the genus-zero Fibonacci, Lucas and Lehmer sequences. A number $N$ is called a Zsigmondy bound of the sequence if each term $D_{n}$ with $n>N$ presents a new p…
We consider elliptic surfaces $\mathcal{E}$ over a field $k$ equipped with zero section $O$ and another section $P$ of infinite order. If $k$ has characteristic zero, we show there are only finitely many points where $O$ is tangent to a multiple of $P$. Equivalently, there is a finite list of integers such that if $n$ is not divisible by any of them, then $nP$ is not tangent to $O$. Such tangencies can be interpreted as unlikely intersections. If $k$ has characteristic zero or $p>3$ and $\mathcal{E}$ is very general, then we show there are no tangencies between $O$ and $nP$. We apply these res…
We prove that there are finitely many perfect powers in elliptic divisibility sequences generated by a non-integral point on elliptic curves of the from $y^2=x(x^2+b)$, where $b$ is any positive integer. We achieve this by using the modularity of elliptic curves over real quadratic number fields.
We consider the local-global principle for divisibility in the Mordell-Weil group of a CM elliptic curve defined over a number field. For each prime $p$ we give sharp lower bounds on the degree $d$ of a number field over which there exists a CM elliptic curve which gives a counterexample to the local-global principle for divisibility by a power of $p$. As a corollary we deduce that there are at most finitely many elliptic curves (with or without CM) which are counterexamples with $p > 2d+1$. We also deduce that the local-global principle for divisibility by powers of $7$ holds over quadratic f…
For a pair $(E,P)$ of an elliptic curve $E/\mathbb{Q}$ and a nontorsion point $P\in E(\mathbb{Q})$, the sequence of \emph{elliptic Fermat numbers} is defined by taking quotients of terms in the corresponding elliptic divisibility sequence $(D_{n})_{n\in\mathbb{N}}$ with index powers of two, i.e. $D_{1}$, $D_{2}/D_{1}$, $D_{4}/D_{2}$, etc. Elliptic Fermat numbers share many properties with the classical Fermat numbers, $F_{k}=2^{2^k}+1$. In the present paper, we show that for magnified elliptic Fermat sequences, only finitely many terms are prime. We also define \emph{generalized elliptic Ferma…
The class number divisibility problem for number fields is one of the classical problems in algebraic number theory, which originated from Gauss' class number conjectures. The relation between the points on an elliptic curve and class number divisibility of a number field has been explored through the works of various mathematicians. Here, we explicitly construct an unramified abelian extension of a bi-quadratic field generated from points of a certain type of elliptic curve. Moreover, showing the $2$-Selmer rank of the said elliptic curve as $1$, we also construct an infinite family of bi-qua…
On local-global divisibility by $p^2$ in elliptic curves
设$ p $是大于3的素数。令$k$为数字字段，其不包含$p$度超过$\mathbb{Q}$的$\mathbb{Q} (ζ_{p^2})$子字段。假设$\mathcal{E}$是定义在$k$上的椭圆曲线。证明了在$\mathcal{E}$中存在$p^2$的局部-整体整除性的反例，保证了在$\mathcal{E}$中存在$k$ -有理点的精确阶$p$.利用Merel定理，我们缩小了已知的素数集，对于这些素数，可以有一个反例来证明$p^2$的局部-整体整除性。
Let $p \geq 5$ be a prime number. We find all the possible subgroups $G$ of ${\rm GL}_2 ( \mathbb{Z} / p \mathbb{Z} )$ such that there exists a number field $k$ and an elliptic curve ${\mathcal{E}}$ defined over $k$ such that the ${\rm Gal} ( k ( {\mathcal{E}}[p] ) / k )$-module ${\mathcal{E}}[p]$ is isomorphic to the $G$-module $( \mathbb{Z} / p \mathbb{Z} )^2$ and there exists $n \in \mathbb{N}$ such that the local-global divisibility by $p^n$ does not hold over ${\mathcal{E}} ( k )$.
Let $\mathbf{D}=(D_{n})_{n\geq 1}$ be an elliptic divisibility sequence associated to the pair $(E,P)$. For a fixed integer $k$, we define $\mathscr{A}_{E,k}=\{n\geq 1 : \gcd(n,D_{n})=k\}$. We give an explicit structural description of $\mathscr{A}_{E,k}$. Also, we explain when $\mathscr{A}_{E,k}$ has positive asymptotic density using bounds related to the distribution of trace of Frobenius of $E$. Furthermore, we get explicit density of $\mathscr{A}_{E,k}$ using the Möbius function.
Let $C$ be a smooth genus one curve described by a quartic polynomial equation over the rational field $\mathbb Q$ with $P\in C(\mathbb Q)$. We give an explicit criterion for the divisibility-by-$2$ of a rational point on the elliptic curve $(C,P)$. This provides an analogue to the classical criterion of the divisibility-by-$2$ on elliptic curves described by Weierstrass equations. We employ this criterion to investigate the question of extending a rational $D(q)$-quadruple to a quintuple. We give concrete examples to which we can give an affirmative answer. One of these results implies that a…
Let $p$ be a prime number and let $k$ be a number field. Let $E$ be an elliptic curve defined over $k$. We prove that if $p$ is odd, then the local-global divisibility by any power of $p$ holds for the torsion points of $E$. We also show with an example that the hypothesis over $p$ is necessary. We get a weak generalization of the result on elliptic curves to the larger family of ${\rm GL}_2$-type varieties over $k$. In the special case of the abelian surfaces $A/k$ with quaternionic multiplication over $k$ we obtain that for all prime $p$, except a finite number depending on $A$, the local-gl…
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.
Diophantine problems involving recurrence sequences have a long history and is an actively studied topic within number theory. In this paper, we connect to the field by considering the equation \begin{align*} B_mB_{m+d}\dots B_{m+(k-1)d}=y^\ell \end{align*} in positive integers $m,d,k,y$ with $\gcd(m,d)=1$ and $k\geq 2$, where $\ell\geq 2$ is a fixed integer and $B=(B_n)_{n=1}^\infty$ is an elliptic divisibility sequence, an important class of non-linear recurrences. We prove that the above equation admits only finitely many solutions. In fact, we present an algorithm to find all possible solu…
We investigate some aspects of the $m$-division field $K({\mathcal{E}}[m])$, where $\mathcal{E}$ is an elliptic curve defined over a field $K$ with ${\textrm{char}}(K)\neq 2,3$ and $m$ is a positive integer. When $m=p^r$, with $p\geq 5$ a prime and $r$ a positive integer, we prove $K(\mathcal{E}[p^r])=K(x_1,ζ_p,y_2)$, where $\{(x_1, y_1),(x_2,y_2)\}$ is a generating system of ${\mathcal{E}}[p^r]$ and $ζ_p$ is a primitive $p$-th root of the unity. If $\mathcal{E}$ has a $K$-rational point of order $p$, then $K(\mathcal{E}[p^r])=K(ζ_{p^r},\sqrt[m_1]{a})$, with $a\in K(ζ_{p^r})$ and $m_1|p^r$. In…
Let $E/\mathbb{Q}$ be an optimal elliptic curve of analytic rank zero. It follows from the Birch and Swinnerton-Dyer conjecture for elliptic curves of analytic rank zero that the order of the torsion subgroup of $E/\mathbb{Q}$ divides the product of the order of the Shafarevich--Tate group of $E/\mathbb{Q}$, the (global) Tamagawa number of $E/\mathbb{Q}$, and the Tamagawa number of $E/\mathbb{Q}$ at infinity. This consequence of the Birch and Swinnerton-Dyer conjecture was noticed by Agashe and Stein in 2005. In this paper, we prove this divisibility statement unconditionally in many cases, in…
Let $P(m)$ denote the greatest prime factor of $m$. For integer $a>1$, M. Ram Murty and S. Wong proved that, under the assumption of the ABC conjecture, $$P(a^n-1)\gg_{ε, a} n^{2-ε}$$ for any $ε>0$. We study analogues results for the corresponding divisibility sequence over the function field $\mathbb{F}_q(t)$ and for some divisibility sequences associated to elliptic curves over the rational field $\mathbb{Q}$.
A theorem of Serre states that almost all plane conics over $\mathbb{Q}$ have no rational point. We prove an analogue of this for families of conics parametrised by elliptic curves using elliptic divisibility sequences and a version of the Selberg sieve for elliptic curves. We also give more general results for specialisations of Brauer groups, which yields applications to norm form equations.
We give a generalization of a theorem of Silverman and Stephens regarding the signs in an elliptic divisibility sequence to the case of an elliptic net. We also describe applications of this theorem in the study of the distribution of the signs in elliptic nets and generating elliptic nets using the denominators of the linear combination of points on elliptic curves.
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.
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}$.
