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 to modular curves.
In this paper we will give a global description of the Frobenius for the division fields of an elliptic curve E which is strictly analogous to the cyclotomic case. This is then applied to determine the splitting of a prime p in subfields of such a division field. Such fields include a large class of non-solvable quintic extensions and our application provides an arithmetic counterpart to Klein's "solution" of quintic equations using elliptic functions. A central role is played by the discriminant of the ring of endomorphisms of the elliptic curve reduced modulo p.
For various positive integers $n$, we show the existence of infinite families of elliptic curves over $\mathbb{Q}$ with $n$-division fields, $\mathbb{Q}(E[n])$, that are not monogenic, i.e., the ring of integers does not admit a power integral basis. We parametrize some of these families explicitly. Moreover, we show that every $E/\mathbb{Q}$ without CM has infinitely many non-monogenic division fields. Our main technique combines a global description of the Frobenius obtained by Duke and Tóth with a simple algorithm based on ideas of Dedekind.
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…
For every elliptic curve $E$ which has complex multiplication (CM) and is defined over a number field $F$ containing the CM field $K$, we prove that the family of $p^{\infty}$-division fields of $E$, with $p \in \mathbb{N}$ prime, becomes linearly disjoint over $F$ after removing an explicit finite subfamily of fields. We then give a necessary condition for this finite subfamily to be entangled over $F$, which is always met when $F = K$. In this case, and under the further assumption that the elliptic curve $E$ is obtained as a base-change from $\mathbb{Q}$, we describe in detail the entanglem…
One of the many interesting algebraic objects associated to a given rational elliptic curve, $E$, is its full-torsion representation $ρ_E:\mathrm{Gal}(\bar{\mathbf{Q}}/\mathbf{Q})\to\mathrm{GL}_2(\hat{\mathbf{Z}})$. Generalizing this idea, one can create another full-torsion Galois representation, $ρ_{(E_1,E_2)}:\mathrm{Gal}(\bar{\mathbf{Q}}/\mathbf{Q})\to\left(\mathrm{GL}_2(\hat{\mathbf{Z}})\right)^2$ associated to a pair $(E_1,E_2)$ of rational elliptic curves. The goal of this paper is to provide an infinite number of concrete examples of pairs of elliptic curves whose associated full-torsi…
Let $K$ be a field of characteristic different from $2$ and let $E$ be an elliptic curve over $K$, defined either by an equation of the form $y^{2} = f(x)$ with degree $3$ or as the Jacobian of a curve defined by an equation of the form $y^{2} = f(x)$ with degree $4$. We obtain generators over $K$ of the $8$-division field $K(E[8])$ of $E$ given as formulas in terms of the roots of the polynomial $f$, and we explicitly describe the action of a particular automorphism in $\mathrm{Gal}(K(E[8]) / K)$.
Let $k$ be a global field, let $A$ be a Dedekind domain with $\text{Quot}(A) = k$, and let $K$ be a finitely generated field. Using a unified approach for both elliptic curves and Drinfeld modules $M$ defined over $K$ and having a trivial endomorphism ring, with $k= \mathbb{Q}$, $A = \mathbb{Z}$ in the former case and $k$ a global function field, $A$ its ring of functions regular away from a fixed prime in the latter case, for any nonzero ideal $\mathfrak{a} \lhd A$ we prove best possible estimates in the norm $|\mathfrak{a}|$ for the degrees over $K$ of the subfields of the $\mathfrak{a}$-div…
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.
Assuming Lang's conjectured lower bound on the heights of non-torsion points on an elliptic curve, we show that there exists an absolute constant C such that for any elliptic curve E/Q and non-torsion point P in E(Q), there is at most one integral multiple [n]P such that n > C. The proof is a modification of a proof of Ingram giving an unconditional but not uniform bound. The new ingredient is a collection of explicit formulae for the sequence of valuations of the division polynomials. For P of non-singular reduction, such sequences are already well described in most cases, but for P of singul…
It is proved in this paper that for any point on an elliptic curve, the mean value of x-coordinates of its n-division points is the same as its x-coordinate and that of y-coordinates of its n-division points is n times of its y-coordinate.
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$ be an elliptic curve defined over $\mathbb{Q}$, and let $ρ_E\colon {\rm Gal}(\overline{\mathbb{Q}}/\mathbb{Q})\to {\rm GL}(2,\widehat{ \mathbb{Z} })$ be the adelic representation associated to the natural action of Galois on the torsion points of $E(\overline{\mathbb{Q}})$. By a theorem of Serre, the image of $ρ_{E}$ is open, but the image is always of index at least $2$ in ${\rm GL}(2,\widehat{\mathbb{Z}})$ due to a certain quadratic entanglement amongst division fields. In this paper, we study other types of abelian entanglements. More concretely, we classify the elliptic curves $E/\…
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.
Starting from the classical division polynomials we construct homogeneous polynomials $α_n$, $β_n$, $γ_n$ such that for $P = (x:y:z)$ on an elliptic curve in Weierstrass form over an arbitrary ring we have $nP = \bigl(α_n(P):β_n(P):γ_n(P)\bigr)$. To show that $α_n,β_n,γ_n$ indeed have this property we use the a priori existence of such polynomials, which we deduce from the Theorem of the Cube. We then use this result to show that the equations defining the modular curve $Y_1(n)_{\mathbb C}$ computed for example by Baaziz, in fact are equations of $Y_1(n)$ over $\mathbb Z[1/n]$.
Consider an elliptic curve $E$ over a number field $K$. Suppose that $E$ has supersingular reduction at some prime $\mathfrak{p}$ of $K$ lying above the rational prime $p$. We completely classify the valuations of the $p^n$-torsion points of $E$ by the valuation of a coefficient of the $p^{\text{th}}$ division polynomial. We apply this description to find the minimum necessary ramification at $\mathfrak{p}$ in order for $E$ to have a point of exact order $p^n$. Using this bound we show that sporadic points on the modular curve $X_1(p^n)$ cannot correspond to supersingular elliptic curves witho…
Gauss and Abel proved that the points dividing the unit circle and the lemniscate of Bernoulli in parts of equal length have algebraic coordinates. In this note we generalise these results to the Erdős lemniscate with three leaves. We also study further questions related to the algebraicity of division points and transcendence of length of a class of curves including polynomial lemniscates. To do this we analyse the structure and periods of the Jacobian of certain hyperelliptic curves.
L. Szpiro and T. Tucker recently proved that under mild conditions, the valuation of the minimal discriminant of an elliptic curve with semistable reduction over a discrete valuation ring can be expressed in terms of intersections between n-torsion and 2-torsion, where n tends to infinity. The argument of Szpiro and Tucker is geometric in nature. We give a proof based on the arithmetic of division polynomials, and generalize the result to the case of hyperelliptic curves.
Let $Y$ be a principal homogeneous space of an abelian surface, or a K3 surface, over a finitely generated extension of $\mathbb{Q}$. In 2008, Skorobogatov and Zarhin showed that the Brauer group modulo algebraic classes $\text{Br}\, Y/ \text{Br}_1\, Y$ is finite. We study this quotient for the family of surfaces that are geometrically isomorphic to a product of isogenous non-CM elliptic curves, as well as the related family of geometrically Kummer surfaces; both families can be characterized by their geometric Néron-Severi lattices. Over a field of characteristic $0$, we prove that the existe…
Let $p$ be an odd prime number. We propose an algorithm for computing rational representations of isogenies between Jacobians of hyperelliptic curves via-adic differential equations with a sharp analysis of the loss of precision. Consequently, after having possibly lifted the problem in the $p$-adics, we derive fast algorithms for computing explicitly Cantor's division polynomials of hyperelliptic curves defined over finite fields.
We reprove two results of Saltman, Theorem 5.1 and Corollary 5.2 of [Sa07]: If F is the function field of a smooth p-adic curve and D is an F-division algebra of prime degree l\neq p, then D is Z/l-cyclic, and that if D is an F-division algebra of prime period l\neq p then D has index l if and only if its ramification locus on a suitable 2-dimensional model forF has no "hot points".
In this paper, we initiate a systematic study of entanglements of division fields from a group theoretic perspective. For a positive integer $n$ and a subgroup $G\subseteq \text{GL}_2(\mathbb{Z}/{n}\mathbb{Z})$ with surjective determinant, we provide a definition for $G$ to represent an $(a,b)$-entanglement and give additional criteria for $G$ to represent an explained or unexplained $(a,b)$-entanglement. Using these new definitions, we determine the tuples $((p,q),T)$, with $p<q\in\mathbb{Z}$ distinct primes and $T$ a finite group, such that there are infinitely many non-$\bar{\mathbb{Q}}$-is…
Let E be an elliptic curve over Q, and let n=>1. The central object of study of this article is the division field Q(E[n]) that results by adjoining to Q the coordinates of all n-torsion points on E(Q). In particular, we classify all curves E/Q such that Q(E[n]) is as small as possible, that is, when Q(E[n])=Q(zeta_n), and we prove that this is only possible for n=2,3,4, or 5. More generally, we classify all curves such that Q(E[n]) is contained in a cyclotomic extension of Q or, equivalently (by the Kronecker-Weber theorem), when Q(E[n])/Q is an abelian extension. In particular, we prove that…
Using a multidimensional large sieve inequality, we obtain a bound for the mean square error in the Chebotarev theorem for division fields of elliptic curves that is as strong as what is implied by the Generalized Riemann Hypothesis. As an application we prove a theorem to the effect that, according to height, almost all elliptic curves are Serre curves, where a Serre curve is an elliptic curve whose torsion subgroup, roughly speaking, has as much Galois symmetry as possible.
Given two elliptic curves, each of which is associated with a projection map that identifies opposite elements with respect to the natural group structure, we investigate how their corresponding projective images of torsion points intersect.
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（东京都立大学理学研究科数学科学系）
Using the rank of the Mordell-Weil group $E(\mathbb{Q})$ of an elliptic curve $E$ over $\mathbb{Q}$, we give a lower bound of the class number of the number field $\mathbb{Q}(E[p^n])$ generated by $p^n$-division points of $E$ when the curve $E$ does not possess a $p$-adic point of order $p$: $E(\mathbb{Q}_p)[p] =0$.
For every normalized newform f in S_2(Gamma_1(N)) with complex multiplication, we study the modular parametrizations of elliptic curves C from the abelian variety A_f. We apply the results obtained when C is Gross's elliptic curve A(p).
I prove lower bounds of some parameters of elliptic curve over finite field. There parameters are closely interrelated with cryptographic stability of elliptic curve.
We compute equations for the families of elliptic curves 9-congruent to a given elliptic curve. We use these to find infinitely many non-trivial pairs of 9-congruent elliptic curves over Q, i.e. pairs of non-isogenous elliptic curves over Q whose 9-torsion subgroups are isomorphic as Galois modules.
We show that every elliptic curve over a finite field of odd characteristic whose number of rational points is divisible by 4 is isogenous to an elliptic curve in Legendre form, with the sole exception of a minimal respectively maximal elliptic curve. We also collect some results concerning the supersingular Legendre parameters.
For an elliptic curve $E$ defined over a number field $K$, the heuristic density of the set of primes of $K$ for which $E$ has cyclic reduction is given by an inclusion-exclusion sum $δ_{E/K}$ involving the degrees of the $m$-division fields $K_m$ of $E$ over $K$. This density can be proved to be correct under assumption of GRH. For $E$ without complex multiplication (CM), we show that $δ_{E/K}$ is the product of an explicit non-negative rational number reflecting the finite entanglement of the division fields of $E$ and a universal infinite Artin-type product. For $E$ admitting CM over $K$ by…
We describe the structure of Tate-Shafarevich groups of a constant elliptic curves over function fields by exploiting the volcano structure of isogeny graphs of elliptic curves over finite fields.
Let E: y^2 = x^3 + Ax + B be an elliptic curve defined over a finite field of characteristic p\geq 3. In this paper we prove that the coefficient at x^{p(p-1)/2} in the p-th division polynomial ψ_p(x) of E equals the coefficient at x^{p-1} in (x^3 + Ax + B)^{(p-1)/2}. The first coefficient is zero if and only if the division polynomial has no roots, which is equivalent to E being supersingular. Deuring (1941) proved that this supersingularity is also equivalent to the vanishing of the second coefficient. So the zero loci of the coefficients (as functions of A and B) are equal; the main result …
While there has been considerable interest in the problem of finding elliptic curves of high rank over $\mathbb{Q}$, very few parametrized families of elliptic curves of generic rank $\geq 8$ have been published. In this paper we use solutions of certain symmetric diophantine systems to construct several parametrized families of elliptic curves with their generic ranks ranging from at least 8 to at least 12. Specific numerical values of the parameters yield elliptic curves with quite large coefficients and we could therefore determine the precise rank only in a few cases where the rank of the …
An elliptic divisibility sequence is an integer recurrence sequence associated to an elliptic curve over the rationals together with a rational point on that curve. In this paper we present a higher-dimensional analogue over arbitrary base fields. Suppose E is an elliptic curve over a field K, and P_1, ..., P_n are points on E defined over K. To this information we associate an n-dimensional array of values in K satisfying a nonlinear recurrence relation. Arrays satisfying this relation are called elliptic nets. We demonstrate an explicit bijection between the set of elliptic nets and the set …
We analyze log-algebraic power series identities for formal groups of elliptic curves over $\mathbb{Q}$ which arise from modular parametrizations. We further investigate applications to special values of elliptic curve $L$-functions.
We describe iterated integrals as unipotent periods on families of marked elliptic curves in terms of multiple zeta values and elliptic multiple zeta values.
We show that average analytic rank of elliptic curves with prescribed torsion $G$ is bounded for every torsion group $G$ under GRH for elliptic curve $L$-functions.
In this paper, under GRH for elliptic $L$-functions, we give an upper bound for the probability for an elliptic curve with analytic rank $\leq a$ for $a \geq 11$, and also give an upper bound of $n$-th moments of analytic ranks of elliptic curves. These are applications of counting elliptic curves with local conditions, for example, having good reduction at $p$.
In this note we study an analogy between a positive definite quadratic form for elliptic curves over finite fields and a positive definite quadratic form for elliptic curves over the rational number field. A question is posed of which an affirmative answer would imply the analogue of the Riemann hypothesis for elliptic curves over the rational number field.
We investigate modularity of elliptic curves over a general totally real number field, establishing a finiteness result for the set non-modular $j$-invariants. By analyzing quadratic points on some modular curves, we show that all elliptic curves over certain real quadratic fields are modular.
We present a deterministic and explicit algorithm to compute the endomorphism rings of supersingular elliptic curves. As an example we compute the endomorphism rings of all supersingular elliptic curves defined over characteristic p=29,...,97.
We compute twists of the modular curve $X(13)$ that parametrise the elliptic curves 13-congruent to a given elliptic curve. Searching for rational points on these twists enables us to find non-trivial pairs of 13-congruent elliptic curves over ${\mathbb Q}$, i.e. pairs of non-isogenous elliptic curves over ${\mathbb Q}$ whose 13-torsion subgroups are isomorphic as Galois modules. We also find equations for the surfaces parametrising pairs of 13-congruent elliptic curves. There are two such surfaces, corresponding to 13-congruences that do, or do not, respect the Weil pairing. We write each as …
