We state a conjectural criterion for identifying global integral points on a hyperbolic curve over $\mathbb{Z}$ in terms of Selmer schemes inside non-abelian cohomology functors with coefficients in $\mathbb{Q}_p$-unipotent fundamental groups. For $\mathbb{P}^1\setminus \{0,1,\infty\}$ and the complement of the origin in semi-stable elliptic curves of rank 0, we compute the local image of global Selmer schemes, which then allows us to numerically confirm our conjecture in a wide range of cases.
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.
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…
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.
Under a non-torsion assumption on Heegner points, results of Kolyvagin describe the structure of Shafarevich-Tate groups of elliptic curves. In this paper we prove analogous results for ($p$-primary) Shafarevich-Tate groups associated with higher weight modular forms over imaginary quadratic fields satisfying a "Heegner hypothesis". More precisely, we show that the structure of Shafarevich-Tate groups is controlled by cohomology classes built out of Nekovář's Heegner cycles on Kuga-Sato varieties. As an application of our main theorem, we improve on a result of Besser giving a bound on the ord…
Given a smooth geometrically connected curve $C$ over a field $k$ and a smooth commutative group scheme $G$ of finite type over the function field $K$ of $C$ we study the Tate--Shafarevich groups given by elements of $H^1(K,G)$ locally trivial at completions of $K$ associated with closed points of $C$. When $G$ comes from a $k$-group scheme and $k$ is a number field (or $k$ is a finitely generated field and $C$ has a $k$-point) we prove that the Tate--Shafarevich group is finite, generalizing a result of Saïdi and Tamagawa for abelian varieties. We also give examples of nontrivial Tate--Shafar…
We give a formula relating the order of the Brauer group of a surface fibered over a curve over a finite field to the order of the Tate-Shafarevich group of the Jacobian of the generic fiber. The formula implies that the Brauer group of a smooth and proper surface over a finite field is a square if it is finite.
Let $\mathbb{F}_q$ be a finite field of odd characteristic $p$. We exhibit elliptic curves over the rational function field $K = \mathbb{F}_q(t)$ whose Tate-Shafarevich groups are large. More precisely, we consider certain infinite sequences of explicit elliptic curves $E$, for which we prove that their Tate-Shafarevich group $\mathrm{III}(E)$ is finite and satisfies $|\mathrm{III}(E)| = H(E)^{1+o(1)}$ as $H(E)\to\infty$, where $H(E)$ denotes the exponential differential height of $E$. The elliptic curves in these sequences are pairwise neither isogenous nor geometrically isomorphic. We furthe…
We establish the finiteness of the kernel and cokernel of the restriction map III^{i}(F,M) ---> III^{i}(K,M)^{G} for i=1 and 2, where M is a (Deligne) 1-motive over a global field F and K/F is a finite Galois extension of global fields with Galois group G.
Let $X$ be a smooth projective variety over a finitely generated field $K$ of characteristic $p>0$. We proved that the finiteness of the $\ell$-primary part of $\mathrm{Br}(X_{K^s})^{G_K}$ for a single prime $\ell\neq p$ will imply the finiteness of the prime-to-$p$ part of $\mathrm{Br}(X_{K^s})^{G_K}$, generalizing a theorem of Tate and Lichtenbaum for varieties over finite fields. For an abelian variety $A$ over $K$, we proved a similar result for the Tate-Shafarevich group of $A$, generalizing a theorem of Schneider for abelian varieties over global function fields.
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.
For each prime $p$, we show that there exist geometrically simple abelian varieties $A/\mathbb Q$ with non-trivial $p$-torsion in their Tate-Shafarevich groups. Specifically, for any prime $N\equiv 1 \pmod{p}$, let $A_f$ be an optimal quotient of $J_0(N)$ with a rational point $P$ of order $p$, and let $B = A_f/\langle P \rangle$. Then the number of positive integers $d \leq X$, such that the Tate-Shafarevich group of $\hat B_d$ has non-trivial $p$-torsion, is $\gg X/\log X$, where $\hat B_d$ is the dual of the $d$-th quadratic twist of $B$. We prove this more generally for abelian varieties o…
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…
Let $f$ be a newform of weight $2$, square-free level and trivial character, let $A_f$ be the abelian variety attached to $f$ and for every good ordinary prime $p$ for $f$ let $\boldsymbol f^{(p)}$ be the $p$-adic Hida family through $f$. We prove that, for all but finitely many primes $p$ as above, if $A_f$ is an elliptic curve such that $A_f(\mathbb Q)$ has rank $1$ and the $p$-primary part of the Shafarevich-Tate group of $A_f$ over $\mathbb Q$ is finite then all specializations of $\boldsymbol f^{(p)}$ of weight congruent to $2$ modulo $2(p-1)$ and trivial character have finite ($p$-primar…
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 $k$ be a higher-dimensional local field and $X$ be a smooth projective geometrically integral curve over $k$. Let $K$ be the function field of $X$. We define Tate-Shafarevich groups of an abelian variety via cohomology classes locally trivial at each completion of $K$ coming from a closed point of $X$. We prove local duality theorems for abelian varieties over $k$, as well as global duality theorems for Tate-Shafarevich groups of abelian varieties over $K$. Soient $k$ un corps local supérieur et $X$ une courbe projective lisse géométriquement intègre de corps de fonctions $K$. On définit l…
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…
