Abstract
In this article we propose a vanishing conjecture for a certain class of \(\ell \)-adic complexes on a reductive group G which can be regarded as a generalization of the acyclicity of the Artin–Schreier sheaf. We show that the vanishing conjecture contains, as a special case, a conjecture of Braverman and Kazhdan on the acyclicity of \(\rho \)-Bessel sheaves (Braverman and Kazhdan in Geom Funct Anal I:237–278, 2002). Along the way, we introduce a certain class of Weyl group equivariant \(\ell \)-adic complexes on a maximal torus called central complexes and relate the category of central complexes to the Whittaker category on G. We prove the vanishing conjecture in the case when \(G={{\text {GL}}}_n\).
Similar content being viewed by others
Notes
The group \({\mathrm W}_\chi \) plays an important role in the study of representations of finite reductive groups and character sheaves (see, e.g., [14]).
An question raised by V.Drinfeld according to [10, Section 1.5].
This holds in a more general situation when the neutral component of H is unipotent.
In loc. cit. the authors assumed \(\mathcal {F}\) is irreducible with support a \({\mathrm W}\)-stable sub-torus in T. This is because the proof makes use of the isomorphism \({{\text {Ind}}}_{T\subset B}^G(\mathcal {F})\simeq {{\text {Ind}}}_{T\subset B}^G(w^*\mathcal {F})\) which was constructed only for those \(\mathcal {F}\) satisfying the assumption above (see [4, Theorem 2.5(3)]). Now, with Proposition 3.2, the same argument works for arbitrary \({\mathrm W}\)-equivariant perverse sheaves on T.
Note that \({\mathcal C}(T)_{\ell ,\chi _f}\) is stable under the \({\mathrm W}_{\chi _f}\)-action.
Indeed, we have \(w^*{\mathcal R}_\chi \simeq w^*m_\chi ^*{\mathcal R}^{uni}_\chi \simeq m_{w^{-1}\chi }^*w^*{\mathcal R}^{uni}_\chi \simeq m_{w^{-1}\chi }^*{\mathcal R}^{uni}_{w^{-1} \chi }={\mathcal R}_{w^{-1}\chi }\), where we use the observation that \(w^{-1}{\mathrm W}_\chi w={\mathrm W}_{w^{-1}\chi }\) and hence \(w^*{\mathcal R}^{uni}_\chi \simeq {\mathcal R}^{uni}_{w^{-1}\chi }\).
Note that \({\mathcal R}_\theta \) has finite support and hence the inverse of the Mellin transform is well-defined by (4.3).
As mentioned in loc. cit. the geometry of the conjugation action of Mirabolic has been described by Bernstein in [1].
Note that \(u_{m-1}u_1xu_{m-1}^{-1}=u_1u_{m-1}xu_{m-1}^{-1}\).
There is minor mistake in the computation of \(u_1u_mxu_m^{-1}\) in loc. cit.: is should be \(u_1u_mxu_m^{-1}=\begin{bmatrix} x_{F} &{} y+v_1x_E+v_{m-1}x_E-x_Fv_{m-1}\\ 0 &{} x_{E} \end{bmatrix}\). The same proof goes through after this minor correction.
In fact, the Lemma remains true without the assumption \(G={{\text {GL}}}_n\), see [7, Lemma 7.5].
References
Bernstein, J.: P-invariant distribution on \(GL(N)\) and the classification of unitary representations of \(GL(N)\) (Non-Archimedean case), Lie groups representations, II (College Park, Md., 1982/1983). Lectures Notes in Mathematics, vol. 50102, p. 1041 (1984)
Bezrukavnikov, R., Finkelberg, M., Ostrik, V.: Character D-modules via Drinfeld center of Harish–Chandra bimodules. Inventiones mathematicae 188(3), 589–620 (2012)
Ben-Zvi, D., Gunningham, S.: Symmetries of categorical representations and the quantum Ngô action. arXiv:1712.01963
Braverman, A., Kazhdan, D.: \(\gamma \)-functions of representations and lifting. Geom. Funct. Anal. I, 237–278 (2002)
Braverman, A., Kazhdan, D.: \(\gamma \)-sheaves on reductive groups, studies in memory of Issai Schur (Chevaleret. Rehovot Progr. Math. 210(2003), 27–47 (2000)
Bezrukavnikov, R., Yom Din, A.: On parabolic restriction of perverse sheaves. Publ. Res. Inst. Math. Sci. 57(3), 1089–1107 (2021)
Chen, T.-H.: On a conjecture of Braverman–Kazhdan. arXiv:1909.05467
Cheng, S., Ngô, B.C.: On a conjecture of Braverman–Kazhdan. Int. Math. Res. Notices 1–24 (2017)
Deligne, P.: Applications de la formule des traces aux sommes trigonométriqes, Cohomologies Etale (SGA \(4\frac{1}{2}\)). Lecture Notes in Mathematics, vol. 569, pp. 168–232
Ginzburg, V.: Nil-Hecke Algebras and Whittaker \(D\)-modules. In: Kac V., Popov V. (eds) Lie Groups, Geometry, and Representation Theory. Progress in Mathematics, vol. 326, pp. 137–184. Birkhäuser, Cham (2018)
Gabber, O., Loeser, F.: Faisceaux pervers \(\ell \)-adiques sur un tore. Duke Math. J. 83, 501–606 (1996)
Katz, N.: Exponential sums and differential equations. Ann. Math. Stud. 124, 1–430 (1900)
Lonergan, G.: A Fourier transform for the quantum Toda lattice. Selecta Mathematica 24(5), 4577–4615 (2018)
Lusztig, G.: Character sheaves I. Adv. Math. 56(3), 193–237 (1985)
Laumon, G., Letellier, E.: Note on a conjecture of Braverman–Kazhdan. arXiv:1906.07476
Nevins, T.: Descent of coherent sheaves and complexes to geometric invariant theory quotients. J. Algebra 320(6), 2481–2495 (2008)
Ngô, B.C.: Hankel transform, Langlands functoriality and functional equation of automorphic L-functions. Jpn. J. Math. 15, 121–167 (2020)
Acknowledgements
The paper is inspired by the lectures given by Ginzburg and Ngô on their works [8, 10]. I thank Roman Bezrukavnikov, Tanmay Deshpande, Victor Ginzburg, Sam Gunningham, Augustus Lonergan, David Nadler, Ngô Bao Châu, Lue Pan, and Zhiwei Yun for useful discussions. I thank the anonymous referee for valuable comments. I am grateful for the support of NSF grant DMS-1702337 and DMS-2001257, and the S. S. Chern Foundation.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Chen, TH. A vanishing conjecture: the \({{\text {GL}}}_n\) case. Sel. Math. New Ser. 28, 13 (2022). https://doi.org/10.1007/s00029-021-00726-2
Accepted:
Published:
DOI: https://doi.org/10.1007/s00029-021-00726-2