Improvements of $p$-adic estimates of exponential sums
HTML articles powered by AMS MathViewer
- by Yulu Feng and Shaofang Hong
- Proc. Amer. Math. Soc. 150 (2022), 3687-3698
- DOI: https://doi.org/10.1090/proc/15995
- Published electronically: May 27, 2022
- PDF | Request permission
Abstract:
Let $n, r$ and $f$ be positive integers. Let $p$ be a prime number and $\psi$ be an arbitrary fixed nontrivial additive character of the finite field $\mathbb F_q$ with $q=p^f$ elements. Let $F$ be a polynomial in $\mathbb F_q[x_1,\dots ,x_n]$ and $V$ be the affine algebraic variety defined over $\mathbb {F}_q$ by the simultaneous vanishing of the polynomials $\{F_i\}_{i=1}^r\subseteq \mathbb F_q[x_1,\dots ,x_n]$. Let $\mathbb {Z}_{\ge 0}$ stand for the set of all nonnegative integers and $A$ be an arbitrary nonempty subset of $\{1,\dots ,n\}$. For a polynomial $H(X)=\sum _{{\mathbf {d}}}\alpha _{\mathbf {d}}X^{\mathbf {d}}$ with ${\mathbf {d}}=(d_1,\dots ,d_n)\in \mathbb {Z}_{\ge 0}^n, X^{\mathbf {d}}=x_1^{d_1}\dots x_n^{d_n}$ and $\alpha _{\mathbf {d}}\in \mathbb {F}_q^*$, we define $\deg _A(H)=\max _{{\mathbf {d}}}\{\sum _{i\in A}d_i\}$ to be the $A$-degree of $H$. In this paper, for the exponential sum $S(F,V,\psi )=\sum _{X\in V(\mathbb {F}_q)}\psi (F(X))$ with $V(\mathbb {F}_q)$ being the set of the $\mathbb {F}_q$-rational points of $V$, we show that \begin{equation*} \mathrm {ord}_q S(F,V,\psi )\ge \frac {|A|-\sum _{i=1}^r\deg _A(F_i)} {\max _{1\le i\le r}\{\deg _A(F),\deg _A(F_i)\}} \end{equation*} if $\deg _A(F)>0$ or $\deg _A(F_i)>0$ for some $i\in \{1,\dots ,r\}$. This estimate improves Sperber’s theorem obtained in 1986. This also leads to an improvement of the $p$-adic valuation of the number $N(V)$ of $\mathbb {F}_q$-rational points on the variety $V$ which strengthens the Ax-Katz theorem. Moreover, we use the $A$-degree and $p$-weight $A$-degree to establish $p$-adic estimates on multiplicative character sums and twisted exponential sums which improve Wan’s results gotten in 1995.References
- Alan Adolphson and Steven Sperber, $p$-adic estimates for exponential sums and the theorem of Chevalley-Warning, Ann. Sci. École Norm. Sup. (4) 20 (1987), no. 4, 545–556. MR 932797, DOI 10.24033/asens.1543
- James Ax, Zeroes of polynomials over finite fields, Amer. J. Math. 86 (1964), 255–261. MR 160775, DOI 10.2307/2373163
- Wei Cao, Dilation of Newton polytope and $p$-adic estimate, Discrete Comput. Geom. 45 (2011), no. 3, 522–528. MR 2770550, DOI 10.1007/s00454-010-9244-5
- Wei Cao, A partial improvement of the Ax-Katz theorem, J. Number Theory 132 (2012), no. 4, 485–494. MR 2887601, DOI 10.1016/j.jnt.2011.12.002
- C. Chevalley, Démonstration d’une hypothèse de M. Artin, Abh. Math. Sem. Univ. Hamburg 11 (1935), no. 1, 73–75 (French). MR 3069644, DOI 10.1007/BF02940714
- Bernard Dwork, On the rationality of the zeta function of an algebraic variety, Amer. J. Math. 82 (1960), 631–648. MR 140494, DOI 10.2307/2372974
- Nicholas M. Katz, On a theorem of Ax, Amer. J. Math. 93 (1971), 485–499. MR 288099, DOI 10.2307/2373389
- Neal Koblitz, $p$-adic numbers, $p$-adic analysis, and zeta-functions, 2nd ed., Graduate Texts in Mathematics, vol. 58, Springer-Verlag, New York, 1984. MR 754003, DOI 10.1007/978-1-4612-1112-9
- O. Moreno and C. J. Moreno, An elementary proof of a partial improvement to the Ax-Katz theorem, Applied algebra, algebraic algorithms and error-correcting codes (San Juan, PR, 1993) Lecture Notes in Comput. Sci., vol. 673, Springer, Berlin, 1993, pp. 257–268. MR 1251983, DOI 10.1007/3-540-56686-4_{4}8
- Steven Sperber, On the $p$-adic theory of exponential sums, Amer. J. Math. 108 (1986), no. 2, 255–296. MR 833359, DOI 10.2307/2374675
- Da Qing Wan, A Chevalley-Warning approach to $p$-adic estimates of character sums, Proc. Amer. Math. Soc. 123 (1995), no. 1, 45–54. MR 1215208, DOI 10.1090/S0002-9939-1995-1215208-3
- Ewald Warning, Bemerkung zur vorstehenden Arbeit von Herrn Chevalley, Abh. Math. Sem. Univ. Hamburg 11 (1935), no. 1, 76–83 (German). MR 3069645, DOI 10.1007/BF02940715
Bibliographic Information
- Yulu Feng
- Affiliation: Mathematical College, Sichuan University, Chengdu 610064, People’s Republic of China
- MR Author ID: 1314339
- Email: yulufeng17@126.com
- Shaofang Hong
- Affiliation: Mathematical College, Sichuan University, Chengdu 610064, People’s Republic of China
- Email: sfhong@scu.edu.cn, s-f.hong@tom.com, hongsf02@yahoo.com
- Received by editor(s): February 23, 2021
- Received by editor(s) in revised form: September 14, 2021
- Published electronically: May 27, 2022
- Additional Notes: The second author is the corresponding author.
The second author was supported partially by National Science Foundation of China Grants #12171332. - Communicated by: Benjamin Brubaker
- © Copyright 2022 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 150 (2022), 3687-3698
- MSC (2020): Primary 11T23, 11G25, 11L40
- DOI: https://doi.org/10.1090/proc/15995
- MathSciNet review: 4446222