Un subgrupo de índice finito de clases en cohomología de Galois definido imponiendo condiciones locales que controlan las obstrucciones a la descripción local-a-global de puntos racionales en una variedad abeliana; concretamente, el n-grupo de Selmer se sitúa entre la n-torsión del grupo de Mordell–Weil y la cohomología global, proporcionando cotas superiores computables de los rangos.

Principio

Definir imágenes locales (por ejemplo mediante mapas de Kummer) en cada completado y tomar el subgrupo de H^1(global, A[n]) formado por las clases cuyas localizaciones pertenecen a esas imágenes prescritas; el grupo de Selmer recoge condiciones locales globalmente coherentes y es finito para n fijo.

Demostración

Para una curva elíptica E y n=2, el 2-grupo de Selmer se puede calcular mediante pruebas de solubilidad local de formas cuadráticas binarias o curvas recubridoras; su dimensión sobre F_2 da una cota superior para el rango de Mordell–Weil de E y guía cálculos explícitos de descenso.

Aplicación incorrecta

Interpretar el tamaño (o rango) de un grupo de Selmer como igual al rango de Mordell–Weil sin tener en cuenta el posible grupo de Tate–Shafarevich no trivial; o asumir que el grupo de Selmer contiene solo clases provenientes de puntos racionales cuando también contiene torsores no triviales.

Consecuencia

Proporciona un objeto práctico, finito y a menudo calculable que acota invariantes aritméticos (notablemente el rango de puntos racionales) y organiza algoritmos de descenso; su cálculo revela posibles obstrucciones y reduce las posibilidades para los puntos racionales globales.

Inversión

El concepto invertido es el grupo de cohomología global completo sin condiciones locales, que suele ser infinito o intratable; eliminar las restricciones locales hace perder la finitud y el control algorítmico que proporcionan los grupos de Selmer.

Límite

Depende de la elección de la isogenia o del entero n y de las condiciones locales en cada lugar; los grupos de Selmer se definen en cohomología de grado uno para variedades abelianas sobre cuerpos globales y no codifican directamente obstrucciones de grado superior ni fenómenos no abelianos.

Tensión semántica

Tensión entre los grupos de Selmer como aproximaciones computables (cotasy superiores) para la aritmética de puntos racionales y su interpretación como contenedores de obstrucciones geométricas reales (elementos que pueden representar torsores no triviales en Sha); a la vez aproximan y oscurecen el panorama global verdadero.

Síntesis

Un grupo de Selmer es una colección finita, definida cohomológicamente, de clases globales sujetas a imágenes locales que proporciona cotas computables y organiza la descensión, sirviendo de puente principal entre los datos de solubilidad local y los invariantes aritméticos globales.