[論文レビュー] Canonical bases and Khovanov-Lauda algebras

Michela Varagnolo, Éric Vasserot|arXiv (Cornell University)|Jan 26, 2009

Algebraic structures and combinatorial models参考文献 11被引用数 42

ひとこと要約

この論文は、KLR代数の表現論とルスティグの量子群の標準基底の幾何的構成との間の核心的な予想を証明する。標準的代数同型 γₐ の逆写像が、KLR代数における非分解的射影加群の同型類を、量子群の整数形式における標準基底要素へ写すことを示す。幾何的実現として、G-不変ホモロジーと perverse sheaf の Ext-代数を用いる。

ABSTRACT

We prove some recent conjectures of Khovanov-Lauda concerning the categorification of one-half of the quantum group associated with a simply laced Cartan datum.

研究の動機と目的

• KLR代数の表現論とルスティグの標準基底の幾何的構成との関係を示す Khovanov と Lauda の予想を証明すること。
• 標準的同型 γₐ の逆写像が、KLR代数における非分解的射影的 Rν-モジュールの同型類を、量子群の標準基底へ写すことを確立すること。
• G-不変ホモロジーと perverse sheaf の Ext-代数を用いて、KLR代数の Grothendieck 群の幾何的実現を提供すること。
• KLR代数の Grothendieck 群の像が、構造的議論により γₐ の全射性を確認するため、全標準基底を生成することを示すこと。
• 量子群と KLR代数の Grothendieck 群の同型が、射影的モジュールを通じて標準基底構造を保つことを示すこと。

提案手法

• 次元ベクトル ν ∈ ℕI によって添え字づけられる、クーヴィーからの組み合わせ的データを用いた、KLR代数 Rν を次数付き環として構成する。
• 有限生成次数付き射影的 Rν-モジュールの Grothendieck 群 K(Rν) を用い、A = ℤ[q, q⁻¹] 上の自由 A-加群構造を形成する。
• ルスティグの幾何的構成を用い、Steinberg 多様体の G-不変ホモロジーと畳み込み代数を用いて Ext-代数を実現する。
• Ginzburg の補題を用いて、G-不変ホモロジーにおける Ext-代数と畳み込み代数の関係を確立し、Rν-モジュールの幾何的実現を可能にする。
• G-不変ホモロジーから通常のホモロジーへの忘却写像を用い、YL の単純商が ML に同型であることを示し、一意性を証明する。
• K(Rν) における [Ry] と [YL] が、K(Rν) の torsion-free 性と基底性により等しいことを確立し、Rν-モジュールとしての同型 Rν ≅ YL を導く。

実験結果

リサーチクエスチョン

• RQ1 標準的同型 γₐ の逆写像が、KLR代数における各非分解的射影的 Rν-モジュールの同型類を、量子群の整数形式における対応する標準基底要素へ写すか？
• RQ2 KLR代数の Grothendieck 群は、G-不変ホモロジーと perverse sheaf の Ext-代数を用いて幾何的に実現可能か？
• RQ3 標準的同型 γₐ は全射であり、その像は全標準基底を生成するか？
• RQ4 K(Rν) 内の射影的モジュールは、ラグランジュ部分多様体および局所系統の幾何的データとどのように関係するか？
• RQ5 シフトファンクターと次数構造は、標準基底が非分解的射影的モジュールから生じることを保証するために果たす役割は何か？

主な発見

• 標準的同型 γₐ の逆写像は、各非分解的射影的 Rν-モジュールの同型類を、量子群の整数形式における対応する標準基底要素へ写す。
• Grothendieck 群 K(Rν) と量子群との同型は、Steinberg 多様体上の perverse sheaf の Ext-代数を通じて幾何的に実現される。
• G-不変ホモロジーから通常のホモロジーへの忘却写像が同型を誘導し、YL の単純商が ML に同型であることを証明する。
• K(Rν) 内の [Ry] と [YL] が、torsion-free 性と非分解的射影的モジュールの基底性により等しいことから、Rν-モジュールとしての同型 Rν ≅ YL が導かれる。
• γₐ の全射性は、その像がすべての非分解的射影的モジュールを含むことから従い、Grothendieck 群を生成することが保証される。
• この構成により、標準基底が非分解的射影的モジュールを γₐ⁻¹ で写した像として生じることを確認し、このクラスの代数に対して予想が完全に検証された。