We develop axiomatics of highest weight categories and quasi-hereditary algebras in order to incorporate two semi-infinite situations which are in Ringel duality with each other; the underlying posets are either upper finite or lower finite. We also consider various more general sorts of stratified categories. In the upper finite cases, we give an alternative characterization of these categories in terms of based quasi-hereditary algebras and based stratified algebras, which are certain locally unital algebras possessing triangular bases.
We demonstrate equivalence between two definitions of lower finite highest weight categories. We also show that, in the presence of a duality, a lower finite highest weight structure on a category is unique. Finally, we give a new proof for the fact that any abelian category is extension full in its ind-completion.
We prove that blocks of the general linear supergroup are Morita equivalent to a limiting version of Khovanov's diagram algebra. We deduce that blocks of the general linear supergroup are Koszul.
We explain the construction of minimal tilting complexes for objects of highest weight categories and we study in detail the minimal tilting complexes for standard objects and simple objects. For certain categories of representations of complex simple Lie algebras, affine Kac-Moody algebras and quantum groups at roots of unity, we relate the multiplicities of indecomposable tilting objects appearing in the terms of these complexes to the coefficients of Kazhdan-Lusztig polynomials.
This paper examines the concept of a stratified exact category in the context of number rings and corresponding Galois groups. BGG reciprocity and duality are proven for these categories making them highest weight categories. The strong connections between the structure of the category and ramification in the ring are explored.
We study a category of modules over $\mathfrak{gl}(\infty)$ analogous to category $\mathcal O$. We fix adequate Cartan, Borel and Levi-type subalgebras $\mathfrak h, \mathfrak b$ and $\mathfrak l$ with $\mathfrak l \cong \mathfrak{gl}(\infty)^n$, and define $\mathcal O_{\mathsf{LA}}^{\mathfrak l}{\mathfrak{gl}(\infty)}$ to be the category of $\mathfrak h$-semisimple, $\mathfrak n$-nilpotent modules that satisfy a large annihilator condition as $\mathfrak l$-modules. Our main result is that these are highest weight categories in the sense of Cline, Parshall and Scott. We compute the simple mult…
We develop a new approach to highest weight categories $\cal{C}$ with good (and cogood) posets of weights via pseudocompact algebras by introducing ascending (and descending) quasi-hereditary pseudocompact algebras. For $\cal{C}$ admitting a Chevalley duality, we define and investigate tilting modules and Ringel duals of the corresponding pseudocompact algebras. Finally, we illustrate all these concepts on an explicit example of the general linear supergroup $GL(1|1)$.
We provide several equivalent descriptions of a highest weight category using recollements of abelian categories. Also, we explain the connection between sequences of standard and exceptional objects.
Highest weight categories are described in terms of standard objects and recollements of abelian categories, working over an arbitrary commutative base ring. Then the highest weight structure for categories of strict polynomial functors is explained, using the theory of Schur and Weyl functors. A consequence is the well-known fact that Schur algebras are quasi-hereditary.
This is the second of a series of four articles studying various generalisations of Khovanov's diagram algebra. In this article we develop the general theory of Khovanov's diagrammatically defined "projective functors" in our setting. As an application, we give a direct proof of the fact that the quasi-hereditary covers of generalised Khovanov algebras are Koszul.
We define highest weight categorical actions of sl_2 on highest weight categories and show that basically all known examples of categorical sl_2-actions on highest weight categories (including rational and polynomial representations of general linear groups, parabolic categories O of type $A$, categories O for cyclotomic Rational Cherednik algebras) are highest weight in our sense. Our main result is an explicit combinatorial description of (the labels of) the crystal on the set of simple objects. A new application of this is to determining the supports of simple modules over the cyclotomic Ra…
Highest weight categories via pairs of dual exceptional sequences
Institute of Mathematics, University of Warsaw（华沙大学数学研究所）；Steklov Mathematical Institute of Russian Academy of Sciences（俄罗斯科学院斯捷克洛夫数学研究所）；Centre for Pure Mathematics, Moscow Institute of Physics and Technology（莫斯科物理技术学院纯数学中心）；Kavli Institute for the Physics and Mathematics of the Universe (WPI), The University of Tokyo（东京大学宇宙物理与数学卡弗里研究所（WPI））
This is the first of four articles studying some slight generalisations H(n,m) of Khovanov's diagram algebra, as well as quasi-hereditary covers K(n,m) of these algebras in the sense of Rouquier, and certain infinite dimensional limiting versions. In this article we prove that H(n,m) is a cellular symmetric algebra and that K(n,m) is a cellular quasi-hereditary algebra. In subsequent articles, we relate these algebras to level two blocks of degenerate cyclotomic Hecke algebras, parabolic category O and the general linear supergroup, respectively.
We prove that integral blocks of parabolic category O associated to the subalgebra gl(m) x gl(n) of gl(m+n) are Morita equivalent to quasi-hereditary covers of generalised Khovanov algebras. Although this result is in principle known, the existing proof is quite indirect, going via perverse sheaves on Grassmannians. Our new approach is completely algebraic, exploiting Schur-Weyl duality for higher levels. As a by-product we get a concrete combinatorial construction of 2-Kac-Moody representations in the sense of Rouquier corresponding to level two weights in finite type A.
In [19], Zheng studied the bounded derived categories of constructible $\bar{\mathbb{Q}}_l$-sheaves on some algebraic stacks consisting of the representations of a enlarged quiver and categorified the integrable highest weight modules of the corresponding quantum group by using these categories. In this paper, we shall generalize Zheng's work to highest weight modules of a subalgebra of the double Ringel-Hall algebra associated to a quiver in a functional version.
We study the category of graded finite-dimensional representations of the polynomial current algebra associated to a simple Lie algebra. We prove that the category has enough injectives and compute the graded character of the injective envelopes of the simple objects as well as extensions between simple objects. The simple objects in the category are parametized by the affine weight lattice. We show that with respect to a suitable refinement of the standard ordering on affine the weight lattice the category is highest weight. We compute the Ext quiver of the algebra of endomorphisms of the inj…
We show that the equivariant hypertoric convolution algebras introduced by Braden-Licata-Proudfoot-Webster are affine quasi hereditary in the sense of Kleshchev and compute the Ext groups between standard modules. Together with the main result of arXiv:2009.03981, this implies a number of new homological results about the bordered Floer algebras of Ozsvath-Szabo, including the existence of standard modules over these algebras. We prove that the Ext groups between standard modules are isomorphic to the homology of a variant of the Lipshitz-Ozsvath-Thurston bordered strands dg algebras.
In this paper we study highest weight and standardly stratified structures on modular analogs of categories $\mathcal{O}$ over quantizations of symplectic resolutions and show how to recover the usual categories $\mathcal{O}$ (reduced mod $p\gg 0$) from our modular categories. More precisely, we consider a conical symplectic resolution that is defined over a finite localization of $\mathbb{Z}$ and is equipped with a Hamiltonian action of a torus $T$ that has finitely many fixed points. We consider algebras $\mathcal{A}_λ$ of global sections of a quantization in characterstic $p\gg 0$, where $λ…
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 present a criterion for establishing Morita equivalence of monoidal categories, and apply it to the categorical representation theory of reductive groups $G$. We show that the "de Rham group algebra" $\mathcal D(G)$ (the monoidal category of $\mathcal D$-modules on $G$) is Morita equivalent to the universal Hecke category $\mathcal D(N \backslash G/N)$ and to its monodromic variant $\widetilde{\mathcal D}(B \backslash G / B)$. In other words, de Rham $G$-categories, i.e., module categories for $\mathcal D(G)$, satisfy a "highest weight theorem" - they all appear in the decomposition of the …
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 …
We develop the theory of semisimplifications of tensor categories defined by Barrett and Westbury. In particular, we compute the semisimplification of the category of representations of a finite group in characteristic $p$ in terms of representations of the normnalizer of its Sylow $p$-subgroup. This allows us to compute the semisimplification of the representation category of the symmetric group $S_{n+p}$ in characteristic $p$, where $0\le n\le p-1$, and of the Deligne category $\underline{\rm Rep}^{\rm ab}S_t$, where $t\in \Bbb N$. We also compute the semisimplification of the category of re…
We prove that the number of parameters defining a complex of projective modules over a finite dimensional algebra is upper semi-continuous in families of algebras. Supposing that every algebra is either derived tame or derived wild, we get that a degeneration of a derived wild algebra is derived wild too. We also explain why the so-called counter-example of Bruestle is in fact not a counter-example.
We classify integrable irreducible $\hat{g}[σ]$-modules in categories E and C, where E is proved to contain the well known evaluation modules and C to unify highest weight modules, evaluation modules and their tensor product 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…
Cellular categories are a generalization of cellular algebras, which include a number of important categories such as (affine)Temperley-Lieb categories, Brauer diagram categories, partition categories, the categories of invariant tensors for certain quantised enveloping algebras and their highest weight representations, Hecke categories and so on. The common feather is that, for most of the examples, the endomorphism algebras of the categories form a tower of algebras. In this paper, we give an axiomatic framework for the cellular categories related to the quasi-hereditary tower and then study…
Peter-Weyl theorem for Iwahori groups and highest weight categories
Tel Aviv University（特拉维夫大学）；University of Haifa（海法大学）；Yanqi Lake Beijing Institute of Mathematical Sciences And Applications (BIMSA)（北京雁栖湖应用数学研究院）；Virginia Tech（弗吉尼亚理工大学）；Max Planck Institute for Mathematics（马克斯·普朗克数学研究所）
We consider the problem of decomposing tensor powers of the fundamental level 1 highest weight representation $V$ of the affine Kac-Moody algebra $\g(E_9)$. We describe an elementary algorithm for determining the decomposition of the submodule of $\Vn$ whose irreducible direct summands have highest weights which are maximal with respect to the null-root. This decomposition is based on Littelmann's path algorithm and conforms with the uniform combinatorial behavior recently discovered by H. Wenzl for the series $E_N$, $N\not=9$.
In this short note we announce three formulas for the set of weights of various classes of highest weight modules $\V$ with highest weight λ, over a complex semisimple Lie algebra $\lie{g}$ with Cartan subalgebra $\lie{h}$. These include, but are not restricted to, all (highest weight) simple modules L(λ). We also assert that these formulas are the "best possible", in that they do not hold in general for other highest weight modules in a very precise sense. The proofs of the results in this note are included in an updated copy (Version 3) of the paper arxiv:1301.1140 . The proofs involve study…
Let $\mathfrak g$ be a simple complex Lie algebra. In this paper we study the BGG category $\mathcal O_q$ for the quantum group $U_q(\mathfrak g)$ with $q$ being a root of unity in a field $K$ of characteristic $p >0$. We first consider the simple modules in $\mathcal O_q$ and prove a Steinberg tensor product theorem for them. This result reduces the problem of determining the corresponding irreducible characters to the same problem for a finite subset of finite dimensional simple modules. Then we investigate more closely the Verma modules in $\mathcal O_q$. Except for the special Verma module…
We study semiorthogonal decompositions of bounded derived categories of gentle algebras and how they are manifested in the geometric model of these categories as constructed by Opper, Plamondon and Schroll. We prove that there is a one-to-one correspondence between such semiorthogonal decompositions and suitable cuts of the marked surface underlying the geometric model. Our main tool is the characterization of basis morphisms between indecomposable objects due to Arnesen, Laking and Pauksztello.
We exhibit a correspondence between subcategories of modules over an algebra and sub-bimodules of the dual of that algebra. We then prove that the semisimplicity of certain such categories is equivalent to the existence of a Peter-Weyl decomposition of the corresponding sub-bimodule. Finally, we use this technique to establish the semisimplicity of certain finite-dimensional representations of the quantum double of sl_2 for generic q.
Let U be the quantised enveloping algebra associated to a Cartan matrix of finite type. Let W be the tensor product of a finite list of highest weight representations of U. Then the centraliser algebra of W has a basis called the dual canonical basis which gives an integral form. We show that this integral form is cellular by using results due to Lusztig.
$E$-Ehresmann semigroups are a commonly studied generalization of inverse semigroups. They are closely related to Ehresmann categories in the same way that inverse semigroups are related to inductive groupoids. We prove that under some finiteness condition, the semigroup algebra of an $E$-Ehresmann semigroup is isomorphic to the category algebra of the corresponding Ehresmann category. This generalizes a result of Steinberg who proved this isomorphism for inverse semigroups and inductive groupoids and a result of Guo and Chen who proved it for ample semigroups. We also characterize $E$-Ehresma…
The notion of right semi-equivalence in a right $(n+2)$-angulated category is defined in this article. Let $\mathscr C$ be an $n$-exangulated category and $\mathscr X$ is a strongly covariantly finite subcategory of $\mathscr C$. We prove that the standard right $(n+2)$-angulated category $\mathscr C/\mathscr X$ is right semi-equivalence under a natural assumption. As an application, we show that a right $(n+2)$-angulated category has an $n$-exangulated structure if and only if the suspension functor is right semi-equivalence. Besides, we also prove that an $n$-exangulated category $\mathscr C…
Varagnolo and Vasserot conjectured an equivalence between the category O for a cyclotomic Rational Cherednik algebra and a truncation of an affine parabolic category O of type A. In this paper we reduce their conjecture to some purely combinatorial conjecture. Our principal tool for the reduction is the theory of categorical sl_2-actions on highest weight categories. Then we prove our combinatorial conjecture in some cases.
We study Karoubian tensor categories which interpolate representation categories of families of so-called easy quantum groups in the same sense in which Deligne's interpolation categories $\mathrm{\underline{Rep}}(S_t)$ interpolate the representation categories of the symmetric groups. As such categories can be described using a graphical calculus of partitions, we call them interpolating partition categories. They include $\mathrm{\underline{Rep}}(S_t)$ as a special case and can generally be viewed as subcategories of the latter. Focusing on semisimplicity and descriptions of the indecomposab…
Locally finitely presented Grothendieck categories and the pure semisimplicity conjecture
School of Mathematics, Institute for Research in Fundamental Sciences (IPM)（基础科学研究所）；Department of Pure Mathematics Faculty of Mathematics and Statistics University of Isfahan（伊斯法罕大学数学与统计学院纯数学系）；Institute for Research in Fundamental Sciences (IPM)（基础科学研究所）
We show that the categorical action of the shifted $q=0$ affine algebra can be used to construct semiorthogonal decomposition on the weight categories. In particular, this construction recovers Kapranov's exceptional collection when the weight categories are the derived categories of coherent sheaves on Grassmannians and $n$-step partial flag varieties. Finally, as an application, we use this result to construct a semiorthogonal decomposition on the derived categories of coherent sheaves on Grassmannians of a coherent sheaf with homological dimension $\leq 1$ over a smooth projective variety $…
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 …
The Witt group of nondegenerate braided fusion categories $\mathcal{W}$ contains a subgroup $\mathcal{W}_\text{un}$ consisting of Witt equivalence classes of pseudo-unitary nondegenerate braided fusion categories. For each finite-dimensional simple Lie algebra $\mathfrak{g}$ and positive integer $k$ there exists a pseudo-unitary category $\mathcal{C}(\mathfrak{g},k)$ consisting of highest weight integerable $\hat{g}$-modules of level $k$ where $\hat{\mathfrak{g}}$ is the corresponding affine Lie algebra. Relations between the classes $[\mathcal{C}(\mathfrak{sl}_2,k)]$, $k\geq1$ have been compl…
We revisit the geometric description of cluster categories in type E in terms of colored diagonals in a polygon and generalize it to the case of m-cluster categories. As an application, we relate colored diagonals in a polygon to semi-standard Young tableaux, in type E_6,E_7,E_8. This provides a new compatibility description of semi--standard Young tableaux in Grassmannian cluster algebras in type E_6, E_8 and in a sub-cluster algebra of type E_7.
Highest weight categories arising in Lie theory are known to be associated with finite dimensional quasi-hereditary algebras such as Schur algebras or blocks of category $\mathcal O$. An analogue of the PBW theorem will be shown to hold for quasi-hereditary algebras: Up to Morita equivalence each such algebra has an exact Borel subalgebra. The category $\mathcal{F}(Δ)$ of modules with standard (Verma, Weyl, \dots) filtration, which is exact, but rarely abelian, will be shown to be equivalent to the category of representations of a directed box. This box is constructed as a quotient of a dg alg…
We discuss semicanonical bases from the point of view of Cohomological Hall algebras via the "dimensional reduction" from 3-dimensional Calabi-Yau categories to 2-dimensional ones. Also, we discuss the notion of motivic Donaldson-Thomas invariants (as defined by M. Kontsevich and Y. Soibelman) in the framework of 2-dimensional Calabi-Yau categories. In particular we propose a conjecture which allows one to define Kac polynomials for a 2-dimensional Calabi-Yau category (this is a theorem of S. Mozgovoy in the case of preprojective algebras).
Derived decompositions of abelian categories are introduced in internal terms of abelian subcategories to construct semi-orthogonal decompositions (or Bousfield localizations, or hereditary torsion pairs) in various derived categories of abelian categories. We give a sufficient condition for arbitrary abelian categories to have such derived decompositions and show that it is also necessary for abelian categories with enough projectives and injectives. For bounded derived categories, we describe which semi-orthogonal decompositions are determined by derived decompositions. The necessary and suf…
