p-DG Cyclotomic nilHecke Algebras

Mikhail Khovanov,You Qi,Joshua Sussan

DOI: https://doi.org/10.1090/memo/1462

2024-01-01

Memoirs of the American Mathematical Society

Abstract:We categorify a tensor product of two Weyl modules for quantum s l 2 \mathfrak {sl}_2 at a prime root of unity.

mathematics

What problem does this paper attempt to address?

p-DG Cyclotomic nilHecke Algebras II

You Qi,Joshua Sussan

DOI: https://doi.org/10.1090/memo/1463

2024-01-01

Memoirs of the American Mathematical Society

Abstract:We categorify tensor products of the fundamental representation of quantum s l 2 \mathfrak {sl}_2 at prime roots of unity, building upon earlier work where a tensor product of two Weyl modules was categorified.

mathematics
A categorification of U_T sl(1,1) and its tensor product representations

Yin Tian

DOI: https://doi.org/10.2140/gt.2014.18.1769

2013-10-30

Abstract:We define the Hopf superalgebra U_T sl(1,1), which is a variant of the quantum supergroup U_q sl(1,1), and its tensor product representations V_1^{\otimes n} for n>0. We construct families of DG algebras A, B and R_n, and consider the DG categories DGP(A), DGP(B) and DGP(R_n), which are full DG subcategories of the categories of DG A-, B- and R_n-modules generated by certain distinguished projective modules. Their 0th homology categories HP(A), HP(B), and HP(R_n) are triangulated and give algebraic formulations of the contact categories of an annulus, a twice punctured disk, and an n times punctured disk. We categorify the multiplication and comultiplication on U_T sl(1,1) to a bifunctor HP(A) \times HP(A) --> HP(A) and a functor HP(A) --> HP(B), respectively. The U_T sl(1,1)-action on V_1^{\otimes n} is lifted to a bifunctor HP(A) \times HP(R_n) --> HP(R_n).

Quantum Algebra,Geometric Topology,Symplectic Geometry
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.
Quantum Character Theory

Sam Gunningham,David Jordan,Monica Vazirani

2023-09-06

Abstract:We develop a $\mathtt{q}$-analogue of the theory of conjugation equivariant $\mathcal D$-modules on a complex reductive group $G$. In particular, we define quantum Hotta-Kashiwara modules and compute their endomorphism algebras. We use the Schur-Weyl functor of the second author, and develop tools from the corresponding double affine Hecke algebra to study this category in the cases $G=GL_N$ and $SL_N$. Our results also have an interpretation in skein theory (explored further in a sequel paper), namely a computation of the $GL_N$ and $SL_N$-skein algebra of the 2-torus.

Representation Theory,Geometric Topology,Quantum Algebra
The $q$-Schur category and polynomial tilting modules for quantum $GL_n$

Jonathan Brundan

2024-10-20

Abstract:The $q$-Schur category is a $\mathbb{Z}[q,q^{-1}]$-linear monoidal category closely related to the $q$-Schur algebra. We explain how to construct it from coordinate algebras of quantum $GL_n$ for all $n \geq 0$. Then we use Donkin's work on Ringel duality for $q$-Schur algebras to make precise the relationship between the $q$-Schur category and an integral form for the $U_q\mathfrak{gl}_n$-web category of Cautis, Kamnitzer and Morrison. We construct explicit integral bases for morphism spaces in the latter category, and extend the Cautis-Kamnitzer-Morrison theorem to polynomial representations of quantum $GL_n$ at a root of unity over a field of any characteristic.

Quantum Algebra,Representation Theory
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
Linkage and translation for tensor products of representations of simple algebraic groups and quantum groups

Jonathan Gruber

DOI: https://doi.org/10.1112/plms.12641

2024-09-26

Proceedings of the London Mathematical Society

