Categorification of the internal braid group action for quantum groups I: 2-functoriality

Michael T. Abram,Laffite Lamberto-Egan,Aaron D. Lauda,David E.V. Rose

DOI: https://doi.org/10.2140/pjm.2024.328.1

2022-05-10

Abstract:We define 2-functors on the categorified quantum group of a simply-laced Kac-Moody algebra that induce Lusztig's internal braid group action at the level of the Grothendieck group.

Quantum Algebra,Representation Theory

What problem does this paper attempt to address?

Categorical Quantum Groups and Braided Monoidal 2-Categories

Hank Chen,Florian Girelli

2023-06-12

Abstract:Following the dimensional ladder, we develop a systematic categorification of the theory of quantum groups/bialgebras in the $A_\infty$ setting, and study their higher-representation theory. By following closely the generalized quantum double construction of Majid, we construct in particular the 2-quantum double $D(\mathcal{G})$ associated to a 2-bialgebra $\mathcal{G}$, and prove its duality and factorization properties. We also characterize a notion of (quasitriangular) 2-R-matrix $\mathcal{R}$ and identify the associated 2-Yang-Baxter equations, which can be seen as a categorification of the usual notion of $R$-matrix in an ordinary quantum group. The main result we prove in this paper is that the weak 2-representation 2-category $\operatorname{2Rep}^{\mathcal{T}}(\mathcal{G})$ of a quasitriangular 2-bialgebra $(\mathcal{G},\mathcal{T},\mathcal{R})$ -- when monoidally weakened by a Hochschild 3-cocycle $\mathcal{T}$ -- forms a braided monoidal 2-category.

Quantum Algebra,Mathematical Physics,Category Theory
The Categorification of Quantum Affine Algebra U_q(sl_n)

Ren Lei,Chang Wenjing,Wang Na,Wang Zhixi,Wu Ke,Yang Zifeng

2013-01-01

Acta Mathematica Scientia

Abstract:We construct 2-categories u and u using string diagrams corresponding to Lusztig's quantum group U = U_q(sl_n).Here U is the Karoubi envelope of U.By constructing the 2- representation of U,we also prove that the Grothendieck ring K_0(U) of U is isomorphic to the algebra AU,where U is the idempotented modification of U and AU is the integral form of U.We obtain that the category U could be considered as the categorification of quantum affine algebra U_q(sl_n).
Categorification of quantum symmetric pairs I

Huanchen Bao,Peng Shan,Weiqiang Wang,Ben Webster

DOI: https://doi.org/10.4171/QT/117

IF: 1.12

2018-01-01

Quantum Topology

Abstract:We categorify a coideal subalgebra of the quantum group of sl(2r+1) by introducing a 2-category analogous to the one defined by Khovanov-Lauda-Rouquier, and show that self-dual indecomposable 1-morphisms categorify the canonical basis of this algebra. This allows us to define a categorical action of this coideal algebra on the categories of modules over cohomology rings of partial flag varieties and on the category O of type B/C.
On a braid group action

Peter J. McNamara

2023-08-03

Abstract:We discuss some consequences of the invertibility of Rickard complexes in a categorified quantum group. Results include a description of reflection functors for quiver Hecke algebras and a theory of restricting categorical representations along a face.

Representation Theory,Quantum Algebra
Categorical braid group actions and cactus groups

Iva Halacheva,Anthony Licata,Ivan Losev,Oded Yacobi

2023-06-15

Abstract:Let $\mathfrak{g}$ be a semisimple simply-laced Lie algebra of finite type. Let $\mathcal{C}$ be an abelian categorical representation of the quantum group $U_q(\mathfrak{g})$ categorifying an integrable representation $V$. The Artin braid group $B$ of $\mathfrak{g}$ acts on $D^b(\mathcal{C})$ by Rickard complexes, providing a triangulated equivalence $\Theta_{w_0}:D^b(\mathcal{C}_\mu) \to D^b(\mathcal{C}_{w_0(\mu)})$, where $\mu$ is a weight of $V$ and $\Theta_{w_0}$ is a positive lift of the longest element of the Weyl group. We prove that this equivalence is t-exact up to shift when $V$ is isotypic, generalising a fundamental result of Chuang and Rouquier in the case $\mathfrak{g}=\mathfrak{sl}_2$. For general $V$, we prove that $\Theta_{w_0}$ is a perverse equivalence with respect to a Jordan-Hölder filtration of $\mathcal{C}$. Using these results we construct, from the action of $B$ on $V$, an action of the cactus group on the crystal of $V$. This recovers the cactus group action on $V$ defined via generalised Schützenberger involutions, and provides a new connection between categorical representation theory and crystal bases. We also use these results to give new proofs of theorems of Berenstein-Zelevinsky, Rhoades, and Stembridge regarding the action of symmetric group on the Kazhdan-Lusztig basis of its Specht modules.

