Un réseau de conjectures et de résultats proposant des correspondances profondes entre représentations galoisiennes et représentations automorphes, articulées autour des fonctions L, de la réciprocité et de la fonctorialité pour des groupes réductifs sur corps locaux et globaux.

Principe

Deux idées organisatrices : la réciprocité (généralisation de la théorie du corps de classes qui relie représentations galoisiennes abéliennes et objets automorphes) et la fonctorialité (le transfert de représentations automorphes le long d'homomorphismes des groupes L), les fonctions L assurant la compatibilité et portant l'information arithmétique.

Démonstration

Le cas GL1 est la théorie classique du corps de classes, qui met en correspondance des caractères du groupe des idèles avec des caractères galoisiens abéliens. Le cas GL2 inclut le théorème de modularité pour les courbes elliptiques sur Q : certaines représentations galoisiennes de dimension deux correspondent à des formes modulaires, et leurs fonctions L coïncident, illustrant le paradigme de Langlands.

Mauvaise application

Présumer une correspondance générale entièrement établie dans des contextes encore conjecturaux, ou appliquer des transferts fonctoriels sans tenir compte des L‑paquets locaux, de la normalisation des paramètres ou des conditions automorphes nécessaires sur les représentations source.

Conséquence

Si elle est vraie en général, le Programme de Langlands fournit un cadre unifié reliant théorie des nombres, théorie des représentations et analyse harmonique, prédisant des lois de réciprocité, des compatibilités local‑global et des énoncés profonds sur les fonctions L automorphes et l'arithmétique des corps.

Inversion

Inverser la correspondance en partant des spectres automorphes pour tenter de reconstruire des groupes de Galois ou des corps ; cette inversion est instructive dans des exemples mais ne remplace pas la paramétrisation explicite du côté galoisien au cœur du programme.

Limite

Formulé pour des groupes algébriques réductifs sur corps locaux et globaux et pour des représentations admissibles ; il exclut les groupes non réductifs et de nombreux problèmes analytiques ou combinatoires, et de larges parties restent conjecturales plutôt que systématiquement démontrées.

Tension sémantique

Il existe une tension entre la vision globale de réciprocité (appariement d'entières représentations globales) et le point de vue local analytique/représentationnel (paramètres locaux L, L‑paquets), ainsi qu'entre les transferts conjecturaux généraux et les cas concrets démontrés pour des groupes particuliers.

Synthèse

Le Programme de Langlands postule une vaste réciprocité reliant mondes galoisien et automorphe : il prescrit comment des données galoisiennes arithmétiques correspondent à des objets analytiques et représentationnels via des fonctions L et des transferts fonctoriels, formant une architecture cohérente mais partiellement conjecturale qui guide la recherche contemporaine.