Twisted Exponential Sums

Abstract

Let $k$ be a finite field of characteristic $p$, $l$ a prime number distinct to $p$, $ψ:k\to \bar {\bf Q}_l^\ast$ a nontrivial additive character, and $χ:{k^\ast}^n\to \bar{\bf Q}_l^\ast$ a character on ${k^\ast}^n$. Then $ψ$ defines an Artin-Schreier sheaf ${\cal L}_ψ$ on the affine line ${\bf A}_k^1$, and $χ$ defines a Kummer sheaf ${\cal K}_χ$ on the $n$-dimensional torus ${\bf T}_k^n$. Let $f\in k[X_1,X_1^{-1},..., X_n,X_n^{-1}]$ be a Laurent polynomial. It defines a $k$-morphism $f:{\bf T}_k^n\to {\bf A}_k^1$. In this paper, we calculate the dimensions and weights of $H_c^i({\bf T}_{\bar k}^n, {\cal K}_χ\otimes f^\ast {\cal L}_ψ)$ under some non-degeneracy conditions on $f$. Our results can be used to estimate sums of the form $$\sum_{x_1,..., x_n\in k^\ast} χ_1(f_1(x_1,..., x_n))... χ_m(f_m(x_1,..., x_n))ψ(f(x_1,..., x_n)),$$ where $χ_1,..., χ_m:k^\ast\to {\bf C}^\ast$ are multiplicative characters, $ψ:k\to {\bf C}^\ast$ is a nontrivial additive character, and $f_1,..., f_m, f$ are Laurent polynomials.