Let $E$ be an elliptic curve over a finite field $k$, and $\ell$ a prime number different from the characteristic of $k$. In this paper we consider the problem of finding the structure of the Tate module $T_\ell(E)$ as an integral Galois representations of $k$. We indicate an explicit procedure to solve this problem starting from the characteristic polynomial $f_E(x)$ and the $j$-invariant $j_E$ of $E$. Hilbert Class Polynomials of imaginary quadratic orders play here an important role. We give a global application to the study of prime-splitting in torsion fields of elliptic curves over number fields.
We show that, for an abelian variety defined over a $p$-adic field $K$ which has potential good reduction, its torsion subgroup with values in the composite field of $K$ and a certain Lubin-Tate extension over a $p$-adic field is finite.
We show finiteness results on torsion points of commutative algebraic groups over a $p$-adic field $K$ with values in various algebraic extensions $L/K$ of infinite degree. We mainly study the following cases: (1) $L$ is an abelian extension which is a splitting field of a crystalline character (such as a Lubin-Tate extension). (2) $L$ is a certain iterate extension of $K$ associated with Lubin-Tate formal groups, which is familiar with Kummer theory.
In this paper, we give an explicit formula as well as a practical algorithm for computing the Cassels-Tate pairing on $\text{Sel}^{2}(J) \times \text{Sel}^{2}(J)$ where $J$ is the Jacobian variety of a genus two curve under the assumption that all points in $J[2]$ are $K$-rational. We also give an explicit formula for the Obstruction map $\text{Ob}: H^1(G_K, J[2]) \rightarrow \text{Br}(K)$ under the same assumption. Finally, we include a worked example demonstrating we can indeed improve the rank bound given by a 2-descent via computing the Cassels-Tate pairing.
For any number field, we prove that there exists an elliptic curve defined over this field such that its Shafarevich-Tate group has a nontrivial 2-torsion subgroup.
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.
A 1979 letter from John Tate to Jean-Pierre Serre in which the author describes an efficient and elegant algorithm for computing local heights on elliptic curves.
We explicitly compute the Cassels-Tate pairing on the 2-Selmer group of an elliptic curve using the Albanese-Albanese definition of the pairing given by Poonen and Stoll. This leads to a new proof that a pairing defined by Cassels on the 2-Selmer groups of elliptic curves agrees with the Cassels-Tate pairing.
We obtain new results concerning the Sato--Tate conjecture on the distribution of Frobenius angles over parametric families of elliptic curves with a rational parameter of bounded height.
The Shafarevich-Tate and Selmer groups arise in the context of Kummer theory for elliptic curves. The finiteness of the Shafarevich-Tate group of an elliptic curve $E$ over the field of rational numbers is included in the Birch and Swinnerton-Dyer conjectures, and is still an open question. We present an overview of the Shafarevich-Tate and Selmer groups of an elliptic curve in the framework of Galois cohomology. Known results on the finiteness of the Shafarevich-Tate group are mentioned, including results of Coates and Wiles, Rubin, Gross and Zagier, and Kolyvagin. We then prove the vanishing…
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.
This is an updated version of ANT-0166. Generalizing results of Stroeker and Top we show that the 2-ranks of the Tate-Shafarevich groups of the elliptic curves $y^2 = (x+k)(x^2+k^2)$ can become arbitrarily large. We also present a conjecture on the rank of the Selmer groups attached to rational 2-isogenies of elliptic curves.
In this paper we propose conjectures that assert that, the sequence of Frobenius angles of a given elliptic curve over $\mathbf{Q}$ without complex multiplication is pseudorandom, in other words that the Frobenius angles are statistically independently distributed with respect to the Sato-Tate measure. Numerical evidences are presented to support the conjectures.
The structure of the Tate-Shafarevich groups of a class of elliptic curves over global function fields is determined. These are known to be finite abelian groups from the monograph [1] and hence they are direct sums of finite cyclic groups where the orders of these cyclic components are invariants of the Tate-Shafarevich group. This decomposition of the Tate-Shafarevich groups into direct sums of finite cyclic groups depends on the behaviour of Drinfeld-Heegner points on these elliptic curves. These are points analogous to Heegner points on elliptic curves over the rational numbers.
We show that the number of copies of ${\Bbb Q}_p/{\Bbb Z}_p$ in the Tate-Shafarevich group of an elliptic curve $E$ over ${\Bbb Q}$ with complex multipication, is at most $2p - g$, where $g$ is the rank of $E({\Bbb Q})$, and for all sufficiently large good ordinary primes $p$.
We present algorithms for computing the squared Weil and Tate pairings on elliptic curves and the squared Tate pairing for hyperelliptic curves. The squared pairings introduced in this paper have the advantage that our algorithms for evaluating them are deterministic and do not depend on a random choice of points. Our pairings save about 20-30% over the usual pairings.
We extend the method of Cassels for computing the Cassels-Tate pairing on the 2-Selmer group of an elliptic curve, to the case of 3-Selmer groups. This requires significant modifications to both the local and global parts of the calculation. Our method is practical in sufficiently small examples, and can be used to improve the upper bound for the rank of an elliptic curve obtained by 3-descent.
We obtain new results concerning the Sato-Tate conjecture on the distribution of Frobenius traces over single and double parametric families of elliptic curves. We consider these curves for values of parameters having prescribed arithmetic structure: product sets, geometric progressions, and most significantly prime numbers. In particular, some families are much thinner than the ones previously studied.
Let $E$ be an optimal elliptic curve over $\Q$ of prime conductor $N$. We show that if for an odd prime $p$, the mod $p$ representation associated to $E$ is reducible (in particular, if $p$ divides the order of the torsion subgroup of $E(\Q)$), then the $p$-primary component of the Shafarevich-Tate group of $E$ is trivial. We also state a related result for more general abelian subvarieties of $J_0(N)$ and mention what to expect if $N$ is not prime.
We show that if $E/\mathbb{Q}$ is an elliptic curve with a rational $p$-torsion for $p=2$ or $3$, then there is a congruence relation between Ramanujan's tau function and $E$ modulo $p$. We make use of such congruences to compute the Iwasawa invariants of $2$-adic and $3$-adic Mazur--Tate elements attached to Ramanujan's tau function. We also investigate numerically the Iwasawa invariants of the Mazur--Tate elements attached to an elliptic curve with additive reduction at a fixed prime number.
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$.
The paper formulates a precise relationship between the Tate-Shafarevich group of an elliptic curve $E$ over ${\mathbb Q}$ with a quotient of the classgroup of ${\mathbb Q}(E[p])$ on which $Gal({\mathbb Q}(E[p]/{\mathbb Q}) = GL_2({\mathbb Z}/p)$ operates by its standard 2 dimensional representation over ${\mathbb Z}/p$. We establish such a relationship in most cases.
There are classical congruences between the class number of an imaginary quadratic field and a Bernoulli number or an Euler number. Under the BSD conjecture, Onishi obtained an elliptic generalization of these congruences, which gives congruences between the order of the Tate-Shafarevich group of certain elliptic curves with CM by the Gauss integers ring and Mordell-Weil rank 0, and a coefficient of power series expansion of an elliptic function associated to Gauss integers ring. In this paper, we provide Onishi's type congruences for the Eisenstein integers case.
Let $p$ be a prime. Tate and Voloch proved that a point of finite order in the algebraic torus cannot be $p$-adically too close to a fixed subvariety without lying on it. The current work is motivated by the analogy between torsion points on semi-abelian varieties and special or CM points on Shimura varieties. We prove the analog of Tate and Voloch's result in a power of the modular curve Y(1) on replacing torsion points by points corresponding to a product of elliptic curves with complex multiplication and ordinary reduction. Moreover, we show that the assumption on ordinary reduction is nece…
We prove a finiteness theorem for the first flat cohomology group of finite flat group schemes over integral normal proper varieties over finite fields. As a consequence, we can prove the invariance of the finiteness of the Tate-Shafarevich group of Abelian schemes over higher dimensional bases under isogenies and alterations over/of such bases for the $p$-part. Along the way, we generalize previous results on the Tate-Shafarevich group in this situation.
Let $\E/\Q$ be a fixed elliptic curve over $\Q$ which does not have complex multiplication. Assuming the Generalized Riemann Hypothesis, A. C. Cojocaru and W. Duke have obtained an asymptotic formula for the number of primes $p\le x$ such that the reduction of $\E$ modulo p has a trivial Tate-Shafarevich group. Recent results of A. C. Cojocaru and C. David lead to a better error term. We introduce a new argument in the scheme of the proof which gives further improvement.
We obtain new results concerning Lang-Trotter conjecture on Frobenius traces and Frobenius fields over single and double parametric families of elliptic curves. We also obtain similar results with respect to the Sato-Tate conjecture. In particular, we improve a result of A.C. Cojocaru and the second author (2008) towards the Lang-Trotter conjecture on average for polynomially parameterized families of elliptic curves when the parameter runs through a set of rational numbers of bounded height. Some of the families we consider are much thinner than the ones previously studied.
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 present the results of our search for the orders of Tate-Shafarevich groups for the quadratic twists of elliptic curves. We formulate a general conjecture, giving for a fixed elliptic curve $E$ over $\Bbb Q$ and positive integer $k$, an asymptotic formula for the number of quadratic twists $E_d$, $d$ positive square-free integers less than $X$, with finite group $E_d(\Bbb Q)$ and $|\Sha(E_d(\Bbb Q))| = k^2$. This paper continues the authors previous investigations concerning orders of Tate-Shafarevich groups in quadratic twists of the curve $X_0(49)$. In section 8 we exhibit $88$ examples o…
In this paper it is shown that for every prime p>5 the dimension of the p-torsion in the Tate-Shafarevich group of E/K can be arbitrarily large, where E is an elliptic curve defined over a number field K, with [K:Q] bounded by a constant depending only on p. From this we deduce that the dimension of the p-torsion in the Tate-Shafarevich group of A/Q can be arbitrarily large, where A is an abelian variety, with dim A bounded by a constant depending only on p.
We obtain asymptotic formulae for the number of primes $p\le x$ for which the reduction modulo $p$ of the elliptic curve $$ \E_{a,b} : Y^2 = X^3 + aX + b $$ satisfies certain ``natural'' properties, on average over integers $a$ and $b$ with $|a|\le A$ and $|b| \le B$, where $A$ and $B$ are small relative to $x$. Specifically, we investigate behavior with respect to the Sato--Tate conjecture, cyclicity, and divisibility of the number of points by a fixed integer $m$.
Let E be an elliptic curve defined over a number field K. Let h be an element of order 4 in the Shafarevich-Tate group of E. We prove that h is visible in infinitely many abelian surfaces up to isomorphism. This is to say that there are infinitely many abelian surfaces J such that E\hookrightarrow J and h lies in the kernel of the natural map H^1(K,E)\rightarrow H^1(K,J).
Extending recent work of others, we provide effective bounds on the family of all elliptic curves and one-parameter families of elliptic curves modulo p (for p prime tending to infinity) obeying the Sato-Tate Law. We present two methods of proof. Both use the framework of Murty-Sinha; the first involves only knowledge of the moments of the Fourier coefficients of the L-functions and combinatorics, and saves a logarithm, while the second requires a Sato-Tate law. Our purpose is to illustrate how the caliber of the result depends on the error terms of the inputs and what combinatorics must be do…
We study elliptic curves of the form $x^3+y^3=2p$ and $x^3+y^3=2p^2$ where $p$ is any odd prime satisfying $p\equiv 2\bmod 9$ or $p\equiv 5\bmod 9$. We first show that the $3$-part of the Birch-Swinnerton-Dyer conjecture holds for these curves. Then we relate their $2$-Selmer group to the $2$-rank of the ideal class group of $\mathbb{Q}(\sqrt[3]{p})$ to obtain some examples of elliptic curves with rank one and non-trivial $2$-part of the Tate-Shafarevich group.
We exhibit $88$ examples of rank zero elliptic curves over the rationals with $|\sza(E)| > 63408^2$, which was the largest previously known value for any explicit curve. Our record is an elliptic curve $E$ with $|\sza(E)| = 1029212^2 = 2^4\cdot 79^2 \cdot 3257^2$. We can use deep results by Kolyvagin, Kato, Skinner-Urban and Skinner to prove that, in some cases, these orders are the true orders of $\sza$. For instance, $410536^2$ is the true order of $\sza(E)$ for $E= E_4(21,-233)$ from the table in section 2.3.
For an abelian variety A over a number field k we discuss the maximal divisibile subgroup of H^1(k,A) and its intersection with the subgroup Sha(A/k). The results are most complete for elliptic curves over Q.
Fisher and Newton have given an explicit description of the Tate local pairing associated with the 3-torsion of an elliptic curve. The present paper summarizes the work from the author's master's thesis and gives an explicit formula for any odd prime $p$, thereby extending the work of Fisher and Newton.
For an elliptic curve $E$ over $\mathbb{Q}$, putting $K=\mathbb{Q}(E[p])$ which is the $p$-th division field of $E$ for an odd prime $p$, we study the ideal class group $\mathrm{Cl}_K$ of $K$ as a $\mathrm{Gal}(K/\mathbb{Q})$-module. More precisely, for any $j$ with $1\leqslant j \leqslant p-2$, we give a condition that $\mathrm{Cl}_K\otimes \mathbb{F}_p$ has the symmetric power $\mathrm{Sym}^j E[p]$ of $E[p]$ as its quotient $\mathrm{Gal}(K/\mathbb{Q})$-module, in terms of Bloch-Kato's Tate-Shafarevich group of $\mathrm{Sym}^j V_p E$. Here $V_p E$ denotes the rational $p$-adic Tate module of …
Let $E$ be an elliptic curve over $\mathbb{Q}$. Let $\underline{III}(E)$ be a certain group of equivalence classes of homogeneous spaces of $E$ called its Tate-Shafarevich group. We show in this paper that this group has finite cardinality and discuss its role in the Birch and Swinnerton-Dyer Conjecture. In particular, our result implies the Parity Conjecture, or the Birch and Swinnerton-Dyer Conjecture modulo 2. It also removes the finiteness condition of $\underline{III}(E)$ from previous results in the literature of this subject and makes possible for some computation problems concerning th…
Let A be an abelian variety defined over a number field K, the number of torsion points rational over a finite extension L is bounded polynomially in terms of the degree [L : K]. When A is isogenous to a product of simple abelian varieties of type I or II in Albert classification and is "fully of Lefschetz type", i.e. whose Mumford-Tate group is the group of symplectic similitudes commuting with endomorphisms and which satisfy the Mumford-Tate conjecture, we compute the optimal exponent for this bound in terms of the dimensions of the abelian subvarieties of A and their rings of endomorphisms.…
Constructing $2$-dimensional Lubin-Tate formal groups over $\mathbb{Z}_{p}$ (I)
Laboratoire Amiénois de Mathématique Fondamentale et Appliquée Université de Picardie Jules Verne（皮卡第朱尔瓦雷斯大学基础与应用数学亚眠实验室）；Department of Mathematics The University of Burdwan（布尔德万大学数学系）
Let $E$ be an elliptic curve over $Q$, and $τ$ an Artin representation over $Q$ that factors through the non-abelian extension $Q(\sqrt[p^n]{m},μ_{p^n})/Q$, where $p$ is an odd prime and $n,m$ are positive integers. We show that $L(E,τ,1)$, the special value at $s=1$ of the $L$-function of the twist of $E$ by $τ$, divided by the classical transcendental period $Ω_{+}^{d^+}|Ω_{-}^{d^-}|ε(τ)$ is algebraic and Galois-equivariant, as predicted by Deligne's conjecture.
Let $K$ be a complete discrete valuation field of characteristic $(0, p)$ with perfect residue field, and let $T$ be an integral $\mathbb{Z}_p$-representation of $\mathrm{Gal}(\overline{K}/K)$. A theorem of T. Liu says that if $T/p^n T$ is torsion semi-stable (resp. crystalline) of uniformly bounded Hodge-Tate weights for all $n \geq 1$, then $T$ is also semi-stable (resp. crystalline). In this note, we show that we can relax the condition of "uniformly bounded Hodge-Tate weights" to an unbounded (log-)growth condition.
Nagao's conjecture relates the rank of an elliptic surface to a limit formula arising from a weighted average of fibral Frobenius traces, and it is further generalized for smooth irreducible projective surfaces by M. Hindry and A. Pacheco. We show that the Sato-Tate conjecture based on the random matrix model implies Nagao's conjecture for certain twist families of elliptic curves and hyperelliptic curves.
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 E be an elliptic curve over Q with complex multiplication. The aim of the present paper is to strengthen the theoretical and numerical results of \cite{CZS}. For each prime p, let t_{E/Q, p} denote the Z_p-corank of the p-primary subgroup of the Tate-Shafarevich group of E/Q. For each ε 0, we prove that t_{E/Q, p} is bounded above by (1/2+ε)p for all sufficiently large good ordinary primes p. We also do numerical calculations on one such E of rank 3, and 5 such E of rank 2, showing in all cases that t_{E/Q, p} = 0 for all good ordinary primes p < 30,000. In fact, we show that, with the pos…
