L'étude des corps locaux — complétions de corps globaux pour des valeurs absolues non triviales, comme les corps p-adiques et les complétions archimédiennes locales — et de leurs structures algébriques, topologiques et arithmétiques, y compris la ramification, les extensions et la théorie locale du corps de classes.

Principe

Analyser les problèmes arithmétiques par les complétions locales, exploiter la structure topologique et valuationnelle pour classifier les extensions, mesurer la ramification et comprendre les invariants locaux qui alimentent les phénomènes globaux par localisation et recollement.

Démonstration

Étude de la théorie des extensions d'un corps p-adique incluant les filtrations d'inertie et de ramification ; application de relèvements de type Hensel pour résoudre des congruences localement ; calcul de facteurs locaux intervenant dans des fonctions L globales ou de cartes de réciprocité locales en théorie locale du corps de classes.

Mauvaise application

Supposer que la solvabilité locale entraîne la solvabilité globale sans vérifier les contraintes de recollement ou de réciprocité ; traiter des solutions analytiques locales comme des objets globaux sans contrôler la compatibilité en toutes les places.

Conséquence

Fournit des invariants locaux précis (groupes de ramification, représentations galoisiennes locales, facteurs ε locaux) qui déterminent ou contraignent les phénomènes arithmétiques globaux et permettent des arguments local-au-global si le recollement est correct.

Inversion

Étude arithmétique globale évitant le passage aux complétions, se focalisant exclusivement sur les corps globaux et les théorèmes structurels globaux sans analyse locale.

Limite

Concerne les complétions de corps de nombres et de corps de fonctions avec leur topologie valuationnelle et leurs extensions algébriques ; exclut les énoncés purement globaux qui n'utilisent pas la localisation et aussi les théories topologiques/ analytiques dépourvues de valuations arithmétiques ou de structure galoisienne locale.

Tension sémantique

Tension entre l'analyse locale — qui résout des comportements fins de ramification et de déformation — et la perspective globale qui doit concilier les données locales sur toutes les places, générant parfois des contraintes de réciprocité.

Synthèse

Boîte à outils et théorie qui extraient des invariants locaux fins des complétions, classifient les extensions locales et la ramification, et intègrent ces invariants dans l'arithmétique globale via réciprocité, recollement et méthodes cohomologiques.