Consider a pair of ordinary elliptic curves $E$ and $E'$ defined over the same finite field $\mathbb{F}_q$. Suppose they have the same number of $\mathbb{F}_q$-rational points, i.e. $|E(\mathbb{F}_q)|=|E'(\mathbb{F}_q)|$. In this paper we characterise for which finite field extensions $\mathbb{F}_{q^k}$, $k\geq 1$ (if any) the corresponding groups of $\mathbb{F}_{q^k}$-rational points are isomorphic, i.e. $E(\mathbb{F}_{q^k}) \cong E'(\mathbb{F}_{q^k})$.
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.
The Birch and Swinnerton--Dyer conjecture famously predicts that the rank of an elliptic curve can be computed from its $L$-function. In this article we consider a weaker version of this conjecture called the parity conjecture and prove the following. Let $E_1$ and $E_2$ be two elliptic curves defined over a number field $K$ whose 2-torsion groups are isomorphic as Galois modules. Assuming finiteness of the Shafarevich-Tate groups of $E_1$ and $E_2$, we show that the Birch and Swinnerton-Dyer conjecture correctly predicts the parity of the rank of $E_1\times E_2$. Using this result, we complet…
Let $\ell$ be a prime number and let $E$ and $E'$ be $\ell$-isogenous elliptic curves defined over a finite field $k$ of characteristic $p \ne \ell$. Suppose the groups $E(k)$ and $E'(k)$ are isomorphic, but $E(K) \not \simeq E'(K)$, where $K$ is an $\ell$-power extension of $k$. In a previous work we have shown that, under mild rationality hypotheses, the case of interest is when $\ell=2$ and $K$ is the unique quadratic extension of $k$. In this paper we study the likelihood of such an occurrence by fixing a pair of 2-isogenous elliptic curves $E$, $E'$ over ${\mathbf{Q}}$ and asking for the …
We study the moduli surface for pairs of elliptic curves together with an isomorphism between their N-torsion groups. The Weil pairing gives a "determinant" map from this moduli surface to (Z/NZ)*; its fibers are the components of the surface. We define spaces of modular forms on these components and Hecke correspondences between them, and study how those spaces of modular forms behave as modules for the Hecke algebra. We discover that the component with determinant -1 is somehow the "dominant" one; we characterize the difference between its spaces of modular forms and the spaces of modular fo…
We study a subclass of congruent elliptic curves $E^{(n)}: y^2=x^3-n^2x$, where $n$ is a positive integer congruent to $1\pmod 8$ with all prime factors congruent to $1\pmod 4$. We characterize such $E^{(n)}$ with Mordell-Weil rank zero and $2$-primary part of Shafarevich-Tate group isomorphic to $\big(\mathbb Z/2\mathbb Z \big)^2$. We also discuss such $E^{(n)}$ with 2-primary part of Shafarevich-Tate group isomorphic to $\big(\mathbb Z/2\mathbb Z \big)^{2k}$ with $k\ge2$.
We study the distribution of a subclass congruent elliptic curve $E^{(n)}: y^2=x^3-n^2x$, where $n$ is congruent to $1\pmod 8$ with all prime factors congruent to $1\pmod 4$. We prove an independence of residue symbol property. Consequently we get the distribution of rank zero such $E^{(n)}$ with $2$-primary part of Shafarevich-Tate group isomorphic to $\big(\mathbb Z /2\mathbb Z\big)^2$. We also obtain a lower bound of the number of such $E^{(n)}$ with rank zero and $2$-primary part of Shafarevich-Tate group isomorphic to $\big(\mathbb Z /2\mathbb Z\big)^{4}$.
We generalise a result by Greenberg and Vatsal on the relation between the analytic $μ$-invariants of two elliptic curves whose $p^i$-torsion subgroups are isomorphic as Galois modules, for suitable $i$.
Ramification groups of Galois extensions over local fields of positive characteristic with Galois group isomorphic to the group of unitriangular matrices
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 characterize quadratic twists of $y^2=x(x-a^2)(x+b^2)$ with Mordell-Weil groups and $2$-primary part of Shafarevich-Tate groups being isomorphic to $(\mathb Z/2\mathbb Z)^2$ under certain conditions. We also obtain the distribution result of these elliptic curves.
We prove that all elliptic curves over quadratic fields with a subgroup isomorphic to $C_{16}$, as well as all elliptic curves over cubic fields with a subgroup isomorphic to $C_2\times C_{14}$, are base changes of elliptic curves defined over $\Q$. We obtain these results by studying geometric properties of modular curves and maps between modular curves, and then obtaining a modular description of these curves and maps.
Let $L/K$ be a finite Galois extension whose Galois group $G$ is non-abelian and characteristically simple. Using tools from graph theory, we shall give a closed formula for the number of Hopf-Galois structures on $L/K$ with associated group isomorphic to $G$.
Iwasawa theory of elliptic curves over noncommutative extensions has been a fruitful area of research. The central object of this paper is to use Iwasawa theory over the $GL(2)$ extension to study the dual Selmer group over the $PGL(2)$ extension.
Let $E$ be an elliptic curve with good reduction at a fixed odd prime $p$ and $K$ an imaginary quadratic field where $p$ splits. We give a growth estimate for the Mordell-Weil rank of $E$ over finite extensions inside the $\mathbb{Z}_p^2$-extension of $K$.
We determine, for an elliptic curve $E/\mathbb Q$ and for all $p$, all the possible torsion groups $E(\mathbb Q_{\infty, p})_{tors}$, where $\mathbb Q_{\infty, p}$ is the $\mathbb Z_p$-extension of $\mathbb Q$.
This is a translation of a research announcement by Anas G. Nasybullin from 1976, in which he states formulas for the p-primary part of the Tate-Shafarevich group of an elliptic curve in cyclotomic $\Z_p$-extensions of number fields.
For a given group $G$ and an elliptic curve $E$ defined over a number field $K$, I discuss the problem of finding $G$-extensions of $K$ over which $E$ gains rank. I prove the following theorem, extending a result of Fearnley, Kisilevsky, and Kuwata: Let $n = 3,4,$ or $6$. If $K$ contains its $n^{th}$-roots of unity then, for any elliptic curve $E$ over $K$, there are infinitely many $\mathbb{Z}/n\mathbb{Z}$-extensions of $K$ over which $E$ gains rank.
For an elliptic curve E over a number field K, we prove that the algebraic rank of E goes up in infinitely many extensions of K obtained by adjoining a cube root of an element of K. As an example, we briefly discuss E=X_1(11) over Q, and how the result relates to Iwasawa theory.
We give equations for 13 genus-2 curves over $\overline{\mathbb{Q}}$, with models over $\mathbb{Q}$, whose unpolarized Jacobians are isomorphic to the square of an elliptic curve with complex multiplication by a maximal order. If the Generalized Riemann Hypothesis is true, there are no further examples of such curves. More generally, we prove under the Generalized Riemann Hypothesis that there exist exactly 46 genus-2 curves over $\overline{\mathbb{Q}}$ with field of moduli $\mathbb{Q}$ whose Jacobians are isomorphic to the square of an elliptic curve with complex multiplication by a maximal o…
Let $E:y^2=x^3+ax+b$ be an elliptic curve defined over $\mathbb{Q}$. We compute certain twists of the classical modular curves $X(8)$. Searching for rational points on these twists enables us to find non-trivial pairs of $8$-congruent elliptic curves over $\mathbb{Q}$, i.e. pairs of non-isogenous elliptic curves over $\mathbb{Q}$ whose $8$-torsion subgroups are isomorphic as Galois modules. We also show that there are infinitely many examples over $\mathbb{Q}$.
We study the growth of the Galois invariants of the $p$-Selmer group of an elliptic curve in a degree $p$ Galois extension. We show that this growth is determined by certain local cohomology groups and determine necessary and sufficient conditions for these groups to be trivial. Under certain hypotheses this allows us to give necessary and sufficient conditions for there to be growth in the full $p$-Selmer group in a degree $p$ Galois extension.
Given an elliptic curve $E$ over a local field $K$ with residue characteristic $3$, we investigate the action of the absolute Galois group of $K$ in the case of potentially good reduction. In particular the only not completely known case is that of the $\ell$-adic Galois representation attached to an elliptic curve such that the image of inertia is non-cyclic, and isomorphic to $C_3 \rtimes C_4$. In this work we describe such a representation explicitly.
We use an invariant-theoretic method to compute certain twists of the modular curves X(n) for n=7,9,11. Searching for rational points on these twists enables us to find non-trivial pairs of n-congruent elliptic curves over Q, i.e. pairs of non-isogenous elliptic curves over Q whose n-torsion subgroups are isomorphic as Galois modules. We also show by giving explicit non-trivial examples over Q(T) that there are infinitely many examples over Q in the cases n=9 and n=11.
For an elliptic curve $E$ defined over a field $k\subset \mathbb C$, we study iterated path integrals of logarithmic differential forms on $E^\dagger$, the universal vectorial extension of $E$. These are generalizations of the classical periods and quasi-periods of $E$, and are closely related to multiple elliptic polylogarithms and elliptic multiple zeta values. Moreover, if $k$ is a finite extension of $\mathbb Q$, then these iterated integrals along paths between $k$-rational points are periods in the sense of Kontsevich--Zagier.
We prove that all elliptic curves defined over the cyclotomic $\mathbb{Z}_p$-extension of a real quadratic field are modular under the assumption that the algebraic part of the central value of a twisted $L$-function is a $p$-adic unit. Our result is a generalization of a result of X. Zhang, which is a real quadratic analogue of a result of Thorne.
Let $E$ be an elliptic curve defined over $\mathbb{Q}$, and let $\mathbb{Q}^{ab}$ be the maximal abelian extension of $\mathbb{Q}$. In this article we classify the groups that can arise as $E(\mathbb{Q}^{ab})_{\text{tors}}$ up to isomorphism. The method illustrates techniques for finding explicit models of modular curves of mixed level structure. Moreover we provide an explicit algorithm to compute $E(\mathbb{Q}^{ab})_{\text{tors}}$ for any elliptic curve $E/\mathbb{Q}$.
In this paper we classify curves of genus 2 with group of automorphisms isomorphic to D_8 or D_12 over an arbitrary field k (of characteristic different from 2 in the D_8 case and from 2 and 3 in the D_{12} case) up to k-isomorphism. As an application of the classification of curves of genus 2 obtained, we get precise arithmetic information on their elliptic quotients and on their jacobians. Over the field k=Q, we show that the elliptic quotients of the curves with automorphisms D_8 and D_{12} are precisely the Q-curves of degrees 2 and 3, respectively, and we determine which curves have jacob…
In this paper, we make a study of the Iwasawa theory of an elliptic curve at a supersingular prime p along an arbitrary Z_p-extension of a number field K in the case when p splits completely in K. Generalizing work of Kobayashi and Perrin-Riou, we define restricted Selmer groups and λ^\pm, μ^\pm-invariants; we then derive asymptotic formulas describing the growth of the Selmer group in terms of these invariants. To be able to work with non-cyclotomic Z_p-extensions, a new local result is proven that gives a complete description of the formal group of an elliptic curve at a supersingular prime …
We present an algorithm to determine if the $L$-series associated to an automorphic representation and the one associated to an elliptic curve over an imaginary quadratic field agree. By the work of Harris-Soudry-Taylor, Taylor and Berger-Harcos (cf. \cite{harris-taylor}, \cite{taylorII} and \cite{berger-harcos}) we can associate to an automorphic representation a family of compatible $p$-adic representations. Our algorithm is based on Faltings-Serre's method to prove that $p$-adic Galois representations are isomorphic.
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 )$.
Given a non-isotrivial elliptic curve over $\mathbb{Q}(t)$ with large Mordell-Weil rank, we explain how one can build, for suitable small primes $p$, infinitely many fields of degree $p^2-1$ whose ideal class group has a large $p$-torsion subgroup. As an example, we show the existence of infinitely many cubic fields whose ideal class group contains a subgroup isomorphic to $(\mathbb{Z}/2\mathbb{Z})^{11}$.
Let $p$ be an odd prime and $F_\infty$ be a $\mathbb{Z}_p$-extension of a number field $F$. Given an elliptic curve $E$ over $F$, we study the structure of the fine Selmer group over $F_\infty$. It is shown that under certain conditions, the fine Selmer group is a cofinitely generated module over $\mathbb{Z}_p$ and furthermore, we obtain an upper bound for its corank (i.e., the $λ$-invariant), in terms of various local and global invariants.
There are several formulas for the number of orbits of the projective line under the action of subgroups of $GL_2$. We give an interpretation of two such formulas in terms of the geometry of elliptic curves, and prove a more general formula for a large class of congruence subgroups of Bianchi groups. Our formula involves the number of walks on a certain graph called an isogeny volcano. Underlying our results is a complete description of the group of extensions of a pair of CM elliptic curves, and of a pair of lattices in a quadratic field.
We show that for an elliptic curve E defined over a number field K, the group E(A) of points of E over the adele ring A of K is a topological group that can be analyzed in terms of the Galois representation associated to the torsion points of E. An explicit description of E(A) is given, and we prove that for K of degree n, almost all elliptic curves over K have an adelic point group topologically isomorphic to a universal group depending on n. We also show that there exist infinitely many elliptic curves over K having a different adelic point group.
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…
In this paper, we study the theories of analytic and arithmetic local constants of elliptic curves, with the work of Rohrlich, for the former, and the work of Mazur and Rubin, for the latter, as a basis. With the Parity Conjecture as motivation, one expects that the arithmetic local constants should be the algebraic additive counterparts to ratios of local analytic root numbers. We calculate the constants on both sides in various cases, establishing this connection for a substantial class of elliptic curves. By calculating the arithmetic constants in some new cases, we also extend the class of…
We determine, for an elliptic curve $E/\mathbb{Q}$, all the possible torsion groups $E(K)_{tors}$, where $K$ is the compositum of all $\mathbb{Z}_{p}$-extensions of $\mathbb{Q}$. Furthermore, we prove that for an elliptic curve $E/\mathbb{Q}$ it holds that $E(\mathbb{Q}(μ_{p^{\infty}}))_{tors} = E(\mathbb{Q}(μ_{p}))_{tors}$, for all primes $p \geq 5$ and $E(\mathbb{Q}(μ_{3^{\infty}}))_{tors} = E(\mathbb{Q}(μ_{3^3}))_{tors}$, $E(\mathbb{Q}(μ_{2^{\infty}}))_{tors} = E(\mathbb{Q}(μ_{2^4}))_{tors}$.
Given an elliptic curve $E$ over a finite field $\mathbb{F}_q$ we study the finite extensions $\mathbb{F}_{q^n}$ of $\mathbb{F}_q$ such that the number of $\mathbb{F}_{q^n}$-rational points on $E$ attains the Hasse upper bound. We obtain an upper bound on the degree $n$ for $E$ ordinary using an estimate for linear forms in logarithms, which allows us to compute the pairs of isogeny classes of such curves and degree $n$ for small $q$. Using a consequence of Schmidt's Subspace Theorem, we improve the upper bound to $n\leq 11$ for sufficiently large $q$. We also show that there are infinitely ma…
Given $F$ a totally real field and $E_{/F}$ a modular elliptic curve, we denote by $G_5(E_{/F};X)$ the number of quintic extensions $K$ of $F$ such that the norm of the relative discriminant is at most $X$ and the analytic rank of $E$ grows over $K$, i.e., $r_\mathrm{an}(E/K)>r_\mathrm{an}(E/F)$. We show that $G_5(E_{/F};X)\asymp_{+\infty} X$ when the elliptic curve $E_{/F}$ has odd conductor and at least one prime of multiplicative reduction. As Bhargava, Shankar and Wang \cite{BSW} showed that the number of quintic extensions of $F$ with norm of the relative discriminant at most $X$ is asymp…
The aim of this paper is to study certain family of elliptic curves $\{\mathscr{X}_H\}_H$ defined over a number field $F$ arising from hyperplane sections of some cubic surface $\mathscr{X}/F$ associated to a cyclic cubic extension $K/F$. We show that each $\mathscr{X}_H$ admits a 3-isogeny $ϕ$ over $F$ and the dual Selmer group $S^{(\hatϕ)}(\hat{\mathscr{X}_H}/F)$ is bounded by a kind of unit/class groups attached to $K/F$. This is proven via certain rational function on the elliptic curve $\mathscr{X}_H$ with nice property. We also prove that the Shafarevich-Tate group $\text{\cyr X} (\hat{\…
Let $E$ be an elliptic curve defined over a number field $K$ where $p$ splits completely. Suppose that $E$ has good reduction at all primes above $p$. Generalizing previous works of Kobayashi and Sprung, we define multiply signed Selmer groups over the cyclotomic $\mathbb{Z}_p$-extension of a finite extension $F$ of $K$ where $p$ is unramified. Under the hypothesis that the Pontryagin duals of these Selmer groups are torsion over the corresponding Iwasawa algebra, we show that the Mordell-Weil ranks of $E$ over a subextension of the cyclotomic $\mathbb{Z}_p$-extension are bounded. Furthermore,…
Let $F$ be a function field of characteristic $p>0$, $\F/F$ a Galois extension with $Gal(\F/F)\simeq \Z_l^d$ (for some prime $l\neq p$) and $E/F$ a non-isotrivial elliptic curve. We study the behaviour of Selmer groups $Sel_E(L)_r$ ($r$ any prime) as $L$ varies through the subextensions of $\F$ via appropriate versions of Mazur's Control Theorem. As a consequence we prove that $Sel_E(\F)_r$ is a cofinitely generated (in some cases cotorsion) $\Z_r[[Gal(\F/F)]]$-module.
Although it is not known which groups can appear as torsion groups of elliptic curves over cubic number fields, it is known which groups can appear for infinitely many non-isomorphic curves. We denote the set of these groups as $S$. In this paper we deal with three problems concerning the torsion of elliptic curves over cubic fields. First, we study the possible torsion groups of elliptic curves that appear over the field with smallest absolute value of its discriminant and having Galois group $S_3$ and over the field with smallest absolute value of its discriminant and having Galois group $\Z…
This paper aims at studying the Iwasawa $λ$-invariant of the $p$-primary Selmer group. We study the growth behaviour of $p$-primary Selmer groups in $p$-power degree extensions over non-cyclotomic $\mathbb{Z}_p$-extensions of a number field. We prove a generalization of Kida's formula in such a case. Unlike the cyclotomic $\mathbb{Z}_p$-extension, where all primes are finitely decomposed; in the $\mathbb{Z}_p$-extensions we consider, primes may be infinitely decomposed. In the second part of the paper, we study the relationship for Iwasawa invariants with respect to congruences, obtaining refi…