Abstract:Abstract Let be either a simple linear algebraic group over an algebraically closed field of characteristic or a quantum group at an ‐th root of unity. We define a tensor ideal of singular ‐ modules in the category of finite‐dimensional ‐modules and study the associated quotient category , called the regular quotient . For , the Coxeter number of , we establish a ‘linkage principle’ and a ‘translation principle’ for tensor products: Let be the essential image in of the principal block of . We first show that is closed under tensor products in . Then we prove that the monoidal structure of is governed to a large extent by the monoidal structure of . These results can be combined to give an external tensor product decomposition , where denotes the Verlinde category of .

mathematics
Categorification of Clifford Algebras and $\mathrm{u}_q (\mathfrak{sl}(1 \vert 1))$

Yin Tian

DOI: https://doi.org/10.4310/jsg.2016.v14.n2.a5

2016-01-01

Journal of Symplectic Geometry

Abstract:We construct families of differential graded algebras R-n and R-n boxed times R-n for n > 0, and differential graded categories DGP(R-n) generated by some distinguished projective R-n-modules. The category DGP(R-n) gives an algebraic formulation of the contact category of a disk. The 0-th homology category H-0(DGP(R-n)) of DGP(R-n) is a triangulated category and its Grothendieck group K-0(R-n) is isomorphic to a Clifford algebra. We then categorify the multiplication on K-0(R-n) to a functor DGP(R-n boxed times R-n) -> DGP(R-n). We also construct a subcategory of H-0(DGP(R-n)) which categorifies an integral version of U-q(sl(1 vertical bar 1)) as an algebra.
Quiver Hecke algebras for Borcherds-Cartan datum II

Bolun Tong,Wan Wu

2024-06-03

Abstract:We give the crystal structure of the Grothendieck group $G_0(R)$ of irreducible modules over the quiver Hecke algebra $R$ constructed in \cite{TW2023}. This leads to the categorification of the crystal $B(\infty)$ of the quantum Borcherds algebra $U_q(\mathscr g)$ and its irreducible highest weight crystal $B(\lambda)$ for arbitrary Borcherds-Cartan data. Additionally, we study the cyclotomic categorification of irreducible highest weight $U_q(\mathscr g)$-modules.

Representation Theory
Quantization of the universal centralizer and central D-modules

Tom Gannon,Victor Ginzburg

2024-09-27

Abstract:The group scheme of universal centralizers of a complex reductive group G has a quantization called the spherical nil-DAHA. The category of modules over this ring is equivalent, as a symmetric monoidal category, to the category of bi-Whittaker D-modules on G. We construct a braided monoidal equivalence, called the Knop-Ngô functor, of this category with a full monoidal subcategory of the abelian category of Ad(G)-equivariant D-modules, establishing a D-module abelian counterpart of an equivalence established by Bezrukavnikov and Deshpande, in a different way. As an application of our methods, we prove conjectures of Ben-Zvi and Gunningham by relating this equivalence to parabolic induction and prove a conjecture of Braverman and Kazhdan in the D-module setting.

Representation Theory,Algebraic Geometry,Quantum Algebra
A Categorification of U T.sl.1j1// and Its Tensor Product Representations

Tian Yin

DOI: https://doi.org/10.2140/gt.2014.18.1769

2014-01-01

Abstract:We define the Hopf superalgebra UT .sl.1j1// , which is a variant of the quantum supergroup Uq.sl.1j1// , and its representations V n 1 for n>0 . We construct families of DG algebras A , B and Rn , and consider the DG categories DGP.A/ , DGP.B/ and DGP.Rn/ , which are full DG subcategories of the categories of DG A–, B – and Rn –modules generated by certain distinguished projective modules. Their 0th homology categories HP.A/ , HP.B/ and HP.Rn/ are triangulated and give algebraic formulations of the contact categories of an annulus, a twice punctured disk and an n times punctured disk. Their Grothendieck groups are isomorphic to UT .sl.1j1// , UT .sl.1j1// ZUT .sl.1j1// and V n 1 , respectively. We categorify the multiplication and comultiplication on UT .sl.1j1// to a bifunctor HP.A/ HP.A/! HP.A/ and a functor HP.A/! HP.B/ , respectively. The UT .sl.1j1//–action on V n 1 is lifted to a bifunctor HP.A/ HP.Rn/! HP.Rn/ .
DG structures on odd categorified quantum sl(2)

