Let G be a reductive group. The geometric Satake equivalence realized the category of representations of the Langlands dual group ^LG in terms of spherical perverse sheaves (or D-modules) on the affine Grassmannian Gr_G=G((t))/G[[t]] of the original group G.
In the present paper we perform a first step in realizing the category of representations of the quantum group corresponding to ^LG in terms of the geometry of Gr_G.
The idea of the construction belongs to Jacob Lurie.
In this article we study the perverse sheaf on Drinfeld's compactification obtained by applying the geometric Jacquet functor (alias nearby cycles) to a nondegenerate Whittaker sheaf. Namely, we describe its restrictions along the defect stratification in terms of the Langlands dual Lie algebra, in particular showing that this nearby cycles sheaf is tilting. We also describe the subquotients of the monodromy filtration using the Picard-Lefschetz oscillators introduced by S. Schieder, including a proof that the subquotients are semisimple without reference to any theory of weights. This argumen…
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…
Twisted geometric Satake equivalence via gerbes on the factorizable grassmannian
我们证明了一个广义的扭曲几何佐竹等价的Finkelberg-Lysenko的背景下，可分解的格拉斯曼的约化群G相对于一条平滑曲线X，类似于Gaitsgory的推广“在德容猜想”的佐竹等价本身。为了表达这个结果对可分解性的依赖，我们考虑这个格拉斯曼算子上的一个2-范畴格贝，我们称之为“sf格贝”;这个定理则涉及被这样的格贝扭曲的反常层。这种扭曲的概念不同于，但在特殊情况下是等同于，认为芬克尔伯格-李森科。我们根据G的余权格上的二次型和X上的格给出了这些格的分类。此外，我们还将泛局部无环性（Universal Local Acyclicity，简称CCN）的技术手段引入到佐竹等价的证明中，并将其与Beilinson的反常层的邻近圈胶合相结合，将Mirkovic-Vilonen等价证明中的所有主要构造简化为CCN情形，使它们具有简单的描述，其性质具有简单的证明.我们还给出了一个几何证明，证明了普通仿射格拉斯曼算子上的球面反常层范畴是半单的。
In this paper we prove, for G a connected reductive algebraic group satisfying a technical assumption, that the Satake category of G (with coefficients in a finite field, a finite extension of Q_l, or the ring of integers of such a field) can be described via Iwahori-Whittaker perverse sheaves on the affine Grassmannian. As an application, we confirm a conjecture of Juteau-Mautner-Williamson describing the tilting objects in the Satake category.
We classify contravariant pairings between standard Whittaker modules and Verma modules over a complex semisimple Lie algebra. These contravariant pairings are useful in extending several classical techniques for category $\mathcal{O}$ to the Miličić--Soergel category $\mathcal{N}$. We introduce a class of costandard modules which generalize dual Verma modules, and describe canonical maps from standard to costandard modules in terms of contravariant pairings. We show that costandard modules have unique irreducible submodules and share the same composition factors as the corresponding standard …
Let G be an algebraic reductive group over a an algebraically closed field of positive characteristic. Choose a parabolic subgroup $P$ in $G$ and denote by $U$ its unipotent radical. Let $X$ be a $G$-variety. The purpose of this paper is to give two examples of a situation in which the functor of averaging of l-adic sheaves on $X$ with respect to a generic character of $U$ commutes with Verdier duality. In the first example we take $χ$ to be an arbitrary $G$-variety and we prove the above property for all $\overline{P}$-equivariant sheaves on $X$ where $\overline{P}$ is an opposite parabolic s…
We categorify the theory developed by Moy-Prasad in [MP94]. More precisely, we define a depth filtration on any category with an action of the loop group $G((t))$ and prove a $2$-categorical generation statement inspired by the theory of unrefined minimal K-types. Using our generation theorem, we compute the depth filtration on the category of Whittaker sheaves and on the category of Kac-Moody modules. On the Whittaker side, we show that it recovers and extends the filtration constructed by Raskin in [Ras16]. For KM modules, our computation encodes several new localization statements, as well …
We apply Treumann's "Smith theory for sheaves" in the context of the Iwahori--Whittaker model of the Satake category. We deduce two results in the representation theory of reductive algebraic groups over fields of positive characteristic: (a) a geometric proof of the linkage principle; (b) a character formula for tilting modules in terms of the $\ell$-canonical basis, valid in all blocks and in all characteristics.
We introduce a class of equivalences, which we call generalized semi-infinite Hecke equivalences, between certain categories of representations of graded associative algebras which appear in the setting of semi-infinite cohomology for associative algebras and categories of representations of related algebras of Hecke type which we call semi-infinite Hecke algebras. As an application we obtain an equivalence between a category of representations of a non-twisted affine Lie algebra $\widehat{\mathfrak g}$ of level $-2h^\vee-k$, where $h^\vee$ is the dual Coxeter number of the underlying semisimp…
