Abstract. To each graph without loops and multiple edges we assign a family of rings. Categories of projective modules over these rings categorify U − q (g), where g is the Kac-Moody Lie algebra associated with the graph.
To an arbitrary root datum we associate a 2-category. For root datum corresponding to sl.n/ we show that this 2-category categorifies the idempotented form of the quantum enveloping algebra.
We study a special sort of 2-dimensional extended Topological Quantum Field Theories (TQFTs). These are defined on open-closed cobordisms by which we mean smooth compact oriented 2-manifolds with corners that have a particular global structure in order to model the smooth topology of open and closed string worldsheets. We show that the category of open-closed TQFTs is equivalent to the category of knowledgeable Frobenius algebras. A knowledgeable Frobenius algebra (A, C, ı, ı * ) consists of a symmetric Frobenius algebra A, a commutative Frobenius algebra C, and an algebra homomorphism ı : C → A with dual ı * : A → C, subject to some conditions. This result is achieved by providing a description of the category of open-closed cobordisms in terms of generators and the well-known Moore-Segal relations. In order to prove the sufficiency of our relations, we provide a normal form for such cobordisms which is characterized by topological invariants. Starting from an arbitrary such cobordism, we construct a sequence of moves (generalized handle slides and handle cancellations) which transforms the given cobordism into the normal form. Using the generators and relations description of the category of open-closed cobordisms, we show that it is equivalent to the symmetric monoidal category freely generated by a knowledgeable Frobenius algebra. Our formalism is then generalized to the context of open-closed cobordisms with labeled free boundary components, i.e. to open-closed string worldsheets with D-brane labels at their free boundaries. (2000): 57R56, 57M99, 81T40, 58E05, 19D23, 18D35.
Mathematics Subject Classification
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 one of the
main results of Lauda's paper---identification of the Grothendieck ring of his
2-category with the idempotented quantum sl(2)---also holds when the 2-category
is defined over the ring of integers rather than over a field.Comment: 72 pages, LaTeX2e with xypic and pstricks macro
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.Comment: 56 pages, 6 eps files. v2 corrects typo
Abstract. Given a strong 2-representation of a Kac-Moody Lie algebra (in the sense of Rouquier) we show how to extend it to a 2-representation of categorified quantum groups (in the sense of Khovanov-Lauda). This involves checking certain extra 2-relations which are explicit in the definition by Khovanov-Lauda and, as it turns out, implicit in Rouquier's definition. Some applications are also discussed.
We introduce an odd version of the nilHecke algebra and develop an odd analogue of the thick diagrammatic calculus for nilHecke algebras. We graphically describe idempotents which give a Morita equivalence between odd nilHecke algebras and the rings of odd symmetric functions in finitely many variables. Cyclotomic quotients of odd nilHecke algebras are Morita equivalent to rings which are odd analogues of the cohomology rings of Grassmannians. Like their even counterparts, odd nilHecke algebras categorify the positive half of quantum sl(2).
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.