To any moment graph G we assign a subcategory V of the category of sheaves on G together with an exact structure. We show that in the case that the graph is associated to a non-critical block of the equivariant category O over a symmetrizable Kac-Moody algebra, V is equivalent (as an exact category) to the subcategory of modules that admit a Verma flag. The projective modules correspond under this equivalence to the intersection cohomology sheaves on the graph.
We prove that the Robinson-Schensted-Knuth correspondence is a $\gl_{\infty}$-crystal isomorphism between two realizations of the crystal graph of a generalized Verma module with respect to a maximal parabolic subalgebra of $\gl_{\infty}$. %This extends the previously known result that %the RSK correspondence is an isomorphism of bicrystals or double %crystals. A flagged version of the RSK correspondence is derived in a natural way by computing a Demazure crystal graph of a generalized Verma module. As an application, we discuss a relation between a Demazure crystal and plane partitions with a…
In this paper we prove that the category of parity complexes on the flag variety of a complex connected reductive group is a "graded version" of the category of tilting perverse sheaves on the flag variety of the dual group, for any field of coefficients whose characteristic is good. We derive some consequences on Soergel's modular category O, and on multiplicities and decomposition numbers in the category of perverse sheaves.
We show that the Borel-equivariant derived category of sheaves on the flag variety of a complex reductive group is equivalent to the perfect derived category of dg modules over the extension algebra of the direct sum of the simple equivariant perverse sheaves. This proves a conjecture of Soergel and Lunts in the case of flag varieties.
We introduce a class of perverse sheaves on a partial flag manifold of a connected reductive group G defined over a finite field which are equivariant under the action of the group of rational points of G. The definition of this class is similar to the definition of parabolic character sheaves.
Staggered $t$-structures are a class of $t$-structures on derived categories of equivariant coherent sheaves. In this note, we show that the derived category of coherent sheaves on a partial flag variety, equivariant for a Borel subgroup, admits an artinian staggered $t$-structure. As a consequence, we obtain a basis for its equivariant $K$-theory consisting of simple staggered sheaves.
Building on the theory of parity sheaves due to Juteau-Mautner-Williamson, we develop a formalism of "mixed modular perverse sheaves" for varieties equipped with a stratification by affine spaces. We then give two applications: (1) a "Koszul-type" derived equivalence relating a given flag variety to the Langlands dual flag variety, and (2) a formality theorem for the modular derived category of a flag variety (extending a previous result of Riche-Soergel-Williamson).
We further develop the general theory of the "mixed modular derived category" introduced by the authors in a previous paper in this series. We then use it to study positivity and Q-Koszulity phenomena on flag varieties.
In this paper we propose a construction of a monoidal category of "free-monodromic" tilting perverse sheaves on (Kac-Moody) flag varieties in the setting of the "mixed modular derived category" introduced by the first and third authors. This category shares most of the properties of their counterpart in characteristic 0, defined by Bezrukavnikov-Yun using certain pro-objects in triangulated categories. This construction is the main new ingredient in the construction of a "modular Koszul duality" equivalence for constructible sheaves on flag varieties, see [P. Achar, S. Makisumi, S. Riche, and …
In math.RT/0201073 we constructed an equivalence between the derived category of equivariant coherent sheaves on the cotangent bundle to the flag variety of a simple algebraic group and a (quotient of) the category of constructible sheaves on the affine flag variety of the Langlands dual group. Below we prove certain properties of this equivalence; provide a similar ``Langlands dual'' description for the category of equivariant coherent sheaves on the nilpotent cone; and deduce some conjectures by Lusztig and Ostrik.
The aim of this paper is to initiate a study of the jet bundles on the grassmannian $X$ over a field of characteristic zero using higher direct images of $G$-linearized sheaves, Lie theoretic methods, enveloping algebra theoretic methods and generalized Verma modules. We calculate the $P$-module of the dual jet bundle $J^l(L)^*$ and prove it equals the $l$'th piece of the canonical filtration for $H^0(X,L)^*$. We use the results obtained to prove the discriminant of any linear system on any grassmannian is irreducible.
We study certain nearby cycles sheaves on an affine flag manifold which arise naturally in the Beilinson-Gaitsgory deformation of the affine flag manifold to the affine Grassmannian. We study the multiplicity functions we introduced in an earlier paper, which encode the data of the Jordan-Hoelder series. We prove the multiplicity functions are polynomials in q, and we give a sharp bound for their degrees. Our results apply as well to the nearby cycles in the p-adic deformation of Laumon-Haines-Ngo, and also to Wakimoto sheaves.
We describe a new type of $2$-representations, using coherent sheaves. Feigin, Finkelberg, Kuznetsov, Mirković and Braverman have provided a construction of Verma modules for complex semi-simple Lie algebras using based quasi-map spaces from $\mathbb{P}^1$ to flag varieties (zastavas). We consider here the case of $\mathfrak{sl}_2$, where the zastavas are smooth, and are mere affine spaces. We show that coherent sheaves on zastavas provide a $2$-Verma module for $\mathfrak{sl}_2$ in the sense of Naisse-Vaz. Adding a superpotential and considering matrix factorizations, we obtain a realization …
The geometric Satake isomorphism is an equivalence between the categories of spherical perverse sheaves on affine Grassmanian and the category of representations of the Langlands dual group. We provide a similar description for derived categories of l-adic sheaves on an affine flag variety which are geometric counterparts of a maximal commutative subalgebra in the Iwahori Hecke algebra; of the anti-spherical module over this algebra; and of the space of Iwahori-invariant Whitakker functions.
In this paper we construct an abelian category of "mixed perverse sheaves" attached to any realization of a Coxeter group, in terms of the associated Elias-Williamson diagrammatic category. This construction extends previous work of the first two authors, where we worked with parity complexes instead of diagrams, and we extend most of the properties known in this case to the general setting. As an application we prove that the split Grothendieck group of the Elias-Williamson diagrammatic category is isomorphic to the corresponding Hecke algebra, for any choice of realization.
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 …
We discuss some aspects of the composition structure of twisted Verma modules for the Lie algebra $\mathfrak{sl}(3, \mathbb{C})$, including the explicit structure of singular vectors for both $\mathfrak{sl}(3, \mathbb{C})$ and one of its Lie subalgebras $\mathfrak{sl}(2, \mathbb{C})$, and also of their generators. Our analysis is based on the use of partial Fourier tranform applied to the realization of twisted Verma modules as $\mathrm{D}$-modules on the Schubert cells in the full flag manifold for $\mathrm{SL}(3, \mathbb{C})$.
We show that the space spanned by the class of simple perverse sheaves in [Zh08] without localization is isomorphic to the tensor product of a Verma module with a tensor product of irreducible integrable modules of the quantum enveloping algebra associated with a graph. Under the isomorphism, the simple perverse sheaves get identified with the canonical basis elements of the tensor product module. We also show that the two stability conditions coincide in the localization process in [Zh08], by using supports and singular supports of complexes of sheaves, respectively.
We describe several general methods for calculating weights of mixed tilting sheaves. We introduce a notion called "non-cancellation property" which implies a strong uniqueness of mixed tilting sheaves and enables one to calculate their weights effectively. When we have a certain Radon transform, we prove a geometric analogue of Ringel duality which sends tilting objects to projective objects. We apply these methods to (partial) flag varieties and affine (partial) flag varieties and show that the weight polynomials of mixed tilting sheaves on flag and affine flag varieties are essentially give…
We classify the blocks, compute the Verma flags of tilting and projective modules in the BGG category $\mathcal O$ for the exceptional Lie superalgebra $G(3)$. The projective injective modules in $\mathcal O$ are classified. We also compute the Jordan-Hölder multiplicities of the Verma modules in $\mathcal O$.
In the present article, we combine some techniques in the harmonic analysis together with the geometric approach given by modules over sheaves of rings of twisted differential operators ($\mathcal{D}$-modules), and reformulate the composition series and branching problems for objects in the Bernstein-Gelfand-Gelfand parabolic category $\mathcal{O}^\mathfrak{p}$ geometrically realized on certain orbits in the generalized flag manifolds. The general framework is then applied to the scalar generalized Verma modules supported on the closed Schubert cell of the generalized flag manifold $G/P$ for $…
Exotic sheaves are certain complexes of coherent sheaves on the cotangent bundle of the flag variety of a reductive group. They are closely related to perverse-coherent sheaves on the nilpotent cone. This expository article includes the definitions of these two categories, applications, and some structure theory, as well as detailed calculations for SL(2).
Let G be a semi simple linear algebraic group over a field of characteristic zero and let V be a finite dimensional irreducible G-module with highest weight vector v. Let P in G be the parabolic subgroup fixing v and let g=Lie(G). We get a canonical filtration of V by P-modules U^k(g)v where U^k(g) is the filtration of the universal enveloping algebra U(g). This filtration was in a previous paper studied in the case where P in G=SL(E) is the subgroup fixing an m-dimensional subspace. The aim of this paper is to use higher direct images of G-linearized sheaves, filtrations of generalized Verma …
We initiate a new line of investigation on branching problems for generalized Verma modules with respect to complex reductive symmetric pairs (g,k). Here we note that Verma modules of g may not contain any simple module when restricted to a reductive subalgebra k in general. In this article, using the geometry of K_C orbits on the generalized flag variety G_C/P_C, we give a necessary and sufficient condition on the triple (g,k, p) such that the restriction X|_k always contains simple k-modules for any g-module $X$ lying in the parabolic BGG category O^p attached to a parabolic subalgebra p of …
We establish character formulae for representations of the one-parameter family of simple Lie superalgebras $D(2|1;ζ)$. We provide a complete description of the Verma flag multiplicities of the tilting modules and the projective modules in the BGG category $\mathcal O$ of $D(2|1;ζ)$-modules of integral weights, for any complex parameter $ζ$. The composition factors of all Verma modules in $\mathcal O$ are then obtained.
We show that Lusztig's conjecture on the irreducible characters of a reductive algebraic group over a field of positive characteristic is equivalent to the generic multiplicity conjecture, which gives a formula for the Jordan-H"older multiplicities of baby Verma modules over the corresponding Lie algebra. Then we give a short overview of a recent proof of the latter conjecture for almost all base fields via the theory of sheaves on moment graphs.
We study an analogue of the Achar-Riche "mixed modular derived category" for moment graphs. In particular, given a Coxeter group $W$ and a reflection faithful representation $\mathfrak{h}$, we introduce a category that plays the role of Schubert-stratified mixed modular perverse sheaves on "the flag variety associated to $(W, \mathfrak{h})$." We show that this Soergel-theoretic generalization of graded category $\mathcal{O}$ is graded highest weight.
We prove sign-alternation of the structure constants in the basis of structure sheaves of opposite Schubert varieties in the torus-equivariant Grothendieck group of coherent sheaves on the flag varieties $G/P$ associated to an arbitrary symmetrizable Kac-Moody group $G$, where $P$ is any parabolic subgroup. This generalizes the work of Anderson-Griffeth-Miller from the finite case to the general Kac-Moody case, and affirmatively answers a conjecture of Lam-Schilling-Shimozono regarding the signs of the structure constants in the case of the affine Grassmannian.
In this paper, we will look at actions on complex flag varieties $G/P$ of the torus $\hat{T}=\bigcap\limits_{α\inΔ\setminusΔ_P}\ker(α)$, and under reasonable assumptions, we will give a description of the set $X^{us}$ of unstable points for $\hat{T}$-linearized invertible sheaves. We will investigate the case where $P$ is a maximal parabolic subgroup, and show that $X^{us}$ can be written as a disjoint union of a Schubert variety and an opposite Schubert variety, and we deduce the vanishing of cohomology groups $H^i(Y,{\cal M})$ for invertible sheaves ${\cal M}$ on the quotient variety $Y$ for…
Consider an almost-simple algebraic group G and a choice of complex root of unity q. We study the category of quasi-coherent sheaves $\mathscr{X}_q$ on the half-quantum flag variety, which itself forms a sheaf of tensor categories over the classical flag variety G/B. We prove that the category of small quantum group representations for G at q embeds fully faithfully into the global sections of $\mathscr{X}_q$, and that the fibers of $\mathscr{X}_q$ over G/B recover the tensor categories of representations for the small quantum Borels. These relationships hold both at an abelian and derived lev…
Let G be a reductive algebraic group, with nilpotent cone N and flag variety G/B. We construct an exact functor from perverse sheaves on N to locally constant sheaves on G/B, and we use it to study Ext-groups of simple perverse sheaves on N in terms of the cohomology of G/B. As an application, we give new proofs of some known results on stalks of perverse sheaves on N.
We introduce Morse branes in the Fukaya category of a holomorphic symplectic manifold, with the goal of constructing tilting objects in the category. We give a construction of a class of Morse branes in the cotangent bundles, and apply it to give the holomorphic branes that represent the big tilting sheaves on flag varieties.
We introduce a new algebra called the shifted $q=0$ affine algebra, which arises naturally from the study of coherent sheaves on Grassmannians and n-step partial flag varieties via a natural correspondence. It has similar presentation as the shifted quantum affine algebra defined by Finkelberg-Tsymbaliuk arXiv:1708.01795v6. We then give a definition of its categorical action and prove that there is a categorical action on the bounded derived categories of coherent sheaves on n-step partial flag varieties. Finally, as an application, we use it to construct a categorical action of the $q=0$ affi…
Let $\Oq(G)$ be the algebra of quantized functions on an algebraic group $G$ and $\Oq(B)$ its quotient algebra corresponding to a Borel subgroup $B$ of $G$. We define the category of sheaves on the "quantum flag variety of $G$" to be the $\Oq(B)$-equivariant $\Oq(G)$-modules and proves that this is a proj-category. We construct a category of equivariant quantum $\mathcal{D}$-modules on this quantized flag variety and prove the Beilinson-Bernsteins localization theorem for this category in the case when $q$ is not a root of unity.
We study the connection between the category of modules over the affine Kac-Moody Lie algebra at the critical level, and the category of D-modules on the affine flag scheme G((t))/I, where I is the Iwahori subgroup. We prove a localization-type result, which establishes an equivalence between certain subcategories on both sides. We also establish an equivalence between a certain subcategory of Kac-Moody modules, and the category of quasi-coherent sheaves on the scheme of Miura opers for the Langlands dual group, thereby proving a conjecture of [FG2].
For any Kac-Moody group $G$ with Borel $B$, we give a monoidal equivalence between the derived category of $B$-equivariant mixed complexes on the flag variety $G/B$ and (a certain completion of) the derived category of $B^\vee$-monodromic mixed complexes on the enhanced flag variety $G^\vee/U^\vee$, here $G^\vee$ is the Langlands dual of $G$. We also prove variants of this equivalence, one of which is the equivalence between the derived category of $U$-equivariant mixed complexes on the partial flag variety $G/P$ and certain "Whittaker model" category of mixed complexes on $G^\vee/B^\vee$. In …
For a stratified topological space we introduce the category of IC-modules, which are linear algebra devices with the relations described by the equation d^2=0. We prove that the category of (mixed) IC-modules is equivalent to the category of (mixed) perverse sheaves for flag varieties. As an application, we describe an algorithm calculating the quiver underlying the BGG category O for arbitrary simple Lie algebra, thus answering a question which goes back to I. M. Gelfand.
The paper is concerned with cohomology of the small quantum group at a root of unity, and of its upper triangular subalgebra, with coefficients in a tilting module. We relate it to a certain t-structure on the derived category of equivariant coherent sheaves on the Springer resolution, and to equivariant coherent IC sheaves on the nil-cone. The support of these cohomology is described in terms of cells in affine Weyl groups, and the basis in the Grothendieck group they provide is related to the Kazhdan-Lusztig basis, as predicted by J. Humphreys and V. Ostrik. The proof is based on earlier res…
Using truncated convolution of perverse sheaves on a flag variety Lusztig associated a monoidal category to a two sided cell in the Weyl group. We identify this category in the case which was not decided previously.
We study the Wakimoto modules over the affine Kac-Moody algebras at the critical level from the point of view of the equivalences of categories proposed in our previous works, relating categories of representations and certain categories of sheaves. In particular, we describe explicitly geometric realizations of the Wakimoto modules as Hecke eigen-D-modules on the affine Grassmannian and as quasi-coherent sheaves on the flag variety of the Langlands dual group.
Let $X$ be a partial flag variety, stratified by orbits of the Borel. We give a criterion for the category of modular perverse sheaves to be equivalent to modules over a Koszul ring. This implies that modular category $\mathcal O$ is governed by a Koszul-algebra in small examples.
We develop a "Soergel theory" for Bruhat-constructible perverse sheaves on the flag variety $G/B$ of a complex reductive group $G$, with coefficients in an arbitrary field $\Bbbk$. Namely, we describe the endomorphisms of the projective cover of the skyscraper sheaf in terms of a "multiplicative" coinvariant algebra, and then establish an equivalence of categories between projective (or tilting) objects in this category and a certain category of "Soergel modules" over this algebra. We also obtain a description of the derived category of $T$-monodromic $\Bbbk$-sheaves on $G/U$ (where $U$, $T\su…
We construct a categorification of the maximal commutative subalgebra of the type $A$ Hecke algebra. Specifically, we propose a monoidal functor from the (symmetric) monoidal category of coherent sheaves on the flag Hilbert scheme to the (non-symmetric) monoidal category of Soergel bimodules. The adjoint of this functor allows one to match the Hochschild homology of any braid with the Euler characteristic of a sheaf on the flag Hilbert scheme. The categorified Jones-Wenzl projectors studied by Abel, Elias and Hogancamp are idempotents in the category of Soergel bimodules, and they correspond t…
We study a category of Whittaker modules over a complex semisimple Lie algebra by realizing it as a category of twisted D-modules on the associated flag variety using Beilinson-Bernstein localization. The main result of this paper is the development of a geometric algorithm for computing the composition multiplicities of standard Whittaker modules. This algorithm establishes that these multiplicities are determined by a collection of polynomials we refer to as Whittaker Kazhdan-Lusztig polynomials. In the case of trivial nilpotent character, this algorithm specializes to the usual algorithm fo…
Let G be the group of L-rational points of a connected split reductive group over a finite extension L of Q_p. We show that formal models of the algebraic flag variety X of G are D-affine for certain sheaves of arithmetic differential operators. We then introduce the category of coadmissible G-equivariant arithmetic D-modules on the system of formal models of X and prove that it is anti-equivalent to the category of admissible locally L-analytic G-representations with trivial infinitesimal character. We compute the equivariant arithmetic D-modules of certain classes of representations.
