Kloosterman sums for prime powers in P-adic fields
Journal de Théorie des Nombres de Bordeaux, Volume 21 (2009) no. 1, pp. 175-201.

Let K be a field of degree n over Q p , the field of rational p-adic numbers, say with residue degree f, ramification index e and differential exponent d. Let O be the ring of integers of K and P its unique prime ideal. The trace and norm maps for K/Q p are denoted Tr and N, respectively. Fix q=p r , a power of a prime p, and let η be a numerical character defined modulo q and of order o(η). The character η extends to the ring of p-adic integers p in the natural way; namely η(u)=η(u ˜), where u ˜ denotes the residue class of u modulo q, and similarly for the root of unity ζ q u =exp(2πiu ˜/q). Fix a positive integer γre-d for which N(1+P γ )1+q p so that the (twisted) Kloosterman sums

R(η,z)=α(O/Pγ)*η(Nα)ζqTrα+z/Nα(zZ/qZ*)

are well-defined.

Saliè explicitly determined R(η,z) in the classical case n=1 (so K=Q p ) for q=p r with r>1 and o(η)=1 or 2. Here I generalize Saliè’s result for the general case n>1 for characters η with o(η)|p-1 (also o(η)=2 when p=2), and for all γre-d>1 but for a few small exceptional values r. My evaluation relies on the author’s recent explicit determination of Gauss sums for prime powers in p-adic fields and exponential sums of the form χ(x) ax ζ q bx .

Soit K un corps de degré n sur Q p , le corps des nombres p-adiques, de degré résiduel f, indice de ramification e et valuation de la différente d. Soient O l’anneau des entiers de K et P son unique idéal premier. Les applications trace et norme de K/Q p sont notées Tr et N, respectivement. Fixons q=p r , une puissance du nombre premier p, et η un caractère défini modulo q et d’ordre o(η). Ce caractère η s’étend naturellement à l’anneau des entiers p-adiques p  ; précisément η(u)=η(u ˜), où u ˜ désigne la classe résiduelle de u modulo q, et de même pour la racine de l’unité ζ q u =exp(2πiu ˜/q). Fixons un entier positif γre-d pour lequel N(1+P γ )1+q p , de sorte que les sommes (todues) de Kloosterman

R(η,z)=α(O/Pγ)*η(Nα)ζqTrα+z/Nα(zZ/qZ*)

sont bien définies.

Saliè a déterminé explicitement R(η,z) dans le cas classique n=1 (donc K=Q p ) pour q=p r avec r>1 et o(η)=1 ou 2. Ici, je généralise le résultat de Saliè dans le cas général n>1 pour des caractères η avec o(η)|p-1 (et aussi o(η)=2 quand p=2), et pour tout γre-d>1 sauf un petit nombre de valeurs exceptionnelles de r. Mon évaluation repose sur la détermination récente et explicite par l’auteur des sommes de Gauss pour les puissances de nombres premiers dans les corps p-adiques, et des sommes d’exponentielles de la forme χ(x) ax ζ q bx .

Published online:
DOI: 10.5802/jtnb.665
Stanley J. Gurak 1

