Abstract:We explicitly compute the dimensions of certain idempotent truncations of RoCK blocks of cyclotomic quiver Hecke superalgebras. Equivalently, this amounts to a computation of the value of the Shapovalov form on certain explicit vectors in the basic representations of twisted affine Kac-Moody Lie algebras of type $A$.
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
The main objective of this paper is to calculate the dimensions of certain idempotent - truncated RoCK blocks (Rouquier blocks) from cyclotomic quiver Hecke superalgebras. Specifically, the author achieves this goal by calculating the values of the Shapovalov form on certain explicit vectors in the fundamental representation \( V(\Lambda_0) \) of the twisted affine Kac - Moody Lie algebra \( \mathfrak{g} \).
#### Specific background and problem description
1. **Research objects**:
- **Cyclotomic quiver Hecke superalgebras**: This is a class of algebras that combines the structures of Hecke algebras and superalgebras.
- **RoCK blocks**: This is a specific type of block in cyclotomic quiver Hecke superalgebras, which has important combinatorial and representation - theoretic properties.
- **Idempotent truncation**: Truncate the algebra by idempotents to simplify calculation and analysis.
2. **Main tasks**:
- Calculate the dimensions of the idempotent - truncated RoCK blocks.
- This is equivalent to calculating the values of the Shapovalov form on certain explicit vectors in the fundamental representation \( V(\Lambda_0) \) of the twisted affine Kac - Moody Lie algebra \( \mathfrak{g} \).
3. **Specific formulas and methods**:
- Use the Shapovalov form to calculate the inner products of vectors in the weight space.
- Define and use divided power monomials and idempotents.
- Introduce combinatorial tools such as strict partitions, tableaux, etc.
#### Main results
The main theorem of the paper gives the dimension formula for the idempotent - truncated RoCK blocks:
\[
\dim e(\mu,j) R_{\Lambda_0}^{\theta} e(\omega_d)=(f(\mu,j)v_w, f(\omega_d)v_w)=\binom{d}{\mu_1\cdots\mu_n}4^{d - |\mu,j|_{\ell - 1}}3^{|\mu,j|_{\ell - 1}}
\]
where:
- \( \theta=\Lambda_0 - w\Lambda_0 + d\delta \) is a RoCK weight.
- \( v_w \) is the image of the highest - weight vector \( v_+ \) under the action of the Weyl group element \( w \).
- \( f(\mu,j) \) and \( f(\omega_d) \) are divided power monomials defined on the Lie algebra \( \mathfrak{g} \).
This result not only provides a specific method for dimension calculation but also reveals the isomorphism relationship between the Gelfand - Graev idempotent truncation and the generalized Schur algebra, which is of great significance for further research on the representation theory of cyclotomic quiver Hecke superalgebras.