Some results about geometric Whittaker model. (Q1881099): Difference between revisions

Let \(G\) be a reductive algebraic group over an algebraically closed field \(k\) of characteristic \(p\), where \(p\) is not too small. Choose a parabolic subgroup \(P\) with unipotent radical \(U\). Let \(\overline U\) be the unipotent radical of the opposite parabolic subgroup. Let \(X\) be a \(G\)-variety. The purpose of this paper is to show in two situations that the functor of averaging of \(\ell\)-adic sheaves on \(X\) with respect to a generic character \(\chi\colon U\to\mathbb{G}_a\) commutes with Verdier duality. More specifically, let \({\mathcal L}_\psi\) be an Artin-Schreier sheaf on \(\mathbb{G}_{a,k}\). Let \(a\colon U\times X\to X\) be the restriction of the action and let \(p\colon U\times X\to X\) be the projection. The averaging map \(\text{Av}_{U,\chi,*}\) sends \(\mathcal F\) to \(a_*(\chi^*{\mathcal L}_\psi \boxtimes{\mathcal F})(\overline{\mathbb{Q}_\ell}[1](\tfrac12))^{\otimes\dim U}\). Replacing \(a_*\) with \(a_!\) one gets another averaging map \(\text{Av}_{U,\chi,!}\) and the main result is that the comparison map \(\text{Av}_{U,\chi,!}{\mathcal F}\to\text{Av}_{U,\chi,*}\mathcal F\) is an isomorphism in the following two cases. (1) \(\mathcal F\) is \(\overline U\) equivariant. (2) \(X=G\) and \(\mathcal F\) is equivariant with respect to the adjoint action (but one does the averaging with respect to the left action). The latter case is inspired by work of B. C. Ngo who proved it for \(\text{GL}(n)\). If \(\mathcal F\) in case (2) is irreducible perverse, the authors conjecture that \(\text{Av}_{U,\chi,!}\mathcal F\) is irreducible perverse or zero. The main result yields a new proof of a theorem of Katz and Laumon about local acyclicity of the Fourier-Deligne transform.