×

Estimates for nonsingular multiplicative character sums. (English) Zbl 1028.11075

Let \(\mathbb{F}_{q}\) be a finite field of characteristic \(p\) with \(q\) elements, \( \chi\) a nontrivial multiplicative character of \(\mathbb{F}_{q}\), and \(f(x)=f(x_{1}, \dots ,x_{n})\) a polynomial in \(\mathbb{F}_q[x_{1}, \dots ,x_{n}]\) of degree \(d \geq 1\), say \[ f=f_{d}+f_{d-1}+ \cdots+f_{0} \] with \(f_{i}\) homogeneous of degree \(i\). The author studies character sums \[ S(f, \chi)= \sum_{x \in\mathbb{F}_{q}^{n}} \chi((f(x)) \] and associated \(L\)-functions \(L(f, \chi,T)\) of a complex variable \(T\), for various \(f\) and \( \chi\).
If \((d,p)=1\) and the equation \(f_{d}=0\) defines a smooth projective hypersurface in \({\mathbb P}^{n-1}\) of degree \(d\), then Deligne’s result implies that \(L(f, \chi,T)\) is a polynomial \(P_{n}(T)\) (for \(n\) odd) or a reciprocal polynomial \(1/P_{n}(T)\) (for \(n\) even) of degree \((d-1)^{n}\); moreover, the reciprocal roots \( \theta_{i,n}\) of \(P_{n}(T)\) are algebraic numbers with the same absolute value \( \sqrt{q^{n}}\). Since \[ S(f)=(-1)^{n} \sum_{i=1}^{(d-1)^{n}} \theta_{i,n} \] this gives the estimate \[ |S(f)|\leq (d-1)^{n} \sqrt{q^{n}}. \]
Suppose that
\((a)\) the equation \(f_{d}=0\) defines a smooth projective hypersurface in \({\mathbb P}_{\mathbb{F}_{q}}^{n-1}\)
of degree \(d\),
\((b)\) the equation \(f=0\) defines a smooth hypersurface in \( {\mathbb A}_{\mathbb{F}_{q}}^{n}\).
In this situation the author refines the above result of Deligne and proves that if \((d,p)=1\) and \( \chi^{d}\) is nontrivial, then \[ |S(f, \chi)|\leq (d-1)^{n} \sqrt{q^{n}}, \] the associated \(L\)-function \(L(f, \chi,T)\) is a polynomial \(P_{n}(T)\) (for \(n\) odd) or a reciprocal polynomial \(1/P_{n}(T)\) (for \(n\) even) of degree \((d-1)^{n}\), and reciprocal roots of \(P_{n}(T)\) have the same absolute value \( \sqrt{q^{n}}\). On the other hand, if \( \chi^{d}\) is trivial, then \[ |S(f, \chi)|\leq (d-1)^{n} \sqrt{q^{n}}, \] the associated \(L\)-function \(L(f, \chi,T)\) is a polynomial \(P_{n}(T)\) (for \(n\) odd) or a reciprocal polynomial \(1/P_{n}(T)\) (for \(n\) even) of degree \((d-1)^{n}\), and \(P_{n}(T)\) has \(((d-1)^{n+1}-(-1)^{n+1})/d\) reciprocal roots with absolute value \( \sqrt{q^{n}}\) and \(((d-1)^{n}-(-1)^{n})/d\) reciprocal roots with absolute value \( \sqrt{q^{n-1}}\).
The author gives also several generalizations of the above result in terms of smooth projective and geometrically connected \(\mathbb{F}_{q}\)-schemes.

MSC:

11T24 Other character sums and Gauss sums
11L40 Estimates on character sums
11G25 Varieties over finite and local fields
11M38 Zeta and \(L\)-functions in characteristic \(p\)
PDFBibTeX XMLCite
Full Text: DOI