Aaron D. Lauda,Ilknur Egilmez

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

2020-09-11

Abstract:We equip Ellis and Brundan's version of the odd categorified quantum group for sl(2) with a differential giving it the structure of a graded dg-2-supercategory. The presence of the super grading gives rise to two possible decategorifications of the associated dg-2-category. One version gives rise to a categorification of quantum sl(2) at a fourth root of unity, while the other version produces a subalgebra of quantum gl(1|1) defined over the integers. Both of these algebras appear in connection with quantum algebraic approaches to the Alexander polynomial.

Quantum Algebra,Representation Theory
dg-Hecke duality and tensor products

Peter Schneider,Claus Sorensen

2023-05-16

Abstract:We continue our study of the monoidal category $D(G)$. At the level of cohomology we transfer the duality functor to the derived category of Hecke dg-modules. In the process we develop a more general and streamlined approach to the anti-involution first defined by Ollivier and Schneider. We also verify that the tensor product on $D(G)$ corresponds to an operadic tensor product on the dg-side. This uses a result of Schnürer on dg-categories with a model structure.

Number Theory,Category Theory,Representation Theory
The Grothendieck ring of quantum double of quaternion group

Hua Sun,Jia Pang,Yanxi Shen

DOI: https://doi.org/10.21136/cmj.2024.0113-24

2024-09-04

Czechoslovak Mathematical Journal

Abstract:Let be an algebraically closed field of characteristic p ≠ 2, and let Q 8 be the quaternion group. We describe the structures of all simple modules over the quantum double of group algebra . Moreover, we investigate the tensor product decomposition rules of all simple -modules. Finally, we describe the Grothendieck ring by generators with relations.

mathematics
Real simple modules over simply-laced quantum affine algebras and categorifications of cluster algebras

Bing Duan,Ralf Schiffler

2023-07-29

Abstract:Let $\mathscr{C}$ be the category of finite-dimensional modules over a simply-laced quantum affine algebra $U_q(\widehat{\mathfrak{g}})$. For any height function $\xi$ and $\ell\in \mathbb{Z}_{\geq 1}$, we introduce certain subcategories $\mathscr{C}^{\leq \xi}_\ell$ of $\mathscr{C}$, and prove that the quantum Grothendieck ring $K_t(\mathscr{C}^{\leq \xi}_\ell)$ of $\mathscr{C}^{\leq \xi}_\ell$ admits a quantum cluster algebra structure. Using $F$-polynomials and monoidal categorifications of cluster algebras, we classify all real simple modules in $\mathscr{C}^{\leq \xi}_1$ in terms of their highest $\ell$-weight monomials, among them the families of type $D$ and type $E$ are new. For any $\ell$, inspired by Hernandez and Leclerc's work, we propose two conjectures for the study of real simple modules, and prove them for the subcategories $\mathscr{C}^{\leq \xi}_\ell$ whose Grothendieck rings are cluster algebras of finite type.

Quantum Algebra,Rings and Algebras,Representation Theory
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.
Enhanced nilHecke algebras and baby Verma modules

Elia Rizzo,Pedro Vaz

2024-10-01

Abstract:We define a derivation on the enhanced nilHecke algebra yielding a p-dg algebra when working over a field of characteristic p. We define functors on the category of p-dg modules resulting in an action of small quantum sl2 on the Grothendieck group, which is isomorphic to a baby Verma module. We upgrade the derivation into an action of the Lie algebra sl(2).

Representation Theory,Quantum Algebra
Harish-Chandra isomorphism for cyclotomic double affine Hecke algebras

Joshua Jeishing Wen

2024-10-21

