Related papers: Trace and categorical sl(n) representations
Using quantum skew-Howe duality, we study the category $\operatorname{Rep}(\mathfrak{gl}(m|n))$ of tensor products of exterior powers of the standard representation of $U_q(\mathfrak{gl}(m|n))$, and prove that it is equivalent to a category…
We construct commutative algebra spectra that represent the operator $K$-theory of $C^*$-algebras, which are algebras over the commutative ring spectra that represent topological $K$-theory. The spectral multiplicative structure introduces…
We introduce a diagram category, study its structure, and investigate some of its applications to the representation theory of Lie algebras and Lie superalgebras. The morphisms of the category, which contains a subcategory isomorphic to the…
Let $\mathfrak{g}$ be a symmetrizable Kac-Moody algebra, $U_q(\mathfrak{g})$ its quantum group, and $U_q(\mathfrak{k}) \subset U_q(\mathfrak{g})$ a quantum symmetric pair subalgebra determined by a Lie algebra automorphism $\theta$. We…
To $2$-categorify the theory of group representations, we introduce the notions of the $3$-representation of a group in a strict $3$-category and the strict $2$-categorical action of a group on a strict $2$-category. We also $2$-categorify…
This is a survey of recent results on classification of compact quantum groups of Lie type, by which we mean quantum groups with the same fusion rules and dimensions of representations as for a compact connected Lie group $G$. The…
For a positive integer n we introduce quadratic Lie algebras tr_n qtr_n and discrete groups Tr_n, QTr_n naturally associated with the classical and quantum Yang-Baxter equation, respectively. We prove that the universal enveloping algebras…
We present an elementary construction of a (highly degenerate) Hopf pairing between the universal enveloping algebra $U(\mathfrak{g})$ of a finite-dimensional Lie algebra $\mathfrak{g}$ over arbitrary field $\mathbf{k}$ and the Hopf algebra…
We construct a 2-category associated with a Kac-Moody algebra and we study its 2-representations. This generalizes earlier work with Chuang for type A. We relate categorifications relying on K_0 properties and 2-representations.
We set up foundations of representation theory over $S$, the sphere spectrum, which is the `initial ring' of stable homotopy theory. In particular, we treat $S$-Lie algebras and their representations, characters, $gl_n(S)$-Verma modules and…
Let $G$ be a simply connected, nilpotent Lie group with Lie algebra $\gee$. The group $G$ acts on the dual space $\gee^*$ by the coadjoint action. %% which partitions $\gee^*$ into coadjoint orbits. By the orbit method of Kirillov, the…
We study the category of finite--dimensional bi--graded representations of toroidal current algebras associated to finite--dimensional complex simple Lie algebras. Using the theory of graded representations for current algebras, we…
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…
We introduce a class of equivalences, which we call generalized semi-infinite Hecke equivalences, between certain categories of representations of graded associative algebras which appear in the setting of semi-infinite cohomology for…
We extend the classification of finite Weyl groupoids of rank two. Then we generalize these Weyl groupoids to `reflection groupoids' by admitting non-integral entries of the Cartan matrices. This leads to the unexpected observation that the…
Let $U_\varepsilon^{\mathrm{res}}(L\mathfrak{sl}_2)$ be the restricted integral form of the quantum loop algebra $U_q(L\mathfrak{sl}_2)$ specialised at a root of unity $\varepsilon$. We prove that the Grothendieck ring of a tensor…
We define an extension of the affine Brauer algebra, the type B/C affine Brauer algebra. This new algebra contains the hyperoctahedral group and it naturally acts on $END_K(X \otimes V^{\otimes k})$ for Orthogonal and Symplectic groups.…
The universal enveloping algebra $U(\mathfrak{sl}_2)$ of $\mathfrak{sl}_2$ is a unital associative algebra over $\mathbb C$ generated by $E,F,H$ subject to the relations \begin{align*} [H,E]=2E, \qquad [H,F]=-2F, \qquad [E,F]=H.…
The aim of this paper is to clarify the relation between the following objects: $ (a) $ rank 1 projective modules (ideals) over the first Weyl algebra $ A_1(\C)$; $ (b) $ simple modules over deformed preprojective algebras $…
We study an invariant, the secondary trace, attached to two commuting endomorphisms of a 2-dualizable object in a symmetric monoidal higher category. We establish a secondary trace formula which encodes the natural symmetries of this…