Questions tagged [tate-shafarevich-groups]
The tate-shafarevich-groups tag has no usage guidance.
27
questions
2
votes
0
answers
222
views
Proof of Remark 6.14(b) of Milne's Arithmetic duality theorems'
Let $E/\mathbb{Q}$ be an elliptic curve.Let $\operatorname{Sha}(E/\Bbb{Q})$ be a Tate-Shafarevich group.
Milne's 'Arithmetic Duality Theorems' Remark 6.14(b) describe the following exact sequence.
...
- 1,405
1
vote
0
answers
66
views
Tate-Shafarevich group and its twist such that $\text{Sha}(E_D/\Bbb{Q})=0$ or some constant
Let $E/\Bbb{Q}$ be an elliptic curve defined over $\Bbb{Q}$.
Let $D\in \Bbb{Z}$ be a square free integer and $E_D/\Bbb{Q}$ be its quadratic twist.
It is widely known that for all $E/\Bbb{Q}$: elliptic ...
- 1,405
0
votes
1
answer
288
views
Tate–Shafarevich group and $\sigma \phi(C)=-\phi \sigma(C)$ for all $C \in \operatorname{Sha}(E/L)$
$\DeclareMathOperator\Sha{Sha}\DeclareMathOperator\Gal{Gal}$Let $L/K$ be a quadratic extension of number field $K$.
Let $\sigma$ be a generator of $\Gal(L/K)$.
Let $E/K$ be an elliptic curve defined ...
- 1,405
3
votes
0
answers
135
views
Large 2-part of Tate–Shafarevich group over $\Bbb{Q}$ with small number of prime factor of discriminants
$\newcommand{\Sha}{\operatorname{Sha}}$Let $E/\mathbb{Q}$ be an elliptic curve, and let $\Sha(E/\mathbb{Q})$ denote the Tate–Shafarevich group of $E/\mathbb{Q}$. It is known that the 2-primary ...
- 1,405
1
vote
0
answers
105
views
Large Tate-Shafarevich group of an elliptic curve with the form $E_{p,n}:y^2=x^3+p^nx$
Let $p$ be a prime number and $n$ be positive integer.
Let $E_{p,n}:y^2=x^3+p^nx$ be an elliptic curve.
LMFDB reads in the case $(p,n)=(73,3)$ , $\#Sha(E_{p,n})=64$.
This is the biggest size of $Sha(...
- 1,405
18
votes
1
answer
649
views
Discrepancy in Magma's calculation and Sage's of elliptic curve?
$\DeclareMathOperator\Sha{Sha}$I calculated the Tate–Shafarevich group $\Sha(E/K)[2]$ of the elliptic curve $E:y^2=x^3+17x$ over $K=\Bbb{Q}(\sqrt{-37})$.
I calculated that by hand and I reached the ...
- 1,405
3
votes
1
answer
225
views
The second Tate-Shafarevich group of a permutation module is trivial
Suppose I have a global field $K$ and a finite Galois extension $L/K$ of Galois group $G$. It is often written without proofs (it seems that this is a very common statement) that for every $G$-module $...
- 176
2
votes
0
answers
138
views
Order $4$ element of Tate-Shafarevich group
Let $E/\Bbb{Q}$ be an elliptic curve defined over $\Bbb{Q}$. Tate-Shafarevich group $\mathit{Sha}(E/\Bbb{Q})$ is defined as follows.
$$\mathit{Sha}(E/\Bbb{Q})\stackrel{\text{def}}{=} \operatorname{Ker}...
- 1,405
0
votes
0
answers
69
views
Rank of infinite family of elliptic curves over the rationals without assuming finiteness of Sha
Are there any known infinite families of elliptic curves over the rationals, that are proved to have rank $\geq 2$, without assuming finiteness of their Tate-Shafarevich group?
- 71
3
votes
0
answers
107
views
Local global principle over infinite extension of $\Bbb{Q}$ which is not algebraically closed
Let $A$ be an algebraic variety over a field $K$, which is finite extension of $ \Bbb{Q}$.
We say local global principle holds if $A(K_v) \neq \emptyset$ implies $A(K) \neq \emptyset$, where $K_v$ is ...
- 1,405
5
votes
1
answer
333
views
Tate–Shafarevich group of Jacobian of Selmer curve $3X^3 + 4Y^3 + 5Z^3 = 0$
$C/ \Bbb{Q}: 3X^3 + 4Y^3 + 5Z^3 = 0$ is known to be a nontrivial element of the Tate–Shafarevich group of the elliptic curve $E/\Bbb{Q}:X^3 + Y^3 + 60Z^3 = 0$. It is also an example of an abelian ...
- 1,405
1
vote
0
answers
87
views
Reference of R. Kloosterman
Here, Clark suggests to use the theorem of R. Kloosterman, and then mentions one of his papers. I searched this theorem in his paper but I didn't find anything close to this theorem. Where can I find ...
- 421
3
votes
0
answers
212
views
Relation between the Tate-Shafarevich group of a number field and the Tate-Shafarevich group of an elliptic curve
Let $E$ be an elliptic curve over a number field $K$, and let $sha^1(K,E)$ be the Tate-Shafarevich group, defined by:
Let $v$ be a valuation on $K$, and denote by $K_v$ the completion of $K$ by $v$, ...
- 421
2
votes
0
answers
163
views
Understanding Sha through $K_2$
Consider the following setup, to keep things easy: let $F$ be a number field with ring of integers $A$. Let $E$ be an elliptic curve over $F$ with Neron model $N$ over $A$. Let $Sha(E)$ be the ...
- 13.1k
3
votes
0
answers
126
views
Some Questions regarding the fine Shafarevich-Tate group
The fine Shafarevich-Tate (ST) group appears to not have been studied in much depth except for one paper by Wuthrich (2007). However, it only talks about fine ST group for elliptic curves, which makes ...
- 1,191
1
vote
0
answers
196
views
Growth of Selmer Groups
If $E$ is an elliptic curve over $K$, is there any effective estimate for the discriminant of the extension $L/K$ for which the $p$-part of the
Selmer or Tate-Shafarevich groups become large?
I will ...
- 1,191
8
votes
0
answers
160
views
Looking for an elliptic curve E st ${\large Ш}(\mathbb Q,E)$ cont. an element of order $p^2$ and certain other properties
I am looking for an elliptic curve $E$ with Weierstraß coefficients in $\mathbb{Q} $ so that for some prime $p$ the following conditions are satisfied:
(1) ${\large Ш}_{p^{\infty}}(\mathbb{Q},E)$ ...
- 1,727
3
votes
1
answer
1k
views
Is the Tate-Shafarevich group of a rational elliptic curve finite?
It seems that Lan Nguyen proved in a preprint on arxiv of 2013 that the Tate-Shafarevich group of a rational elliptic curve is finite. However, I couldn't find any published version thereof. So is it ...
- 6,934
4
votes
1
answer
259
views
Local triviality of Galois cohomology classes over $\mathbb{Q}$
Let $A$ be a $\mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$-module which is a finitely generated free $\mathbb{Z}$-module. I'm interested in the behaviour of cohomology classes in
$$\mathrm{H}^1(\mathbb{...
- 20.8k
6
votes
1
answer
875
views
Relationship between Tate-Shafarevich group and the BSD conjecture
The finiteness of the Tate-Shafarevich group is known to be equivalent to BSD for elliptic curves over function fields over $\mathbb{F}_{q},$ this result is due to Kato and Trihan if I am not mistaken....
- 1,727
3
votes
1
answer
476
views
Selmer and free rank of Elliptic Curves
If I am not mistaken, the equality of the $p$-Selmer rank and the free rank of an elliptic curve are conjectured to be equal.
This is one of the many implications of the Birch and Swinnerton-Dyer ...
- 1,727
2
votes
1
answer
383
views
Is Ш a good parameter for the failure of Global-Local principle for abelian varieties?
(Comparing to class group cases: we have an isomorphism
$Cl(K)\rightarrow \prod \left(K^\times \backslash K_p^\times /O_p^\times \right)$ for a number field $K$.
Similarly, for an elliptic curve $E/\...
7
votes
1
answer
473
views
Tate-Shafarevich groups over finitely generated fields
Let $G$ be an algebraic group over a number field $k$. One defines the Tate-Shafarevich set of $G$ to be
$$Ш(k,G) = \ker\left(H^1(k,G) \to \prod_{v} H^1(k_v,G)\right),$$
where the product is over all ...
- 20.8k
14
votes
1
answer
707
views
$S$-Tate-Shafarevich groups of elliptic curves
Let $S$ be a finite set of places of a number field $k$ and let $E$ be an elliptic curve over $k$. Define the ''$S$-Tate-Shafarevich group" of $E$ to be
$$Ш(E,S) = \ker\left(H^1(k,E) \to \prod_{v \...
- 20.8k
78
votes
0
answers
3k
views
The exponent of Ш of $y^2 = x^3 + px$, where $p$ is a Fermat prime
For $d$ a non-zero integer, let $E_d$ be the elliptic curve
$$
E_d : y^2 = x^3+dx.
$$
When we let $d$ be $p = 2^{2^k}+1$, for $k \in \{1,2,3,4\}$, sage tells us that, conditionally on BSD,
$$
\# Ш(E_p)...
- 4,745
-2
votes
1
answer
1k
views
Why should I believe in the Siegel's and Hasse's rationale ?
Hello everyone,
I was deeply attracted by the Hasse and Siegel's theorems while studying $p$-adic analysis. While reading a paper B.J. Birch and H.P.F. Swinnerton-Dyer - Notes on elliptic curves. I, ...
18
votes
1
answer
2k
views
What's the Hilbert class field of an elliptic curve?
My question points in a direction similar to Qiaochu's, but it's not the same (or so I think). Let me provide you with a little bit of background first.
Let E be an elliptic curve defined over some ...
- 32.2k