Using Stepanov’s method for exponential sums involving rational functions. (English) Zbl 1093.11058

Cochrane, Todd; Pinner, Christopher

J. Number Theory 116, No. 2, 270-292 (2006).

Let \({\mathbb F}_q\) be a finite field with characteristic \(p\) and \(\psi\) (respectively \(\chi\)) be an additive (resp. multiplicative) character on \({\mathbb F}_q\). For rational functions \(f\) and \(g\) with coefficients in \({\mathbb F}_q\), we put \(S(\psi,f;\chi,g):=\sum\chi(g(x))\psi(f(x))\), where the sum is taken over the points \(x\in {\mathbb F}_q\) that are not poles of \(f\) or \(g\). Using algebro-geometric tools and the Riemann Hypothesis for an appropriate \(L\)-function F. N. Castro and C. J. Moreno [Proc. Am. Math. Soc. 128, No. 9, 2529–2537 (2000; Zbl 0991.11065)] gave the following upper bound \(| S(\psi,f;\chi,g)| \leq {C \cdot q^{1/2}}\), where \(C=\deg(f)_\infty+l+l'+l"-2\), \(\deg(f)_\infty\) being the degree of the divisor of poles of \(f\), \(l\) the number of distinct zeros and poles of \(g\), \(l'\) the number of distinct poles (including \(\infty\)) of \(f\) and \(l"\) the number of finite poles of \(f\) which are also zeros or poles of \(g\).
In this paper the authors use the elementary Stepanov-Schmidt method to give a proof of the above bound. Moreover, they determine precisely the number of characteristic values \(\omega_i\) of modulus \(q^{1/2}\) and the number of modulus value \(1\). First they show, by adapting a standard argument, that the \(L\)-function is a polynomial and compute the coefficient of the leading term, in terms of Gauss sums of the type \(S(\psi,x;\chi,x)\). In order to conclude the proof, they need to bound for an arbitrary finite extension \({\mathbb F}_{q^n}\) the sum of all \(S({\psi\circ\text{tr}},f;\chi\circ N,g)\) for all multiplicative characters \(\chi\) and nontrivial additive characters \(\psi\), which are been by expressing it in terms of the quantities \(s_n(f,b;g,a):=\#\{x\in{\mathbb F}_{q^n}, \text{tr}(f(x))= b,N(g(x))=a\}\) and using the Stepanov’s method to make a precise estimate of \(s_n(f,b;g,a)\).

Reviewer: Mongi Naimi (Tunis)

MSC:

11L07	Estimates on exponential sums
11L03	Trigonometric and exponential sums (general theory)

Keywords:

exponential sums

Citations:

Zbl 0991.11065

References:

[1]	Castro, F.; Moreno, C., Mixed exponential sums over finite fields, Proc. Amer. Math. Soc., 128, 2529-2537 (2000) · Zbl 0991.11065
[2]	Katz, N. M.; Laumon, G., Transformation de Fourier et majoration de sommes exponentielles, I.H.E.S. Pub. Math., 62, 145-202 (1985) · Zbl 0603.14015
[3]	Lidl, R.; Niederreiter, H., Finite Fields Encyclopedia of Mathematics and its Applications (1983), Addison-Wesley: Addison-Wesley Reading, MA
[4]	Perel’muter, G. I., Estimate of a sum along an algebraic curve, Mat. Zametki, 5, 373-380 (1969) · Zbl 0188.53302
[5]	Rausch, U., On a theorem of Dobrowolski about the product of conjugate numbers, Colloq. Math., 50, 137-142 (1985) · Zbl 0579.12001
[6]	Schmidt, W. M., Zur Methode von Stepanov, Acta Arith., 24, 347-367 (1973) · Zbl 0242.12013
[8]	Stepanov, S. A., The number of points of a hyperelliptic curve over a prime field (Russian), Izv. Akad. Nauk SSSR Ser. Mat., 33, 1171-1181 (1969) · Zbl 0192.58002
[9]	Stepanov, S. A., Elementary method in the theory of congruences for prime modulus, Acta Arith., 17, 231-247 (1970) · Zbl 0226.12012
[10]	Stepanov, S. A., Estimates of rational trigonometric sums with prime denominators (Russian), Trudy Akad. Nauk, 62, 346-371 (1971) · Zbl 0225.10040
[12]	Weil, A., On some exponential sums, Proc. Natl. Acad. Sci., 34, 204-207 (1948) · Zbl 0032.26102