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).
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.
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.
Franz Lemmermeyer's previous work laid the framework for a description of the arithmetic of Pell conics, which is analogous to that of elliptic curves. He describes a group law on conics and conjectures the existence of an analogous Tate--Shafarevich group with order the squared ideals of the narrow class group. In this article, we provide a cohomological definition of the Tate--Shafarevich group and show that its order is as Lemmermeyer conjectured.
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 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$.
This paper continues the authors previous investigations concerning orders of Tate-Shafarevich groups in quadratic twists of a given elliptic curve, and for the family of the Neumann-Setzer type elliptic curves. Here we present the results of our search for the (analytic) orders of Tate-Shafarevich groups for the cubic twists of $X_0(27)$. Our calculations extend those given by Zagier and Kramarz \cite{ZK} and by Watkins \cite{Wat}. Our main observations concern the asymptotic formula for the frequency of orders of Tate-Shafarevich groups. In the last section we propose a similar asymptotic fo…
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.
Let $E$ be an elliptic curve over the rational field $\mathbf{Q}$. Let $K$ be a quadratic extension over $\mathbf{Q}$. Let $\mathrm{ST}(E/K)$ dente the Shafarevich-Tate group of $E$ over $K$. We show that (under mild conditions on $E$) for every $r>0$, there are infinitely many quadratic twists $E^d/\mathbf{Q}$ of $E/\mathbf{Q}$ such that $\mathrm{dim}_{\mathbf{F}_2}(\mathrm{ST}(E^d/K)[2]) > r$
A multinorm one torus associated to a commutative étale algebra $L$ over a global field $k$ is of Kummer type if each factor of $L$ is a cyclic Kummer extension. In this paper we compute the Tate-Shafarevich group of such tori based on recent works of Bayer-Fluckiger, T.-Y. Lee and Parimala, and of T.-Y.~Lee. We also implement an effective algorithm using SAGE which computes the Tate-Shafarevich groups when each factor of $L$ is contained in a fixed concrete bicyclic extension of $k$.
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}$.
Constructing non-trivial elements of the Shafarevich-Tate group of an Abelian Variety over a Number Field
Birch and Swinnerton-Dyer（BSD）猜想的第二部分根据曲线的其他可计算不变量给出了椭圆曲线的Shafarevich-Tate群的阶的猜想公式。Cremona和Mazur提出了一个理论，该理论通常可以用来验证BSD猜想，通过构造一条椭圆曲线的Shafarevich-Tate群的非平凡元素，借助于一条环境曲线的Mordell-Weil群。本文推广了Cremona和Mazur的工作，给出了数域上阿贝尔簇的Shafarevich-Tate群可构造的精确条件.然后，我们给出了我们的一般结果的一个扩展，提供了新的理论证据的BSD猜想。
Let k be a global field and L be a finite dimensional étale algebra over k. In this paper, we assume that L is a product of cyclic extensions of k. Let T_{L/k} be the multinorm-one torus defined by the multinorm equation: N_{L/k} (t) = 1. Let X_c be the variety defined by the equation N_{L/k} (t) = c, for some c in k*. In this paper, we compute the Tate-Shafarevich group and the algebraic Tate-Shafarevich group of the character group of T_{L/k}. These groups measure the obstruction to the local-global principle for existence of rational points of X_c and the obstruction to the weak appraximati…
Given an abelian variety J and an abelian subvariety A of J over a number field K, we study the visible elements of the Shafarevich-Tate group of A with respect to J over certain number field extension M of K. The notion of visible elements in Shafarevich-Tate group of an abelian variety was introduced by Mazur. In this article, we study the image of Visible elements of A with respect to J under the natural restriction map of the Galois cohomology of A over K to the Galois cohomology of A over M. In particular, for a fixed odd prime p, we investigate the conditions under which visible elements…
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.
We study the asymptotic behaviour of the Bloch-Kato-Shafarevich-Tate group of a modular form f over the cyclotomic Zp-extension of Q under the assumption that f is non-ordinary at p. In particular, we give upper bounds of these groups in terms of Iwasawa invariants of Selmer groups defined using p-adic Hodge Theory. These bounds have the same form as the formulae of Kobayashi, Kurihara and Sprung for supersingular elliptic curves.
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…
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.
Let $A$ be an abelian variety over a number field $F$ and let $p$ be a prime. Cohen-Lenstra-Delaunay-style heuristics predict that the Tate-Shafarevich group of $A_s$ should contain an element of order $p$ for a positive proportion of quadratic twists $A_s$ of $A$. We give a general method to prove instances of this conjecture by exploiting independent isogenies of $A$. For each prime $p$, there is a large class of elliptic curves for which our method shows that a positive proportion of quadratic twists have nontrivial $p$-torsion in their Tate-Shafarevich groups. In particular, when the modul…
Let $E$ be an elliptic curve over $\mathbb{Q}$. Let $p$ be an odd prime and $ι: \overline{\mathbb{Q}}\hookrightarrow \mathbb{C}_p$ an embedding. Let $K$ be an imaginary quadratic field and $H_{K}$ the corresponding Hilbert class field. For a class group character $χ$ over $K$, let $\mathbb{Q}(χ)$ be the field generated by the image of $χ$ and $\mathfrak{p}_χ$ the prime of $\mathbb{Q}(χ)$ above $p$ determined via $ι_p$. Under mild hypotheses, we show that the number of class group characters $χ$ such that the $χ$-isotypic Tate--Shafarevich group of $E$ over $H_{K}$ is finite with trivial $\math…
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.
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 $A$ be an abelian variety defined over a number field $F$. We prove a control theorem for the fine Selmer group of the abelian variety $A$ which essentially says that the kernel and cokernel of the natural restriction maps in a given $\mathbb{Z}_p$-extension $F_\infty/F$ are finite and bounded. We emphasise that our result does not have any constraints on the reduction of $A$ and the ramification of $F_\infty/F$. As a first consequence of the control theorem, we show that the fine Tate-Shafarevich group over an arbitrary $\mathbb{Z}_p$-extension has trivial $Λ$-corank. We then derive an as…
We consider an abelian variety defined over a number field. We give conditional bounds for the order of its Tate-Shafarevich group, as well as conditional bounds for the Néron-Tate height of generators of its Mordell-Weil group. The bounds are implied by strong but nowadays classical conjectures, such as the Birch and Swinnerton-Dyer conjecture and the functional equation of the L-series. In particular, we improve and generalise a result by D. Goldfeld and L. Szpiro on the order of the Tate-Shafarevich group, and extends a conjecture of S. Lang on the canonical height of a system of generators…
We consider the Kolyvagin cohomology classes associated to an elliptic curve $E$ defined over $\mathbb{Q}$ from a computational point of view. We explain how to go from a model of a class as an element of $(E(L)/pE(L))^{\mathrm{Gal}(L/\mathbb{Q})}$, where $p$ is prime and $L$ is a dihedral extension of $\mathbb{Q}$ of degree $2p$, to a geometric model as a genus one curve embedded in $\mathbb{P}^{p-1}$. We adapt the existing methods to compute Heegner points to our situation, and explicitly compute them as elements of $E(L)$. Finally, we compute explicit equations for several genus one 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 K/F be a finite Galois extension of global fields with Galois group G and let M be a 1-motive over F. We discuss the kernel and cokernel of the restriction map Sha^{i}(F,M) --> Sha^{i}(K,M)^{G} for i=1 and 2, independently of any finiteness hypotheses. We show that these groups are finite and obtain, in particular, formulas for the corresponding quotient of group orders.
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.
Record values are determined for the order $|\Sha|$ of the Tate--Shafarevich group of an elliptic curve $E$, computed analytically by the Birch--Swinnerton-Dyer conjecture, and for the Goldfeld--Szpiro ratio $G=|\Sha|/\sqrt{N}$, where $N$ is the conductor of $E$. The curves have rank zero and are isogenous to quadratic twists of Frey curves constructed from coprime positive integers $(a,b,c)$ with $a+b=c$ and $c>r^{1.4}$, where the radical $r$ is the product of the primes dividing $abc$. Curves with $|\Sha|>250000^2$ and $G>12$ are found in 20 isogeny classes. Three curves have $G>150$. The la…
Let $\mathcal X$ be a regular variety, flat and proper over a complete regular curve over a finite field, such that the generic fiber $X$ is smooth and geometrically connected. We prove that the Brauer group of $\mathcal X$ is finite if and only Tate's conjecture for divisors on $X$ holds and the Tate-Shafarevich group of the Albanese variety of $X$ is finite, generalizing a theorem of Artin and Grothendieck for surfaces to arbitrary relative dimension. We also give a formula relating the orders of the group under the assumption that they are finite, generalizing the formula given for a surfac…
