Un principe heuristique et parfois théorématique affirmant qu'une propriété arithmétique ou géométrique globale (existence d'un point rationnel, résolvabilité, isotropie) peut être détectée en vérifiant les propriétés locales correspondantes en toutes les complétions du corps de base.

Principe

Réduire des problèmes globaux à une famille de problèmes locaux : si un objet satisfait la propriété spécifiée dans chaque complétion (archimédienne et non archimédienne), alors, sous des hypothèses appropriées, il la satisfait globalement ; inversement, un échec global doit être signalé par une obstruction locale ou une obstruction globale visible dans l'agrégat des locaux.

Démonstration

Le théorème de Hasse–Minkowski pour les formes quadratiques sur les corps de nombres : une forme quadratique est isotrope sur le corps de nombres si et seulement si elle est isotrope sur chaque complétion (R et toutes les p-adiques). Beaucoup de torseurs sous certains groupes obéissent aussi à des principes de Hasse ; cependant il existe des contre-exemples.

Mauvaise application

Supposer que le principe vaut toujours : il existe des échecs classiques (par exemple, certaines courbes de genre un et certaines surfaces cubiques diagonales) où la résolvabilité locale n'implique pas la résolvabilité globale en raison d'obstructions comme l'obstruction de Brauer–Manin ou des obstructions de descente.

Conséquence

Lorsqu'il est valable, il réduit des vérifications globales infinies à des vérifications locales finies et permet des algorithmes explicites et des résultats de classification ; il concentre aussi l'attention sur la détection et la classification des obstructions lorsqu'il échoue.

Inversion

La négation met en lumière les obstructions : une résolvabilité locale sans solution globale conduit à l'étude de l'obstruction de Brauer–Manin, des obstructions de descente et d'autres obstructions ; comprendre l'inversion oblige à affiner les données locales ou à introduire de nouveaux invariants capturant l'échec global.

Limite

Vaut pleinement pour certaines classes (formes quadratiques, certains espaces homogènes) et échoue en général ; il concerne les complétions de corps locaux et exclut les phénomènes sensibles aux modèles entiers, aux classes de torsion ou aux contraintes de hauteur globale qui ne se localisent pas directement.

Tension sémantique

Entre en tension avec les notions d'approximation faible et le principe de Brauer–Manin : la tension réside entre l'attente d'un transfert local-vers-global et la reconnaissance d'obstructions globales subtiles invisibles localement mais qui gouvernent la réalité arithmétique.

Synthèse

Le Principe Local–Global est une stratégie directrice : tester les complétions locales pour inférer le comportement global lorsque c'est admissible, et lorsqu'il échoue, utiliser le schéma des solutions locales pour isoler des obstructions globales et affiner les invariants arithmétiques ; il est puissant mais nécessite des hypothèses précises et un inventaire des obstructions possibles.