Related papers: Extended graphical calculus for categorified quant…
This paper shows how internal models for polymorphic lambda calculi arise in any 2-category with a notion of discreteness. We generalise to a 2-categorical setting the famous theorem of Peter Freyd saying that there are no sufficiently…
We categorify an idempotented form of quantum sl2 and some of its simple representations at a prime root of unity.
We equip the categorified quantum group attached to a KLR algebra and an arbitrary choice of scalars with duality functor which is cyclic, that is, such that f=f^** for all 2-morphisms f. This is accomplished via a modified diagrammatic…
In this paper we consider the representation theory of a non-standard quantization of sl(2). This paper contains several results which have applications in quantum topology, including the classification of projective indecomposable modules…
We prove that for any k greater or equal to 2, given a smooth compact k-dimensional manifold and a multiplicative k-1-gerbe on a Lie group, together with an integrable connection, there is a line bundle on the corresponding…
We compute the indecomposable objects of \dot{U}^+_3 - the category that categorifies the positive half of the quantum sl_3, and we decompose an arbitrary object into indecomposable ones. On decategorified level we obtain the Lusztig's…
We establish ring isomorphisms between quantum Grothendieck rings of certain remarkable monoidal categories of finite-dimensional representations of quantum affine algebras of types $A_{2n-1}^{(1)}$ and $B_n^{(1)}$. Our proof relies in part…
We give a pedagogical introduction to the differential calculus on quantum groups by stressing at all stages the connection with the classical case ($q \rightarrow 1$ limit). The Lie derivative and the contraction operator on forms and…
We follow the approach developed by Beilinson-Lusztig-MacPherson and modified by Fu and the first author to investigate a new realization for the i-quantum groups U^j(n) of type B, building on the multiplication formulas discovered in…
This paper is the sequel to [HP1] to study the deformed structures and representations of two-parameter quantum groups $U_{r,s}(\mathfrak{g})$ associated to the finite dimensional simple Lie algebras $\mg$. An equivalence of the braided…
A geometric description is given for the Sp(2) covariant version of the field-antifield quantization of general constrained systems in the Lagrangian formalism. We develop differential geometry on manifolds in which a basic set of…
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…
We establish an algebra-isomorphism between the complexified Grothendieck ring F of certain bimodule categories over a modular tensor category and the endomorphism algebra of appropriate morphism spaces of those bimodule categories. This…
This paper is a first attempt at getting information on a symmetric power representation of a $GL_2$ automorphic form via a trace formula that is beyond endoscopic techniques. In particular, we study the symmetric third power representation…
Let $k$ be a commutative ring, $A$ a commutative $k$-algebra and $D$ the filtered ring of $k$-linear differential operators of $A$. We prove that: (1) The graded ring $\gr D$ admits a canonical embedding $\theta$ into the graded dual of the…
In this paper we introduce a description of ordered groupoids as a particular type of double categories. This enables us to turn Lawson's correspondence between ordered groupoids and left-cancellative categories into a biequivalence. We use…
We construct the quantized enveloping algebra of any simple Lie algebra of type ADE as the quotient of a Grothendieck ring arising from certain cyclic quiver varieties. In particular, the dual canonical basis of a one-half quantum group…
The discussions in the present paper arise from exploring intrinsically the structure nature of the quantum $n$-space. A kind of braided category $\Cal {GB}$ of $\La$-graded $\th$-commutative associative algebras over a field $k$ is…
We develop a calculus based on graph enumeration for $S_n$-equivariant motivic invariants of graphically stratified moduli spaces. We apply our theory to the Deligne--Mumford moduli space $\overline{\mathcal{M}}_{g, n}$ and to the space of…
We classify quadratic SL(2,K)- and sl(2,K)-modules by crude computation, generalizing in the first case a Theorem proved independently by F.-G. Timmesfeld and S. Smith. The paper is the first of a series dealing with linearization results…