Rationality of trace and norm L-functions

Abstract

For a given l-adic sheaf F on a commutative algebraic group G over a finite field k and an integer r ≥ 1 we define the r-th local norm Lfunction of F at a point t ∈ G(k) and prove its rationality. This function gives information on the sum of the local Frobenius traces of F over the points of G(kr) (where kr is the extension of degree r of k) with norm t. For G the onedimensional affine line or the torus, these sums can in turn be used to estimate the number of rational points on curves or the absolute value of exponential sums which are invariant under a large group of translations or homotheties.