Representation Theory,Category Theory,Quantum Algebra
Categorification of integrable representations of quantum groups

Hao Zheng

DOI: https://doi.org/10.1007/s10114-014-3631-4

2008-04-23

Abstract:We categorify the highest weight integrable representations and their tensor products of a symmetric quantum Kac-Moody algebra. As byproducts, we obtain a geometric realization of Lusztig's canonical bases of these representations as well as a new positivity result. The main ingredient in the underlying geometric construction is a class of micro-local perverse sheaves on quiver varieties.

Representation Theory,Quantum Algebra
Pure braid group actions on category O modules

Andrea Appel,Valerio Toledano-Laredo

2024-01-09

Abstract:Let g be a symmetrisable Kac-Moody algebra and U_h(g) its quantised enveloping algebra. Answering a question of P. Etingof, we prove that the quantum Weyl group operators of U_h(g) give rise to a canonical action of the pure braid group of g on any category O (not necessarily integrable) U_h(g)-module V. By relying on our recent results in <a class="link-https" data-arxiv-id="1512.03041" href="https://arxiv.org/abs/1512.03041">arXiv:1512.03041</a>, we show that this action describes the monodromy of the rational Casimir connection on the g-module corresponding to V under the Etingof-Kazhdan equivalence of category O for g and U_h(g). We also extend these results to yield equivalent quantum Weyl group and monodromic representations of parabolic pure braid groups on parabolic category O for U_h(g) and g.

Quantum Algebra,Algebraic Geometry,Representation Theory
A diagrammatic approach to categorification of quantum groups III

Mikhail Khovanov,Aaron D. Lauda

DOI: https://doi.org/10.48550/arXiv.0807.3250

2008-07-21

Quantum Algebra

Abstract:We categorify the idempotented form of quantum sl(n).
Categorification of quantum symmetric pairs I. the split case for $SL(2r+1)$

Huanchen Bao,Peng Shan,Weiqiang Wang,Ben Webster

2016-01-01

Abstract:We categorify a coideal subalgebra of the quantum group of $mathfrak{sl}_{2r+1}$ by introducing a $2$-category `a la Khovanov-Lauda-Rouquier, and show that self-dual indecomposable $1$-morphisms categorify the canonical basis of this algebra. This allows us to define a categorical action of this coideal algebra on the categories of modules over cohomology rings of partial flag varieties and on the BGG category $mathcal{O}$ of type B/C.
Actions of Tensor Categories and Cylinder Braids

Reinhard H"aring-Oldenburg

DOI: https://doi.org/10.48550/arXiv.q-alg/9712031

1997-12-11

Abstract:Categorial actions of braided tensor categories are defined and shown to be the right framework for a discussion of the categorial structure related to the group of braids in the cylinder. A Kauffman polynomial of links in the solid torus is constructed.

Quantum Algebra
A braided monoidal $(\infty,2)$-category of Soergel bimodules

Yu Leon Liu,Aaron Mazel-Gee,David Reutter,Catharina Stroppel,Paul Wedrich

2024-02-06

Abstract:The Hecke algebras for all symmetric groups taken together form a braided monoidal category that controls all quantum link invariants of type A and, by extension, the standard canon of topological quantum field theories in dimension 3 and 4. Here we provide the first categorification of this Hecke braided monoidal category, which takes the form of an $\mathbb{E}_2$-monoidal $(\infty,2)$-category whose hom-$(\infty,1)$-categories are $k$-linear, stable, idempotent-complete, and equipped with $\mathbb{Z}$-actions. This categorification is designed to control homotopy-coherent link homology theories and to-be-constructed topological quantum field theories in dimension 4 and 5.

Quantum Algebra,Algebraic Geometry,Algebraic Topology,Category Theory,Representation Theory
Braid Group Action and Quantum Affine Algebras

Jonathan Beck

DOI: https://doi.org/10.1007/BF02099423

1994-04-27

Abstract:We lift the lattice of translations in the extended affine Weyl group to a braid group action on the quantum affine algebra. This action fixes the Heisenberg subalgebra pointwise. Loop like generators are found for the algebra which satisfy the relations of Drinfel$'$d's new realization. Coproduct formulas are given and a PBW type basis is constructed.

High Energy Physics - Theory,Quantum Algebra
An introduction to diagrammatic algebra and categorified quantum sl(2)

Aaron D. Lauda

DOI: https://doi.org/10.48550/arXiv.1106.2128

2011-08-10

Abstract:This expository article explains how planar diagrammatics naturally arise in the study of categorified quantum groups with a focus on the categorification of quantum sl2. We derive the definition of categorified quantum sl2 and highlight some of the new structure that arises in categorified quantum groups. The expert will find a discussion of rescalling isomorphisms for categorified quantum sl2, a proof that cyclotomic quotients of the nilHecke algebra are isomorphic to matrix rings over the cohomology ring of Grassmannians, and an interpretation of `fake bubbles' using symmetric functions.

