Related papers: Equivariant analogues of Zuckerman functors

We study the category of dg Harish-Chandra modules (over an arbitrary commutative ring) and construct dg analogues of the induction functor, the production functor, the Zuckerman functor and the dual Zuckerman functor.

For a connected reductive group $G$ and an affine smooth $G$-variety $X$ over the complex numbers, the localization functor takes $\mathfrak{g}$-modules to $D_X$-modules. We extend this construction to an equivariant and derived setting…

In the first part of this series of papers we constructed dg analogues of the Zuckerman functors over commutative rings and the dual Zuckerman functors over the field of complex numbers. In this paper we construct their derived functors in…

We present a simple proof of a strengthening of the derived Beilinson-Bernstein localization theorem using the formalism of descent in derived algebraic geometry. The arguments and results apply to arbitrary modules without the need to fix…

We explain (following V. Drinfeld) how the equivariant derived category of the affine Grassmannian can be described in terms of coherent sheaves on the Langlands dual Lie algebra equivariant with respect to the adjoint action, due to some…

Derived functors (or Zuckerman functors) play a very important role in the study of unitary representations of real reductive groups. These functors are usually applied on highest weight modules in the so-called good range and the theory is…

We give an easy proof of the Bernstein-Lunts equivalence of ordinary and equivariant derived categories of Harish-Chandra modules. This proof requires no boundedness assumptions. In the appendix we collect some needed, but not completely…

In the paper \cite{BK} we defined categories of equivariant quantum $\mathcal{O}_q$-modules and $\mathcal{D}_q$-modules on the quantum flag variety of $G$. We proved that the Beilinson-Bernstein localization theorem holds at a generic $q$.…

Cohomological induction gives an algebraic method for constructing representations of a real reductive Lie group $G$ from irreducible representations of reductive subgroups. Beilinson-Bernstein localization alternatively gives a geometric…

We extend Bezrukavnikov and Finkelberg's description of the G(\C[[t]])-equivariant derived category on the affine Grassmannian to the twisted setting of Finkelberg and Lysenko. Our description is in terms of coherent sheaves on the twisted…

Let $\mathfrak{g}$ be a complex semisimple Lie algebra. The Beilinson-Bernstein localization theorem establishes an equivalence of the category of $\mathfrak{g}$-modules of a fixed infinitesimal character and a category of modules over a…

In group representations several inductions given by tensoring with appropriate bimodules may be reconstructed via homology of $G$-posets with $G$-equivariant coefficients. For this purpose, we need various local categories of a finite…

Let G be a finite group. Given a finite G-set X and a modular tensor category C, we construct a weak G-equivariant fusion category, called the permutation equivariant tensor category. The construction is geometric and uses the formalism of…

We formulate a Beilinson-Bernstein type derived equivalence for a quantized enveloping algebra at a root of 1 as a conjecture. It says that there exists a derived equivalence between the category of modules over a quantized enveloping…

We prove an Induction Equivalence and a Kashiwara Equivalence for coadmissible equivariant D-modules on rigid analytic spaces. This allows us to completely classify such objects with support in a single orbit of a classical point with…

We prove a singular version of Beilinson-Bernstein localization for a complex semi-simple Lie algebra following ideas from the positive characteristic case done by \cite{BMR2}. We apply this theory to translation functors, singular blocks…

We calculate various categories of equivariant sheaves on the Beilinson-Drinfeld Grassmannian in Langlands dual terms. For one, we obtain the factorizable derived geometric Satake theorem. More generally, we calculate the categorical…

In this short note, we show a p-adic analogue of Beilinson's equivalence comparing two derived categories: the derived category of holonomic modules and derived category of modules whose cohomologies are holonomic.

For any additive functor from modules (or, more generally, from an abelian category with enough projectives or injectives), we construct long sequences tying up together the derived functors, the satellites, and the stabilizations of the…

In this paper we extend Beilinson's realization formalism for triangulated categories and filtered triangulated categories to a pseudofunctorial and pseudonatural setting. As a consequence we prove an equivariant version of Beilinson's…