Relation de Hasse–Davenport

Les relations Hasse-Davenport, introduites par Davenport et Hasse (1935), sont deux identités liées aux sommes de Gauss, l'une de relèvement et l'autre de produit. La relation de relèvement de Hasse-Davenport est une égalité en théorie des nombres reliant les sommes de Gauss sur différents corps. Weil (1949) les utilisa pour calculer la fonction zêta d'une hypersurface de Fermat sur un corps fini, ce qui a motivé les conjectures de Weil.

Les sommes de Gauss sont des analogues de la fonction gamma sur des corps finis, et la relation produit de Hasse-Davenport est l'analogue de la formule de multiplication de Gauss

$\mathrm{\Gamma }(z)\mathrm{\Gamma }(z+\frac{1}{k})\mathrm{\Gamma }(z+\frac{2}{k})\cdots \mathrm{\Gamma }(z+\frac{k-1}{k})=(2\pi {)}^{\frac{k-1}{2}}{k}^{1/2-kz}\mathrm{\Gamma }(kz).$

En fait, la relation de produit de Hasse-Davenport découle de la formule de multiplication analogue pour les fonctions gamma p-adiques ainsi que de la formule de Gross-Koblitz & Koblitz (1979) .

Relation de redressement de Hasse-Davenport

Soit F un corps fini à q éléments, et F _s le corps tel que [F_s : F ] = s, c'est-à-dire que s est la dimension de l'espace vectoriel F _s sur F.

Soit $\alpha$ un élément de $F_s$, et $\chi$ un caractère multiplicatif de F.

Soit $N_{F_s/F}(\alpha )$ la norme de $F_s$ sur $F$ définie par

$N_{F_s/F}(\alpha ):=\alpha \cdot {\alpha }^q\cdots {\alpha }^{q^{s-1}}.$

Soit ${\chi }^{\prime }$ le caractère multiplicatif sur $F_s$ qui est la composition de $\chi$ avec la norme de F _s sur F, c'est-à-dire

${\chi }^{\prime }(\alpha ):=\chi (N_{F_s/F}(\alpha ))$

Soient enfin ψ un caractère additif non trivial de F, et ${\psi }^{\prime }$ le caractère additif $F_s$ qui est la composition de $\psi$ avec la trace de F _s sur F, c'est-à-dire

${\psi }^{\prime }(\alpha ):=\psi (T{r}_{F_s/F}(\alpha ))$

et

$\tau (\chi ,\psi )=\sum _{x\in F}\chi (x)\psi (x)$

la somme de Gauss sur F, et soit $\tau ({\chi }^{\prime },{\psi }^{\prime })$ la somme de Gauss sur $F_s$.

La relation de redressement de Hasse-Davenport montre que

$(-1{)}^s\cdot \tau (\chi ,\psi {)}^s=-\tau ({\chi }^{\prime },{\psi }^{\prime }).$

Relation produit de Hasse-Davenport

La relation de produit Hasse-Davenport stipule que

$\prod _{amodm}\tau (\chi {\rho }^a,\psi )=-{\chi }^{-m}(m)\tau ({\chi }^m,\psi )\prod _{amodm}\tau ({\rho }^a,\psi )$

où ρ est un caractère multiplicatif d'ordre m divisant q –1 et χ est un caractère multiplicatif et ψ est un caractère additif non trivial.

Références

•  Modèle:Article
•  Modèle:Article
• Modèle:Ouvrage
• Modèle:Article