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 addition, when $K$ is a number field, we produce an upper bound to the logarithmic height of the discriminant of the extension $K(\mathcal{E}[m])/K$, for all $m\geq 3$. As a consequence, we give an explicit effective version of the hypotheses of the local-global divisibility problem in elliptic curves over number fields.
For a given point P in the group of K-rational points E(K) of an elliptic curve, we consider the sequence of values (F_1(P),F_2(P),F_3(P),...) of the division polynomials of E at P. If K is a finite field, we prove that the sequence is periodic. If K/Q_p is a local field, we prove (under certain hypotheses) that there is a power q=p^e so that for all m > 0, the limit as k goes to infinity of F_{mq^{k}}(P) exists in K and is algebraic over Q(E). We apply this result to prove an analogous p-adic limit and algebraicity result for elliptic divisibility sequences.
Let $U = (U_n)_{n \geq 0}$ be a Lucas sequence and, for every prime number $p$, let $ρ_U(p)$ be the rank of appearance of $p$ in $U$, that is, the smallest positive integer $k$ such that $p$ divides $U_k$, whenever it exists. Furthermore, let $d$ be an odd positive integer. Under some mild hypotheses, we prove an asymptotic formula for the number of primes $p \leq x$ such that $d$ divides $ρ_U(p)$, as $x \to +\infty$.
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.
We study the existence of primes and of primitive divisors in classical divisibility sequences defined over function fields. Under various hypotheses, we prove that Lucas sequences and elliptic divisibility sequences over function fields defined over number fields contain infinitely many irreducible elements. We also prove that an elliptic divisibility sequence over a function field has only finitely many terms lacking a primitive divisor.
An elliptic divisibility sequence (EDS) is a sequence of integers W_0,W_1,W_2,... generated by the nonlinear recursion satisfied by the division polyomials of an elliptic curve. We give a formula for the sign of W_n for unbounded nonsingular elliptic divisibility sequences. A typical case is Sign(W_n) = (-1)^[n*b] for an irrational real number b, where [x] denotes the greatest integer in x. As an application, we show that the associated sequence of absolute values |W_1|,|W_2|,|W_3|,... cannot be realized as the sequence counting fixed points of any (abstract) dynamical system.
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 $\mathcal{E}$ be a CM elliptic curve defined over a number field $K$, with Weiestrass form $y^3=x^3+bx$ or $y^2=x^3+c$. For every positive integer $m$, we denote by ${\mathcal{E}}[m]$ the $m$-torsion subgroup of ${\mathcal{E}}$ and by $K_m:=K({\mathcal{E}}[m])$ the $m$-th division field, i.e. the extension of $K$ generated by the coordinates of the points in ${\mathcal{E}}[m]$. We classify all fields $K_7$. In particular we give explicit generators for $K_7/K$ and produce all Galois groups ${\textrm{Gal}}(K_7/K)$. We also show some applications to the Local-Global Divisibility Problem and …
In this work we generalize the concept of injective module and develop a theory of divisibility for modules over a general ring, which provides a general and unified framework to study Kummer-like field extensions arising from commutative algebraic groups. With these tools we provide an effective bound for the degree of the field extensions arising from division points of elliptic curves, extending previous results of Javan Peykar for CM curves and of Lombardo and the author for the non-CM case.
A prime number $p$ is said to be irregular if it divides the class number of the $p$-th cyclotomic field $\mathbb{Q}(ζ_{p}) = \mathbb{Q}(\mathbb{G}_m[p])$. In this paper, we study its elliptic analogue for the division fields of an elliptic curve. More precisely, for a prime number $p \geq 5$ and a positive integer $n$, we study the $p$-divisibility of the class number of the $p^{n}$-division field $\mathbb{Q}(E[p^{n}])$ of an elliptic curve $E$ of the form $y^{2} = x^{3}-(s^{4}+t^{2})x$. In particular, we construct a certain infinite subfamily consisting of curves with novel properties that t…
Periods modulo $p$ of integer sequences associated with division polynomials of genus $2$ curves
Institute of Mathematics for Industry, Kyushu University（九州大学产业数学研究所）；Department of Mathematics, Faculty of Science, Kyoto University（京都大学理学部数学科）；Department of Mathematics, Cooperative Faculty of Education, Gunma University（群马大学教育学部协同数学科）；Department of Mathematics, Graduate School of Science, Kobe University（神户大学理学研究数理学科）；Department of Mathematical Sciences, Graduate School of Science, Tokyo Metropolitan University（东京都立大学理学研究科数学科学系）
Let $F$ be a field, $\ell$ a prime and $D$ a central division $F$-algebra of $\ell$-power degree. By the Rost kernel of $D$ we mean the subgroup of $F^*$ consisting of elements $λ$ such that the cohomology class $(D)\cup (λ)\in H^3(F,\,\mathbb{Q}_{\ell}/\mathbb{Z}_{\ell}(2))$ vanishes. In 1985, Suslin conjectured that the Rost kernel is generated by $i$-th powers of reduced norms from $D^{\otimes i},\,\forall i\ge 1$. Despite of known counterexamples, we prove some new cases of Suslin's conjecture. We assume $F$ is a henselian discrete valuation field with residue field $k$ of characteristic d…
For integers $N\geq 3$ and $g\geq 1$, we study bounds on the cardinality of the set of points of order dividing $N$ lying on a hyperelliptic curve of genus $g$ embedded in its jacobian using a Weierstrass point as base point. This leads us to revisit division polynomials introduced by Cantor in 1995 and strengthen a divisibility result proved by him. Several examples are discussed.
Let $K$ be a local field of residue characteristic $p$. Let $C$ be a curve over $K$ whose minimal proper regular model has totally degenerate semi-stable reduction. Under certain hypotheses, we compute the prime-to-$p$ rational torsion subgroup on the Jacobian of $C$. We also determine divisibility of line bundles on $C$, including rationality of theta characteristics and higher spin structures. These computations utilize arithmetic on the special fiber of $C$.
In this paper we prove some divisibility properties of the cardinality of elliptic curves modulo primes. These proofs explain the good behavior of certain parameters when using Montgomery or Edwards curves in the setting of the elliptic curve method (ECM) for integer factorization. The ideas of the proofs help us to find new families of elliptic curves with good division properties which increase the success probability of ECM.
We give two explicit sets of generators of the group of invertible regular functions over QQ on the modular curve Y1(N). The first set of generators is very surprising. It is essentially the set of defining equations of Y1(k) for k <= N/2 when all these modular curves are simultaneously embedded into the affine plane, and this proves a conjecture of Derickx and Van Hoeij. This set of generators is an elliptic divisibility sequence in the sense that it satisfies the same recurrence relation as the elliptic division polynomials. The second set of generators is explicit in terms of classical anal…
Let $E$ be an elliptic curve---defined over a number field $K$---without complex multiplication and with good ordinary reduction at all the primes above a rational prime $p \geq 5$. We construct a pairing on the dual $p^\infty$-Selmer group of $E$ over any strongly admissible $p$-adic Lie extension $K_\infty/K$ under the assumption that it is a torsion module over the Iwasawa algebra of the Galois group $G=\operatorname{Gal}(K_\infty/K)$. Under some mild additional hypotheses this gives an algebraic functional equation of the conjectured $p$-adic L-function. As an application we construct comp…
