Tate-Shafarevich-Gruppe

Für quadratische Formen gilt das Lokal-Global-Prinzip: Wenn eine über den rationalen Zahlen definierte quadratische Form ${\displaystyle Q}$ Lösungen von ${\displaystyle Q(x_{1},\ldots ,x_{n})=0}$ in allen ${\displaystyle p}$-adischen Vervollständigungen (einschließlich der reellen Zahlen für ${\displaystyle p=\infty }$) hat, dann hat sie auch Lösungen in den rationalen Zahlen. Dies gilt allgemeiner auch für Zahlkörper ${\displaystyle K}$ und ihre Vervollständigungen ${\displaystyle K_{v}}$: Wenn es Lösungen in allen Vervollständigungen gibt, dann gibt es Lösungen in ${\displaystyle K}$.

Für elliptische Kurven und allgemeiner abelsche Varietäten gilt dieses Prinzip nicht.

Weil sich ${\displaystyle K}$-rationale Punkte auf einer abelschen Varietät ${\displaystyle A}$ durch die Kohomologiegruppe ${\displaystyle H^{1}(K,A)}$ beschreiben lassen, entspricht das Scheitern des Lokal-Global-Prinzips der Nicht-Injektivität von ${\displaystyle H^{1}(K,A)\to \Pi _{v}H^{1}(K_{v},A)}$, wobei das Produkt über alle Vervollständigungen ${\displaystyle K_{v}}$ gebildet wird. Man definiert deshalb die Tate-Shafarevich-Gruppe als

${\displaystyle {\mbox{Ш}}(K,A)=\mathrm {ker} (H^{1}(K,A)\to \Pi _{v}H^{1}(K_{v},A))}$.

• Serge Lang, John Tate: Principal homogeneous spaces over abelian varieties, American Journal of Mathematics, 80 (3): 659–684, 1958
• Igor Shafarewitsch: The group of principal homogeneous algebraic manifolds, Doklady Akademii Nauk SSSR (russisch), 124: 42–43, 1959