Related papers: Trace and categorical sl(n) representations

We identify the trace, or 0th Hochschild homology, of type ADE categorified quantum groups with the corresponding current algebra of the same type. To prove this, we show that 2-representations defined using categories of modules over…

We show that in ADE type the trace of Webster's categorification of a tensor product of irreducibles for the quantum group is isomorphic to a tensor product of Weyl modules for the current algebra $\dot{U}(\mathfrak{g}[t])$. This extends a…

The trace or the $0$th Hochschild--Mitchell homology of a linear category $\mathcal{C}$ may be regarded as a kind of decategorification of $\mathcal{C}$. We compute traces of the two versions $\dot{\mathcal{U}}$ and $\dot{\mathcal{U}}^*$ of…

Leveraging skew Howe duality, we show that Lawson-Lipshitz-Sarkar's spectrification of Khovanov's arc algebra gives rise to 2-representations of categorified quantum groups over $\mathbb{F}_2$ that we call spectral 2-representations. These…

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…

Categorification is a process of lifting structures to a higher categorical level. The original structure can then be recovered by means of the so-called "decategorification" functor. Algebras are typically categorified to additive…

Given a 2-category $\twocat{K}$ admitting a calculus of bimodules, and a 2-monad T on it compatible with such calculus, we construct a 2-category $\twocat{L}$ with a 2-monad S on it such that: (1)S has the adjoint-pseudo-algebra property.…

For each positive integer $n$, let $\mathfrak{s}_n=\mathfrak{gl}_n\ltimes \mathbb{C}^n$. We show that $U(\mathfrak{s}_{n})_{X_{n}}\cong \mathcal{D}_{n}\otimes U(\mathfrak{s}_{n-1})$ for any $n\in\mathbb{Z}_{\geq 2}$, where…

This paper introduces a categorification of $k$-algebras called 2 -algebras, where k is a commutative ring. We define the 2-algebras as a 2-category with single object in which collections of all 1-morphisms and all 2-morphisms are…

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…

A strict 2-group is a 2-category with one object in which all morphisms and all 2-morphisms have inverses. 2-Groups have been studied in the context of homotopy theory, higher gauge theory and Topological Quantum Field Theory (TQFT). In the…

We study a 2-functor that assigns to a bimodule category over a finite k-linear tensor category a k-linear abelian category. This 2-functor can be regarded as a category-valued trace for 1-morphisms in the tricategory of finite tensor…

We give an introductory account of Khovanov's categorification of the Heisenberg algebra, and construct a combinatorial model for it in a 2-category of spans of groupoids. We also treat a categorification of $U(sl_n)$ in a similar way.…

Let $W$ be the Weyl group of a split semisimple group $G$. Its Hecke category $\mathsf{H}_W$ can be built from pure perverse sheaves on the double flag variety of $G$. By developing a formalism of generalized realization functors, we…

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 consider two different quantizations of the character variety consisting of all representations of surface groups in SL_2. One is the skein algebra considered by Przytycki-Sikora and Turaev. The other is the quantum Teichmuller space…

In this paper we show that to a unital associative algebra object (resp. co-unital co-associative co-algebra object) of any abelian monoidal category $\mathcal{C}$ endowed with a symmetric $2$-trace, one can attach a cyclic (resp. cocyclic)…

Given a homotopy Lie algebra (i.e. an $L_\infty$-algebra) $\mathfrak{g}$, we show concretely how the Lada-Markl $\mathfrak{g}$-modules (i.e. representations) assemble into a symmetric monoidal dg-category. Considering the homotopy…

In this work we state a result that relates the cohomology groups of a Lie algebra $\mathfrak{g}$ and a current Lie algebra $\mathfrak{g} \otimes \mathcal{S}$, by means of a short exact sequence -- similar to the universal coefficients…

We categorify Lusztig's version of the quantized enveloping algebra for sl(2). Using a graphical calculus a 2-category is constructed whose split Grothendieck ring is isomorphic to Lusztig's algebra. The indecomposable morphisms of this…