[論文レビュー] A combinatorial approach to functorial quantum sl(k) knot invariants

Volodymyr Mazorchuk, Catharina Stroppel|arXiv (Cornell University)|Sep 12, 2007

Algebraic structures and combinatorial models参考文献 17被引用数 4

ひとこと要約

本稿は、カテゴリ $Ø$ の放物的特異ブロックを用いて、量子 $σλ_k$ ねじれ不変量の組み合わせ的カテゴリフィケーションを提示する。これは、関手と自然変換を介して、ケーブル・ロザンスキー homology の表現論的実現を提供する。三価のウェブに対して、カテゴリ $Ø$ の射影的関手を用いた関手値不変量を構築し、導来カテゴリが交差を解消する。この手法は、Mackaay-Stosic-Vaz のフォームに基づく構成を自然に回復し、制限によって、ケーブル・ロザンスキー homology を予想的に得ることを示している。

ABSTRACT

This paper contains a categorification of the sl(k) link invariant using parabolic singular blocks of category O. Our approach is intended to be as elementary as possible, providing combinatorial proofs of the main results of Sussan. We first construct an exact functor valued invariant of webs or 'special' trivalent graphs labelled with 1, 2, k-1, k satisfying the MOY relations. Afterwards we extend it to the sl(k)-invariant of links by passing to the derived categories. The approach using foams appears naturally in this context. More generally, we expect that our approach provides a representation theoretic interpretation of the sl(k)-homology, based on foams and the Kapustin-Lie formula. Conjecturally this implies that the Khovanov-Rozansky link homology is obtained from our invariant by restriction.

研究の動機と目的

• 放物的特異ブロックを用いたカテゴリ $Ø$ の組み合わせ的カテゴリフィケーションを、導来関手を最初から避けることで、$σλ_k$ リンク不変量に適用する。
• ラベル $1,2,k-1,k$ を持つ三価ウェブに対して、完全関手と組み合わせ的技法を用いて関手値不変量を確立し、MOY関係式を満たす。
• この不変量の導来カテゴリへの拡張が、[16] および [19] のフォームに基づく不変量との自然な対応を通じてケーブル・ロザンスキー homology を得ることを示す。
• 射影的関手とカジダーン＝ルシュティグ組み合わせ論の標準的事実に依拠して、カテゴリ $Ø$ の文脈で MOY 関係式の組み合わせ的証明を提供する。
• 一般化された完全構成が、零重量空間への制限により、Mackaay-Stosic-Vaz homology を実現し、したがってケーブル・ロザンスキー homology を得ることを予想する。

提案手法

• 放物的ブロックにおける射影的関手を用いて、特別な三価グラフ（ウェブ）の完全関手値不変量を構築する。
• 対称群の組み合わせ論と移動関手を用いて、三価グラフが射影的加群上に作用する様子をモデル化する。
• 交差を導来関手によって解消する導来カテゴリへの移行により、この不変量をトゥールとリンクに拡張する。
• 射影的加群の自己準同型環における対称多項式のトレースを通じて、基本的フォームに対応する自然変換を関連付ける。
• Soergelの自己準同型定理を用いて、部分旗多様体のコホモロジー環を射影的関手の自己準同型環と特定する。
• 完全不変量を零重量空間に制限することで、[16] のフォームに基づく不変量を直接的な関手と次数付きベクトル空間の対応を通じて回復する。

実験結果

リサーチクエスチョン

• RQ1 導来カテゴリは交差に対してのみ必要であり、最初から導来関手を必要としないように、$σλ_k$ リンク不変量をアーベルカテゴリのみでカテゴリフィケーションできるか？
• RQ2 放物的カテゴリ $Ø$ から構築された関手的不変量は、自然に [16] および [19] のフォームに基づく構成を回復できるか？
• RQ3 完全カテゴリフィケーションを零重量空間に制限した場合、Mackaay-Stosic-Vaz homology と等価であり、したがってケーブル・ロザンスキー homology と等価であるか？
• RQ4 ウェブに基づく関手の完全分解が、ウェブ基底と双対正規基底の間の変換行列によって記述できるか？
• RQ5 フォームに対応する自然変換（例：シータフォーム）は、射影的関手の自己準同型環における対称多項式のトレースとしてどのように対応するか？

主な発見

• MOY 関係式が、放物的カテゴリ $Ø$ の文脈で組み合わせ的に検証され、放物的ブロックへの制限により誤差項が消える。
• 三価ウェブの関手値不変量は、射影的関手と移動関手を用いて構築され、三価グラフの作用は、ボックス図における対称群作用によってモデル化される。
• この不変量の導来カテゴリへの拡張は、[16] のフォームに基づく構成と一致するリンクホモロジーを生成し、トレース写像を通じて自然変換が基本的フォームに対応する。
• シータフォームは、自己準同型環の生成元における単項式のトレースとして与えられる自然変換として実現され、フォーム成分上のドットに対応する。
• 完全不変量の零重量空間への制限により、[16] の次数付きベクトル空間不変量が回復され、Mackaay-Stosic-Vaz homology への直接的なリンクが確立される。
• 予想的に、完全構成はケーブル・ロザンスキー homology を実現し、Kapustin-Lie 公式に由来する自然変換とシュール多項式の相互作用が生じる。