Kloosterman sheaves for reductive groups

DOI10.4007/ANNALS.2013.177.1.5MaRDI QIDQ1942691zbMATH OpenOpenAlexWikidataFDO

Authors Jochen Heinloth, Zhiwei Yun, B. C. Ngô

Publication date 19 March 2013

Published in Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1005.2765

exceptional monodromy groups geometric Langlands correspondence Kloosterman sheaves Kloosterman sums

Gauss and Kloosterman sums; generalizations (11L05) Exponential sums (11T23) Geometric Langlands program (algebro-geometric aspects) (14D24) Geometric Langlands program: representation-theoretic aspects (22E57)

Abstract: Deligne constructed a remarkable local system on

attached to a family of Kloosterman sums. Katz calculated its monodromy and asked whether there are Kloosterman sheaves for general reductive groups and which automorphic forms should be attached to these local systems under the Langlands correspondence. Motivated by work of Gross and Frenkel-Gross we find an explicit family of such automorphic forms and even a simple family of automorphic sheaves in the framework of the geometric Langlands program. We use these automorphic sheaves to construct l-adic Kloosterman sheaves for any reductive group in a uniform way, and describe the local and global monodromy of these Kloosterman sheaves. In particular, they give motivic Galois representations with exceptional monodromy groups G_2,F_4,E_7 and E_8. This also gives an example of the geometric Langlands correspondence with wild ramifications for any reductive group.

Review text

Fix a prime \(p\), a positive integer \(n\), a finite field extension \(\mathbb F_q/\mathbb F_p\) of the field with \(p\) elements, and an element \(a\in\mathbb F_q^\times\). The Kloosterman sums \[ \text{Kl}_n(a; q) = (-1)^{n-1} \sum_{x_i\in\mathbb F_q, \prod x_i=a} \exp\left(\frac{2\pi i}p \text{Tr}_{\mathbb F_q/\mathbb F_p}(x_1+\cdots +x_n) \right). \] are of great importance in number theory and have been intensely studied since their introduction by \textit{H.~Kloosterman} in 1926 [Proc. Lond. Math. Soc. (2) 25, 143--173 (1926; JFM 52.0170.02)]. For instance, they occur in the Fourier coefficients of modular forms. A powerful method to study them, and to prove results such as the Weil bound \(| \text{Kl}_n(a; q) | \le nq^{(n-1)/2}\), is a sheaf-theoretic interpretation (``sheaf-function dictionary) of Kloosterman sums. This permits to use the tool box of algebraic geometry, and also adds considerable insight from a conceptual point of view. The key is Deligne's definition of the Kloosterman sheaf \(\text{Kl}_n = R\pi_! \sigma^* \text{AS}_\psi[n-1]\), where \(\mathbb G_a\) and \(\mathbb G_m\) are the additive and multiplicative group over \(\mathbb F_p\), \(\sigma: \mathbb G_m^n\rightarrow\mathbb G_a\) is the sum, \(\pi: \mathbb G_m^n\rightarrow \mathbb G_m\) the product, \(\text{AS}_\psi\) is the Artin-Schreier local system attached to a nontrivial character \(\psi: \mathbb F_p\rightarrow \mathbb Q_{\ell}(\mu_p)^\times\) (\(\ell\) a prime \(\neq p\)). After fixing an embedding \(\iota: \mathbb Q_{\ell}(\mu_p) \rightarrow\mathbb C\) such that \(\iota(\psi(x)) = \exp(2\pi i/p)\) for \(x\in\mathbb F_p\), the Grothendieck-Lefschatz trace formula shows that the Kloosterman sum above can be expressed as the trace of Frobenius \(\text{Frob}_a\) on the stalk at a geometric point over \(a\). The Kloosterman sheaves were studied by Deligne, Katz and others. For example, Katz determined the Zariski closure of the image of the monodromy representation \(\pi_1(\mathbb G_m, \overline{\eta}) \rightarrow \mathrm{GL}_n(\mathbb Q_\ell(\mu_p))\), where \(\overline{\eta}\) is a geometric point of \(\mathbb G_m\). Depending on \(n\) and \(p\), the algebraic group arising in this way can be \(\mathrm{SL}_n\), \(\mathrm{Sp}_n\), \(\mathrm{SO}_n\) or, quite surprisingly, of Dynkin type \(G_2\). The \(G_2\) case occurs for \(n=7\), \(p=2\). The goal of the paper at hand is to study the following question, raised by Katz: Do all semisimple groups appear as geometric monodromy groups of local systems on \(\mathbb G_m\)? Using the sheaf-function dictionary, one can translate this question to the question whether there exist exponential sums whose equidistribution laws are governed by arbitrary simple groups, in particular exceptional groups. In the paper under review, a uniform construction of such local systems is given: For a split reductive group \(G^\vee\) a \(G^\vee\)-local system \(\text{Kl}_{G^\vee}\) on \(\mathbb G_m\) is constructed. This sheaf has similar local ramification properties as \(\text{Kl}_n\), and for \(G^\vee=GL_n\) the construction yields the sheaf \(\text{Kl}_n\) as defined by Deligne. The authors determine the Zariski closure of the global geometric monodromy, prove purity of the sheaf and deduce equidistribution laws. They also give a conjecture about the unicity of such local systems. Roughly speaking, the construction is based on work of \textit{B. H. Gross} and \textit{M. Reeder} [Duke Math. J. 154, No. 3, 431--508 (2010; Zbl 1207.11111)] who construct an automorphic representation which should correspond to the (yet to be defined) Kloosterman sheaf. Writing down explicitly a Hecke eigenfunction for this automorphic representation, the authors are able to find a Hecke eigensheaf in terms of which the desired Kloosterman sheaf can be defined. For more details, we refer to the introduction of the paper.

Recommendations

Cites work

Cited in

(46)

This page was built for publication: Kloosterman sheaves for reductive groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1942691)