TY - JOUR
T1 - Piecewise dominant sequences and the cocenter of the cyclotomic quiver Hecke algebras
AU - Hu, Jun
AU - Shi, Lei
N1 - Publisher Copyright:
© 2023, The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature.
PY - 2023/4
Y1 - 2023/4
N2 - In this paper we study the cocenter of the cyclotomic quiver Hecke algebra RαΛ associated to an arbitrary symmetrizable Cartan matrix A=(aij)i,j∈I, Λ ∈ P+ and α∈Qn+. We introduce a notion called “piecewise dominant sequence” and use it to construct some explicit homogeneous elements which span the cocenter of RαΛ. Our first main result shows that the minimal (resp., maximal) degree component of the cocenter of RαΛ is spanned by the image of some KLR idempotent e(ν) (resp., some monomials Z(ν) e(ν) on KLR xk and e(ν) generators), where each ν∈ Iα is piecewise dominant. As an application, we show that any weight space L(Λ) Λ-α of the irreducible highest weight module L(Λ) over g(A) is nonzero (equivalently, RαΛ≠0) if and only if there exists a piecewise dominant sequence ν∈ Iα. Finally, we show that the Indecomposability Conjecture on RαΛ(K) holds if it holds when K is replaced by a field of characteristic 0. In particular, this implies RαΛ(K) is indecomposable when K is a field of arbitrary characteristic and g is symmetric and of finite type.
AB - In this paper we study the cocenter of the cyclotomic quiver Hecke algebra RαΛ associated to an arbitrary symmetrizable Cartan matrix A=(aij)i,j∈I, Λ ∈ P+ and α∈Qn+. We introduce a notion called “piecewise dominant sequence” and use it to construct some explicit homogeneous elements which span the cocenter of RαΛ. Our first main result shows that the minimal (resp., maximal) degree component of the cocenter of RαΛ is spanned by the image of some KLR idempotent e(ν) (resp., some monomials Z(ν) e(ν) on KLR xk and e(ν) generators), where each ν∈ Iα is piecewise dominant. As an application, we show that any weight space L(Λ) Λ-α of the irreducible highest weight module L(Λ) over g(A) is nonzero (equivalently, RαΛ≠0) if and only if there exists a piecewise dominant sequence ν∈ Iα. Finally, we show that the Indecomposability Conjecture on RαΛ(K) holds if it holds when K is replaced by a field of characteristic 0. In particular, this implies RαΛ(K) is indecomposable when K is a field of arbitrary characteristic and g is symmetric and of finite type.
KW - Categorification
KW - Cyclotomic quiver Hecke algebras
UR - http://www.scopus.com/inward/record.url?scp=85150757635&partnerID=8YFLogxK
U2 - 10.1007/s00209-023-03251-4
DO - 10.1007/s00209-023-03251-4
M3 - Article
AN - SCOPUS:85150757635
SN - 0025-5874
VL - 303
JO - Mathematische Zeitschrift
JF - Mathematische Zeitschrift
IS - 4
M1 - 90
ER -