Abstract
This is an expository paper on algebraic aspects of exponential sums over finite fields. This is a new direction. Various examples, results and open problems are presented along the way, with particular emphasis on Gauss periods, Kloosterman sums and one variable exponential sums. One main tool is the applications of various p-adic methods. For this reason, the author has also included a brief exposition of certain p-adic estimates of exponential sums. The material is based on the lectures given at the 2020 online number theory summer school held at Xiamen University. Notes were taken by Shaoshi Chen and Ruichen Xu.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Wan D Q, Some arithmetic properties of the minimal polynomials of Gauss sums, Proc. Amer. Math. Soc., 1987, 100(2): 225–228.
Koblitz N, p-adic numbers, p-adic analysis, and zeta-functions, volume 58 of Graduate Texts in Mathematics, 2nd Edition, Springer-Verlag, New York, 1984.
Deng Y, Luo L, Pan Y, et al., On Some Computational Problems in Local Fields, J. Syst. Sci. Complex., 2021, https://doi.org/10.1007/s11424-021-0074-8.
Dwork B, On the rationality of the zeta function of an algebraic variety, Amer. J. Math., 1960, 82: 631–648.
Bombieri E, On exponential sums in finite fields, Amer. J. Math., 1966, 88: 71–105.
Berndt B C and Evans R J, The determination of Gauss sums, Bull. Amer. Math. Soc. (N.S.), 1981, 5(2): 107–129.
Myerson G, Period polynomials and Gauss sums for finite fields, Acta Arith., 1981, 39(3): 251–264.
Kummer E, De residuis cubicis disquisitiones nonnullae analyticae, J. reine angew. Math., 1846, 32: 341–359.
Heath-Brown D R and Patterson S J, The distribution of Kummer sums at prime arguments, J. Reine Angew. Math., 1979, 310: 111–130.
Patterson S J, On the distribution of Kummer sums, J. Reine Angew. Math., 1978, 303(304): 126–143.
Deligne P, La conjecture de Weil II, Pub. Math. I.H.E.S., 1980, 52: 137–252.
Katz N M, Gauss sums, Kloosterman sums, and monodromy groups, volume 116 of Annals of Mathematics Studies, Princeton University Press, Princeton, NJ, 1988.
Stickelberger L, Ueber eine Verallgemeinerung der Kreistheilung, Math. Ann., 1890, 37: 312–367.
Wan D Q, Minimal polynomials and distinctness of Kloosterman sums, Special issue dedicated to Leonard Carlitz, 1995, 1: 189–203.
Gross B H and Koblitz N, Gauss sums and the p-adic Γ-function, Ann. of Math. (2), 1979, 109(3): 569–581.
Sperber S, On the p-adic theory of exponential sums, Amer. J. Math., 1986, 108(2): 255–296.
Ax J, Zeroes of polynomials over finite fields, Amer. J. Math., 1964, 86: 255–261.
Katz N M, On a theorem of Ax, Amer. J. Math., 1971, 93: 485–499.
Wan D Q, An elementary proof of a theorem of Katz, Amer. J. Math., 1989, 111(1): 1–8.
Hou X D, A note on the proof of a theorem of Katz, Finite Fields Appl., 2005, 11(2): 316–319.
Adolphson A and Sperber S, p-adic estimates for exponential sums and the theorem of Chevalley-Warning, Ann. Sci. École Norm. Sup. (4), 1987, 20(4): 545–556.
Borissov Y and Borissov L, A note on the distinctness of some Kloosterman sums, Cryptography and Communications, 2020, 12: 1051–1056.
Moreno O and Moreno C J, Improvements of the Chevalley-Warning and the Ax-Katz theorems, Amer. J. Math., 1995, 117(1): 241–244.
Blache R, Valuation of exponential sums and the generic first slope for Artin-Schreier curves, J. Number Theory, 2012, 132(10): 2336–2352.
Chen J M and Cao W, Degree matrices and divisibility of exponential sums over finite fields, Arch. Math. (Basel), 2010, 94(5): 435–441.
Cao W and Sun Q, Improvements upon the Chevalley-Warning-Ax-Katz-type estimates, J. Number Theory, 2007, 122(1): 135–141.
Fisher B, Distinctness of Kloosterman sums, p-adic methods in number theory and algebraic geometry, Volume 133 of Contemp. Math., Amer. Math. Soc., Providence, RI, 1992, 81–102.
Katz D J and Langevin P, New open problems related to old conjectures by Helleseth, Cryptogr. Commun., 2016, 8(2): 175–189.
Lidl R, Mullen G L, and Turnwald G, Dickson polynomials, volume 65 of Pitman Monographs and Surveys in Pure and Applied Mathematics, Longman Scientific & Technical, Harlow; copublished in the United States with John Wiley & Sons, Inc., New York, 1993.
Cohen S D, The distribution of polynomials over finite fields, Acta Arith., 1970, 17: 255–271.
Wan D Q, A generalization of the Carlitz conjecture, Finite fields, coding theory, and advances in communications and computing (Las Vegas, NV, 1991), volume 141 of Lecture Notes in Pure and Appl. Math., Dekker, New York, 1993, 209–216.
Turnwald G, A new criterion for permutation polynomials, Finite Fields Appl., 1995, 1(1): 64–82.
Tao T, Algebraic combinatorial geometry: The polynomial method in arithmetic combinatorics, incidence combinatorics, and number theory, EMS Surv. Math. Sci., 2014, 1(1): 1–46.
Cohen S D and Fried M D, Lenstra's proof of the Carlitz-Wan conjecture on exceptional polynomials: An elementary version, Finite Fields Appl., 1995, 1(3): 372–375.
Lidl R and Mullen G L, When does a polynomial over a finite field permute the elements of the field II, Amer. Math Monthly, 1993, 100(1): 71–74.
Fried M D, Guralnick R, and Saxl J, Schur covers and Carlitz's conjecture, Israel J. Math., 1993, 82(1-3): 157–225.
Bombieri E, On exponential sums in finite fields II, Invent. Math., 1978, 47(1): 29–39.
Adolphson A and Sperber S, Newton polyhedra and the degree of the L-function associated to an exponential sum, Invent. Math., 1987, 88(3): 555–569.
Katz N M, Sums of Betti numbers in arbitrary characteristic, Dedicated to Professor Chao Ko on the occasion of his 90th birthday, 2001, 7: 29–44.
Lauder A G B and Wan D Q, Counting points on varieties over finite fields of small characteristic, Algorithmic Number Theory: Lattices, Number Fields, Curves and Cryptography, Math. Sci. Res. Inst. Publ., Cambridge University Press, Cambridge, 2008, 44: 579–612.
Harvey D, Computing zeta functions of arithmetic schemes, Proc. Lond. Math. Soc. (3), 2015, 111(6): 1379–1401.
Wan D Q, Algorithmic theory of zeta functions over finite fields, Algorithmic Number Theory: Lattices, Number Fields, Curves and Cryptography, Math. Sci. Res. Inst. Publ., Cambridge University Press, Cambridge, 2008, 44: 551–578.
Adolphson A and Sperber S, Exponential sums and Newton polyhedra: Cohomology and estimates, Ann. of Math. (2), 1989, 130(2): 367–406.
Denef J and Loeser F, Weights of exponential sums, intersection cohomology, and Newton polyhedra, Invent. Math., 1991, 106(2): 275–294.
Fu L, Weights of twisted exponential sums, Math. Z., 2009, 262(2): 449–472.
Wan D Q, Newton polygons of zeta functions and L functions, Ann. of Math. (2), 1993, 137(2): 249–293.
Wan D Q, Variation of p-adic Newton polygons for L-functions of exponential sums, Asian J. Math., 2004, 8(3): 427–471.
Sperber S, p-adic hypergeometric functions and their cohomology, Duke Math. J., 1977, 44(3): 535–589.
Xu D X and Zhu X W, Bessel f-isocrystals for reductive groups, 2019.
Chen C and Lin X, L-functions of certain exponential sums over finite fields, 2020.
Sperber S, Congruence properties of the hyper-Kloosterman sum, Compositio Math., 1980, 40(1): 3–33.
Sperber S, Newton polygons for general hyper-Kloosterman sums, Asterisque - Societe Mathematique de France, 1984, (119-120): 267–330.
Hong S F, Newton polygons of L functions associated with exponential sums of polynomials of degree four over finite fields, Dedicated to Professor Chao Ko on the occasion of his 90th birthday, 2001, 7: 205–237.
Hong S F, Newton polygons for L-functions of exponential sums of polynomials of degree six over finite fields, J. Number Theory, 2002, 97(2): 368–396.
Yang R, Newton polygons of L-functions of polynomials of the form xd + λx, Finite Fields Appl., 2003, 9(1): 59–88.
Zhu H J, p-adic variation of L functions of one variable exponential sums. I, Amer. J. Math, 2003., 125(3): 669–690.
Zhu H J, Generic A-family of exponential sums, J. Number Theory, 2014, 143: 82–101.
Blache R, Newton polygons for character sums and Poincaré series, Int. J. Number Theory, 2011, 7(6): 1519–1542.
Bellovin R, Garthwaite S A, Ozman E, et al., Newton polygons for a variant of the Kloosterman family, Women in Numbers 2: Research Directions in Number Theory, volume 606 of Contemp. Math., Amer. Math. Soc., Providence, RI, 2013, 47–63.
Le P, Regular decomposition of ordinarity in generic exponential sums, J. Number Theory, 2013, 133(8): 2648–2683.
Zhang J and Feng W D, On L-functions of certain exponential sums, Finite Fields Appl., 2014, 26: 7–31.
Chen C, Hasse polynomials of L-functions of certain exponential sums, Finite Fields Appl., 2020, 68: 101736, 19.
Fu L and Wan D Q, On Katz's (a, b)-exponential sums, Quarterly J. Math, 2020, 00: 1–21. doi:https://doi.org/10.1093/qmath/haaa045
Liu C L and Wan D Q, T-adic exponential sums over finite fields, Algebra Number Theory, 2009, 3(5): 489–509.
Davis C, Wan D Q, and Xiao L, Newton slopes for Artin-Schreier-Witt towers, Math. Ann., 2016, 364(3-4): 1451–1468.
Ouyang Y and Zhang S X, Newton polygons of L-functions of polynomials xd+axd-1 with p≡-1 mod d, Finite Fields Appl., 2016, 37: 285–294.
Ouyang Y and Yang J B, Newton polygons of L functions of polynomials xd + ax, J. Number Theory, 2016, 160: 478–491.
Ouyang Y and Yang J B, On a conjecture of Wan about limiting Newton polygons, Finite Fields Appl., 2016, 41: 64–71.
Li X, The stable property of Newton slopes for general Witt towers, J. Number Theory, 2018, 185: 144–159.
Kosters M and Zhu H J, On slopes of L-functions of Zp-covers over the projective line, J. Number Theory, 2018, 187: 430–452.
Ren R F, Wan D Q, Xiao L, et al., Slopes for higher rank Artin-Schreier-Witt towers, Trans. Amer. Math. Soc., 2018, 370(9): 6411–6432.
Ren R F, Generic Newton polygon for exponential sums in n variables with parallelotope base, Amer. J. Math., 2020, 142(5): 1595–1639.
Wan D Q, Xiao L, and Zhang J, Slopes of eigencurves over boundary disks, Math. Ann., 2017, 369(1-2): 487–537.
Liu R C, Wan D Q, and Xiao L, The eigencurve over the boundary of weight space, Duke Math. J., 2017, 166(9): 1739–1787.
Ye L L, Slopes in Eigenvarieties for Definite Unitary Groups, PhD thesis, Harvard University, Cambridge, 2019.
Johansson C and Newton J, Parallel weight 2 points on Hilbert modular eigenvarieties and the parity conjecture, Forum Math. Sigma, 2019, 7: e27, 36.
Ren R F and Zhao B, Spectral halo for Hilbert modular forms, 2020, arXiv: 2005.14267.
Author information
Authors and Affiliations
Corresponding author
Additional information
This paper was partially supported by the National Natural Science of Foundation under Grant No. 1900929.
This paper was recommended for publication by Editor CHEN Shaoshi.
Rights and permissions
About this article
Cite this article
Wan, D. Exponential Sums over Finite Fields. J Syst Sci Complex 34, 1225–1278 (2021). https://doi.org/10.1007/s11424-021-0066-8
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11424-021-0066-8