Table of Contents
Fetching ...

Affine highest weight structures on module categories over quiver Hecke algebras

Haruto Murata

Abstract

We prove that the category of finitely generated graded modules over the quiver Hecke algebra of arbitrary type admits numerous stratifications in the sense of Kleshchev. A direct consequence is that the full subcategory corresponding to the quantum unipotent subgroup associated with any Weyl group element is an affine highest weight category. Our results significantly generalize earlier works by Kato, Brundan, Kleshchev, McNamara and Muth. The key ingredient is a realization of standard modules via determinantial modules. We utilize the technique of R-matrices to study these standard modules.

Affine highest weight structures on module categories over quiver Hecke algebras

Abstract

We prove that the category of finitely generated graded modules over the quiver Hecke algebra of arbitrary type admits numerous stratifications in the sense of Kleshchev. A direct consequence is that the full subcategory corresponding to the quantum unipotent subgroup associated with any Weyl group element is an affine highest weight category. Our results significantly generalize earlier works by Kato, Brundan, Kleshchev, McNamara and Muth. The key ingredient is a realization of standard modules via determinantial modules. We utilize the technique of R-matrices to study these standard modules.

Paper Structure

This paper contains 35 sections, 115 theorems, 292 equations, 1 figure, 1 table.

Key Result

Theorem 1.1

Let $\beta \in Q_+$. The category ${R(\beta)}\textup{-gMod}$ of finitely generated graded $R(\beta)$-modules is stratified with standard modules $\Delta(\lambda,s) \ (\sum_{1 \leq k \leq l} \lambda_k\beta_k + \beta_s = \beta)$. Precisely speaking, there exists a certain preorder $\leq$ on the labell

Figures (1)

  • Figure 1: Affine rank 2 positive roots

Theorems & Definitions (216)

  • Theorem 1.1: Theorem \ref{['thm:standard']}, Theorem \ref{['thm:stratification']}
  • Theorem 1.2: Theorem \ref{['thm:affinehighest']}
  • Corollary 1.3: Corollary \ref{['cor:gldim']}
  • Theorem 1.4: Theorem \ref{['thm:ext1']}
  • Proposition 1.5: Corollary \ref{['cor:M1ext']}
  • Proposition 1.6: Theorem \ref{['thm:SES']}
  • Theorem 1.7: Proposition \ref{['prop:BGGformula']}
  • Lemma 2.1: MR3495746
  • Lemma 2.4
  • proof
  • ...and 206 more