-
Singular support for G-categories
Authors:
Gurbir Dhillon,
Joakim Faergeman
Abstract:
For a reductive group $G$, we introduce a notion of singular support for cocomplete dualizable DG-categories equipped with a strong $G$-action. This is done by considering the singular support of the sheaves of matrix coefficients arising from the action. We focus particularly on dualizable $G$-categories whose singular support lies in the nilpotent cone of $\mathfrak{g}^*$ and refer to these as n…
▽ More
For a reductive group $G$, we introduce a notion of singular support for cocomplete dualizable DG-categories equipped with a strong $G$-action. This is done by considering the singular support of the sheaves of matrix coefficients arising from the action. We focus particularly on dualizable $G$-categories whose singular support lies in the nilpotent cone of $\mathfrak{g}^*$ and refer to these as nilpotent $G$-categories. For such categories, we give a characterization of the singular support in terms of the vanishing of its generalized Whittaker models.
We study parabolic induction and restriction functors of nilpotent $G$-categories and show that they interact with singular support in a desired way.
We prove that if an orbit is maximal in the singular support of a nilpotent $G$-category $\mathcal{C}$, the Hochschild homology of the generalized Whittaker model of $\mathcal{C}$ coincides with the microstalk of the character sheaf of $\mathcal{C}$ at that orbit. This should be considered a categorified analogue of a result of Moeglin-Waldspurger that the dimension of the generalized Whittaker model of a smooth admissible representation of a reductive group over a non-Archimedean local field of characteristic zero coincides with the Fourier coefficient in the wave-front set of that orbit.
As a consequence, we give another proof of a theorem of Bezrukavnikov-Losev, classifying finite-dimensional modules for $W$-algebras with fixed regular central character. More precisely, we realize the (rationalized) Grothendieck group of this category as a certain subrepresentation of the Springer representation. Along the way, we show that the Springer action of the Weyl group on the twisted Grothendieck--Springer sheaves is the categorical trace of the wall crossing functors, extending an observation of Zhu for integral central characters.
△ Less
Submitted 2 November, 2024; v1 submitted 23 October, 2024;
originally announced October 2024.
-
Proof of the geometric Langlands conjecture IV: ambidexterity
Authors:
D. Arinkin,
D. Beraldo,
L. Chen,
J. Faergeman,
D. Gaitsgory,
K. Lin,
S. Raskin,
N. Rozenblyum
Abstract:
This paper performs the following steps toward the proof of GLC in the de Rham setting:
(i) We deduce GLC for G=GL_n;
(ii) We prove that the Langlands functor L_G constructed in [GLC1], when restricted to the cuspidal category, is ambidextrous;
(iii) We reduce GLC to the study of a certain classical vector bundle with connection on the stack of irreducible local systems;
(iv) We prove that…
▽ More
This paper performs the following steps toward the proof of GLC in the de Rham setting:
(i) We deduce GLC for G=GL_n;
(ii) We prove that the Langlands functor L_G constructed in [GLC1], when restricted to the cuspidal category, is ambidextrous;
(iii) We reduce GLC to the study of a certain classical vector bundle with connection on the stack of irreducible local systems;
(iv) We prove that GLC is equivalent to the contractibility of the space of generic oper structures on irreducible local systems;
(v) Using [BKS], we deduce GLC for classical groups.
△ Less
Submitted 13 September, 2024;
originally announced September 2024.
-
Proof of the geometric Langlands conjecture III: compatibility with parabolic induction
Authors:
Justin Campbell,
Lin Chen,
Joakim Faergeman,
Dennis Gaitsgory,
Kevin Lin,
Sam Raskin,
Nick Rozenblyum
Abstract:
We establish the compatibility of the Langlands functor with the operations of Eisenstein series constant term, and deduce that the Langlands functor induces an equivalence on Eisenstein-generated subcategories.
We establish the compatibility of the Langlands functor with the operations of Eisenstein series constant term, and deduce that the Langlands functor induces an equivalence on Eisenstein-generated subcategories.
△ Less
Submitted 11 September, 2024;
originally announced September 2024.
-
Motivic realization of rigid G-local systems on curves and tamely ramified geometric Langlands
Authors:
Joakim Færgeman
Abstract:
For a reductive group $G$, we prove that complex irreducible rigid $G$-local systems with quasi-unipotent monodromies and finite order abelianization on a smooth curve are motivic, generalizing a theorem of Katz for $GL_n$. We do so by showing that the Hecke eigensheaf corresponding to such a local system is itself motivic. Unlike other works in the subject, we work entirely over the complex numbe…
▽ More
For a reductive group $G$, we prove that complex irreducible rigid $G$-local systems with quasi-unipotent monodromies and finite order abelianization on a smooth curve are motivic, generalizing a theorem of Katz for $GL_n$. We do so by showing that the Hecke eigensheaf corresponding to such a local system is itself motivic. Unlike other works in the subject, we work entirely over the complex numbers. In the setting of de Rham geometric Langlands, we prove the existence of Hecke eigensheaves associated to any irreducible $G$-local system with regular singularities. We also provide a spectral decomposition of a naturally defined automorphic category over the stack of regular singular local systems with prescribed eigenvalues of the local monodromies at infinity. Finally, we establish a relationship between rigidity for complex local systems and automorphic rigidity, answering a conjecture of Yun in the tame complex setting.
△ Less
Submitted 28 July, 2024; v1 submitted 28 May, 2024;
originally announced May 2024.
-
Proof of the geometric Langlands conjecture II: Kac-Moody localization and the FLE
Authors:
D. Arinkin,
D. Beraldo,
J. Campbell,
L. Chen,
J. Faergeman,
D. Gaitsgory,
K. Lin,
S. Raskin,
N. Rozenblyum
Abstract:
This paper is the second in a series of five that together prove the geometric Langlands conjecture. Our goals are two-fold:
(1) Formulate and prove the Fundamental Local Equivalence (FLE) at the critical level;
(2) Study the interaction between Kac-Moody localization and the global geometric Langlands functor of ref. [GLC1].
This paper contains an extensive Appendix, whose primary goals are…
▽ More
This paper is the second in a series of five that together prove the geometric Langlands conjecture. Our goals are two-fold:
(1) Formulate and prove the Fundamental Local Equivalence (FLE) at the critical level;
(2) Study the interaction between Kac-Moody localization and the global geometric Langlands functor of ref. [GLC1].
This paper contains an extensive Appendix, whose primary goals are:
(a) Development the theory of ind-coherent sheaves in infinite type;
(b)Development of the formalism of factorization categories.
△ Less
Submitted 11 September, 2024; v1 submitted 6 May, 2024;
originally announced May 2024.
-
Quasi-Tempered Automorphic D-modules
Authors:
Joakim Færgeman
Abstract:
In this paper, we introduce the category of quasi-tempered automorphic D-modules, which is a rather natural class of D-modules from the point of view of geometric Langlands. We provide a characterization of this category in terms of singular support, and as a consequence, we obtain certain microlocal categorical Künneth formulas.
In this paper, we introduce the category of quasi-tempered automorphic D-modules, which is a rather natural class of D-modules from the point of view of geometric Langlands. We provide a characterization of this category in terms of singular support, and as a consequence, we obtain certain microlocal categorical Künneth formulas.
△ Less
Submitted 28 July, 2024; v1 submitted 17 October, 2022;
originally announced October 2022.
-
Non-vanishing of geometric Whittaker coefficients for reductive groups
Authors:
Joakim Faergeman,
Sam Raskin
Abstract:
We prove that cuspidal automorphic D-modules have non-vanishing Whittaker coefficients, generalizing known results in the geometric Langlands program from GL_n to general reductive groups. The key tool is a microlocal interpretation of Whittaker coefficients. We establish various exactness properties in the geometric Langlands context that may be of independent interest. Specifically, we show Heck…
▽ More
We prove that cuspidal automorphic D-modules have non-vanishing Whittaker coefficients, generalizing known results in the geometric Langlands program from GL_n to general reductive groups. The key tool is a microlocal interpretation of Whittaker coefficients. We establish various exactness properties in the geometric Langlands context that may be of independent interest. Specifically, we show Hecke functors are t-exact on the category of tempered D-modules, strengthening a classical result of Gaitsgory (with different hypotheses) for GL_n. We also show that Whittaker coefficient functors are t-exact for sheaves with nilpotent singular support. An additional consequence of our results is that the tempered, restricted geometric Langlands conjecture must be t-exact. We apply our results to show that for suitably irreducible local systems, Whittaker-normailzed Hecke eigensheaves are perverse sheaves that are irreducible on each connected component of Bun_G.
△ Less
Submitted 6 July, 2022;
originally announced July 2022.
-
The Arinkin-Gaitsgory temperedness conjecture
Authors:
Joakim Faergeman,
Sam Raskin
Abstract:
Arinkin and Gaitsgory defined a category of tempered D-modules on Bun_G that is conjecturally equivalent to the category of quasi-coherent (not ind-coherent!) sheaves on LocSys_{\check{G}}. However, their definition depends on the auxiliary data of a point of the curve; they conjectured that their definition is independent of this choice. Beraldo has outlined a proof of this conjecture that depend…
▽ More
Arinkin and Gaitsgory defined a category of tempered D-modules on Bun_G that is conjecturally equivalent to the category of quasi-coherent (not ind-coherent!) sheaves on LocSys_{\check{G}}. However, their definition depends on the auxiliary data of a point of the curve; they conjectured that their definition is independent of this choice. Beraldo has outlined a proof of this conjecture that depends on some technology that is not currently available. Here we provide a short, unconditional proof of the Arinkin-Gaitsgory conjecture.
△ Less
Submitted 5 August, 2021;
originally announced August 2021.
-
On super-monomial characters and groups having two irreducible monomial character degrees
Authors:
Joakim Færgeman
Abstract:
A character of a group is said to be super-monomial if every primitive character inducing it is linear. It is conjectured by Isaacs that every irreducible character of an odd $M$-group is super-monomial. We show that all non linear irreducible characters of lowest degree of an odd $M$-group is super-monomial and provide cases in which one can guarantee that certain irreducible characters of normal…
▽ More
A character of a group is said to be super-monomial if every primitive character inducing it is linear. It is conjectured by Isaacs that every irreducible character of an odd $M$-group is super-monomial. We show that all non linear irreducible characters of lowest degree of an odd $M$-group is super-monomial and provide cases in which one can guarantee that certain irreducible characters of normal subgroups are super-monomial. Finally, we study groups having two irreducible monomial character degrees.
△ Less
Submitted 28 April, 2019;
originally announced April 2019.