Quantum Algebra
Quantum cluster algebra, braid moves and quantum virtual Grothendieck ring

Kyu-Hwan Lee,Se-jin Oh

2024-02-13

Abstract:In this paper, we study the quantum virtual Grothendieck ring, denoted by $\frakK_q(\g)$, which was introduced in [39], and further investigated in [26, 25]. Our approach involves examining this ring from two perspectives: first, by considering its connection to quantum cluster algebras of non-skew-symmetric types; and second, by exploring its relevance to categorification theory. We specifically focus on (i) the homomorphisms that arise from braid moves, particularly 4-moves and 6-moves, in the braid group; and (ii) the quantum Laurent positivity phenomena, which has not yet been proven for non-skew-symmetric types.

Quantum Algebra,Representation Theory
Quantum group structure associated to the quantum affine space

Naihong Hu

2004-01-01

Algebra Colloquium

Abstract:A braided monoidal category sigma(Lambda,theta) of Lambda-graded associative algebras over a field k is established. The structural feature (including its PBW-basis) of the braided universal enveloping algebra U(L) of a theta-Lie algebra L is investigated as an object in sigma(Lambda,theta), and a class of quantum groups arising from U(L) is presented. In addition, the quantized universal enveloping algebra of any abelian Lie algebra is given, which is a twisted quantum group associated to the quantum affine space k[A(q)(n\0)].
Braiding for quantum 𝑔𝑙₂ at roots of unity

Rinat Kashaev,Nicolai Reshetikhin

DOI: https://doi.org/10.1090/conm/391/07329

2005-01-01

Abstract:In our preceding papers we started considering the categories of tangles with flat G-connections in their complements, where G is a simple complex algebraic group. The braiding (or the commutativity constraint) in such categories satisfies the holonomy Yang-Baxter equation and it is this property which is essential for our construction of invariants of tangles with flat G-connections in their complements. In this paper, to any pair of irreducible modules over the quantized universal enveloping algebra of gl_2 at a root of unity, we associate a solution of the holonomy Yang-Baxter equation.
From Subfactors to Categories and Topology II. The quantum double of tensor categories and subfactors

Michael Mueger

DOI: https://doi.org/10.48550/arXiv.math/0111205

2001-11-20

Abstract:We are concerned with the center (=quantum double) of tensor categories and prove generalizations of several results proven previously for quantum doubles of Hopf algebras. We consider F-linear tensor categories C with simple unit and finitely many isomorphism classes of simple objects. We assume that C is either a *-category (i.e. there is a positive *-operation on the morphisms) or semisimple and spherical over an algebraically closed field F. In the latter case we assume that dim C=sum_i d(X_i)^2 is non-zero, where the summation runs over the isomorphism classes of simple objects. We prove: (i) Z(C) is a semisimple spherical (or *-) category. (ii) Z(C) is weakly monoidally Morita equivalent (in the sense of <a class="link-https" data-arxiv-id="math.CT/0111204" href="https://arxiv.org/abs/math.CT/0111204">math.CT/0111204</a>) to C X C^op. This implies dim Z(C)=(dim C)^2. (iii) We analyze the simple objects of Z(C) in terms of certain finite dimensional algebras, of which Ocneanu's tube algebra is the smallest. We prove the conjecture of Gelfand and Kazhdan according to which the number of simple objects of Z(C) coincides with the dimension of the state space H_{S^1\times S^1} of the torus in the triangulation TQFT built from C. (iv) We prove that Z(C) is modular and we compute the Gauss sums Delta_+/-(Z(C))=sum_i theta(X_i)^{+/- 1}d(X_i)^2=dim C. (v) Finally, if C is already modular then Z(C)\simeq C X C~, where C~ is the tensor category C with the braiding c~_{X,Y}=c_{Y,X}^{-1}.

Category Theory,Operator Algebras
Group actions on 2-categories

