For an abelian variety over a field , its Weil–Châtelet group is the Galois cohomology group , classifying torsors under . Such an algebraic-group torsor becomes after passing to a separable closure but need not have a -point. A chosen geometric point identifies the torsor with and its Galois descent with a cocycle; changing that point adds a coboundary. The zero class is precisely the torsor with a rational point. For an elliptic curve, these torsors are genus-one curves with a specified action and Jacobian. Over a number field the kernel of restriction to every completion is the Tate–Shafarevich group.
New to topics? Read the docs here!