[論文レビュー] A Categorification of Quantum sl_3 Projectors and the sl_3 Reshetikhin-Turaev Invariant of Tangles

David E. V. Rose|arXiv (Cornell University)|Sep 8, 2011

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

ひとこと要約

この論文は、MorrisonとNiehによるsl₃リンクホモロジーの幾何的 categorificationに基づき、k巻きのトーラスbraidsに割り当てられる複体の安定極限をとることで、量子sl₃射影子—sl₃ Reshetikhin-Turaev不変量の中心的要素—のカテゴリファイケーションを構成する。安定極限は、sl₃射影子をカテゴリファイする複体をもたらし、射影子を挿入したtangle図式へのホモトピー不変な割り当てを可能にし、フレーム付きtangleのsl₃ Reshetikhin-Turaev不変量の完全なカテゴリファイケーションを実現する。

ABSTRACT

We construct a categorification of the quantum sl_3 projectors, the sl_3 analog of the Jones-Wenzl projectors, as the stable limit of the complexes assigned to k-twist torus braids (as k goes to infinity) in a suitably shifted version of Morrison and Nieh's geometric formulation of sl_3 link homology (math.GT/0612754). We use these projectors to give a categorification of the sl_3 Reshetikhin-Turaev invariant of framed tangles.

研究の動機と目的

• sl₂におけるJones-Wenzl射影子のカテゴリファイケーションをsl₃設定へ拡張すること。
• 安定極限構成を用いて、sl₃射影子（別名「内部クラップ」または「マジック要素」）のカテゴリファイド版を構成すること。
• フレーム付きtangleのカテゴリファイドsl₃ Reshetikhin-Turaev不変量を定義し、古典的不変量にデカテゴリファイできるようにすること。
• 得られた不変量が、Reidemeister移動および射影子挿入位置に関してホモトピー型に依存しないことの確立。
• ウェブとフォームの枠組みにおけるスパイラルスパイラル（foam calculus）および複体の技術を用いて、図式的・幾何的構成によりカテゴリファイド射影子を構築すること。

提案手法

• MorrisonとNiehが開発した、ウェブとフォームを用いてtangleに複体を割り当てる、sl₃リンクホモロジーの幾何的カテゴリファイケーションを用いる。
• 適切にシフトされた複体の圏において、k巻きのトーラスbraidsに割り当てられる複体の安定極限（k → ∞の極限）として、カテゴリファイドsl₃射影子を構成する。
• ホモロジー代数の技術、特に複体の計算とガウスの消去法を用いて、tangle図式から生じる複体を簡略化・解析する。
• 閉じたウェブからgraded vector spaceのコホモロジーを抽出するために、関手Hom(∅, −)を適用し、カテゴリファイド不変量をgraded vector spaceの複体として得る。
• スパイラルスパイラルにおける図式的計算、特に局所関係およびフォーム関係を用いて、Reidemeister移動および射影子のスライドに関して不変性を検証する。
• Rozanskyによるsl₂におけるカテゴリファイド射影子の結果を図式として用い、ウェブとフォーム形式を介してsl₃設定に適応する。

実験結果

リサーチクエスチョン

• RQ1 Jones-Wenzl射影子がsl₂の場合にカテゴリファイされたのと同様に、量子sl₃射影子をカテゴリファイすることは可能か？
• RQ2 sl₃設定において、k巻きのトーラスbraidsに割り当てられる複体の安定極限は、well-definedなカテゴリファイド射影子をもたらすか？
• RQ3 得られたフレーム付きtangleのカテゴリファイド不変量は、R2およびR3のReidemeister移動に関して不変であり、射影子の挿入位置に依存しないか？
• RQ4 ウェブとフォームを用いた幾何的・図式的形式主義により、カテゴリファイドsl₃ Reshetikhin-Turaev不変量を構成できるか？
• RQ5 得られた複体のホモロジー的および次数構造は、古典的sl₃不変量をどのように反映しているか？

主な発見

• k巻きのトーラスbraidsに割り当てられる複体はk → ∞において安定化し、その安定極限はカテゴリファイドsl₃射影子を定義する。
• カテゴリファイド射影子は、スパイラル圏におけるsl₃射影子の定義的関係のカテゴリファイド版を満たす。
• フレーム付きtangleのカテゴリファイド不変量は、R2およびR3のReidemeister移動に関してホモトピー同値の意味でwell-definedである。
• 不変量は、tangleの成分に射影子を挿入する位置に依存しない。
• 明示的な計算により、不変量複体のコホモロジーが、特定の次数シフトとランクを伴い、古典的sl₃ Reshetikhin-Turaev不変量をgraded次元で回復することが示された。
• 例えば、(+ + +) tangleの不変量は、j = -4, -2, 0（ランク1）のコホモロジー群をもち、より高い次数では周期的構造を示し、期待される古典的不変量と一致する。