Weil–Châtelet group should not be confused with Weil group.
In arithmetic geometry, the Weil–Châtelet group or WC-group of an algebraic group such as an abelian variety A defined over a field K is the abelian group of principal homogeneous spaces for A, defined over K. named it for who introduced it for elliptic curves, and, who introduced it for more general groups. It plays a basic role in the arithmetic of abelian varieties, in particular for elliptic curves, because of its connection with infinite descent.
It can be defined directly from Galois cohomology, as
1(G | |
H | |
K,A) |
GK
The Tate–Shafarevich group of an abelian variety A defined over a number field K consists of the elements of the Weil–Châtelet group that become trivial in all of the completions of K.
f\colonA\toB
Sel(f)
1(G | |
(A/K)=cap | |
K,ker(f)) → |
1(G | |
H | |
Kv |
,Av[f])/im(\kappav))
where Av[''f''] denotes the f-torsion of Av and
\kappav
Bv(Kv)/f(Av(Kv)) →
1(G | |
H | |
Kv |
,Av[f])