Para una variedad abeliana A sobre un cuerpo global, el grupo de Tate–Shafarevich (denotado Sha) es el grupo de espacios homogéneos principales (torsores) para A que son localmente triviales en cada completado del cuerpo base pero pueden carecer de punto racional global; mide la obstrucción precisa al principio de Hasse para A.

Principio

Sha se define como el núcleo del mapa de localización H^1(global, A) → ∏_v H^1(local_v, A) en cohomología de Galois; los elementos representan clases que se anulan localmente en todas partes pero no necesariamente de forma global.

Demostración

Para una curva elíptica E sobre Q, un elemento de Sha corresponde a una curva que tiene un punto sobre cada completado Q_p y sobre R pero no tiene punto racional sobre Q; tales torsores aparecen en cálculos de descenso y se manifiestan como obstrucciones a representar un punto racional global.

Aplicación incorrecta

Asumir que Sha es siempre finito o computable en general; tratar la anulación o no anulación de Sha como si diera directamente información completa sobre los puntos racionales sin considerar su relación con los grupos de Selmer y los procedimientos de descenso.

Consecuencia

Cuando es finito y conocido, Sha cuantifica el fallo local–global e interviene en fórmulas aritméticas (por ejemplo como factor en fórmulas conjeturales para valores especiales de funciones L), y su estructura restringe la relación entre solvencia local y puntos racionales globales.

Inversión

La situación inversa es Sha trivial (Sha=0), que afirma que todo torseur localmente trivial es trivial globalmente y que por tanto el principio de Hasse se cumple para la variedad abeliana considerada.

Límite

Definido para variedades abelianas sobre cuerpos globales usando cohomología étale o de Galois en grado uno; no describe directamente obstrucciones de grado superior ni torsores no abelianos, y muchas preguntas fundamentales sobre su finitud y calculabilidad permanecen abiertas.

Tensión semántica

Tensión entre Sha como un invariante global sutil que a menudo se conjetura finito y el uso práctico de aproximaciones computables (grupos de Selmer) que acotan a Sha pero confunden partes visibles e invisibles; la opacidad conceptual de Sha contrasta con la naturaleza algorítmica de sus aproximaciones.

Síntesis

El grupo de Tate–Shafarevich es el receptáculo cohomológico de los torsores localmente triviales en todas partes pero posiblemente no triviales globalmente, sirviendo como medida canónica del fallo local–global para variedades abelianas y siendo central en la teoría de la descensión y en fórmulas aritméticas conjeturales.