Arithmetic Fourier transforms over finite fields: generic vanishing, convolution, and equidistribution

Abstract

We study the arithmetic Fourier transforms of trace functions on general connected commutative algebraic groups. To do so, we first prove a generic vanishing theorem for twists of perverse sheaves by characters, and using this tool, we construct a tannakian category with convolution as tensor operation. Using Deligne's Riemann Hypothesis, we show how this leads to a general equidistribution theorem for the discrete Fourier transforms of trace functions of perverse sheaves, generalizing the work of Katz in the case of the multiplicative group. We then give some concrete examples of applications of these results and raise a number of questions.

v6; 231 pages; final corrections; accepted for publication in Astérisque

References in corpus (9)

• Vanishing Theorems for constructible Sheaves on Abelian Varieties
• A motivated introduction to character sheaves and the orbit method for unipotent groups in positive characteristic
• Some structure theorems for algebraic groups
• Perverse sheaves on semiabelian varieties
• Independence of ell of Monodromy Groups
• Semisimple Super Tannakian Categories with a small Tensor Generator
• Perverse sheaves on semi-abelian varieties
• On the abelian fivefolds attached to cubic surfaces
• Monodromy groups of certain Kloosterman and hypergeometric sheaves