Une assertion heuristique et souvent formalisée en arithmétique et en algèbre selon laquelle une propriété globale d’un objet (sur un corps ou un anneau global) est vérifiée si et seulement si la propriété correspondante est vérifiée dans chacune des complétions ou localisations locales pertinentes ; concrètement, la solvabilité globale, la classe d’isomorphisme ou l’annulation cohomologique globale est équivalente à la collection de ses homologues locaux satisfaisant la même condition.

Principe

Réduire les questions globales à des vérifications en chaque place locale ou localisation ; la règle organisatrice est que les obstructions globales se détectent comme des défaillances en un ou plusieurs lieux locaux ou comme une condition adélique de cohérence entre les lieux.

Démonstration

Théorème de Hasse–Minkowski pour les formes quadratiques sur Q : une forme quadratique sur Q représente zéro non trivialement sur Q si et seulement si elle représente zéro sur R et sur chaque complété p-adique Q_p ; l’existence globale d’une solution rationnelle est déterminée par la famille des solutions locales.

Mauvaise application

Supposer que la solvabilité locale en chaque complétion implique automatiquement une solution globale sans tenir compte des obstructions globales ou des conditions de compatibilité (par exemple, ignorer des éléments non triviaux du groupe de Tate–Shafarevich ou des contraintes de réciprocité adélique).

Conséquence

Lorsque le principe s’applique, on peut vérifier des propriétés globales par des calculs locaux (souvent finis) ou en contrôlant un ensemble spécifié de complétions ; il permet aussi d’assembler des données locales pour construire des objets globaux lorsque la compatibilité est satisfaite.

Inversion

Une défaillance du principe se manifeste par des données localement valides qui ne se recollent en aucun objet global : des solutions locales partout mais aucune solution globale (contre-exemples au principe de Hasse).

Limite

S’applique dans des contextes dotés d’une notion de localisation ou de complétion bien définie (corps de nombres, corps de fonctions, anneaux locaux, adèles) ; il ne tient pas automatiquement pour des problèmes globaux quelconques (topologiques ou combinatoires) et peut échouer quand les hypothèses de finitude cohomologique ou de réciprocité globale font défaut.

Tension sémantique

Se place en tension avec les notions de descente et de patching : contrairement à la descente catégorique (qui utilise des données de recollement et la cohomologie Čech), le principe local–global affirme une équivalence d’énoncés d’existence entre localisations plutôt que la construction explicite des morphismes de recollement.

Synthèse

Le principe local–global est l’idée organisatrice selon laquelle une propriété arithmétique ou algébrique globale s’identifie à une famille cohérente de propriétés locales ; il sert à la fois d’outil de réduction pratique et de diagnostic des obstructions globales.