Le principe local-global

Le principe local-global pose la question de savoir si une équation résoluble sur les nombres réels et sur chaque corps p-adique doit déjà être résoluble sur les nombres rationnels ; pour les formes quadratiques, la réponse est affirmative, ce qui illustre la puissance de la localisation.

Definition

Le principe local-global est l'heuristique selon laquelle un problème diophantien possède une solution sur un corps global précisément lorsqu'il possède des solutions sur toutes les complétions de ce corps ; le théorème de Hasse-Minkowski le confirme pour les formes quadratiques sur les nombres rationnels.

Scope

Ce sujet aborde la notion de places des nombres rationnels (la place réelle et une place p-adique par nombre premier), l'anneau des adèles qui rassemble toutes les complétions, le principe de Hasse pour la résolubilité, le théorème de Hasse-Minkowski selon lequel les formes quadratiques y obéissent, la formule du produit et la réciprocité de Hilbert qui le soutiennent, ainsi que les échecs célèbres du principe pour les formes de degré supérieur et certaines courbes cubiques, qui motivent l'obstruction de Brauer-Manin.

Core questions

• Que sont les places et les complétions des nombres rationnels, et comment les adèles les encodent-elles simultanément ?
• Pourquoi les formes quadratiques satisfont-elles le principe de Hasse, et comment la formule du produit et la réciprocité de Hilbert permettent-elles cela ?
• Comment la localisation réduit-elle une question de résolubilité globale à la vérification de chaque complétion ?
• Quand le principe échoue-t-il, et quelles obstructions expliquent ces échecs ?

Key theories

Théorème de Hasse-Minkowski

Une forme quadratique sur les nombres rationnels représente zéro de manière non triviale si et seulement si elle le fait sur les nombres réels et sur chaque corps p-adique, ce qui constitue le succès paradigmatique du principe local-global.

Formule du produit et réciprocité de Hilbert

Les symboles de Hilbert locaux d'une paire de nombres rationnels se multiplient pour donner un sur toutes les places ; cette formule du produit, équivalente à la réciprocité quadratique, est le moteur de la preuve de Hasse-Minkowski.

Échecs et point de vue adélique

Le principe peut échouer pour les formes de degré trois et supérieur et pour les courbes de genre un ; le cadre adélique et l'obstruction de Brauer-Manin expliquent et mesurent ces échecs.

Clinical relevance

Les méthodes local-globales rendent de nombreux problèmes diophantiens décidables en les réduisant à un nombre fini de vérifications locales, et le cadre adélique sous-tend la théorie analytique des formes automorphes et des fonctions L qui alimente le programme de Langlands et la théorie algorithmique des nombres.

History

Minkowski a classifié les formes quadratiques rationnelles dans les années 1890, et Hasse a reformulé et étendu la théorie dans les années 1920 en utilisant les nombres p-adiques, formulant ainsi le principe local-global. Les adèles et idèles de Chevalley et la thèse de Tate en 1950 ont placé le principe dans un cadre harmonico-analytique puissant sur les adèles.

Key figures

• Helmut Hasse
• Hermann Minkowski
• Claude Chevalley
• John Tate

Seminal works

• serre1973

Frequently asked questions

Le principe local-global est-il toujours valable ?

Non. Il est valable pour les formes quadratiques (Hasse-Minkowski) mais peut échouer pour les équations de degré supérieur et certaines courbes ; ces échecs sont étudiés à travers des obstructions comme l'obstruction de Brauer-Manin.

Qu'est-ce qu'une place des nombres rationnels ?

Une place est une classe d'équivalence de valeurs absolues : les nombres rationnels ont une place archimédienne donnant les nombres réels et une place non archimédienne pour chaque nombre premier donnant un corps p-adique.