Conjectures de Weil - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

Introduction

En mathématiques, les conjectures de Weil, qui sont devenues des théorèmes en 1974, ont été des propositions très influentes à la fin des années 1940 énoncées par André Weil sur les fonctions génératrices (connues sous le nom de fonctions zêta locales) déduites du décompte de nombre de points des variétés algébriques sur les corps finis.

Une variété V sur un corps fini à q éléments possède un nombre fini de points sur le corps lui-même, et sur chaque corps fini à q^k\, éléments contenant ce corps. La fonction génératrice possède des coefficients dérivés des nombres N_k\, de points sur le corps (essentiellement unique) à q^k\, éléments.

La tâche principale était que ces fonctions zêta devaient être des fonctions rationnelles, devant satisfaire une forme d'équation fonctionnelle, et devaient avoir leurs zéros dans des endroits restreints. Les deux dernières parties étaient tout à fait consciemment modélisées sur la fonction zêta de Riemann et l'hypothèse de Riemann.

Arrière-plan et histoire

En fait, le cas des courbes sur les corps finis a été démontré par Weil lui-même, achevant le projet démarré par le théorème de Hasse sur les courbes elliptiques sur les corps finis. Les conjectures étaient suffisamment naturelles dans une direction, simplement en proposant que les bonnes propriétés connues seraient étendues. Leur intérêt était suffisamment évident dans la théorie des nombres : elles impliquaient l'existence d'un mécanisme qui fournirait les limites supérieures pour les sommes exponentielles, un élément de base dans la théorie analytique des nombres.

Ce que était réellement attirant, à partir du point de vue d'autres domaines mathématiques, était la connexion proposée avec la topologie algébrique. Étant donné que les corps finis sont discrets par nature, et que la topologie parle seulement du continu, la formulation détaillée de Weil (basée sur l'élaboration de quelques exemples) était frappante et novatrice. Il suggérait que la géométrie sur les corps finis devait s'ajuster dans des motifs bien connus se reliant aux nombres de Betti, au théorème du point fixé de Lefschetz et ainsi de suite.

Weil lui-même n'essaya jamais sérieusement de démontrer les conjectures. L'analogie avec la topologie suggérait que la nouvelle théorie homologique serait conçue en s'appliquant dans la géométrie algébrique. Ceci prit deux décennies (ce fut l'objectif central du travail et de l'école d'Alexandre Grothendieck) pour l'élaborer sur les suggestions initiales de Serre et d'autres. La partie rationnelle des conjectures fut démontrée d'abord, par Bernard Dwork en 1960, en utilisant les méthodes p-adiques. Le reste attendit la construction de la cohomologie étale, une théorie dont la définition est relativement profonde. Les démonstrations furent complétées par Pierre Deligne en 1974, en utilisant un argument d'induction sur la dimension, en parlant grossièrement.

Les conjectures de Weil ont, par conséquent, pris leurs places dans la théorie générale (des fonctions L, au sens large). Puisque la cohomologie étale possède plusieurs autres applications, ce développement donne des exemples entre les conjectures (basées sur les exemples et l'intuition), la construction de la théorie, la résolution de problème, et d'avantages inattendus, même dans les parties les plus abstraites des mathématiques pures.

Exemples

Hypersurfaces diagonales

Dans le cas de la fonction f(X,Y,Z) = Xn + Yn + Zn le nombre de solutions dans l'espace affine F_{p^s} est donné par:

N^{aff}(x^n+y^n+z^n=0) = p^{2s}-\sum_{\chi_i, \chi_j, \chi_k} J_0(\chi_i, \chi_j, \chi_k) \quad

 J_0(\chi_i, \chi_j, \chi_k) = \sum_{t_i+t_j+t_k=0} -\chi_i(t_i) \chi_j(t_j) \chi_k(t_k) \quad et χijk des caractères additifs no triviaux de F_{p^s} tels que χiχjχk = 1. Le nombre de solutions dans l'espace projectif que l'on notera Ns est alors

N_s=N^{proj}(x^n+y^n+z^n=0) = p^{s}+1+\frac{1}{p^s-1}\sum_{\chi_i, \chi_j, \chi_k} J_0(\chi_i, \chi_j, \chi_k) \quad

de plus on a:

\frac{J_0(\chi_i, \chi_j, \chi_k)}{p^s-1} = -\frac{g(\chi_i)g(\chi_j)g(\chi_k)}{p^s}

d'où

N_s = p^{s}+1-\sum_{\chi_i, \chi_j, \chi_k} \frac{g(\chi_i)g(\chi_j)g(\chi_k)}{p^s} \quad

On utilise de plus la relation de Hasse-Davenport pour obtenir cette expression de Ns:

N_s = p^{s}+1-\sum_{\chi_i, \chi_j, \chi_k} \frac{(g(\chi_i)g(\chi_j)g(\chi_k))^s}{p^s} \quad

qui implique la rationalité de la fonction zêta associé à l'équation Xn + Yn + Zn car la fonction zêta est une fraction rationnelle si et seulement si:

N_s = \sum_{i} \beta_i^s -\sum_{j} \alpha_j^s \quad

.

La droite projective

L'exemple le plus simple (autre qu'un point) consiste à prendre X comme étant la droite projective. Le nombre de points de X sur un corps fini à q^m\, éléments est simplement N_m = q^m + 1\, (où le "+ 1" provient du "point à l'infini"). La fonction zêta est simplement 1/(1 - q^{-s})(1-q^{1-s})\,. Il est facile de vérifier toutes les parties des conjectures de Weil directement.

L'espace projectif

Il n'est pas plus difficile de prendre un espace projectif à n dimensions. Le nombre de points de X sur un corps à q^m\, éléments est simplement N_m = 1 + q^m + q^{2m} + \ldots + q^{nm}\,. La fonction zêta est simplement

1/(1-q^{-s})(1-q^{1-s})(1-q^{2-s})...(1-q^{n-s})\,.

Il est de nouveau facile de vérifier toutes les parties des conjectures de Weil directement.

La raison pour laquelle la droite projective et l'espace projectif étaient si faciles est qu'ils peuvent être écrits comme des unions disjointes d'un nombre fini de copies d'espaces affines, qui rendent le nombre de points sur eux particulièrement facile à calculer. Il est aussi facile de démontrer les conjectures de Weil pour d'autres espaces, tels que les Grassmanniens, qui ont la même propriété.

Les courbes elliptiques

Celles-ci donnent les premiers cas non-triviaux des conjectures de Weil (démontrés par Hasse). Si E est une courbe elliptique sur un corps fini à q éléments, alors le nombre de points de E défini sur le corps à q^m\, éléments est 1 - \alpha^m - \beta^m + q^m\,, où \alpha\, et \beta\, sont des conjugués complexes de valeur absolue \sqrt{q}\,. La fonction zêta est

\zeta(E,s) = (1 -\alpha q^{-s})(1 -\beta q^{-s}) / (1 - q^{-s})(1-q^{1-s})\,
Page générée en 0.040 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales | Partenaire: HD-Numérique
Version anglaise | Version allemande | Version espagnole | Version portugaise