Piecewise dominant sequences and the cocenter of the cyclotomic quiver Hecke algebras (2206.05953v1)

Abstract: We study the cocenter of the cyclotomic quiver Hecke algebra $R^\Lambda_\alpha$ associated to an {\it arbitrary} symmetrizable Cartan matrix $A=(a_{ij}){i,j}\in I$, $\Lambda\in P^+$ and $\alpha\in Q_n^+$. We introduce a notion called "piecewise dominant sequence" and use it to construct some explicit homogeneous elements which span the maximal degree component of the cocenter of $R^\Lambda\alpha$. We show that the minimal degree components of the cocenter of $R^\Lambda_\alpha$ is spanned by the image of some KLR idempotent $e(\nu)$, where each $\nu\in I^\alpha$ is piecewise dominant. As an application, we show that the weight space $L(\Lambda){\Lambda-\alpha}$ of the irreducible highest weight module $L(\Lambda)$ over $\mathfrak{g}(A)$ is nonzero (equivalently, $R^\Lambda\alpha\neq 0$) if and only if there exists a piecewise dominant sequence $\nu\in I^\alpha$.