##  [Tate–Shafarevich Group](/tate-shafarevich-group-0) 

 Definition

For an abelian variety A over a global field, the Tate–Shafarevich group (commonly denoted Sha) is the group of principal homogeneous spaces (torsors) for A that are locally trivial at every completion of the base field but may fail to have a global rational point; it measures the precise obstruction to the Hasse principle for A.

 

 

 

 

 

 





## Principle

Principle

Sha is defined as the kernel of the localization map from the Galois cohomology group H^1(global, A) to the product of local cohomology groups ∏_v H^1(local_v, A); elements represent classes that vanish locally everywhere but not necessarily globally.

 

 

 

 

 





## Demonstration

Demonstration

For an elliptic curve E over Q, an element of Sha corresponds to a curve that has a point over every completion Q_p and over R but has no rational point over Q; such torsors appear in descent computations and manifest as obstructions to representing a global rational point.

 

 

 

 

## Misapplication

Misapplication

Assuming Sha is always finite or computable in general; treating the vanishing or nonvanishing of Sha as directly giving full information about rational points without considering its relation to Selmer groups and descent procedures.

 

 

 

 

 





## Consequence

Consequence

When finite and known, Sha quantifies the local–global failure and enters arithmetic formulas (for instance as a factor in conjectural formulas for special values of L-functions), and its structure constrains the relationship between local solvability and global rational points.

 

 

 

 

## Reversal

Reversal

The reversed situation is trivial Sha (Sha=0), which asserts that every locally trivial torsor is globally trivial and hence the Hasse principle holds for the particular abelian variety under consideration.

 

 

 

 

 





## Boundary

Boundary

Defined for abelian varieties over global fields using étale or Galois cohomology in degree one; it does not directly describe higher-degree obstructions or non-abelian torsors, and many fundamental questions about its finiteness and computability remain open.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Tension between Sha as a subtle global invariant that is often conjectured to be finite and the practical use of computable approximations (Selmer groups) which bound Sha but conflate visible and invisible parts; the conceptual obscurity of Sha contrasts with the algorithmic nature of its approximations.

 

 

 

 

 





## Synthesis

Synthesis

The Tate–Shafarevich group is the cohomological receptacle for torsors that are locally trivial everywhere but possibly nontrivial globally, serving as the canonical measure of local–global failure for abelian varieties and central to descent and conjectural arithmetic formulae.