[論文レビュー] Highest weight categories arising from Khovanov's diagram algebra III: category O

Jonathan Brundan, Catharina Stroppel|arXiv (Cornell University)|Dec 5, 2008

Algebraic structures and combinatorial models参考文献 40被引用数 23

ひとこと要約

本稿では、高レベルのシューア＝ヴァイエルシュトラス双対性を用いて、gl_{m+n}(C) の放物型カテゴリ O の積分的ブロックと一般化されたクラフノフ代数の擬代数的被覆の間の直接的な代数的同型を確立する。主な貢献は、2-カクムーディー表現の明示的で図式的な実現であり、図式的かつカテゴリ O の射影的関手の間の明示的対応を通じて、関手的トゥーブル不変量に関する予想を解決することにある。

ABSTRACT

We prove that integral blocks of parabolic category O associated to the subalgebra gl(m) x gl(n) of gl(m+n) are Morita equivalent to quasi-hereditary covers of generalised Khovanov algebras. Although this result is in principle known, the existing proof is quite indirect, going via perverse sheaves on Grassmannians. Our new approach is completely algebraic, exploiting Schur-Weyl duality for higher levels. As a by-product we get a concrete combinatorial construction of 2-Kac-Moody representations in the sense of Rouquier corresponding to level two weights in finite type A.

研究の動機と目的

• 放物型カテゴリ O の積分的ブロックと一般化されたクラフノフ代数の擬代数的被覆の間の同型を、間接的な幾何的技法を回避して直接的な代数的証明で確立すること。
• 図式代数を用いて、レベル2の有限型 A における 2-カクムーディー表現の明示的組合せ的構成を確立すること。
• クラフノフ代数から定義された図式的射影的関手が、放物型カテゴリ O の標準的射影的関手と一致することを特定すること。
• この同型を通じて、[S2] の予想 2.9 が、クラフノフの関手的トゥーブル不変量とルークイエの関手的トゥーブル不変量の関係を検証できることを示すこと。
• 主ブロックを超えて、放物型カテゴリ O のすべての積分的ブロックへのモリタ同型の拡張すること。

提案手法

• 一般線型リー代数 gl_{m+n}(C) の表現と、標準表現の対称冪および外冪のテンソル積との間の関係を、高レベルのシューア＝ヴァイエルシュトラス双対性を用いて確立する。
• クロスレスマッチングと向き付けられた円周図を用いて、一般化されたクラフノフ代数 K^{n}_{m} の次数付きセルラーベースを構成する。
• クロスレスマッチングに付随する幾何的バイモジュールとのテンソル積を用いて、K^{n}_{m}-モジュール圏上の射影的関手を定義する。
• 重み辞書と組合せ的インデキシングを用いて、rep(K^{n}_{m}) と放物型カテゴリ O のすべての積分的ブロックの直和の間の圏同型を確立する。
• 標準的モジュールおよび既約モジュールへの作用を比較することで、[BS2] の図式的関手がカテゴリ O の標準的射影的関手と正確に一致することを証明する。
• クラフノフ＝ラウダ＝ルークイエ代数の巡回商と、非退化的アフィンヘッケ代数を用いて、テンソル空間の自己準同型代数を実現し、この同型を次数付き設定に持ち上げる。

実験結果

リサーチクエスチョン

• RQ1 放物型カテゴリ O の積分的ブロックと一般化されたクラフノフ代数の擬代数的被覆の間の同型は、 perverse 契約やグラスマンニアン上の perverse 契約を避けて、直接的な代数的技法によって確立可能か？
• RQ2 K^{n}_{m}-モジュール上の図式的に定義された射影的関手は、放物型カテゴリ O の標準的射影的関手と一致するか？
• RQ3 図式代数を用いて、レベル2の有限型 A における 2-カクムーディー表現の明示的組合せ的構成が達成可能か？
• RQ4 クラフノフのトゥーブル不変量とルークイエのトゥーブル不変量の関係を示す [S2] の予想 2.9 は、この代数的同型を通じて検証可能か？
• RQ5 Λ(m,n) の重みの組合せ論は、一般化されたクラフノフ代数におけるカップ、キャップ、円周の図式的計算とどのように関係するか？

主な発見

• gl_m(C) ⊕ gl_n(C) に付随する gl_{m+n}(C) の放物型カテゴリ O の積分的ブロックは、直接的な代数的構成により、一般化されたクラフノフ代数 K^{n}_{m} の擬代数的被覆とモリタ同型である。
• 図式的に定義された [BS2] の射影的関手は、カテゴリ O の標準的射影的関手と同型であり、関手的トゥーブル不変量のための重要な同定を確認した。
• K^{n}_{m}-モジュールの図式的計算を通じて、レベル2の有限型 A における 2-カクムーディー表現の明示的組合せ的構成が実現された。
• この同型は、グラスマンニアン上の perverse 契約などの間接的幾何的技法を避けて、高レベルのシューア＝ヴァイエルシュトラス双対性を用いて確立された。
• 両圏における既約モジュール、標準的モジュール、射影的モジュールは、λ ∈ Λ(m,n) を向き付けられた円周図に結びつける重み辞書により明示的に一致した。
• 両設定におけるテンソル空間の自己準同型代数は、それぞれ非退化的アフィンヘッケ代数の巡回商とクラフノフ＝ラウダ＝ルークイエ代数の巡回商に同型である。