Conjectures De Weil


Conjectures De Weil

Conjectures de Weil

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.

Sommaire

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'Alexander 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.

Enoncé des conjectures de Weil

Soit f1(X1,...,Xr),...,fl(X1,...,Xr) des polynômes à coefficients entiers. On peut projeter ces polynômes dans n'importe quel corps fini Fq, simplement si q = pk en prenant les coefficients de ces coefficients modulo p. En fait, on cherche à étudier les racines d'un système d'équations polynômiales

\left\{\begin{matrix}  f_1(X_1 , ... , X_r )=0 \\ \vdots \\  f_l (X_1 , ... , X_r)=0\end{matrix}\right.

On peut donc considérer l'ensemble des solutions du système étudié, où les polynômes sont à coefficients dans Fq. Les conjectures de Weil nous donnent de nombreuses informations lorsque l'on s'intéresse au nombre de ces solutions. Formalisons cette idée.

Ces équations définissent une variété algébrique sur Fq, où ce qui revient au même, un schéma séparé de type fini sur Fq. En effet, si on considère l'idéal I = (f1,...,fl) de Fq[X1,...,Xr], soit A = Fq[X1,...,Xr] / I, alors le schéma sur Fq est le spectre d'anneau de A, X = SpecA. L'ensemble des solutions du système ci-dessus dans {F_q}^r est un bijection avec Hom_{F_q}(X, F_q)=X(F_q), de manière que le problème initial devient le calcul de | X(Fq) | .

On notera par la suite X0 = | X(Fq) | . Lorsqu'on considérera X0 comme une variété sur F_{q^n}, on notera: X_n=X_0/F_{q^n}.

L'objet essentiel d'étude apparaissant dans les conjectures de Weil est la fonction zêta de Xn = X0 / Fq, c'est une série formelle à coefficients rationnels définie comme suit:

Z(X_{0}/F_{q}, T) = \exp\left(\sum_{n = 1}^\infty |X_0(F_{q^n})|\frac{T^n}{n} \right)

|X_0(F_{q^n})| est le nombre de points F_{q^n} rationnels de Xn = X0 / Fq, c'est-à-dire le nombre de solutions dans F_{q^n} du système d'équations.

Conjectures de Weil: Si X0 / Fq est lisse (c'est-à-dire si les équations ne possèdent pas de singularité) et projective (c'est-à-dire si les équations polynômiales sont homogènes) de dimension d alors:

  1. Z(X0 / Fq,T) est une fonction rationnelle de T à coefficients dans \mathbb{Q}.
  2. Equation fonctionnelle: Il existe des entiers K et e=\pm1 tels que:
    Z(X_{0}/F_{q},\frac{1}{q^dT}) = e \times q^{\frac{dK}{2}} \times T^K \times Z(X_{0}/F_{q}, T)
  3. Hypothèse de Riemann sur les corps finis : la fonction zêta de X0 / Fq se met sous la forme:
    Z(X_0/F_q, T) = \frac{P_1 ... P_{2d-1}}{P_0 ... P_{2d}}Pi, 0 \leq i \leq 2d, est un polynôme de Weil de poids i. De plus, on a P_{2d-i}(t)=C_it^{B_i}P_i(\frac{1}{q^dT}) avec C_i, B_i \in \mathbb{Z}.
  4. Lien avec la topologie: Si X0 / Fq est la projection sur Fq d'une variété projective complexe non-singulière Van, alors le degré de Pi est le i-ème nombre de Betti de Van. Plus précisément, soir R un anneau muni d'un morphisme surjectif R \to F_q et d'un morphisme injectif R \to \mathbb{C}. Soit M un R-schéma propre et lisse tel que X = M{\otimes_R}F_q et V = M{\otimes_R}\mathbb{C}. On a alors pour tout i, B_i=rang H^i(V^{an}, \mathbb{Z}).

La partie rationnelle (la rationalité de la fonction zêta) fut démontrée par Bernard Dwork en 1959 grâce à des méthodes p-adiques. C'est véritablement le travail de Grothendieck qui inspirera plus tard Deligne pour mettre un point final à la démonstration. En effet, Grothendieck rénove la géométrie algébrique en se lançant dans un travail monumental duquel sortiront ses Elements de géométries algébriques. Par cet ouvrage, d'une extrême généralité, il étend la géométrie algébrique : il l'étend en particulier à l'étude d'équations définies sur des anneaux, et non sur des corps comme on le faisait auparavant, ce qui permet d'attaquer les problèmes posés sur les entiers. Il démontrera ainsi en 1963-1964 les points 1., 2. et 4. par une démonstration différente de celle de Dwork. En ce qui concerne l'hypothèse de Riemann, beaucoup plus délicate, il faut attendre 1973 pour que Pierre Deligne, inspiré surtout par les travaux de Weil, Serre et Grothendieck, propose une démonstration.

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 produisent 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})\,

La cohomologie de Weil

