We categorify the highest weight integrable representations and their tensor products of a symmetric quantum Kac-Moody algebra. As byproducts, we obtain a geometric realization of Lusztig's canonical bases of these representations as well as a new positivity result. The main ingredient in the underlying geometric construction is a class of micro-local perverse sheaves on quiver varieties.
We introduce and investigate new invariants on the pair of modules $M$ and $N$ over quantum affine algebras $U_q'(\mathfrak{g})$ by analyzing their associated R-matrices. From new invariants, we provide a criterion for a monoidal category of finite-dimensional integrable $U_q'(\mathfrak{g})$-modules to become a monoidal categorification of a cluster algebra.
This is the first part of a series of two papers aiming to construct a categorification of the braiding on tensor products of Verma modules, and in particular of the Lawrence--Krammer--Bigelow representations. \\ In this part, we categorify all tensor products of Verma modules and integrable modules for quantum $\mathfrak{sl_2}$. The categorification is given by derived categories of dg versions of KLRW algebras which generalize both the tensor product algebras of Webster, and the dg-algebras used by Lacabanne, the second author and Vaz. We compute a basis for these dgKLRW algebras by using re…
Let $U_q(\g)$ be a quantum generalized Kac-Moody algebra and let $V(Λ)$ be the integrable highest weight $U_q(\g)$-module with highest weight $Λ$. We prove that the cyclotomic Khovanov-Lauda-Rouquier algebra $R^Λ$ provides a categorification of $V(Λ)$.
The purpose of this paper is to study categorifications of tensor products of finite dimensional modules for the quantum group for sl(2). The main categorification is obtained using certain Harish-Chandra bimodules for the complex Lie algebra gl(n). For the special case of simple modules we naturally deduce a categorification via modules over the cohomology ring of certain flag varieties. Further geometric categorifications and the relation to Steinberg varieties are discussed. We also give a categorical version of the quantised Schur-Weyl duality and an interpretation of the (dual) canonical …
We construct categorifications of tensor products of arbitrary finite-dimensional irreducible representations of $\mathfrak{sl}_k$ with subquotient categories of the BGG category $\mathcal{O}$, generalizing previous work of Sussan and Mazorchuk-Stroppel. Using Lie theoretical methods, we prove in detail that they are tensor product categorifications according to the recent definition of Losev and Webster. As an application we deduce an equivalence of categories between certain versions of category $\mathcal{O}$ and Webster's tensor product categories. Finally we indicate how the categorificati…
We consider the monoidal subcategory of finite dimensional representations of $U_q(\mathfrak{gl}(1|1))$ generated by the vector representation, and we provide a diagram calculus for the intertwining operators, which allows to compute explicitly the canonical basis. We construct then a categorification of these representations and of the action of both $U_q(\mathfrak{gl}(1|1))$ and the intertwining operators using subquotient categories of the BGG category $\mathcal{O}(\mathfrak{gl}_n)$.
Let $U$ be a quantized enveloping algebra. We consider the adjoint action of an $\mathfrak{sl}_2$-subalgebra of $U$ on a subalgebra of $U^+$ that is maximal integrable for this action. We categorify this representation in the context of quiver Hecke algebras. We obtain an action of the 2-category associated with $\mathfrak{sl}_2$ on a category of modules over certain quotients of quiver Hecke algebras. Our approach is similar to that of Kang-Kashiwara for categorifications of highest weight modules via cyclotomic quiver Hecke algebras. One of the main new features is a compatibility of the cat…
We construct a p-DG structure on an algebra Koszul dual to a zigzag algebra used by Khovanov and Seidel to construct a categorical braid group action. We show there is a braid group action in this p-DG setting.
We study certain monoidal subcategories (introduced by David Hernandez and Bernard Leclerc) of finite--dimensional representations of a quantum affine algebra of type $A$. We classify the set of prime representations in these subcategories and give necessary and sufficient conditions for a tensor product of two prime representations to be irreducible. In the case of a reducible tensor product we describe the prime decomposition of the simple factors. As a consequence we prove that these subcategories are monoidal categorifications of a cluster algebra of type $A$ with coefficients.
We give a construction of sl_2-categorifications (in the sense of Chuang-Rouquier) for representations of U_q(gl_n), for generic q and for q a root of unity.
Given a vector space with an action of a semi-simple Lie algebra, we can try to "categorify" this representation, which means finding a category where the generators of the Lie algebra act by functors. Such categorical representations arise naturally in geometric representation theory and in modular representation theory of symmetric groups. A framework for studying categorical representations was introduced by Rouquier and Khovanov-Lauda. Their definitions are algebraic/diagrammatic, but are connected to the topology of quiver varieties by the work of Rouquier and Varagnolo-Vasserot. In this …
Motivated by recent advances in the categorification of quantum groups at prime roots of unity, we develop a theory of 2-representations for 2-categories enriched with a p-differential which satisfy finiteness conditions analogous to those of finitary or fiat 2-categories. We construct cell 2-representations in this setup, and consider 2-categories stemming from bimodules over a p-dg category in detail. This class is of particular importance in the categorification of quantum groups, which allows us to apply our results to cyclotomic quotients of the categorifications of small quantum group of…
Bernstein, Frenkel, and Khovanov have constructed a categorification of tensor products of the standard representation of $\mathfrak{sl}_2$, where they use singular blocks of category $\mathcal{O}$ for $\mathfrak{sl}_n$ and translation functors. Here we construct a positive characteristic analogue using blocks of representations of $\mathfrak{sl}_n$ over a field $\textbf{k}$ of characteristic $p$ with zero Frobenius character, and singular Harish-Chandra character. We show that the aforementioned categorification admits a Koszul graded lift, which is equivalent to a geometric categorification …
We construct knot invariants categorifying the quantum knot variants for all representations of quantum groups. We show that these invariants coincide with previous invariants defined by Khovanov for sl(2) and sl(3) and by Mazorchuk-Stroppel and Sussan for sl(n). Our technique uses categorifications of the tensor product representations of Kac-Moody algebras and quantum groups, constructed a prequel to this paper. These categories are based on the pictorial approach of Khovanov and Lauda. In this paper, we show that these categories are related by functors corresponding to the braiding and (co…
The purpose of this paper is to study a categorification of the $n$-th tensor power of the spin representation of $U(\mf{so}(7,\C))$ by using certain singular blocks and projective functors of the BGG category of the complex Lie algebra $\mf{gl}_n$.
We study a compatibility relationship between Qin's dominance order on a cluster algebra $\mathcal{A}$ and partial orderings arising from classifications of simple objects in a monoidal categorification $\mathcal{C}$ of $\mathcal{A}$. Our motivating example is Hernandez-Leclerc's monoidal categorification using representations of quantum affine algebras. In the framework of Kang-Kashiwara-Kim-Oh's monoidal categorification via representations of quiver Hecke algebras, we focus on the case of the category $R-gmod$ for a symmetric finite type $A$ quiver Hecke algebra using Kleshchev-Ram's classi…
These are the notes for a two-week mini-course given at a winter school in January 2014 as part of the thematic semester New Directions in Lie Theory at the Centre de Recherches Mathématiques in Montréal. The goal of the course was to give an overview of the idea of categorification, with an emphasis on some examples where explicit computation is possible with minimal background. The notes begin with a very brief review of the representation theory of associative algebras, before introducing the concept of weak categorification with some simple examples. It then proceeds to a discussion of mor…
In a previous paper we have presented a partition formula for the even-index Fibonacci numbers using the preprojective representations of the 3-Kronecker quiver and its universal cover, the 3-regular star. Now we deal in a similar way with the odd-index Fibonacci numbers. The Fibonacci modules introduced here provide a convenient categorification of the Fibonacci numbers.
Based on different views on the Jones polynomial we review representation theoretic categorified link and tangle invariants. We unify them in a common combinatorial framework and connect them via the theory of Soergel bimodules. The influence of these categorifications on the development of 2-representation theory and the interaction between topological invariants and 2-categorical structures is discussed. Finally, we indicate how categorified representations of quantum groups on the one hand and monoidal 2-categories of Soergel bimodules on the other hand might lead to new interesting 4-dimen…
Using quantum skew-Howe duality, we study the category $\operatorname{Rep}(\mathfrak{gl}(m|n))$ of tensor products of exterior powers of the standard representation of $U_q(\mathfrak{gl}(m|n))$, and prove that it is equivalent to a category of ladder diagrams modulo one extra family of relations. We then construct a categorification of $\operatorname{Rep}(\mathfrak{gl}(m|n))$ using the theory of foams. In the case of $n=0$, we show that we can recover $\mathfrak{sl}(m)$ foams introduced by Queffelec and Rose to define Khovanov-Rozansky $\mathfrak{sl}(m)$ link homology. We also define a categor…
In this note, we introduce monoidal subcategories of the tensor category of finite-dimensional representations of a simply-laced quantum affine algebra, parametrized by arbitrary Dynkin quivers. For linearly oriented quivers of types A and D, we show that these categories provide monoidal categorifications of cluster algebras of the same type. The proof is purely representation-theoretical, in the spirit of [arXiv:0903.1452].
Bernstein, Frenkel and Khovanov have constructed a categorification of tensor products of the standard representation of $\mathfrak{sl}_2$ using singular blocks of category $\mathcal{O}$ for $\mathfrak{sl}_n$. In earlier work, we construct a positive characteristic analogue using blocks of representations of $\mathfrak{sl}_n$ over a field $\textbf{k}$ of characteristic $p > n$, with zero Frobenius character, and singular Harish-Chandra character. In the present paper, we extend these results and construct a categorical $\mathfrak{sl}_k$-action, following Sussan's approach, by considering more …
This article contains a review of categorifications of semisimple representations of various rings via abelian categories and exact endofunctors on them. A simple definition of an abelian categorification is presented and illustrated with several examples, including categorifications of various representations of the symmetric group and its Hecke algebra via highest weight categories of modules over the Lie algebra sl(n). The review is intended to give non-experts in representation theory who are familiar with the topological aspects of categorification (lifting quantum link invariants to homo…
The rings of symmetric polynomials form an inverse system whose limit, the ring of symmetric functions, is the model for the bosonic Fock space representation of the affine Lie algebra. We categorify this construction by considering an inverse limit of categories of polynomial representation of general linear groups. We show that this limit naturally carries an action of the affine Lie algebra (in the sense of Rouquier), thereby obtaining a famiy of categorifications of the bosonic Fock space representation.
In this survey article we review Kac-Moody and Heisenberg algebra actions on the categories $\mathcal{O}$ of the rational Cherednik algebras associated to groups $G(\ell,1,n)$. Using these actions we solve basic representation theoretic problems for these categories such as the classification of finite dimensional irreducible representations and computation of characters of the irreducibles.
We construct an equivalence of graded Abelian categories from a category of representations of the quiver-Hecke algebra of type $A_1^{(1)}$ to the category of equivariant perverse coherent sheaves on the nilpotent cone of type $A$. We prove that this equivalence is weakly monoidal. This gives a representation-theoretic categorification of the preprojective K-theoretic Hall algebra considered by Schiffmann-Vasserot. Using this categorification, we compare the monoidal categorification of the quantum open unipotent cells of type $A_1^{(1)}$ given by Kang-Kashiwara-Kim-Oh-Park in terms of quiver-…
We consider the quantum cluster algebras which are injective-reachable and introduce a triangular basis in every seed. We prove that, under some initial conditions, there exists a unique common triangular basis with respect to all seeds. This basis is parametrized by tropical points as expected in the Fock-Goncharov conjecture. As an application, we prove the existence of the common triangular bases for the quantum cluster algebras arising from representations of quantum affine algebras and partially for those arising from quantum unipotent subgroups. This result implies monoidal categorificat…
In recent years different aspects of categorification of the boson-fermion correspondence have been studied. In this paper we propose a categorification of the boson-fermion correspondence based on the category of tensor modules of the Lie algebra $sl(\infty)$ of finitary infinite matrices. By $\mathbb T^+$ we denote the category of "polynomial" tensor $sl(\infty)$-modules. There is a natural "creation" functor $\mathcal T_N: \mathbb T^+\to \mathbb T^+$, $M\mapsto N\otimes M,\quad M,N\in \mathbb T^+$. The key idea of the paper is to employ the entire category $\mathbb T$ of tensor $sl(\infty)$…
We categorify various Fock space representations on the algebra of symmetric functions via the category of polynomial functors. In a prequel, we used polynomial functors to categorify the Fock space representations of type A affine Lie algebras. In the current work we continue the study of polynomial functors from the point of view of higher representation theory. Firstly, we categorify the Fock space representation of the Heisenberg algebra on the category of polynomial functors. Secondly, we construct commuting actions of the affine Lie algebra and the level p action of the Heisenberg algebr…
In this paper, we study 2-representations of 2-quantum groups (in the sense of Rouquier and Khovanov-Lauda) categorifying tensor products of irreducible representations. Our aim is to construct knot homologies categorifying Reshetikhin-Turaev invariants of knots for arbitrary representations, which will be done in a follow-up paper. We consider an algebraic construction of these categories, via an explicit diagrammatic presentation, generalizing the cyclotomic quotient of the quiver Hecke algebra. One of our primary results is that these categories coincide when both are defined. We also inves…
The integral group rings $\mathbb{Z}G$ for finite groups $G$ are precisely those fusion rings whose basis elements have Frobenius-Perron dimension 1, and each is categorifiable in the sense that it arises as the Grothendieck ring of a fusion category. Here we analyze the structure and representation theory of fusion rings with a basis of elements whose Frobenius-Perron dimensions take exactly one value distinct from 1. Our goal is a set of results which assist in characterizing when such fusion rings are categorifiable. As proof of concept, we completely classify the categorifiable near-group …
This paper develops a general theory of canonical bases, and how they arise naturally in the context of categorification. As an application, we show that Lusztig's canonical basis in the whole quantized universal enveloping algebra is given by the classes of the indecomposable 1-morphisms in a categorification when the associated Lie algebra is finite type and simply laced. We also introduce natural categories whose Grothendieck groups correspond to the tensor products of lowest and highest weight integrable representations. This generalizes past work of the author's in the highest weight case…
We construct a categorification of the braid groups associated with Coxeter groups inside the homotopy category of Soergel's bimodules. Classical actions of braid groups on triangulated categories should come from an action of this monoidal category. We construct representations of this monoidal category on category O of a complex semi-simple Lie algebra and on constructible sheaves over flag varieties. We also consider general constructions of self-equivalences as reflections around another category.
This paper is the first step in the project of categorifying the bialgebra structure on the half of quantum group $U_{q}(\mathfrak{g})$ by using geometry and Hall algebras. We equip the category of D-modules on the moduli stack of objects of the category $Rep_{\mathbb{C}}(Q)$ of representations of a quiver with the structure of an algebra object in the category of stable $\infty$-categories. The data for this construction is provided by an extension of the Waldhausen construction for the category $Rep_{\mathbb{C}}(Q)$. We discuss the connection to the Khovanov-Lauda-Rouquier categorification o…
We identify the Grothendieck group of certain direct sum of singular blocks of the highest weight category for sl(n) with the n-th tensor power of the fundamental (two-dimensional) sl(2)-module. The action of U(sl(2)) is given by projective functors and the commuting action of the Temperley-Lieb algebra by Zuckerman functors. Indecomposable projective functors correspond to Lusztig canonical basis in U(sl(2)). In the dual realization the n-th tensor power of the fundamental representation is identified with a direct sum of parabolic blocks of the highest weight category. Translation across the…
We show that any Abelian module category over the (degenerate or quantum) Heisenberg category satisfying suitable finiteness conditions may be viewed as a 2-representation over a corresponding Kac-Moody 2-category (and vice versa). This gives a way to construct Kac-Moody actions in many representation-theoretic examples which is independent of Rouquier's original approach via `control by K_0.' As an application, we prove an isomorphism theorem for generalized cyclotomic quotients of these categories, extending the known isomorphism between cyclotomic quotients of type A affine Hecke algebras a…
There is a long tradition of categorifying combinatorial Hopf algebras by the modules of a tower of algebras (or even better via the representation theory of a tower of groups). From the point of view of combinatorics, such a categorification supplies canonical bases, inner products, and a natural avenue to prove positivity results. Recent ideas in supercharacter theory have made fashioning the representation theory of a tower of groups into a Hopf structure more tractable. This paper applies such a program to the Malvenuto--Reutenauer Hopf algebra. In particular, we design functors on the rep…
We construct geometric categorical Lie algebra actions on the derived category of coherent sheaves on Nakajima quiver varieties. These actions categorify Nakajima's construction of Kac-Moody algebra representations on the K-theory of quiver varieties. We define an induced affine braid group action on these derived categories.
This is a concise introduction to Fomin-Zelevinsky's cluster algebras and their links with the representation theory of quivers in the acyclic case. We review the definition of cluster algebras (geometric, without coefficients), construct the cluster category and present the bijection between cluster variables and rigid indecomposable objects of the cluster category.
We define and study sl\_2-categorifications on abelian categories. We show in particular that there is a self-derived (even homotopy) equivalence categorifying the adjoint action of the simple reflection. We construct categorifications for blocks of symmetric groups and deduce that two blocks are splendidly Rickard equivalent whenever they have isomorphic defect groups and we show that this implies Broué's abelian defect group conjecture for symmetric groups. We give similar results for general linear groups over finite fields. The constructions extend to cyclotomic Hecke algebras. We also con…
We describe a number of geometric contexts where categorification appears naturally: coherent sheaves, constructible sheaves and sheaves of modules over quantizations. In each case, we discuss how "index formulas" allow us to easily perform categorical calculations, and readily relate classical constructions of geometric representation theory to categorical ones.
The Grothendieck groups of the categories of finitely generated modules and finitely generated projective modules over a tower of algebras can be endowed with (co)algebra structures that, in many cases of interest, give rise to a dual pair of Hopf algebras. Moreover, given a dual pair of Hopf algebras, one can construct an algebra called the Heisenberg double, which is a generalization of the classical Heisenberg algebra. The aim of this paper is to study Heisenberg doubles arising from towers of algebras in this manner. First, we develop the basic representation theory of such Heisenberg doub…
In a categorification of tensor products of fundamental representations of quantum sl(k) via highest weight categories, the indecomposable tilting modules descend to the canonical basis. Since projective functors map tilting modules to tilting modules, the coefficients of the canonical basis of tensor products of finite dimensional, irreducible representations under the action of the Chevalley generators are positive.
Big categorification on towers of classical groups and wreath product groups
School of Mathematics and Statistics, Central China Normal University（华中师范大学数学与统计学院）；Department of Mathematics and New Cornerstone Science Laboratory, The University of Hong Kong（香港大学数学系及新Cornerstone科学实验室）；School of Mathematical Sciences, Key Laboratory of MEA (Ministry of Education) & Shanghai Key Laboratory of PMMP, East China Normal University（华东师范大学数学科学学院、教育部MEA重点实验室及上海PMMP重点实验室）
We prove that the quantum cluster algebra structure of a unipotent quantum coordinate ring $A_q(\mathfrak{n}(w))$, associated with a symmetric Kac-Moody algebra and its Weyl group element $w$, admits a monoidal categorification via the representations of symmetric Khovanov-Lauda- Rouquier algebras. In order to achieve this goal, we give a formulation of monoidal categorifications of quantum cluster algebras and provide a criterion for a monoidal category of finite-dimensional graded $R$-modules to become a monoidal categorification, where $R$ is a symmetric Khovanov-Lauda-Rouquier algebra. Rou…
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…
