Programme de Langlands
Un article de Wikipédia, l'encyclopédie libre.
En mathématiques, le programme de Langlands est un domaine de recherche extrêmement actif, fertile en conjectures, et par lequel on souhaite relier la théorie des nombres aux représentations de certains groupes. Il a été proposé par Robert Langlands en 1967.
Sommaire |
[modifier] Relation avec la théorie des nombres
Le première étape du programme, réalisée bien avant les travaux de Langlands, peut être vue comme la théorie des corps de classes. La loi de réciprocité d'Artin s'applique à une extension de corps de nombres algébriques dont le groupe de Galois est abélien, et considère les représentations de dimension 1 de ce groupe de Galois à valeurs dans le groupe multiplicatif du corps de base. Plus précisément, des fonctions L associées à ces représentation unidimensionnelles sont identiques à certaines séries L de Dirichlet (les analogues de la Fonction zeta de Riemann construites à partir des caractères de Dirichlet). La correspondance entre ces différentes sortes de fonctions L constitue la loi de réciprocité d'Artin.
Pour les groupes de Galois non-abéliens et pour leurs représentations de dimensions plus élevées, on peut encore définir les fonctions L d'une manière naturelle : les fonctions L d'Artin.
[modifier] Le contexte des représentations automorphes
La premier pas de Langlands fut de trouver la généralisation appropriée des fonctions L de Dirichlet qui permettraient la formulation de l'énoncé d'Artin dans un cadre plus général.
Auparavant, Hecke a relié les fonctions L de Dirichlet avec les formes automorphes (fonctions holomorphes sur le demi-plan supérieur de qui satisfont certaines équations fonctionnelles). Langlands généralisa alors celles-ci aux représentations cuspidales automorphes, qui sont certaines représentations irréductibles de dimension infinie du groupe général linéaire sur l'anneau adélique de . (Cet anneau garde une trace de tous les compléments de , voir nombres p-adiques).
Langlands associa des fonctions L à ces représentations automorphes, et conjectura que chaque fonction L d'Artin issue d'une représentation dn dimension finie d'un groupe de Galois d'un corps de nombres est égale à une issu d'une représentation cuspidale automorphe. Ceci constitue la "conjecture de réciprocité de Langlands".
[modifier] Un principe général de fonctorialité
Langlands généralisa encore son programme : à la place du groupe linéaire général , d'autres groupes réductifs peuvent être considérés. De plus, en se donnant un tel groupe G, Langlands construit un groupe de Lie , puis, pour chaque représentation cuspidale automorphe de G et chaque représentation de dimension finie de , il définit une fonction L. Une de ses conjectures prédit que ces fonctions L satisfont une certaine équation fonctionnelle généralisant celles des fonctions L les mieux connues.
Puis, il formule un "principe de fonctorialité" très général. Deux groupes réductifs et un morphisme entre les groupes L correspondants étant donnés, cette conjecture relie leur représentations automorphes d'une manière qui est compatible avec leurs fonctions L. Cette conjecture de fonctorialité implique toutes les conjectures présentées jusque là. Cette construction est d'une nature analogue à celle des représentations induites - qui, dans la théorie plus traditionnelle des formes automorphes a été appelée un relèvement, est connue dans certains cas particuliers, et est covariante (tandis qu'une représentation restreinte est contravariante). Les tentatives d'obtenir une construction directes n'ont produit que des résultats conditionnels.
Toutes ces conjectures peuvent être formulées pour des corps plus généraux à la place de : les corps de nombres algébriques (le cas originel et le plus important), les corps locaux, et les corps de fonctions (extensions finies de où p est un nombre premier et est le corps des fonction rationnelles sur le corps fini à p éléments).
[modifier] Idées conduisant au programme de Langlands
Dans un contexte très large, le programme a été construit sur des idées existantes : la philosophie des formes cusp formulée quelques années plus tôt par Israel Gelfand, le travail et l'approche d'Harish-Chandra sur les groupes de Lie semi-simples, et en termes techniques la formule des traces de Selberg et d'autres.
Ce qui, initialement, était très novateur dans le travail de Langlands, excepté la profondeur technique, était de proposer une connexion directe à la théorie des nombres, mêlée avec la structure organisationnelle hypothétique (ce qui a été appelé fonctorialité).
Par exemple, dans le travail d'Harish-Chandra, on trouve le principe de ce qui peut être fait pour un groupe de Lie semi-simple (ou réductif), ce qui pourrait être fait pour tous. Par conséquent, une fois que le rôle de certains groupes de Lie de dimension basse tels que dans la théorie des formes modulaires a été reconnu, et rétrospectivement, avec dans la théorie des corps de classes, la voie est ouverte aux spéculations pour au moins pour n > 2.
L'idée de forme cuspidale provient des courbes cuspidales dans les courbes modulaires mais aussi a un sens visible dans la théorie spectrale comme un 'spectre discret', qui contrastait avec le 'spectre continu' des séries d'Eisenstein. Elle devint beaucoup plus technique pour les groupes de Lie plus grands, parce que les sous-groupes paraboliques sont plus nombreux.
Et, du coté des formes modulaires, il y avait des exemples tels que les formes modulaires de Hilbert, les formes modulaires de Siegel, et les fonctions theta.
[modifier] Prix
Les parties du programme concernant les corps locaux ont été complétées en 1998 et concernant les corps de fonctions en 1999. Laurent Lafforgue a reçu la médaille Fields en 2002 pour son travail sur le cas du corps de fonctions. Ce travail prolongeait les recherches menées par Vladimir Drinfeld, pour lesquelles il a reçu la médaille Fields en 1990. Seuls des cas particuliers concernant les corps de nombres ont été démontrés, certains par Langlands lui-même.
Langlands a reçu le Prix Wolf en 1996 et le prix Nemmers de mathématiques en 2006 pour son travail sur ces conjectures.
[modifier] Réferences
- Stephen Gelbart, An Elementary Introduction to the Langlands Program, Bulletin of the AMS v.10 no. 2, avril 1984
- Edward Frenkel, Lectures on the Langlands Program and Conformal Field Theory, hep-th/0512172
- J. Bernstein, S. Gelbart, An Introduction to the Langlands Program (ISBN 3764332115)
Portail des mathématiques – Accédez aux articles de Wikipédia concernant les mathématiques. |