Hypergeometric $\mathcal D$-modules and exponential sums for reductive groups

TL;DR

This paper introduces hypergeometric $ ext{D}$-modules linked to exponential sums for reductive groups, establishing their properties and applications in estimating these sums.

Contribution

It defines hypergeometric $ ext{D}$-modules for reductive groups, proves their holonomicity, and connects them to exponential sums via Fourier transform techniques.

Findings

Hypergeometric $ ext{D}$-modules are holonomic with estimated rank.

The hypergeometric $ ext{D}$-module controls the behavior of hypergeometric sheaves.

Results enable estimation of hypergeometric exponential sums.

Abstract

We define the hypergeometric exponential sum associated to a family of representations of a reductive group over a finite field. We introduce the hypergeometric $\ell$-adic sheaf to describe the hypergeometric exponential sum. Motivated by the definition of the hypergeometric sheaf, we introduce the hypergeometric $\mathcal D$-module, prove it is holonomic and estimate its rank. Using the theory of the Fourier transform for vector bundles over a general base developed by Wang, we show how the hypergeometric $\mathcal D$-module controls the general behavior of the hypergeometric sheaf. We apply our results to the estimation of the hypergeometric exponential sum.