PBW bases and KLR algebras

Syu Kato

DOI: https://doi.org/10.1215/00127094-2405388

2017-11-20

Abstract:We generalize Lusztig's geometric construction of the PBW bases of finite quantum groups of type $\mathsf{ADE}$ under the framework of [Varagnolo-Vasserot, J. reine angew. Math. 659 (2011)]. In particular, every PBW basis of such quantum groups is proven to yield a semi-orthogonal collection in the module category of the KLR-algebras. This enables us to prove Lusztig's conjecture on the positivity of the canonical (lower global) bases in terms of the (lower) PBW bases in the $\mathsf{ADE}$ case. In addition, we verify Kashiwara's problem on the finiteness of the global dimensions of the KLR-algebras of type $\mathsf{ADE}$.

Quantum Algebra,Algebraic Geometry,Representation Theory

What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly focus on two aspects:

1. **Proving Lusztig's positivity conjecture on the regular (lower global) basis of quantum groups**: By constructing the PBW basis within the framework of KLR algebras and showing how these bases correspond to semi - orthogonal collections in the module category of KLR algebras, the author is able to verify Lusztig's positivity conjecture on the regular basis in the representation of the PBW basis. This part of the work not only deepens the understanding of the structure of quantum groups but also provides a new perspective for the theory of quantum groups.

2. **Verifying Kashiwara's problem on the finiteness of the global dimension of KLR algebras**: It is proved in the paper that for any \( \beta\in Q^{+} \), the KLR algebra \( R_{\beta} \) has a finite global dimension. This is achieved by using the properties of KLR algebras and constructing specific modules. The solution of this problem is of great significance for understanding KLR algebras and their applications in representation theory.

### Main contributions

- **Generalizing Lusztig's geometric construction**: The author generalizes Lusztig's geometric construction method of the PBW basis of quantum groups of finite - type ADE to a broader framework, especially in combination with the work of Varagnolo - Vasserot.
- **Establishing the relationship between the PBW basis and KLR algebras**: By showing that each PBW basis can generate a semi - orthogonal collection in the module category of KLR algebras, the author establishes the connection between the PBW basis and KLR algebras.
- **Proving Lusztig's positivity conjecture**: Using the above - mentioned relationship, the author proves Lusztig's conjecture on the positivity of the regular basis.
- **Solving Kashiwara's problem**: Proving the finiteness of the global dimension of KLR algebras and solving an important problem proposed by Kashiwara.

### Methods and results

- **Constructing the PBW basis**: The author defines two sets of modules \( \{\tilde{E}_{i}^{b}\}_{b\in B(\infty)_{\beta}} \) and \( \{E_{i}^{b}\}_{b\in B(\infty)_{\beta}} \) and verifies that they are indeed the categorified forms of the PBW basis through the properties of these modules.
- **Orthogonal relations**: By proving the orthogonal relations between these modules, the author shows their special status in the KLR algebra.
- **Product structure**: By introducing the induction functor, the author proves that the product structure of these modules in the KLR algebra is consistent with the product structure of the quantum group.

### Conclusion

By constructing and analyzing the PBW basis within the framework of KLR algebras, the paper not only verifies Lusztig's positivity conjecture but also solves Kashiwara's problem on the finiteness of the global dimension of KLR algebras. These results provide new tools and perspectives for the research of quantum groups and KLR algebras.