[論文レビュー] Categorification of integrable representations of quantum groups

Hao Zheng|arXiv (Cornell University)|Mar 26, 2008

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

ひとこと要約

この論文は、対称量子カツ・ムーディ代数の最高重み整型表現およびそのテンソル積のカテゴリフィケーションを、クーヴィアリエティ上のマイクロ局所 perverse ファイブレに用いて構成する。Lusztigの正規基底を幾何的に実現し、アーベル的カテゴリフィケーションを通じて新たな正性結果を確立する。この枠組みにおいて、非分解的射影的対象が正規基底のベクトルに対応する。

ABSTRACT

We categorify the highest weight integrable representations and their tensor products of a symmetric quantum Kac-Moody algebra. As byproducts, we obtain a geometric realization of Lusztig's canonical bases of these representations as well as a new positivity result. The main ingredient in the underlying geometric construction is a class of micro-local perverse sheaves on quiver varieties.

研究の動機と目的

• 対称量子カツ・ムーディ代数の最高重み整型表現の幾何的カテゴリフィケーションを提供すること。
• アーベル圏内の非分解的射影的対象の同型類として、Lusztigの正規基底を実現すること。
• カテゴリフィケーション枠組みを通じて、正規基底に対する新たな正性結果を確立すること。
• クーヴィアリエティ上のマイクロ局所 perverse ファイブレの三角的圏 D を構成し、その表現論的性質を符号化すること。
• Grothendieck 群が Q(q) 上の表現に一致するような、幾何的に定義された圏上の完全関手への量子群作用の上昇を実現すること。

提案手法

• 対称量子カツ・ムーディ代数に関連するクーヴィアリエティ上のマイクロ局所 perverse ファイブレの三角的圏 D を構成する。
• 量子群生成子をカテゴリフィケーションする完全関手 E_i^{(n)}, F_i^{(n)}, K_i^± を定義する。
• これらの関手間の自然同型を確立し、それらが量子群 U の定義関係をカテゴリフィケーションすることを示す。
• 最高重みモジュールのテンソル積に対応する D のフル部分圏 Q_ω を抽出する。
• ある代数 A_ω^• に関する加群のアーベル圏 A_ω^•-mof を定義し、その Grothendieck 群が表現 Λ(ω) に同型であることを示す。
• Verdier 対蹠と Ext-関手を用いて、D 内の単純 perverse ファイブレと A_ω^•-mof 内の非分解的射影的加群との関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 対称量子カツ・ムーディ代数の最高重み整型表現は、幾何的ファイブレ理論的手法によってカテゴリフィケーション可能か？
• RQ2 量子群表現のカテゴリフィケーションを通じて、Lusztigの正規基底はどのように幾何的に実現可能か？
• RQ3 クーヴィアリエティ上のマイクロ局所 perverse ファイブレは、量子群表現のカテゴリフィケーションを構成する上で果たす役割は何か？
• RQ4 このようなカテゴリフィケーション枠組みから、正規基底に対する正性結果を導出可能か？
• RQ5 量子群生成子およびその関係は、幾何的に定義された圏上の完全関手へどのように上昇可能か？

主な発見

• アーベル圏 A_ω^•-mof の Grothendieck 群を Q(q) でテンソルしたものは、U-加群構造をもち、表現 Λ(ω) に同型である。
• A_ω^•-mof 内の非分解的射影的対象は、ちょうど Λ(ω) の正規基底ベクトルに対応する。
• カテゴリフィケーションは、余接 bundle よりも一般化されたクーヴィアリエティ上のマイクロ局所 perverse ファイブレによって実現される。
• 新たな正性結果が得られた：正規基底の構造定数は、カテゴリフィケーションの設定において非負整数である。
• 関手 Ext^•_D(L_ω,ν, −) は、部分圏 Q_ω と圏 A_ω^•-mof 間の同値を誘導し、U-加群同型を誘導する。
• Grothendieck 群上の量子群生成子の作用は、関手 E_i^{(n)•}, F_i^{(n)•}, K_i^{±•} によるテンソル積として実現される。