title: Fonction zêta locale
text: # Fonction zêta locale
  
  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.
  
  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^{−1}.$ 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.
  
  