To each graph without loops and multiple edges we assign a family of rings. Categories of projective modules over these rings categorify $U^-_q(\mathfrak{g})$, where $\mathfrak{g}$ is the Kac-Moody Lie algebra associated with the graph.
We develop a diagrammatic categorification of the polynomial ring Z[x], based on a geometrically defined graded algebra. This construction generalizes to categorification of some special functions, such as Chebyshev polynomials. Diagrammatic algebras featured in these categorifications lead to the first topological interpretations of the Bernstein-Gelfand-Gelfand reciprocity property.
A diagrammatic presentation of functors and natural transformations and the virtues of biadjointness are discussed. We then review a graphical description of the category of Soergel bimodules and a diagrammatic categorification of positive halves of quantum groups. These notes are a write-up of Takagi lectures given by the author in Hokkaido University in June 2009.
This is a follow-up to the paper in which we categorified the affine quantum Schur algebra S(n,r) for 2 < r < n, using a quotient of Khovanov and Lauda's categorification of the affine quantum sl_n. In this paper we categorify S(n,n) for n > 2, using an extension of the aforementioned quotient.
In this paper we categorify the q-Schur algebra S(n,d) as a quotient of Khovanov and Lauda's diagrammatic 2-category U(sln). We also show that our 2-category contains Soergel's monoidal category of bimodules of type A, which categorifies the Hecke algebra H(d), as a full sub-2-category if d does not exceed n. For the latter result we use Elias and Khovanov's diagrammatic presentation of Soergel's monoidal category of type A.
In this paper, we study the diagrammatic categorification of the fermion algebra. We construct a graphical category corresponding to the one-dimensional fermion algebra, and we investigate the properties of this category. The categorical analogues of the Fock states are some kind of 1-morphisms in our category, and the dimension of the vector space of 2-morphisms is exactly the inner product of the corresponding Fock states. All the results in our categorical framework coincide exactly with those in normal quantum mechanics.
The monoidal category of Soergel bimodules can be thought of as a categorification of the Hecke algebra of a finite Weyl group. We present this category, when the Weyl group is the symmetric group, in the language of planar diagrams with local generators and local defining relations.
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…
We develop a diagrammatic categorification of the polynomial ring $Z[x]$. Our categorification satisfies a version of Bernstein-Gelfand-Gelfand reciprocity property with the indecomposable projective modules corresponding to $x^n$ and standard modules to $(x-1)^n$ in the Grothendieck ring.
We study a presentation of Khovanov - Lauda - Rouquier's candidate $2$-categorification of a quantum group using algebraic rewriting methods. We use a computational approach based on rewriting modulo the isotopy axioms of its pivotal structure to compute a family of linear bases for all the vector spaces of $2$-cells in this $2$-category. We show that these bases correspond to Khovanov and Lauda's conjectured generating sets, proving the non-degeneracy of their diagrammatic calculus. This implies that this $2$-category is a categorification of Lusztig's idempotent and integral quantum group $\…
We associate a diagrammatic monoidal category $\mathcal{H}\textit{eis}_k(A;z,t)$, which we call the quantum Frobenius Heisenberg category, to a symmetric Frobenius superalgebra $A$, a central charge $k \in \mathbb{Z}$, and invertible parameters $z,t$ in some ground ring. When $A$ is trivial, i.e. it equals the ground ring, these categories recover the quantum Heisenberg categories introduced in our previous work, and when the central charge $k$ is zero they yield generalizations of the affine HOMFLY-PT skein category. By exploiting some natural categorical actions of $\mathcal{H}\textit{eis}_k…
This expository article explains how planar diagrammatics naturally arise in the study of categorified quantum groups with a focus on the categorification of quantum sl2. We derive the definition of categorified quantum sl2 and highlight some of the new structure that arises in categorified quantum groups. The expert will find a discussion of rescalling isomorphisms for categorified quantum sl2, a proof that cyclotomic quotients of the nilHecke algebra are isomorphic to matrix rings over the cohomology ring of Grassmannians, and an interpretation of `fake bubbles' using symmetric functions.
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…
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 …
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.
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…
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 categorify one half of the small quantum sl(2) at a prime root of unity. An extension of this construction to an arbitrary simply-laced case is proposed.
We prove that the quantum unipotent coordinate algebra $A_q(\mathfrak{n}(w))\ $ associated with a symmetric Kac-Moody algebra and its Weyl group element $w$ has a monoidal categorification as a quantum cluster algebra. As an application of our earlier work, we achieve it by showing the existence of a quantum monoidal seed of $A_q(\mathfrak{n}(w))$ which admits the first-step mutations in all the directions. As a consequence, we solve the conjecture that any cluster monomial is a member of the upper global basis up to a power of $q^{1/2}$.
We define virtual braid groups of type B and construct a morphism from such a group to the group of isomorphism classes of some invertible complexes of bimodules up to homotopy.
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…
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 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…
We define a 2-category that categorifies the covering Kac-Moody algebra for sl(2) introduced by Clark and Wang. This categorification forms the structure of a super-2-category as formulated by Kang, Kashiwara, and Oh. The super-2-category structure introduces a (Z x Z_2)-grading giving its Grothendieck group the structure of a free module over the group algebra of Z x Z_2. By specializing the Z_2-action to +1 or to -1, the construction specializes to an "odd" categorification of sl(2) and to a supercategorification of osp(1|2), respectively.
We introduce a simple diagrammatic 2-category $\mathscr{A}$ that categorifies the image of the Fock space representation of the Heisenberg algebra and the basic representation of $\mathfrak{sl}_\infty$. We show that $\mathscr{A}$ is equivalent to a truncation of the Khovanov--Lauda categorified quantum group $\mathscr{U}$ of type $A_\infty$, and also to a truncation of Khovanov's Heisenberg 2-category $\mathscr{H}$. This equivalence is a categorification of the principal realization of the basic representation of $\mathfrak{sl}_\infty$. As a result of the categorical equivalences described abo…
We categorify a coideal subalgebra of the quantum group of $\mathfrak{sl}_{2r+1}$ by introducing a $2$-category à la Khovanov-Lauda-Rouquier, and show that self-dual indecomposable $1$-morphisms categorify the canonical basis of this algebra. This allows us to define a categorical action of this coideal algebra on the categories of modules over cohomology rings of partial flag varieties and on the BGG category $\mathcal{O}$ of type B/C.
We show how networks of Wilson lines realize quantum groups U_q(sl(m)), for arbitrary m, in 3d SU(N) Chern-Simons theory. Lifting this construction to foams of surface operators in 4d theory we find that rich structure of junctions is encoded in combinatorics of planar diagrams. For a particular choice of surface operators we reproduce known mathematical constructions of categorical representations and categorified quantum groups.
Khovanov defined graded homology groups for links L in R^3 and showed that their polynomial Euler characteristic is the Jones polynomial of L. Khovanov's construction does not extend in a straightforward way to links in I-bundles M over surfaces F not D^2 (except for the homology with Z/2 coefficients only). Hence, the goal of this paper is to provide a nontrivial generalization of his method leading to homology invariants of links in M with arbitrary rings of coefficients. After proving the invariance of our homology groups under Reidemeister moves, we show that the polynomial Euler character…
We associate a monoidal category $\mathcal{H}_B$, defined in terms of planar diagrams, to any graded Frobenius superalgebra $B$. This category acts naturally on modules over the wreath product algebras associated to $B$. To $B$ we also associate a (quantum) lattice Heisenberg algebra $\mathfrak{h}_B$. We show that, provided $B$ is not concentrated in degree zero, the Grothendieck group of $\mathcal{H}_B$ is isomorphic, as an algebra, to $\mathfrak{h}_B$. For specific choices of Frobenius algebra $B$, we recover existing results, including those of Khovanov and Cautis--Licata. We also prove tha…
We develop a gauge theory or theory of bundles and connections on them at the level of braids and tangles. Extending recent algebraic work, we provide now a fully diagrammatic treatment of principal bundles, a theory of global gauge transformations, associated braided fiber bundles and covariant derivatives on them. We describe the local structure for a concrete $Z_3$-graded or `anyonic' realization of the theory.
In this article we develop a broad generalization of the classical Bost-Connes system, where roots of unit are replaced by an algebraic datum consisting of an abelian group and a semi-group of endomorphisms. Examples include roots of unit, Weil restriction, algebraic numbers, Weil numbers, CM fields, germs, completion of Weil numbers, etc. Making use of the Tannakian formalism, we categorify these algebraic data. For example, the categorification of roots of unit is given by a limit of orbit categories of Tate motives while the categorification of Weil numbers is given by Grothendieck's catego…
We characterise the quantum group gauge symmetries underlying q-deformations of two-dimensional Yang-Mills theory by studying their relationships with the matrix models that appear in Chern-Simons theory and six-dimensional N=2 gauge theories, together with their refinements and supersymmetric extensions. We develop uniqueness results for quantum deformations and refinements of gauge theories in two dimensions, and describe several potential analytic and geometric realisations of them. We reconstruct standard q-deformed Yang-Mills amplitudes via gluing rules in the representation category of t…
We provide a combinatorial description of the monoidal category generated by the fundamental representation of the small quantum group of $\mathfrak{sl}_2$ at a root of unity $q$ of odd order. Our approach is diagrammatic, and it relies on an extension of the Temperley-Lieb category specialized at $δ= -q-q^{-1}$.
We want to construct a homological link invariant whose Euler characteristic is MOY polynomial as Khovanov and Rozansky constructed a categorification of HOMFLY polynomial. The present paper gives the first step to construct a categorification of MOY polynomial. For the essential colored planar diagrams with additional data which is a sequence naturally induced by coloring, we define matrix factorizations, and then we define a matrix factorization for planar diagram obtained by gluing the essential colored planar diagrams as tensor product of the matrix factorizations for the essential planar …
A categorification of the Beilinson-Lusztig-MacPherson form of the quantum sl(2) was constructed in the paper arXiv:0803.3652 by the second author. Here we enhance the graphical calculus introduced and developed in that paper to include two-morphisms between divided powers one-morphisms and their compositions. We obtain explicit diagrammatical formulas for the decomposition of products of divided powers one-morphisms as direct sums of indecomposable one-morphisms; the latter are in a bijection with the Lusztig canonical basis elements. These formulas have integral coefficients and imply that o…