1 University of San Diego Alcala Park San Diego, CA 92110, USA
@article{JTNB_2009__21_1_175_0,
     author = {Stanley J. Gurak},
     title = {Kloosterman sums for prime powers in {P-adic} fields},
     journal = {Journal de Th\'eorie des Nombres de Bordeaux},
     pages = {175--201},
     publisher = {Universit\'e Bordeaux 1},
     volume = {21},
     number = {1},
     year = {2009},
     doi = {10.5802/jtnb.665},
     zbl = {pre05620676},
     mrnumber = {2537711},
     language = {en},
     url = {https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.665/}
}
TY  - JOUR
TI  - Kloosterman sums for prime powers in P-adic fields
JO  - Journal de Théorie des Nombres de Bordeaux
PY  - 2009
DA  - 2009///
SP  - 175
EP  - 201
VL  - 21
IS  - 1
PB  - Université Bordeaux 1
UR  - https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.665/
UR  - https://zbmath.org/?q=an%3Apre05620676
UR  - https://www.ams.org/mathscinet-getitem?mr=2537711
UR  - https://doi.org/10.5802/jtnb.665
DO  - 10.5802/jtnb.665
LA  - en
ID  - JTNB_2009__21_1_175_0
ER  - 
%0 Journal Article
%T Kloosterman sums for prime powers in P-adic fields
%J Journal de Théorie des Nombres de Bordeaux
%D 2009
%P 175-201
%V 21
%N 1
%I Université Bordeaux 1
%U https://doi.org/10.5802/jtnb.665
%R 10.5802/jtnb.665
%G en
%F JTNB_2009__21_1_175_0
Stanley J. Gurak. Kloosterman sums for prime powers in P-adic fields. Journal de Théorie des Nombres de Bordeaux, Volume 21 (2009) no. 1, pp. 175-201. doi : 10.5802/jtnb.665. https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.665/

[1] E. Artin, Algebraic Numbers and Algebraic Functions. Gordon and Breach, New York, (1967). | MR: 237460 | Zbl: 0194.35301

[2] B.C. Berndt, R.J. Evans, K.S. Williams, Gauss and Jacobi Sums. Wiley-Interscience, New York, 1998. | MR: 1625181 | Zbl: 0906.11001

[3] J. Bourgain, Exponential sum estimates on subgroups of Z/qZ * , q arbitary. J. Analyse Math. 97 (2005), 317–355. | MR: 2274981 | Zbl: pre05234899

[4] J. Bourgain, M-C. Chang, Exponential sums estimates over subgroups and almost subgroups of Z/qZ * , where q is composite with few prime factors (to appear). | Zbl: pre05045669

[5] P. Deligne, Applications de la formula des traces aux sommes trigonometriques. In Cohomologie étale (SGA 4.5), 168–232, Lecture Notes in Math. 569, Springer-Verlag, Berlin, 1977. | Zbl: 0349.10031

[6] R.J. Evans, Gauss sums and Kloosterman sums over residue rings of algebraic integers. Trans AMS 353, no. 11 (2001), 4429–4445. | MR: 1851177 | Zbl: 1002.11065

[7] S. Gurak, Minimal polynomials for Gauss periods with f=2. Acta Arith. 121, no. 3 (2006), 233–257. | MR: 2218343 | Zbl: 1113.11047

[8] S. Gurak, Polynomials for Kloosterman Sums. Can. Math. Bull. 50, no. 1 (2007), 71–84. | MR: 2296626 | Zbl: 1135.11042

[9] S. Gurak, On the minimal polynomial of Gauss periods for prime powers. Math. Comp. 75 (2006), 2021–2035. | MR: 2240647 | Zbl: 1122.11051

[10] S. Gurak, Exponential sums of the form χ(x) ax ζ m bx . Acta Arith. 126, no. 3 (2007), 239–259. | MR: 2289959 | Zbl: pre05122496

[11] S. Gurak, Polynomials for Hyper-Kloosterman Sums. Inter. Journal of Number Theory 4, no. 6 (2008), 959–972. | MR: 2483305 | Zbl: pre05572815

[12] S. Gurak, Explicit values of multi-dimensional Kloosterman sums for prime powers II. Math. Comp. 77 (2008), 475-493. | MR: 2353962 | Zbl: 1130.11043

[13] S. Gurak, Gauss sums for prime powers in p-adic fields (to appear).

[14] N. Katz, Gauss Sums, Kloosterman Sums and Monodromy Groups. Annals of Math. Studies 116, Princeton University Press, Princeton, 1998. | MR: 955052 | Zbl: 0675.14004

[15] H.D. Kloosterman, On the representation of a number in the form ax 2 +by 2 +cz 2 +dt 2 . Acta Math. 49 (1926), 407–464.

[16] J.L. Mauclaire, Sommes de Gauss modulo p α , I. Proc. Jap. Acad. Ser A 59 (1983), 109–112. | MR: 711310 | Zbl: 0516.10028

[17] J.L. Mauclaire, Sommes de Gauss modulo p α , II. Proc. Jap. Acad. Ser A 59 (1983), 161–163. | MR: 711325 | Zbl: 0516.10028

[18] H. Saliè, Uber die Kloostermanschen Summen S(u,v:q). Math. Z. 34 (1932), 91–109. | MR: 1545243 | Zbl: 0002.12801

[19] R.A. Smith, On n-dimensional Kloosterman sums. J. Number Theory 11 (1979), 324–343. | MR: 544261 | Zbl: 0409.10024

Cited by Sources: