Un sous-groupe d'indice fini de classes en cohomologie galoisienne défini en imposant des conditions locales qui contrôlent les obstructions à la description local-vers-global des points rationnels sur une variété abélienne ; concrètement, le groupe de Selmer n s'insère entre la n-torsion du groupe de Mordell–Weil et la cohomologie globale, fournissant des majorations calculables des rangs.

Principe

Définir des images locales (par exemple via les applications de Kummer) en chaque complétion et prendre le sous-groupe de H^1(global, A[n]) formé des classes dont les localisations appartiennent à ces images prescrites ; le groupe de Selmer rassemble des conditions locales globalement compatibles et est fini pour n fixé.

Démonstration

Pour une courbe elliptique E et n=2, le groupe de Selmer 2 se calcule par des tests de solubilité locale de formes quadratiques binaires ou de courbes couvrantes ; sa dimension sur F_2 donne une borne supérieure pour le rang de Mordell–Weil de E et guide les calculs explicites de descente.

Mauvaise application

Interpréter la taille (ou le rang) d'un groupe de Selmer comme égale au rang de Mordell–Weil sans tenir compte du groupe de Tate–Shafarevich éventuellement non trivial ; ou supposer que le groupe de Selmer ne contient que des classes provenant de points rationnels alors qu'il comprend aussi des torseurs non triviaux.

Conséquence

Fournit un objet pratique, fini et souvent calculable qui borne des invariants arithmétiques (notamment le rang des points rationnels) et organise les algorithmes de descente ; son calcul met en lumière des obstructions potentielles et réduit les possibilités pour les points rationnels globaux.

Inversion

Le concept inversé est le groupe de cohomologie global sans conditions locales, qui est typiquement infini ou intraitable ; supprimer les contraintes locales fait perdre la finitude et la prise algorithmique que fournissent les groupes de Selmer.

Limite

Dépend du choix de l'isogénie ou de l'entier n et des conditions locales en chaque place ; les groupes de Selmer sont définis en cohomologie de degré un pour des variétés abéliennes sur corps globaux et n'encodent pas directement des obstructions de degré supérieur ni des phénomènes non abéliens.

Tension sémantique

Tension entre les groupes de Selmer comme approximations calculables (bornes supérieures) pour l'arithmétique des points rationnels et leur interprétation comme contenant de véritables obstructions géométriques (éléments pouvant représenter des torseurs non triviaux dans Sha) ; ils approximant et obscurcissent simultanément le tableau global réel.

Synthèse

Un groupe de Selmer est un ensemble fini, défini cohomologiquement, de classes globales soumises à des images locales qui fournit des bornes calculables et organise la descente, servant de pont principal entre les données de solubilité locale et les invariants arithmétiques globaux.