[論文レビュー] Knot invariants and higher representation theory

Ben Webster|Sep 15, 2013

Algebraic structures and combinatorial models参考文献 74被引用数 51

ひとこと要約

本稿は、2-量子群の2表現と図式的カテゴライゼーションを用いて、すべての有限次元表現における量子群の量子 knot 不変量をカテゴライズ化する双次数 knot homology を構成する。この不変量は、sl₂ に対して Khovanov homology を回復し、slₙ に対しては Mazorchuk-Stroppel-Sussan homology を回復する。また、Khovanov-Lauda の2カテゴリーの非退化性と、サイクロトニック KLR 環の Frobenius 構造を確立する。

ABSTRACT

We construct knot invariants categorifying the quantum knot variants for all representations of quantum groups. We show that these invariants coincide with previous invariants defined by Khovanov for sl_2 and sl_3 and by Mazorchuk-Stroppel and Sussan for sl_n. Our technique is to study 2-representations of 2-quantum groups (in the sense of Rouquier and Khovanov-Lauda) categorifying tensor products of irreducible representations. These are the representation categories of certain finite dimensional algebras with an explicit diagrammatic presentation, generalizing the cyclotomic quotient of the KLR algebra. When the Lie algebra under consideration is $\mathfrak{sl}_n$, we show that these categories agree with certain subcategories of parabolic category O for gl_k. We also investigate the finer structure of these categories: they are standardly stratified and satisfy a double centralizer property with respect to their self-dual modules. The standard modules of the stratification play an important role as test objects for functors, as Vermas do in more classical representation theory. The existence of these representations has consequences for the structure of previously studied categorifications. It allows us to prove the non-degeneracy of Khovanov and Lauda's 2-category (that its Hom spaces have the expected dimension) in all symmetrizable types, and that the cyclotomic quiver Hecke algebras are symmetric Frobenius. In work of Reshetikhin and Turaev, the braiding and (co)evaluation maps between representations of quantum groups are used to define polynomial knot invariants. We show that the categorifications of tensor products are related by functors categorifying these maps, which allow the construction of bigraded knot homologies whose graded Euler characteristics are the original polynomial knot invariants.

研究の動機と目的

• 量子群のすべての有限次元表現に対して、最小限または基本的表現にとどまらない、一様な量子 knot 不変量のカテゴライゼーションを構築すること。
• 2-量子群の図式的2表現理論を確立し、テンソル積表現をカテゴライズ化すること。
• 得られた knot homology が、適切なラベリングのもとで既知の構成—sl₂ に対しては Khovanov homology、slₙ に対しては Mazorchuk-Stroppel-Sussan homology—と一致することを証明すること。
• カテゴライズ化された表現理論を用いて、Khovanov-Lauda の2カテゴリーの非退化性と、サイクロトニック KLR 環の Frobenius 構造を示すこと。

提案手法

• Rouquier や Khovanov-Lauda の意味での 2-量子群の 2 表現を用いて、不可約表現のテンソル積をカテゴライズ化する。
• KLR 環のサイクロトニック商を一般化する図式的表示を持つ有限次元代数を構成する。
• 自己双対的射影的を持つ標準的ストラティフィケーション付きのカテゴリを導入し、ヴェルマ型モジュールに類似したテスト関手を定義する。
• ブレーディング関手およびコエバaluacion/エバリュエーション関手を定義し、Reshetikhin-Turaev 写像をカテゴライズ化することで、tangle や link 不変量を可能にする。
• モリタ同値関係を確立し、Enright-Shelton および Zuckerman 関手を用いて、カテゴライズ化された表現をパラボリック category O と関連付ける。
• 二重中心化性とストラティフィケーションを適用し、非退化性や Frobenius 形式といった構造的結果を証明する。

実験結果

リサーチクエスチョン

• RQ1 量子群のすべての有限次元表現（最小限や基本的表現に限らない）に対して、一様な量子 knot 不変量のカテゴライゼーションを構築することは可能か？
• RQ2 カテゴライズ化されたテンソル積表現は、パラボリック category O のような古典的表現カテゴリとどのように関係するか？
• RQ3 2-量子群の図式的2表現から得られる不変量は、Khovanov や Khovanov-Rozansky homology のような既知の knot homology を回復するか？
• RQ4 これらのカテゴライズ化された表現の存在から、非退化性や Frobenius 形式といった構造的性質（例：非退化性、Frobenius 形式）をどのように導けるか？
• RQ5 カテゴライズ化された設定におけるブレーディング関手およびエバリュエーション関手は、量子トポロジーにおける Reshetikhin-Turaev の構成とどのように対応するか？

主な発見

• ラベルが最高ウェイト λi であるリンク L に対して構築された knot homology K(L, {λi}) は、その重み付きオイラー指標として古典的量子不変量を回復する。
• g = sl₂ および標準的表現の場合、この不変量は重みづれを除いて Khovanov homology と一致する。
• g = sl₃ および標準的表現の場合、この不変量は Khovanov-Rozansky homology と一致する。
• g = slₙ および標準的表現の場合、この不変量は Mazorchuk-Stroppel-Sussan homology と一致する。
• Khovanov-Lauda の2カテゴリーが非退化であることが証明された：すべての対称的タイプにおいて、その Hom 空間が期待される次元を持つ。
• サイクロトニッククイバー Hecke 環が対称的 Frobenius 代数であることが示され、重要な構造的予想が確認された。