Weil suggéra que les conjectures découlaient de l'existence d'une "théorie cohomologique de Weil" appropriée pour les variétés sur les corps finis, similaire à la cohomologie usuelle avec des coefficients rationnels pour les variétés complexes. Son idée était que si F est l'automorphisme de Frobenius sur le corps fini, alors le nombre de points de la variété X sur le corps d'ordre qm est le nombre de points fixés de Fm (agissant sur tous les points de la variété X définis sur la clôture algébrique). En topologie algébrique, le nombre de points fixés d'un automorphisme peut être établi en utilisant le théorème du point fixe de Lefschetz, donnant une somme alternée des traces sur les groupes cohomologiques. Donc, s'il existait des groupes cohomologiques similaires pour les variétés sur les corps finis, alors la fonction zêta pourrait être exprimé en termes de ceux-ci.

Le premier problème avec ceci est que le corps de coefficient pour une théorie cohomologique de Weil ne peut pas être le corps des nombres rationnels. Pour voir ceci, considérons le cas d'une courbe elliptique supersingulière sur un corps fini de caractéristique p. L'anneau d'endomorphisme de ceci est une algèbre de quaternion sur les rationnels, et agirait sur le premier groupe cohomologique, qui serait un espace vectoriel à 2 dimension sur le corps de coefficient par analogie avec le cas d'une courbe elliptique complexe. Néanmoins, une algèbre de quaternion sur les rationnels de peut pas agir avec un espace vectoriel à deux dimensions sur les rationnels. Le même argument élimine la possibilité que le corps de coefficient soit le corps des réels ou les nombres p-adiques, parce que l'algèbre de quaternion est encore une algèbre de division sur ces corps. Néanmoins, il n'élimine pas la possibilité que le corps de coefficient soit le corps des nombres l-adiques pour quelques nombres premiers lp, parce que sur ces corps l'algèbre de division se sépare et devient une algèbre matricielle, qui peut agir sur un espace vectoriel à 2 dimensions. Grothendieck et Michael Artin sont parvenus à construire des théorie cohomologiques appropriées sur le corps des nombres l-adiques pour chaque nombre premier lp, appelée cohomologie l-adique.

Références

  • Weil, André Numbers of solutions of equations in finite fields. Bull. Amer. Math. Soc. 55, (1949). 497--508. Reprinted in Œuvres Scientifiques/Collected Papers by Andre Weil ISBN 0-387-90330-5
  • Deligne, Pierre La conjecture de Weil. I. Inst. Hautes Études Sci. Publ. Math. No. 43 (1974), 273--307. La conjecture de Weil : II. Publications Mathématiques de l'IHÉS, 52 (1980), p. 137-252
  • Freitag, Eberhard; Kiehl, Reinhardt Étale cohomology and the Weil conjecture. Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], 13. Springer-Verlag, Berlin, 1988. ISBN 0-387-12175-7
  • Katz, Nicholas M. An overview of Deligne's work on Hilbert's twenty-first problem. Mathematical developments arising from Hilbert problems (Proc. Sympos. Pure Math., Vol. XXVIII, Northern Illinois Univ., De Kalb, Ill., 1974), pp. 537--557. Amer. Math. Soc., Providence, R. I., 1976.
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Conjectures de Weil ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Conjectures De Weil de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Conjectures de weil — 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… …   Wikipédia en Français

  • Conjectures de Weil — 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… …   Wikipédia en Français

  • Weil, André — Weil (vā), André. 1906 1998. French mathematician who influenced the development of modern number theory and algebraic geometry. * * * ▪ 1999       French mathematician (b. May 6, 1906, Paris, France d. Aug. 6, 1998, Princeton, N.J.), greatly… …   Universalium

  • Weil conjectures — In mathematics, the Weil conjectures, which had become theorems by 1974, were some highly influential proposals from the late 1940s by André Weil on the generating functions (known as local zeta functions) derived from counting the number of… …   Wikipedia

  • Weil — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Cet article possède un paronyme, voir : Veil …   Wikipédia en Français

  • WEIL (A.) — WEIL ANDRÉ (1906 ) Mathématicien français né à Paris dont les travaux portent principalement sur la géométrie algébrique et ses applications à la théorie des nombres. André Weil entra à l’École normale supérieure à l’âge de seize ans; il fut… …   Encyclopédie Universelle

  • Weil cohomology theory — In algebraic geometry, a subfield of mathematics, a Weil cohomology or Weil cohomology theory is a cohomology satisfying certain axioms concerning the interplay of algebraic cycles and cohomology groups. The name is in honour of André Weil. Weil… …   Wikipedia

  • Weil conjecture — The term Weil conjecture may refer to:*The Weil conjectures about zeta functions of varieties over finite fields, proved by Dwork, Grothendieck, Deligne and others. *The Taniyama Shimura Weil conjecture about elliptic curves, proved by Wiles and… …   Wikipedia

  • Liste de conjectures mathématiques — Ce qui suit est une liste de conjectures mathématiques, non exhaustive. Elles sont divisées en quatre sections, en accord avec leur état en 2011. Voir aussi : Conjecture d Erdős (en), qui liste des conjectures de Paul Erdős et de ses… …   Wikipédia en Français

  • Liste Des Conjectures Mathématiques — Ce qui suit est une liste de conjectures mathématiques, contenues dans les pages de Wikipedia. Elles sont divisées en quatre sections, en accord avec leur état en 2006. Voir aussi : La conjecture d Erdős, qui liste les conjectures de Paul… …   Wikipédia en Français


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.