Aller au contenu

Fonction L

Un article de Wikipédia, l'encyclopédie libre.
Représentation de la fonction ζ de Riemann, exemple le plus classique de fonction L

En mathématiques, la théorie des fonctions L est devenue une branche très substantielle, et encore largement « conjecturelle », de la théorie analytique des nombres contemporaine. On y construit de larges généralisations de la fonction zêta de Riemann et même des séries L associées à un caractère de Dirichlet et on y énonce de manière systématique leurs propriétés générales, qui dans la plupart des cas sont encore hors de portée d'une démonstration.

Les fonctions L

[modifier | modifier le code]

Pour commencer, il faut distinguer la série L (par exemple les séries de Dirichlet) et la fonction L (par exemple la fonction zêta de Riemann, une fonction L d'un cas particulier des séries Dirichlet).

La fonction L est le prolongement analytique au plan complexe de la série L.

Les constructions générales démarrent avec une série L, d'abord définie comme une série de Dirichlet, puis développée en un produit eulérien, indexé par des nombres premiers. Des estimations[De quoi ?] sont requises pour démontrer que cela[Quoi ?] converge dans une moitié droite du plan complexe.

Il est alors sensé[Pour qui ?] de conjecturer un prolongement méromorphe dans le plan complexe, qu'on appellera une fonction L. Dans les cas classiques[évasif], on[Qui ?] sait que l'information utile est contenue dans les valeurs et le comportement de la fonction L aux points où la série diverge. Le terme général[Quoi ?] de fonction L comprend beaucoup de types connus de fonctions zêta. La classe de Selberg est une tentative pour axiomatiser les propriétés essentielles des fonctions L et encourager l'étude des propriétés communes à toutes ces fonctions plutôt que de chaque fonction L isolément.

Exemples de fonctions L

[modifier | modifier le code]

Information conjecturale

[modifier | modifier le code]

On peut lister les caractéristiques des exemples connus de fonctions L que l'on[Qui ?] souhaiterait voir généralisées[réf. nécessaire] :

Un travail détaillé[réf. nécessaire] a produit un grand corps de conjectures plausibles, par exemple à propos du type exact d'équation fonctionnelle qui devrait être vérifiée. Comme la fonction zêta de Riemann est reliée, par ses valeurs aux entiers positifs pairs et négatifs impairs, aux nombres de Bernoulli, on[Qui ?] recherche une généralisation appropriée de ce phénomène. Sur cette question, des résultats[réf. nécessaire] ont été obtenus[Par qui ?] pour ce que l'on appelle les fonctions L p-adiques, qui décrivent certains modules de Galois.

L'exemple de la conjecture de Birch et Swinnerton-Dyer

[modifier | modifier le code]

Un des exemples les plus influents, tant pour l'histoire des fonctions L les plus générales que comme problème de recherche encore ouvert, est la conjecture développée par Bryan Birch et Peter Swinnerton-Dyer au début des années 1960[réf. nécessaire].

Elle s'applique à une courbe elliptique E, et le problème qu'elle essaie de résoudre est la prédiction du rang d'une courbe elliptique sur l'ensemble des nombres rationnels, c'est-à-dire le nombre de générateurs libres de son groupe de points rationnels. Beaucoup de travaux précédents dans ce domaine ont commencé à être unifiés autour d'une meilleure connaissance des fonctions L[réf. nécessaire].

Ceci joua le rôle d'un exemple paradigmatique dans la théorie naissante des fonctions L[réf. nécessaire].

Essor de la théorie générale

[modifier | modifier le code]

Ce développement[Lequel ?] précéda le programme de Langlands de quelques années, et peut être considéré[Par qui ?] comme complémentaire : le travail de Langlands est largement lié aux fonctions L d'Artin, qui, comme celles de Hecke, avaient été définies plusieurs décennies plus tôt[réf. nécessaire].

Graduellement il devint plus clair dans quel sens[pas clair] on pouvait faire fonctionner la construction de Hasse-Weil[Quoi ?] pour obtenir des fonctions L valides : dans le sens analytique ; les données de départ devaient venir de l'analyse, plus précisément de l'analyse automorphe. Le cas général unifie maintenant[Quand ?] à un niveau conceptuel de nombreux programmes de recherche différents[réf. nécessaire].

Quelques liens pour aller plus loin :

Références

[modifier | modifier le code]

Articles connexes

[modifier | modifier le code]