Graded dimensions and monomial bases for the cyclotomic quiver Hecke algebras

Jun Hu,Lei Shi

DOI: https://doi.org/10.1142/S021919972350044X

2023-11-07

Abstract:In this paper we give a closed formula for the graded dimension of the cyclotomic quiver Hecke algebra $R^\Lambda(\beta)$ associated to an {\it arbitrary} symmetrizable Cartan matrix $A=(a_{ij})_{i,j}\in I$, where $\Lambda\in P^+$ and $\beta\in Q_n^+$. As applications, we obtain some {\it necessary and sufficient conditions} for the KLR idempotent $e(\nu)$ (for any $\nu\in I^\beta$) to be nonzero in the cyclotomic quiver Hecke algebra $R^\Lambda(\beta)$. We prove several level reduction results which decomposes $\dim R^\Lambda(\beta)$ into a sum of some products of $\dim R^{\Lambda^i}(\beta_i)$ with $\Lambda=\sum_i\Lambda^i$ and $\beta=\sum_{i}\beta_i$, where $\Lambda^i\in P^+, \beta^i\in Q^+$ for each $i$. We construct some explicit monomial bases for the subspaces $e(\widetilde{\nu})R^\Lambda(\beta)e(\mu)$ and $e(\widetilde{\nu})R^\Lambda(\beta)e(\mu)$ of $R^\Lambda(\beta)$, where $\mu\in I^\beta$ is {\it arbitrary} and $\widetilde{\nu}\in I^\beta$ is a certain specific $n$-tuple (see Section 4).Finally, we use our graded dimension formulae to provide some examples which show that $R^\Lambda(n)$ is in general not graded free over its natural embedded subalgebra $R^\Lambda(m)$ with $m<n$.

Representation Theory

What problem does this paper attempt to address?

The paper aims to address several key issues related to cyclotomic quiver Hecke algebras:

1. **Closed-form Graded Dimension Formula**: One of the main objectives of the paper is to provide a closed-form graded dimension formula for the cyclotomic quiver Hecke algebra \(R_{\Lambda}(\beta)\) associated with any symmetrizable Cartan matrix \(A\). This formula is independent of the chosen base field \(K\) and the polynomials \(Q_{ij}(u,v)\), depending only on the root system and the dominant weight \(\Lambda\).

2. **Non-zero Condition for KLR Idempotents**: Using the newly obtained graded dimension formula, the authors are able to determine when the KLR idempotents \(e(\nu)\) in the cyclotomic quiver Hecke algebra are non-zero. This resolves a long-standing open problem in the structure and representation theory.

3. **Decomposition Theorem**: The paper also proves a level-lowering result for the dimension formula of \(R_{\Lambda}(\beta)\), meaning that the dimension can be decomposed into a sum of products.

4. **Construction of a Basis**: Finally, based on the above results, the paper constructs an explicit basis for certain subspaces of \(R_{\Lambda}(\beta)\), which is of significant importance for understanding and studying the structure of cyclotomic quiver Hecke algebras.