We determine the dimensions of $\mathrm{Ext}$-groups between simple modules and dual generalized Verma modules in singular blocks of parabolic versions of category $\mathcal{O}$ for complex semisimple Lie algebras and affine Kac-Moody algebras.
Using the orbifold KZ connection we construct a functor from an affine parabolic category O of type A to the category O of a cyclotomic rational double affine Hecke algebra. We give several results concerning this functor.
We prove that the parabolic induction functor on BGG-category $\mathcal{O}$ associated to a complex reductive Lie algebra is gradable, that is, lifts to graded category $\mathcal{O}$ as constructed by Beilinson-Ginzburg-Soergel. Graded category $\mathcal{O}$ is equivalent to a category of stratified mixed Tate motives on a corresponding flag variety as recently defined by Soergel-Wendt. The graded version of parabolic induction is induced by a geometric parabolic induction functor we construct on the level of stratified mixed Tate motives. We also describe the effect of parabolic induction on …
We study the truncation functors and show the existence of projective cover of each irreducible module in parabolic BGG category $\mathcal O$ over infinite rank Lie algebra of types $\mathfrak{a,b,c,d}$. Moreover, $\mathcal O$ is a Koszul category. As a consequence, the corresponding parabolic BGG category $\overline{\mathcal O}$ over infinite rank Lie superalgebra of types $\mathfrak{a,b,c,d}$ through the super duality is also a Koszul category.
We provide a linkage principle in an arbitrary parabolic category $\mathcal O^{\mathfrak p}$ for the periplectic Lie superalgebras $\mathfrak{pe}(n)$. As an application, we classify indecomposable blocks in $\mathcal O^{\mathfrak p}$. We classify indecomposable tilting modules in $\mathcal O^{\mathfrak p}$ whose characters are controlled by the Kazhdan-Lusztig polynomials of type $\bf A$ Lie algebras. We establish the complete list of characters of indecomposable tilting modules in $\mathcal O^{\mathfrak p}$ for $\mathfrak{pe}(3)$.
We prove that the center of each degenerate cyclotomic Hecke algebra associated to the complex reflection group of type B_d(l) consists of symmetric polynomials in its commuting generators. The classification of the blocks of the degenerate cyclotomic Hecke algebras is an easy consequence. We then deduce that the center of an integral block of parabolic category O for the Lie algebra gl_n(C) is generated by the center of its universal enveloping algebra.
We show that for any singular dominant integral weight $λ$ of a complex semisimple Lie algebra $\mathfrak{g}$, the endomorphism algebra $B$ of any projective-injective module of the parabolic BGG category $\mathcal{O}_λ^{\mathfrak{p}}$ is a symmetric algebra (as conjectured by Khovanov) extending the results of Mazorchuk and Stroppel for the regular dominant integral weight. Moreover, the endomorphism algebra $B$ is equipped with a homogeneous (non-degenerate) symmetrizing form. In the appendix, there is a short proof due to K. Coulembier and V. Mazorchuk showing that the endomorphism algebra …
We classify projective functors on the regular block of Rocha-Caridi's parabolic version of the BGG category $\mathcal{O}$ in type $A$. In fact, we show that, in type $A$, the restriction of an indecomposable projective functor from $\mathcal{O}$ to the parabolic category is either indecomposable or zero. As a consequence, we obtain that projective functors on the parabolic category $\mathcal{O}$ in type $A$ are completely determined, up to isomorphism, by the linear transformations they induce on the level of the Grothendieck group, which was conjectured by Stroppel in \cite{St}.
As a sequel to [Duan-Shu-Yao], we introduce here a category $\mathscr{LC}$ arising from the BGG category $\mathcal{O}$ defined in [Duan-Shu-Yao] for Lie algebras of polynomial vector fields. The objects of $\mathscr{LC}$ are so-called Lie-Cartan modules which admit both Lie-module structure and compatible $R$-module structure ($R$ denotes the corresponding polynomial ring). This terminology is natural, coming from affine connections in differential geometry through which the structure sheaves in topology and the vector fields in geometry are integrated for differential manifolds. In this paper…
Let ${\mathfrak g}$ be a classical simple Lie superalgebra. In this paper, the author studies the cohomology groups for the subalgebra $\mathfrak{n}^{+}$ relative to the BBW parabolic subalgebras constructed by D. Grantcharov, N. Grantcharov, Nakano and Wu. These classical Lie superalgebras have a triangular decomposition ${\mathfrak g}={\mathfrak n}^{-}\oplus {\mathfrak f} \oplus {\mathfrak n}^{+}$ where $\mathfrak f$ is a detecting subalgebra as introduced by Boe, Kujawa and Nakano. It is shown that there exists a Hochschild-Serre spectral sequence that collapses for all infinite families of…
We investigate blocks of the Category $\mathcal O$ for the Virasoro algebra over the complex numbers. We demonstrate that the blocks have Kazhdan-Lusztig theories, and that the truncated blocks give rise to interesting Koszul algebras. The simple modules have BGG resolutions, and from this we compute the extensions between Verma modules and simple modules, and between pairs of simple modules.
We discuss how the Hochschild cohomology of a dg category can be computed as the trace of its Serre functor. Applying this approach to the principal block of the Bernstein--Gelfand--Gelfand category $\mathcal{O}$, we obtain its Hochschild cohomology as the compactly supported cohomology of an associated space. Equivalently, writing $\mathcal{O}$ as modules over the endomorphism algebra $A$ of a minimal projective generator, this is the Hochschild cohomology of $A$. In particular our computation gives the Euler characteristic of the Hochschild cohomology of $\mathcal{O}$ in type A.
We prove that the center of a regular block of parabolic category O for the general linear Lie algebra is isomorphic to the cohomology algebra of a corresponding Springer fiber. This was conjectured by Khovanov. We also find presentations for the centers of singular blocks, which are cohomology algebras of Spaltenstein varieties.
We study the equivariant oriented cohomology ring $h_T(G/P)$ of partial flag varieties using the moment map approach. We define the right Hecke action on this cohomology ring, and then prove that the respective Bott-Samelson classes in $h_{T}(G/P)$ can be obtained by applying this action to the fundamental class of the identity point, hence generalizing previously known results by Brion, Knutson, Peterson, Tymoczko and others. We then focus on the equivariant oriented cohomology theory corresponding to the 2-parameter Todd genus. We give a new interpretation of Deodhar's construction of the pa…
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 method for constructing Harish-Chandra modules for $G$ from certain representations of a Cartan subgroup. The duality theorem of Hecht, Mili\vcić, Schmid and Wolf establishes a relationship between modules cohomologically induced from minimal parabolics and the cohomology of the $\ms{D}$-modules on the complex flag variety for $G$ determined by the Beilinson-…
The Baues--Wirsching cohomology is one of the cohomologies of a small category. Our aim is to describe the first Baues--Wirsching cohomology of the small category generated by a finite quiver freely. We consider the case where the coefficient is a natural system obtained by the composition of a functor and the target functor. We give an algorithm to obtain generators of the vector space of inner derivations. It is known that there exists a surjection from the vector space of derivations of the small category to the first Baues--Wirsching cohomology whose kernel is the vector space of inner der…
For a fixed parabolic subalgebra p of gl(n,C) we prove that the centre of the principal block O(p) of the parabolic category O is naturally isomorphic to the cohomology ring of the corresponding Springer fibre. We give a diagrammatic description of O(p) for maximal parabolic p and give an explicit isomorphism to Braden's description of the category Perv_B(G(n,n)) of perverse sheaves on Grassmannians. As a consequence Khovanov's algebra H^n is realised as the endomorphism ring of some object from Perv_B(G(n,n)) which corresponds under localisation and the Riemann-Hilbert correspondence to a ful…
We introduce the enveloping algebra for a Leibniz pair, and show that the category of modules over a Leibniz pair is isomorphic to the category of left modules over its enveloping algebra. Consequently, we show that the cohomology theory for a Leibniz pair introduced by Flato, Gerstenhaber and Voronov can be interpreted by Ext-groups of modules over the enveloping algebra.
In this paper we give a sum formula for the radical filtration of generalized Verma modules in any (possibly singular) blocks of parabolic BGG category which can be viewed as a generalization of Jantzen sum formula for Verma modules in the usual BGG category $\mathcal{O}$. Combined with Jantzen coefficients, we determine the radical filtrations for all basic generalized Verma modules. The proof makes use of the graded version of parabolic BGG category. Explicit formulae for the graded decomposition numbers and inverse graded decomposition numbers of generalized Verma modules in any (possibly s…
We show that each integral infinitesimal block of parabolic category O (including singular ones) for a semi-simple Lie algebra can be realized as a full subcategory of a "thick" category O over a finite W-algebra for the same Lie algebra. The nilpotent used to construct this finite W-algebra is determined by the central character of the block, and the subcategory taken is that killed by a two-sided ideal depending on the original parabolic. The equivalences in question are induced by those of Milicic-Soergel and Losev. We also give a proof of a result of some independent interest: the singular…
We study the cohomology of parabolic Deligne-Lusztig varieties associated to unipotent blocks of GLn(q). We show that the geometric version of Broué's conjecture over Q_\ell, together with Craven's formula, holds for any unipotent block whenever it holds for the principal Phi_1-block, that is for the variety X(π).
A positive level Kazhdan-Lusztig functor is defined using Arkhipov-Gaitsgory duality for affine Lie algebras. The functor sends objects in the DG category of G(O)-equivariant positive level affine Lie algebra modules to objects in the DG category of modules over Lusztig's quantum group at a root of unity. We prove that the semi-infinite cohomology functor for positive level modules factors through the Kazhdan-Lusztig functor at positive level and the quantum group cohomology functor with respect to the positive part of Lusztig's quantum group.
We give a complete combinatorial classification of those parabolic Verma modules in the principal block of the parabolic category $\mathcal{O}$ associated to a minimal or a maximal parabolic subalgebra of the special linear Lie algebra for which the answer to Kostant's problem is positive.
The classical parabolic induction functor is a fundamental tool on the representation theoretic side of the Langlands program. In this article, we study its derived version. It was shown by the second author that the derived category of smooth $G$-representations over $k$, $G$ a $p$-adic reductive group and $k$ a field of characteristic $p$, is equivalent to the derived category of a certain differential graded $k$-algebra $H_G^\bullet$, whose zeroth cohomology is a classical Hecke algebra. This equivalence predicts the existence of a derived parabolic induction functor on the dg Hecke algebra…
We consider a general parabolic category $\mathcal{O}_{S}$ over symmetrizable Kac-Moody algebras. We introduce a reduction rule of hom-spaces between parabolic Verma modules over different Kac-Moody algebras which yield some applications on parabolic Verma module homomorphisms.
We determine the Ringel duals for all blocks in the parabolic versions of the BGG category O associated to a reductive finite dimensional Lie algebra. In particular we find that, contrary to the original category O and the specific previously known cases in the parabolic setting, the blocks are not necessarily Ringel self-dual. However, the parabolic category O as a whole is still Ringel self-dual. Furthermore, we use generalisations of the Ringel duality functor to obtain large classes of derived equivalences between blocks in parabolic and original category O. It seems that only some special…
The parabolic Kazhdan-Lusztig polynomials for Grassmannians can be computed by counting Dyck partitions. We "lift" this combinatorial formula to the corresponding category of singular Soergel bimodules to obtain bases of the Hom spaces between indecomposable objects. In particular, we describe bases of intersection cohomology of Schubert varieties in Grassmannians parametrized by Dyck partitions which extend (after dualizing) the classical Schubert basis of the ordinary cohomology.
Quaternionic projective plane $\mathbb{H} P^2$ is the next simplest conjugacy class of the symplectic group $SP(6)$ with pseudo-Levi stabilizer subgroup after the sphere $\mathbb{S}^4\simeq \mathbb{H} P^1$. Its quantization gives rise to a module category $\mathcal{O}_t\bigl(\mathbb{H} P^2\bigr)$ over finite-dimensional representations of $U_q\bigl(\mathfrak{s}\mathfrak{p}(6)\bigr)$, a full subcategory in the category $\mathcal{O}$. We prove that $\mathcal{O}_t\bigl(\mathbb{H} P^2\bigr)$ is semi-simple and equaivalent to the category of quantized equivariant vector bundles on $\mathbb{H} P^2$.
We show that for a noetherian algebra $A$ whose bounded dg derived category is smooth, the singular Hochschild cohomology (=Tate--Hochschild cohomology) is isomorphic, as a graded algebra, to the Hochschild cohomology of the dg singularity category of $A$. The existence of such an isomorphism is suggested by recent work of Zhengfang Wang.
We generalize the notion of Külshammer ideals to the setting of a graded category. This allows us to define and study some properties of Külshammer type ideals in the graded center of a triangulated category and in the Hochschild cohomology of an algebra, providing new derived invariants. Further properties of Külshammer ideals are studied in the case where the category is $d$-Calabi-Yau.
Let $G$ be a finite group and $\cF$ be a family of subgroups of $G$ closed under conjugation and taking subgroups. We consider the question whether there exists a periodic relative $\cF$-projective resolution for $\bbZ$ when $\cF$ is the family of all subgroups $H \leq G$ with $\rk H \leq \rk G-1$. We answer this question negatively by calculating the relative group cohomology $\cF H^* (G, \bbF_2)$ where $G=\bbZ/2\times \bbZ /2$ and $\cF$ is the family of cyclic subgroups of $G$. To do this calculation we first observe that the relative group cohomology $\cF H^*(G, M)$ can be calculated using …
We shall give a description of the intersection cohomology groups of the Schubert varieties in partial flag manifolds over symmetrizable Kac-Moody Lie algebras in terms of parabolic Kazhdan-Lusztig polynomials introduced by Deodhar.
We realise Stroppel's extended arc algebra in the Fukaya-Seidel category of a natural Lefschetz fibration on the generic fiber of the adjoint quotient map on a type $A$ nilpotent slice with two Jordan blocks, and hence obtain a symplectic interpretation of certain parabolic two-block versions of Bernstein-Gelfan'd-Gelfan'd category $\mathcal{O}$. As an application, we give a new geometric construction of the spectral sequence from annular to ordinary Khovanov homology. The heart of the paper is the development of a cylindrical model to compute Fukaya categories of (affine open subsets of) Hilb…
This is the author's diploma thesis. In the first part of the thesis the algebra structure on the Ext-spaces Ext^k(M(x), M(y)) of Verma modules M(x) and M(y) in the parabolic category O for the case of the parabolic subalgebras gl(n) x gl(m) for n=1 and n=2 is computed and expressed in terms of quivers. For arbitrary n, more general results about Hom-spaces of projective modules are achieved. The second part of the thesis deals with A-infinity structures on the algebras described above. An explicit construction for a minimal model is given and all higher multiplications are determined in the c…
Let G be a semisimple complex algebraic group with Borel subgroup B and let P be a parabolic subgroup of G. Let T*(G/P) denote the cotangent bundle of G/P. Ranee Brylinski discovered a connection between cohomology of G-equivariant line bundles on T*(G/B) and the so-called Brylinski-Kostant filtration, which describes the action of principal sl_2 triples on G-representations. In this paper we generalize these results to a larger class of sl_2 triples. Along the way we also obtain generalizations of results due to Broer on cohomology of G-equivariant bundles on T*(G/P) for various parabolics P.
We consider N-complexes as functors over an appropriate linear category in order to show first that the Krull-Schmidt Theorem holds, then to prove that amplitude cohomology only vanishes on injective functors providing a well defined functor on the stable category. For left truncated N-complexes, we show that amplitude cohomology discriminates the isomorphism class up to a projective functor summand. Moreover amplitude cohomology of positive N-complexes is proved to be isomorphic to an Ext functor of an indecomposable N-complex inside the abelian functor category. Finally we show that for the …
In this paper we study the structure of cohomology spaces for the Frobenius kernels of unipotent and parabolic algebraic group schemes and of their quantum analogs. Given a simple algebraic group $G$, a parabolic subgroup $P_J$, and its unipotent radical $U_J$, we determine the ring structure of the cohomology ring $H^\bullet((U_J)_1,k)$. We also obtain new results on computing $H^\bullet((P_J)_1,L(λ))$ as an $L_J$-module where $L(λ)$ is a simple $G$-module with high weight $λ$ in the closure of the bottom $p$-alcove. Finally, we provide generalizations of all our results to the quantum situat…
In arXiv:2011.03313, the author has constructed a category of abstractly automorphic representations for $\mathrm{GL}(2)$ over a function field $F$. This is a symmetric monoidal Abelian category, constructed with the goal of having the irreducible automorphic representations as its simple objects. The goal of this paper is to systematically study this category. We will prove several structural theorems about this category. We will show that it admits an adjoint pair $(r^\mathrm{aut},i^\mathrm{aut})$ of automorphic parabolic restriction and induction functors, respectively. This will allow us t…
Let $G$ be the group $SL(2,\mathbb{R})$, $P\subset G$ be the parabolic subgroup of upper triangular matrices and $Γ\subset G$ be a cocompact lattice. A right action of $P$ on $Γ\backslash G$ defines an orbit foliation $\mathcal{F}_P$. We compute the leafwise cohomology ring $H^*(\mathcal{F}_P)$ by exploiting non-abelian harmonic analysis on $G$.
Quantum homogeneous supervector bundles arising from the quantum general linear supergoup are studied. The space of holomorphic sections is promoted to a left exact covariant functor from a category of modules over a quantum parabolic sub-supergroup to the category of locally finite modules of the quantum general linear supergroup. The right derived functors of this functor provides a form of Dolbeault cohomology for quantum homogeneous supervector bundles. We explicitly compute the cohomology groups, which are given in terms of well understood modules over the quantized universal enveloping a…
The characters of Kazhdan--Lusztig elements of the Hecke algebra over $S_n$ (and in particular, the chromatic symmetric function of indifference graphs) are completely encoded in the (intersection) cohomology of certain subvarieties of the flag variety. Considering the forgetful map to some partial flag variety, the decomposition theorem tells us that this cohomology splits as a sum of intersection cohomology groups with coefficients in some local systems of subvarieties of the partial flag variety. We prove that these local systems correspond to representations of subgroups of $S_n$. An expli…
The cohomology annihilator of a noetherian ring that is finitely generated as a module over its center is introduced. Results are established linking the existence of non-trivial cohomology annihilators and the existence of strong generators for the category of finitely generated modules. Exploiting this link, results of Popescu and Roczen, and Wang concerning cohomology annihilators of commutative rings, and also results of Aihara and Takahashi, Keller and Van den Bergh, and Rouquier on strong finite generation of the corresponding bounded derived category, are generalized to cover excellent …
