Homological properties of finite type Khovanov-Lauda-Rouquier algebras

Abstract

We give an algebraic construction of standard modules (infinite dimensional modules categorifying the PBW basis of the underlying quantized enveloping algebra) for Khovanov-Lauda-Rouquier algebras in all finite types. This allows us to prove in an elementary way that these algebras satisfy the homological properties of an `affine quasi-hereditary algebra.' In simply-laced types these properties were established originally by Kato via a geometric approach. We also construct some Koszul-like projective resolutions of standard modules corresponding to multiplicity-free positive roots.

Minor corrections

Cited by in corpus (17)

• Affine highest weight categories and affine quasihereditary algebras
• Symmetric quiver Hecke algebras and R-matrices of quantum affine algebras II
• On the definition of quantum Heisenberg category
• Categorical relations between Langlands dual quantum affine algebras: Exceptional cases
• Affine highest weight categories and quantum affine Schur-Weyl duality of Dynkin quiver types
• Graded dimensions and monomial bases for the cyclotomic quiver Hecke algebras
• Tilting modules of affine quasi-hereditary algebras
• Homomorphisms between standard modules over finite type KLR algebras
• Equivalence between module categories over quiver Hecke algebras and Hernandez-Leclerc's categories in general types
• $t$-quantized Cartan matrix and R-matrices for cuspidal modules over quiver Hecke algebras
• Shuffle algebras and their integral forms: specialization map approach in types $B_n$ and $G_2$
• Flag versions of quiver Grassmannians for Dynkin quivers have no odd cohomology
• Crystal bases of parabolic Verma modules over the quantum orthosymplectic superalgebras
• Categorification of the internal braid group action for quantum groups I: 2-functoriality
• Knizhnik--Zamolodchikov functor for degenerate double affine Hecke algebras : algebraic theory
• Graded triangular bases
• Shuffle algebras and their integral forms: specialization map approach in types $C_n$ and $D_n$