Eugenia Bernaschini,César Galindo,Martín Mombelli

DOI: https://doi.org/10.48550/arXiv.1702.02627

2017-02-09

Abstract:We study actions of discrete groups on 2-categories. The motivating examples are actions on the 2-category of representations of finite tensor categories and their relation with the extension theory of tensor categories by groups. Associated to a group action on a 2-category, we construct the 2-category of equivariant objects. We also introduce the G-equivariant notions of pseudofunctor, pseudonatural transformation and modification. Our first main result is a coherence theorem for 2-categories with an action of a group. For a 2-category B with an action of a group G, we construct a braided G-crossed monoidal category Z_G(B) with trivial component the Drinfeld center of B. We prove that, in the case of a G-action on the 2-category of representation of a tensor category C, the 2-category of equivariant objects is biequivalent to the module categories over an associated G-extension of C. Finally, we prove that the center of the equivariant 2-category is monoidally equivalent to the equivariantization of a relative center, generalizing results obtained in [S. Gelaki, D. Naidu and D. Nikshych, Centers of graded fusion categories, Algebra Number Theory 3, No. 8 (2009), 959--990.]

Quantum Algebra,Category Theory
Infinitesimal braidings and pre-Cartier bialgebras

A. Ardizzoni,L. Bottegoni,A. Sciandra,T. Weber

2024-05-13

Abstract:We propose an infinitesimal counterpart to the notion of braided category. The corresponding infinitesimal braidings are natural transformations which are compatible with an underlying braided monoidal structure in the sense that they constitute a first-order deformation of the braiding. This extends previously considered infinitesimal symmetric or Cartier categories, where involutivity of the braiding and an additional commutativity of the infinitesimal braiding with the symmetry are required. The generalized pre-Cartier framework is then elaborated in detail for the categories of (co)quasitriangular bialgebra (co)modules and we characterize the resulting infinitesimal $\mathcal{R}$-matrices (resp. $\mathcal{R}$-forms) on the bialgebra. It is proven that the latter are Hochschild $2$-cocycles and that they satisfy an infinitesimal quantum Yang-Baxter equation, while they are Hochschild $2$-coboundaries under the Cartier (co)triangular assumption in the presence of an antipode. We provide explicit examples of infinitesimal braidings, particularly on quantum $2\times 2$-matrices, $\mathrm{GL}_q(2)$, Sweedler's Hopf algebra and via Drinfel'd twist deformation. As conceptual tools to produce examples of infinitesimal braidings we prove an infinitesimal version of the FRT construction and we provide a Tannaka-Krein reconstruction theorem for pre-Cartier coquasitriangular bialgebras. We comment on the deformation of infinitesimal braidings and construct a quasitriangular structure on formal power series of Sweedler's Hopf algebra.

Quantum Algebra,Category Theory,Rings and Algebras,Representation Theory
A braid group action on an $A_\infty$-category for zigzag algebras

Benjamin Cooper,You Qi,Joshua Sussan

2023-05-04

Abstract:We construct differential graded enhancements of the zigzag algebras which were used by Khovanov, Seidel and Thomas to produce categorical braid group actions. These enhancements are related to $p$-differential graded structures by a version of Koszul duality. We prove that the minimal model $A_\infty$-structure on the zigzag algebras is {\em not} formal. We construct a braid group action in this setting and suggest a symplectic interpretation.

Quantum Algebra,K-Theory and Homology

Categorification of the internal braid group action for quantum groups I: 2-functoriality

Categorical Quantum Groups and Braided Monoidal 2-Categories

The Categorification of Quantum Affine Algebra U_q(sl_n)

Categorification of quantum symmetric pairs I

On a braid group action

Categorical braid group actions and cactus groups

Categorification of integrable representations of quantum groups

Pure braid group actions on category O modules

A diagrammatic approach to categorification of quantum groups III

Categorification of quantum symmetric pairs I. the split case for $SL(2r+1)$

Actions of Tensor Categories and Cylinder Braids

A braided monoidal $(\infty,2)$-category of Soergel bimodules

Braid Group Action and Quantum Affine Algebras

An introduction to diagrammatic algebra and categorified quantum sl(2)

Quantum cluster algebra, braid moves and quantum virtual Grothendieck ring

Quantum group structure associated to the quantum affine space

Braiding for quantum 𝑔𝑙₂ at roots of unity

From Subfactors to Categories and Topology II. The quantum double of tensor categories and subfactors

Group actions on 2-categories

Infinitesimal braidings and pre-Cartier bialgebras

A braid group action on an $A_\infty$-category for zigzag algebras