PROFILPELAJAR.COM

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.

Cet article ne cite pas suffisamment ses sources (octobre 2013).

Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ». En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?

En mathématiques et dans la théorie des nombres, une fonction zêta locale est une fonction génératrice $Z(t)$ pour le nombre de solutions d'un ensemble d'équations définies sur un corps fini F, dans les extensions de corps $F_{k}$ de F.

L'analogie avec la fonction zêta de Riemann ζ vient de la considération de la dérivée logarithmique $\zeta '/\zeta$ .

Étant donné F, il existe, à un isomorphisme près, un seul corps $F_{k}$ tel que $[F_{k}:F]=k$ , pour k = 1,2, … Étant donné un ensemble d'équations polynomiales — ou une variété algébrique V — définie sur F, nous pouvons compter le nombre $N_{k}$ des solutions dans $F_{k}$ et créer la fonction génératrice

G(t)=N_{1}t+N_{2}{\frac {t^{2}}{2}}+\dotsb

.

La définition correcte pour Z(t) est de rendre log Z égal à G donc de poser $Z=\exp(G)$ .

Nous aurons Z(0) = 1 puisque G(0) = 0, et Z(t) est a priori une série formelle.

Exemples

Supposons que tous les $N_{k}\,$ soient égaux à 1 ; ceci se produit par exemple, si nous démarrons avec une équation comme X = 0, c’est-à-dire que géométriquement, nous prenons pour V un point. Alors

G(t)=-\log(1-t)~

est le développement d'un logarithme (pour |t| < 1). Dans ce cas, nous avons

Z(t)={\frac {1}{1-t}}

.

Pour prendre quelque chose de plus intéressant, soit V la droite projective sur F. Si F possède q éléments, alors elle a q + 1 points, incluant comme nous devons, le point à l'infini. Par conséquent, nous aurons

N_{k}=q_{k}+1\,

et

G(t)=-\log(1-t)-\log(1-qt)\,

,

pour |t| suffisamment petit.

Dans ce cas, nous avons

Z(t)={\frac {1}{(1-t)(1-qt)}}\,

.

Le rapport entre les définitions de G et Z peut être expliqué de nombreuses manières. En pratique, cela rend Z une fonction rationnelle de t, quelque chose qui est intéressant même dans le cas où V est une courbe elliptique sur un corps fini.

Ce sont les fonctions Z qui sont conçues pour multiplier, pour obtenir les fonctions zêta globales. Celles-ci impliquent différents corps finis (par exemple la famille entière de corps Z/p.Z lorsque p parcourt l'ensemble des nombres premiers. Dans ce rapport, la variable t subit la substitution par $p^{-s}$ , où $s$ est la variable complexe traditionnellement utilisée dans les séries de Dirichlet.

Article détaillé : fonction zêta de Hasse-Weil.

Ceci explique aussi pourquoi on utilise la dérivée logarithmique par rapport à $s$ .

Avec cet arrangement, les produits de Z dans les deux cas sortent comme $\zeta (s)$ et $\zeta (s)\zeta (s-1)$ .

Hypothèse de Riemann pour les courbes sur les corps finis

Pour les courbes projectives C sur F qui sont non singulières, on peut montrer que

Z(t)={\frac {P(t)}{(1-t)(1-qt)}}\,

,

avec P(t) un polynôme, de degré 2g où g est le genre de C. L'hypothèse de Riemann pour les courbes sur les corps finis établit que les racines de P ont pour module q^–1/2, où q = |F|.

Par exemple, pour le cas des courbes elliptiques, il y a deux racines, et il est facile de montrer que leur produit est q⁻¹. Le théorème de Hasse établit qu'elles ont le même module et ceci a des conséquences immédiates pour le nombre de points.

Weil a démontré ceci pour le cas général, aux environs de 1940 (CRAS, avril 1940) : il passa beaucoup de temps, dans les années qui suivirent, à préparer la géométrie algébrique impliquée. Ceci l'a conduit aux conjectures de Weil générales, finalement démontrées une génération plus tard.

Article détaillé : cohomologie étale, pour les formules de base de la théorie générale.

Références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Local zeta-function » (voir la liste des auteurs).