Nil-Brauer categorifies the split $\imath$-quantum group of rank one

Jonathan Brundan,Weiqiang Wang,Ben Webster

2023-05-10

Abstract:We prove that the Grothendieck ring of the monoidal category of finitely generated graded projective modules for the nil-Brauer category is isomorphic to an integral form of the split $\imath$-quantum group of rank one. Under this isomorphism, the indecomposable graded projective modules correspond to the $\imath$-canonical basis. We also introduce a new PBW basis for the $\imath$-quantum group and show that it is categorified by standard modules for the nil-Brauer category. Finally, we derive character formulae for irreducible graded modules and deduce various branching rules.

Quantum Algebra,Representation Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to categorify the split ı -quantum group of rank one. Specifically, the authors prove that the Grothendieck ring of the tensor category of finitely - generated graded projective modules in the nil - Brauer category is isomorphic to an integral form of the split ı -quantum group of rank one. Under this isomorphism, the indecomposable graded projective modules correspond to the ı -canonical basis. In addition, the author also introduces a new PBW basis of the ı -quantum group and shows that the standard modules categorify this new PBW basis. Finally, the author derives the character formula of the irreducible graded modules and obtains various branching rules.

### Main problems and solutions

1. **Categorifying the split ı -quantum group of rank one**
- **Problem**: How to represent the split ı -quantum group of rank one as the Grothendieck ring of a certain category by the categorification method.
- **Solution**: The authors prove that the Grothendieck ring of the tensor category of finitely - generated graded projective modules in the nil - Brauer category is isomorphic to an integral form of the split ı -quantum group of rank one. This shows that the structure of the split ı -quantum group of rank one can be understood by studying the nil - Brauer category.

2. **Introducing a new PBW basis**
- **Problem**: Are the existing PBW bases sufficient to describe the structure of the ı -quantum group?
- **Solution**: The author introduces a new PBW basis and shows that the standard modules categorify this new PBW basis. This provides new tools for understanding and calculating the ı -quantum group.

3. **Character formula and branching rules**
- **Problem**: How to calculate the characters of the irreducible graded modules and determine their behaviors under different weights.
- **Solution**: The author derives the character formula of the irreducible graded modules and obtains various branching rules. These results are helpful for a deeper understanding of the representation theory of the ı -quantum group.

### Summary of mathematical expressions

- **Split ı -quantum group of rank one**: $U_\imath = U_\imath(\mathfrak{sl}_2)$
- **Grothendieck ring isomorphism**: $K_0(\text{NB}_t)\cong ZU_\imath^t$
- **PBW basis**: $\Delta_n$ satisfies the recurrence relation $\Delta_0 = 1, B\Delta_n=[n + 1]\Delta_{n + 1}+q^{n - 1}\frac{1}{1 - q^{-2}}\Delta_{n - 1}$
- **Character formula**: $\text{ch}L(n)=[n]!\xi^n\prod_{\substack{1\leq k\leq n + 1\\k\equiv t\pmod{2}}}(1 - [k]^2\xi^2)$

Through these works, the authors not only solve the categorification problem of the split ı -quantum group of rank one, but also provide important tools and methods for future research.