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

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)$$.

MSC:

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

exponential sums

Zbl 0991.11065
Full Text:

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 · Zbl 0554.12010 [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
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.