Abstract:We confirm a conjecture of Braverman--Etingof--Finkelberg that the spherical subalgebra of their cyclotomic double affine Hecke algebra (DAHA) is isomorphic to a quantized multiplicative quiver variety for the cyclic quiver, as defined by Jordan. The isomorphism is constructed as a q-analogue of Oblomkov's cyclotomic radial parts map for the rational case. In the appendix, we also prove that the spherical cyclotomic DAHA is isomorphic to the image of a shifted quantum toroidal algebra under Tsymbaliuk's GKLO homomorphism.

Quantum Algebra,Representation Theory
Deligne tensor products of categories of modules for vertex operator algebras

Robert McRae

2023-04-27

Abstract:We show that if $\mathcal{U}$ and $\mathcal{V}$ are locally finite abelian categories of modules for vertex operator algebras $U$ and $V$, respectively, then the Deligne tensor product of $\mathcal{U}$ and $\mathcal{V}$ can be realized as a certain category $\mathcal{D}(\mathcal{U},\mathcal{V})$ of modules for the tensor product vertex operator algebra $U\otimes V$. We also show that if $\mathcal{U}$ and $\mathcal{V}$ admit the braided tensor category structure of Huang-Lepowsky-Zhang, then $\mathcal{D}(\mathcal{U},\mathcal{V})$ does as well under mild additional conditions, and that this braided tensor structure is equivalent to the natural braided tensor structure on a Deligne tensor product category. These results hold in particular when $\mathcal{U}$ and $\mathcal{V}$ are the categories of $C_1$-cofinite $U$- and $V$-modules, if these categories are closed under contragredients, in which case we show that $\mathcal{D}(\mathcal{U},\mathcal{V})$ is the category of $C_1$-cofinite $U\otimes V$-modules. If $U$ and $V$ are $\mathbb{N}$-graded and $C_2$-cofinite, then we may take $\mathcal{U}$ and $\mathcal{V}$ to be the categories of all grading-restricted generalized $U$- and $V$-modules, respectively. Thus as an application, if the tensor categories of all modules for two $C_2$-cofinite vertex operator algebras are rigid, then so is the tensor category of all modules for the tensor product vertex operator algebra. We use this to prove that the representation categories of the even subalgebras of the symplectic fermion vertex operator superalgebras are non-semisimple modular tensor categories.

Quantum Algebra,Mathematical Physics,Category Theory,Representation Theory
Twisted tensor product, smooth DG algebras, and noncommutative resolutions of singular curves

Dmitri Orlov

2024-05-08

Abstract:New families of algebras and DG algebras with two simple modules are introduced and described. Using the twisted tensor product operation, we prove that such algebras have finite global dimension, and the resulting DG algebras are smooth. This description allows us to show that some of these DG algebras determine smooth proper noncommutative curves that provide smooth minimal noncommutative resolutions for singular rational curves.

Algebraic Geometry,Category Theory,Rings and Algebras

p-DG Cyclotomic nilHecke Algebras

p-DG Cyclotomic nilHecke Algebras II

A categorification of U_T sl(1,1) and its tensor product representations

Categorification of quantum symmetric pairs I

Quantum Character Theory

The $q$-Schur category and polynomial tilting modules for quantum $GL_n$

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

Linkage and translation for tensor products of representations of simple algebraic groups and quantum groups

Categorification of Clifford Algebras and $\mathrm{u}_q (\mathfrak{sl}(1 \vert 1))$

Quiver Hecke algebras for Borcherds-Cartan datum II

Quantization of the universal centralizer and central D-modules

A Categorification of U T.sl.1j1// and Its Tensor Product Representations

DG structures on odd categorified quantum sl(2)

dg-Hecke duality and tensor products

The Grothendieck ring of quantum double of quaternion group

Real simple modules over simply-laced quantum affine algebras and categorifications of cluster algebras

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

Enhanced nilHecke algebras and baby Verma modules

Harish-Chandra isomorphism for cyclotomic double affine Hecke algebras

Deligne tensor products of categories of modules for vertex operator algebras

Twisted tensor product, smooth DG algebras, and noncommutative resolutions of singular curves