[論文レビュー] Integral Basis Theorem of cyclotomic Khovanov-Lauda-Rouquier algebras of Type A

Li Ge|arXiv (Cornell University)|Dec 11, 2014

Algebraic structures and combinatorial models参考文献 15被引用数 10

ひとこと要約

本稿は、タイプAの巡回的Khovanov-Lauda-Rouquier (KLR)代数が整数上自由であることを証明し、ℤ上の階数付きセルフベースを確立する。nに関する多重段階的帰納法と多重分割の辞書的順序を用いて、同次基底元ψstが生成子による乗法に関して閉じたℤ自由部分代数を張ることを示し、Kleshchev多重分割を介してすべての階数付き完全可約表現を分類する。これにより、KLR代数Rn全体への分類が拡張される。

ABSTRACT

In this paper we prove that the cyclotomic Khovanov-Lauda-Rouquier algebras in type A, $\mathscr R_n^Λ$, are $\mathbb{Z}$-free. We then extend the graded cellular basis of $\mathscr R_n^Λ$ constructed by Hu and Mathas to $\mathscr R_n$ and use this basis to give a classification of all irreducible $\mathscr R_n$-modules.

研究の動機と目的

• HuとMathasが提起した問いに応じ、巡回的Khovanov-Lauda-Rouquier代数RΛnがすべての支配的重みΛおよびすべてのeに対して整数環上自由であることを証明すること。
• RΛnの階数付きセルフベースを全KLR代数Rnへ拡張し、その完全可約モジュールの分類を可能にすること。
• 巡回的商と整合性のある新しいラベル付けを用いて、すべての階数付き単純Rnモジュールを完全かつ明示的に分類すること。
• セルフベース元ψstが生成子yr, ψs, e(i)による乗法に関して閉じており、RΛnがℤ上自由かつ整数的であることを保証すること。

提案手法

• nに関する多重段階的帰納法と多重分割の辞書的順序を用いて、ψst基底が生成子による乗法に関して閉じることを証明する。
• [9, 定理5.14]を用いてe ≠ 2の場合に還元し、クイバー構造を単純連結A型に簡略化する。
• ℤ上での同次基底{ψst}の構成を行い、それがRΛnにおけるℤ自由部分モジュールを張ることを示す。
• 単位元が{ψst}の張りに含まれることを検証し、基底が全代数を生成することを保証する。
• 重みの列Λ∞を用いてRΛnからRnへのセルフベースの拡張を行い、Rnに階数付きセルフ構造を定義する。
• Graham-Lehrer風の議論とアフィンセルフ代数の理論を応用し、完全可約モジュールを分類する。

実験結果

リサーチクエスチョン

• RQ1 すべての支配的重みΛおよびすべてのeに対して、巡回的Khovanov-Lauda-Rouquier代数RΛnは整数環上自由か？
• RQ2 RΛnの階数付きセルフベースを全KLR代数Rnへ拡張できるか？また、その拡張により、その完全可約モジュールが完全に分類可能か？
• RQ3 階数付きの下で、Rnの完全可約モジュールはKleshchev多重分割に対応するか？また、そのラベル付けは巡回的商と整合性を持つか？
• RQ4 セルフベース{ψst}は生成子yr, ψs, e(i)による乗法に関して閉じており、RΛnがℤ上自由かつ整数的であることを保証するか？

主な発見

• 巡回的KLR代数RΛn(ℤ)は、優位順序に関してℤ上の階数付きセルフ代数であり、ランクℓnn!で自由である。
• HuとMathasが構成したRΛnの同次基底{ψst}は、すべての生成子による乗法に関して閉じたℤ自由部分モジュールを張り、RΛn(ℤ)がℤ自由であることを証明する。
• この基底はRnへ拡張され、Rnが階数付きセルフ代数となり、その階数付き完全可約モジュールの完全分類が可能になる。
• すべての階数付き単純Rnモジュールは、アフィンKleshchev多重分割ˆλ ∈ Pκ₀と整数シフトk ∈ ℤによりインデックス付けされ、集合{Dˆλ⟨k⟩}を形成する。
• 分類は巡回的商と整合性を持つ：RΛnに制限したとき、Dˆλ⟨k⟩はDλ⟨k⟩に同型であり、非同型なモジュールは異なるˆλに対応する。
• この結果により、任意の整域Oに対してRΛn(O)がO上自由であることが確認される。実際、RΛn(O) ≅ RΛn(ℤ) ⊗ℤ Oである。