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 define the universal sl 3 -link homology, which depends on 3 parameters, following Khovanov's approach with foams. We show that this 3-parameter link homology, when taken with complex coefficients, can be divided into 3 isomorphism classes. The first class is the one to which Khovanov's original sl 3 -link homology belongs, the second is the one studied by Gornik in the context of matrix factorizations and the last one is new. Following an approach similar to Gornik's we show that this new link homology can be described in terms of Khovanov's original sl 2 -link homology.57M27; 57M25, 81R50, 18G60
For any fiat 2-category C, we show how its simple transitive 2-representations can be constructed using coalgebra 1-morphisms in the injective abelianization of C . Dually, we show that these can also be constructed using algebra 1-morphisms in the projective abelianization of C. We also extend Morita-Takeuchi theory to our setup and work out several examples, including that of Soergel bimodules for dihedral groups, explicitly.
In this paper, we establish a one-to-one correspondence between Uð1Þ-gerbes with connections, on the one hand, and their holonomies, for simply connected manifolds, or their parallel transports, in the general case, on the other hand. This result is a higher-order analogue of the familiar equivalence between bundles with connections and their holonomies for connected manifolds. The holonomy of a gerbe with group Uð1Þ on a simply connected manifold M is a group morphism from the thin second homotopy group to Uð1Þ; satisfying a smoothness condition, where a homotopy between maps from ½0; 1 2 to M is thin when its derivative is of rank 42: For the non-simply connected case, holonomy is replaced by a parallel transport functor between two special Lie groupoids, which we call Lie 2-groups. The reconstruction of the gerbe and connection from its holonomy is carried out in detail for the simply connected case. # 2002 Elsevier Science (USA)
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.