On the definition of quantum Heisenberg category

Jonathan Brundan,Alistair Savage,Ben Webster

DOI: https://doi.org/10.2140/ant.2020.14.275

2023-09-28

Abstract:We introduce a diagrammatic monoidal category $\mathcal{H}eis_k(z,t)$ which we call the quantum Heisenberg category, here, $k \in \mathbb{Z}$ is "central charge" and $z$ and $t$ are invertible parameters. Special cases were known before: for central charge $k=-1$ and parameters $z = q-q^{-1}$ and $t = -z^{-1}$ our quantum Heisenberg category may be obtained from the deformed version of Khovanov's Heisenberg category introduced by Licata and the second author by inverting its polynomial generator, while $\mathcal{H}eis_0(z,t)$ is the affinization of the HOMFLY-PT skein category. We also prove a basis theorem for the morphism spaces in $\mathcal{H}eis_k(z,t)$.

Representation Theory,Quantum Algebra

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to define the Quantum Heisenberg Category. Specifically, the authors introduce a diagrammatic monoidal category \( \text{Heis}_k(z,t) \), called the Quantum Heisenberg Category. Here \( k \in \mathbb{Z} \) is the "central charge", and \( z \) and \( t \) are invertible parameters. The main objectives of the paper include:

1. **Define the Quantum Heisenberg Category**:
- By introducing new generating objects and generating morphisms and imposing a series of relations, the authors define the Quantum Heisenberg Category \( \text{Heis}_k(z,t) \). These categories are new for different central charges \( k \), except for the special cases of \( k = - 1 \) and \( k = 0 \).

2. **Prove fundamental theorems**:
- The authors prove the fundamental theorem of the morphism space in the Quantum Heisenberg Category. This theorem shows that the center \( \text{End}_{\text{Heis}_k(z,t)}(1) \) of the Quantum Heisenberg Category is the tensor product of the symmetric function algebras \( \text{Sym} \otimes \text{Sym} \).

3. **Relations with other known categories**:
- The paper explores the relations between the Quantum Heisenberg Category and other known categories, such as Khovanov's Heisenberg Category and the HOMFLY - PT affine braid group category. In particular, when \( k = 0 \), the Quantum Heisenberg Category is equivalent to the HOMFLY - PT affine braid group category.

4. **Applications in representation theory**:
- The authors show the applications of the Quantum Heisenberg Category in representation theory, for example, its action on the category of \( U_q(\mathfrak{gl}_n) \) representations and on the category of representations of the toric Hecke algebra.

Through these works, the paper not only defines a new mathematical structure but also shows its potential applications in representation theory and other mathematical fields.