We show that the category of graded modules over a finite-dimensional graded algebra admitting a triangular decomposition can be endowed with the structure of a highest weight category. When the algebra is self-injective, we show furthermore that this highest weight category has tilting modules in the sense of Ringel. This provides a new perspective on the representation theory of such algebras, and leads to several new structures attached to them. There are a wide variety of examples in algebraic Lie theory to which this applies: restricted enveloping algebras, Lusztig's small quantum groups, hyperalgebras, finite quantum groups, and restricted rational Cherednik algebras.
We consider self-injective finite-dimensional graded algebras admitting a triangular decomposition. In a preceding paper, we have shown that the graded module category of such an algebra is a highest weight category and has tilting objects in the sense of Ringel. In this paper we focus on the degree zero part of the algebra, the core of the algebra. We show that the core captures essentially all relevant information about the graded representation theory. Using tilting theory, we show that the core is cellular. We then describe a canonical construction of a highest weight cover, in the sense o…
We introduce and study the category of twisted modules over a triangular differential graded bocs. We show that in this category idempotents split, that it admits a natural structure of a Frobenius category, that a twisted module is homotopically trivial if and only if its underlying complex is acyclic, and that any homotopy equivalence of differential graded bocses determines an equivalence of the corresponding homotopy categories of twisted modules. The category of modules over an $A_{\infty}$-algebra is equivalent to the category of twisted modules over a triangular differential graded bocs…
We obtain a graded character formula for certain graded modules for the current algebra over a simple Lie algebra of type E6. For certain values of their highest weight, these modules were conjectured to be isomorphic to the classical limit of the corresponding minimal affinizations of the associated quantum group. We prove that this is the case under further restrictions on the highest weight. Under another set of conditions on the highest weight, Chari and Greenstein have recently proved that they are projective objects of a full subcategory of the category of graded modules for the current …
In this paper, we compute the Gelfand-Kirillov dimensions for the infinite-dimensional explicit irreducible $\mathfrak{o}(n, \mathbb{C})$-modules and $\mathfrak{sp}(2n, \mathbb{C})$-modules that appeared in the $\mathbb{Z}$-graded oscillator generalizations of the classical theorem on harmonic polynomials established by Luo and Xu. We also found that some of the modules have the secondly minimal GK-dimension, and some of them have the larger GK-dimension than the maximal GK-dimension of unitary highest-weight modules.
A new class of locally unital and locally finite dimensional algebras $A$ over an arbitrary algebraically closed field is discovered. Each of them admits an upper finite weakly triangular decomposition, a generalization of an upper finite triangular decomposition. Any locally unital algebra which admits an upper finite Cartan decomposition is Morita equivalent to some special locally unital algebra $A$ which admits an upper finite weakly triangular decomposition. It is established that the category $A$-lfdmod of locally finite dimensional left $A$-modules is an upper finite fully stratified ca…
In this note, we study the Hilbert-Poincaré polynomials for the PBW-graded of simple modules for a simple complex Lie algebra. The computation of their degree can be reduced to modules of fundamental highest weight. We provide these degrees explicitly.
In this paper, we begin the study of highest weight representations of the quantized enveloping superalgebra ${\mathfrak U}_q {\mathfrak p}_n$ of type $P$. We introduce a Drinfeld-Jimbo representation and establish a triangular-decomposition of ${\mathfrak U}_q {\mathfrak p}_n$. We explain how to relate modules over ${\mathfrak U}_q {\mathfrak p}_n$ to modules over ${\mathfrak p}_n$, the Lie superalgebra of type $P$, and we prove that the category of tensor modules over ${\mathfrak U}_q {\mathfrak p}_n$ is not semisimple.
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 analyze the BGG Category $\mathcal{O}$ over a large class of generalized Weyl algebras (henceforth termed GWAs). Given such a "triangular" GWA for which Category $\mathcal{O}$ decomposes into a direct sum of subcategories, we study in detail the homological properties of blocks with finitely many simples. As consequences, we show that the endomorphism algebra of a projective generator of such a block is quasi-hereditary, finite-dimensional, and graded Koszul. We also classify all tilting modules in the block, as well as all submodules of all projective and tilting modules. Finally, we prese…
Koenig and Xi introduced {\em affine cellular algebras}. Kleshchev and Loubert showed that an important class of {\em infinite dimensional} algebras, the KLR algebras $R(Γ)$ of finite Lie type $Γ$, are (graded) affine cellular; in fact, the corresponding affine cell ideals are idempotent. This additional property is reminiscent of the properties of {\em quasihereditary algebras} of Cline-Parshall-Scott in a {\em finite dimensional} situation. A fundamental result of Cline-Parshall-Scott says that a finite dimensional algebra $A$ is quasihereditary if and only if the category of finite dimensio…
We study the crystal structure on categories of graded modules over algebras which categorify the negative half of the quantum Kac-Moody algebra associated to a symmetrizable Cartan data. We identify this crystal with Kashiwara's crystal for the corresponding negative half of the quantum Kac-Moody algebra. As a consequence, we show the simple graded modules for certain cyclotomic quotients carry the structure of highest weight crystals, and hence compute the rank of the corresponding Grothendieck group.
Let $\mathbb{F}$ be a field of characteristic zero and let $\mathfrak{g}$ be a non-zero finite-dimensional split semisimple Lie algebra with root system $Δ$. Let $Γ$ be a finite set of integral weights of $\mathfrak{g}$ containing $Δ$ and $\{0\}$. Following [2,10], we say that a Lie algebra $L$ over $\mathbb{F}$ is \emph{generalized root graded}, or more exactly $(Γ,\mathfrak{g})$-\emph{graded}, if $L$ contains a semisimple subalgebra isomorphic to $\mathfrak{g}$, the $\mathfrak{g}$-module $L$ is the direct sum of its weight subspaces $L_α$ ($α\inΓ$) and $L$ is generated by all $L_α$ with $α\n…
For a Frobenius abelian category $\mathcal{A}$, we show that the category ${\rm Mon}(\mathcal{A})$ of monomorphisms in $\mathcal{A}$ is a Frobenius exact category; the associated stable category $\underline{\rm Mon}(\mathcal{A})$ modulo projective objects is called the stable monomorphism category of $\mathcal{A}$. We show that a tilting object in the stable category $\underline{\mathcal{A}}$ of $\mathcal{A}$ modulo projective objects induces naturally a tilting object in $\underline{\rm Mon}(\mathcal{A})$. We show that if $\mathcal{A}$ is the category of (graded) modules over a (graded) self-…
In this paper we study the representations of loop Affine-Virasoro Algebras. As they have canonical triangular decomposition, we define Verma modules and its irreducible quotients. We give necessary and sufficient condition for an irreducible highest weight module to have finite dimensional weight spaces. We prove that an irreducible integrable module is either an highest weight module or a lowest weight module whenever the canonical central element acts non trivially. At the end we construct Affine central operators for each integer and they commute with the action of the Affine Lie Algebra.
In this paper, we investigate the structure of highest weight modules over the quantum queer superalgebra $U_q(q(n))$. The key ingredients are the triangular decomposition of $U_q(q(n))$ and the classification of finite dimensional irreducible modules over quantum Clifford superalgebras. The main results we prove are the classical limit theorem and the complete reducibility theorem for $U_q(q(n))$-modules in the category $O_q^{\geq 0}$.
Let $Λ$ be a finite-dimensional algebra with finite global dimension, $R_k=K[X]/(X^k)$ be the $\mathcal{Z}$-graded local ring with $k\geq1$, and $Λ_k=Λ\otimes_K R_k$. We consider the singularity category $\mathcal{D}_{sg}(\mathrm{mod}^\mathcal{Z}(Λ_k))$ of the graded modules over $Λ_k$. It is showed that there is a tilting object in $\mathcal{D}_{sg}(\mathrm{mod}^\mathcal{Z}(Λ_k))$ such that its endomorphism algebra is isomorphic to the triangular matrix algebra $T_{k-1}(Λ)$ with coefficients in $Λ$ and there is a triangulated equivalence between $\mathcal{D}_{sg}(\mathrm{mod}^{\mathcal{Z}/k\m…
We establish the existence of Demazure flags for graded local Weyl modules for hyper current algebras in positive characteristic. If the underlying simple Lie algebra is simply laced, the flag has length one, i.e., the graded local Weyl modules are isomorphic to Demazure modules. This extends to the positive characteristic setting results of Fourier-Littelmann and Naoi for current algebras in characteristic zero. Using this result, we prove that the character of local Weyl modules for hyper loop algebras depend only on the highest weight, but not on the (algebraically closed) ground field, and…
The blob algebra is a finite-dimensional quotient of the Hecke algebra of type $B$ which is almost always quasi-hereditary. We construct the indecomposable tilting modules for the blob algebra over a field of characteristic $0$ in the doubly critical case. Every indecomposable tilting module of maximal highest weight is either a projective module or an extension of a simple module by a projective module. Moreover, every indecomposable tilting module is a submodule of an indecomposable tilting module of maximal highest weight. We conclude that the graded Weyl multiplicities of the indecomposabl…
Highest weight modules of the double affine Lie algebra $\widehat{\widehat{\mathfrak{sl}}}_{2}$ are studied under a new triangular decomposition. Singular vectors of Verma modules are determined using a similar condition with horizontal affine Lie subalgebras, and highest weight modules are described under the condition that $c_1>0$ and $c_2=0$.
Kraśkiewicz and Pragacz introduced representations of the upper-triangular Lie algebras whose characters are Schubert polynomials. In a previous work the author studied the structure of Kraśkiewicz-Pragacz modules using the theory of highest weight categories. From the results there, in particular we obtain a certain highest weight category whose standard modules are KP modules. In this paper we show that this highest weight category is self Ringel-dual: this leads to an interesting symmetry relation on Ext groups between KP modules. We also show that the tensor product operation on b-modules …
Let $G={\rm GL}_n$ be the general linear group over an algebraically closed field $k$, let $\mathfrak g=\mathfrak gl_n$ be its Lie algebra and let $U$ be the subgroup of $G$ which consists of the upper uni-triangular matrices. Let $k[\mathfrak g]$ be the algebra of polynomial functions on $\mathfrak g$ and let $k[\mathfrak g]^G$ be the algebra of invariants under the conjugation action of $G$. In characteristic zero, we give for all dominant weights $χ\in\mathbb Z^n$ finite homogeneous spanning sets for the $k[\mathfrak g]^G$-modules $k[\mathfrak g]_χ^U$ of highest weight vectors. This result …
By work of Farinati, Solberg, and Taillefer, it is known that the Hopf algebra cohomology of a quasi-triangular Hopf algebra, as a graded Lie algebra under the Gerstenhaber bracket, is abelian. Motivated by the question of whether this holds for nonquasi-triangular Hopf algebras, we show that Gerstenhaber brackets on Hopf algebra cohomology can be expressed via an arbitrary projective resolution using Volkov's homotopy liftings as generalized to some exact monoidal categories. This is a special case of our more general result that a bracket operation on cohomology is preserved under exact mono…
In this paper we define infinite-dimensional algebra and its representation, whose basis is naturally identified with semi-infinite configurations of the square ladder model. We also extrapolate the ideas for the cyclic 3-leg triangular ladder model. All of these propose a way for generalization, which leads to representations of N = 2, ... algebras. Keywords: 2D lattice, square ladder, triangular ladder, conformal algebra, semi-infinite forms, fermions, quadratic algebra, superfrustration, graded Euler characteristic, cohomology, deformation, Jacobi triple product, superalgebras, operator alg…
Principal subspaces of higher-level standard sl(3)^-modules
利用顶点算子代数和交织算子的理论，得到了\hat{\goth{sl}(3)}的某个k级标准模的主子空间的分次维数所满足的q-差分方程组.由此我们建立了对应于最高权iΛ_1+（k-i）Λ_2的主子空间的分次维数的新公式，其中1 \leq i \leq k，Λ_1和Λ_2是\hat{\goth{sl}(3)}的基本权.
The graded Specht module $S^λ$ for a cyclotomic Hecke algebra comes with a distinguished generating vector $z^λ\in S^λ$, which can be thought of as a "highest weight vector of weight $λ$". This paper describes the {\em defining relations} for the Specht module $S^λ$ as a graded module generated by $z^λ$. The first three relations say precisely what it means for $z^λ$ to be a highest weight vector of weight $λ$. The remaining relations are homogeneous analogues of the classical {\em Garnir relations}. The homogeneous Garnir relations, which are {\em simpler} than the classical ones, are associa…
We study the PBW filtration on the highest weight representations $V(\la)$ of $\msp_{2n}$. This filtration is induced by the standard degree filtration on $U(\n^-)$. We give a description of the associated graded $S(\n^-)$-module $gr V(\la)$ in terms of generators and relations. We also construct a basis of $gr V(\la)$. As an application we derive a graded combinatorial formula for the character of $V(\la)$ and obtain a new class of bases of the modules $V(\la)$.
We construct a filtration on integrable highest weight module of an affine Lie algebra whose adjoint graded quotient is a direct sum of global Weyl modules. We show that the graded multiplicity of each Weyl module there is given by a corresponding level-restricted Kostka polynomial. This leads to an interpretation of level-restricted Kostka polynomials as the graded dimension of the space of conformal coinvariants. In addition, as an application of the level one case of the main result, we realize global Weyl modules of current algebras of type $\mathsf{ADE}$ in terms of Schubert manifolds of …
We study the PBW filtration on the highest weight representations $V(\la)$ of $\msl_{n+1}$. This filtration is induced by the standard degree filtration on $U(\n^-)$. We give a description of the associated graded $S(\n^-)$-module $gr V(\la)$ in terms of generators and relations. We also construct a basis of $gr V(\la)$. As an application we derive a graded combinatorial character formula for $V(\la)$, and we obtain a new class of bases of the modules $V(\la)$ conjectured by Vinberg in 2005.
We study finite-dimensional respresentations of twisted current algebras and show that any graded twisted Weyl module is isomorphic to level one Demazure module for the twisted affine Kac-Moody algebra. Using the tensor product property of Demazure modules, we obtain, by analyzing the fundamental Weyl modules, dimension and character formulas. Moreover we prove that graded twisted Weyl modules can be obtained by taking the associated graded modules of Weyl modules for the loop algebra, which implies that its dimension and classical character are independent of the support and depend only on it…
In this paper we study Bezrukavnikov's exotic t-structure on the derived category of equivariant coherent sheaves on the Springer resolution of a connected reductive algebraic group defined over a field of positive characteristic with simply-connected derived subgroup. In particular, we show that the heart of the exotic t-structure is a graded highest weight category, and we study the tilting objects in this heart. Our main tool is the "geometric braid group action" studied by Bezrukavnikov and the second author.
The degenerate Lie group is a semidirect product of the Borel subgroup with the normal abelian unipotent subgroup. We introduce a class of the highest weight representations of the degenerate group of type A, generalizing the PBW-graded representations of the classical group. Following the classical construction of the flag varieties, we consider the closures of the orbits of the abelian unipotent subgroup in the projectivizations of the representations. We show that the degenerate flag varieties $\Fl^a_n$ and their desingularizations $R_n$ can be obtained via this construction. We prove that …
The simple integrable modules with finite dimensional weight spaces are classified for the quantum affine special linear superalgebra $\U_q(\hat{\mathfrak{sl}}(M|N))$ at generic $q$. Any such module is shown to be a highest weight or lowest weight module with respect to one of the two natural triangular decompositions of the quantum affine superalgebra depending on whether the level of the module is zero or not. Furthermore, integrable $\U_q(\hat{\mathfrak{sl}}(M|N))$-modules at nonzero levels exist only if $M$ or $N$ is $1$.
We study the PBW-filtration on the highest weight representations $V(\la)$ of the Lie algebras of type ${\tt A}_{n}$ and ${\tt C}_{n}$. This filtration is induced by the standard degree filtration on $\U(\fn^-)$. In previous papers, the authors studied the filtration and the associated graded algebras and modules over the complex numbers. The aim of this paper is to present a proof of the results which holds over the integers and hence makes the whole construction available over any field.
We develop the theory of global and local Weyl modules for the hyperspecial maximal parabolic subalgebra of type $A_{2n}^{(2)}$. We prove that the dimension of a local Weyl module depends only on its highest weight, thus establishing a freeness result for global Weyl modules. Furthermore, we show that the graded local Weyl modules are level one Demazure modules for the corresponding affine Lie algebra. In the last section we derive the same results for the special maximal parabolic subalgebras of the twisted affine Lie algebras not of type $A_{2n}^{(2)}$.
We study the PBW filtration on the irreducible highest weight representations of simple complex finite-dimensional Lie algebras. This filtration is induced by the standard degree filtration on the universal enveloping algebra. For certain rectangular weights we provide a new description of the associated graded module in terms of generators and relations. We also construct a basis parametrized by the integer points of a normal polytope. The main tool we use is the Hasse diagram defined via the standard partial order on the positive roots. As an application we conclude that all representations …
For a Dynkin quiver $Q$ (of type ADE), we consider a central completion of the convolution algebra of the equivariant K-group of a certain Steinberg type graded quiver variety. We observe that it is affine quasi-hereditary and prove that its category of finite-dimensional modules is identified with a block of Hernandez-Leclerc's monoidal category $\mathcal{C}_Q$ of modules over the quantum loop algebra $U_q(L\mathfrak{g})$ via Nakajima's homomorphism. As an application, we show that Kang-Kashiwara-Kim's generalized quantum affine Schur-Weyl duality functor gives an equivalence between the cate…
The aim of this paper is to introduce the categorical setup which helps us to relate the theory of Macdonald polynomials and the theory of Weyl modules for current Lie algebras discovered by V.\,Chari and collaborators. We identify Macdonald pairing with the homological pairing on the ring of characters of the Lie algebra of currents $\mathbf{g}\otimes\mathbb{C}[x,ξ]$. We use this description in order to define complexes of modules whose Euler characteristic of characters coincide with Macdonald polynomials. We generalize this result to the case of graded Lie algebras with anti-involution. We …
