[論文レビュー] Rouquier Complexes are Functorial over Braid Cobordisms

Ben Elias, Daniel Krasner|ArXiv.org|Jun 25, 2009

Geometric and Algebraic Topology参考文献 12被引用数 6

ひとこと要約

この論文は、図式的Soergel bimoduleの計算を用いて構成されるRouquier複体が、ブレードコーボァードィズムの圏からSoergel bimoduleのホモトピー圏への厳密なファンクターを定義することを確立する。主な貢献は、映像移動の生成子に対応する明示的でファンクター的なチェーン写像の割り当てであり、これはブレード群作用のカテゴライゼーションが、射影的ではなく厳密にファンクター的であることを証明する。

ABSTRACT

Using the diagrammatic calculus for Soergel bimodules developed by B. Elias and M. Khovanov, we show that Rouquier complexes are functorial over braid cobordisms. We explicitly describe the chain maps which correspond to movie move generators.

研究の動機と目的

• ブレードコーボァードィズムの圏上でRouquier複体の厳密なファンクター性を確立し、以前の射影的ファンクター性の結果を拡張すること。
• 図式的Soergel bimoduleを用いて、ブレードコーボァードィズム圏における映像移動生成子に対応するチェーン写像を明示的に構成すること。
• ファンクター性が整数環Z上で成り立つことを示し、リンクホモロジー理論の整数上への可能性を高めること。
• すべての映像移動関係が、図式的計算におけるブルートフォース計算によって割り当てられたチェーン写像が満たすことを検証すること。
• チェーン写像に次数2の項がない状況においても、ファンクター性に必要な関係が図式的計算で十分であることを示すこと。

提案手法

• EliasとKhovanovが開発したSoergel bimoduleの図式的計算を用い、生成子に色を割り当て、射を平面グラフとして表現する。
• ブレード図に対応するbimodule複体の総複体としてRouquier複体を構成し、ホモロジー次元および内部次元のグレーディングを導入する。
• 図式的関係とホモトピー同値を用いて、各映像移動生成子（例：Reidemeister移動、ハンドルキャンセレーション）に対し明示的なチェーン写像を割り当てる。
• すべての映像移動（Type IおよびType IIを含む）のブルートフォース検証を、割り当てられたチェーン写像が必要なホモトピー関係を満たすことを確認することで行う。
• ホモトピー的に孤立した和成分の概念を用いて、$ B_i \bigotimes B_i \to B_i\{-1\} \oplus B_i\{1\} $ などの同型を検証し、特に整数設定において有効であることを示す。
• すべての関係と写像が整数係数を持つように、または2-torsionの問題を避けるために $ \mathbb{Z}[1/2] $ を用いることで、整数設定 $ \mathbb{Z} $ への拡張を実現する。

実験結果

リサーチクエスチョン

• RQ1 Rouquier複体を、射影的ではなく、ブレードコーボァードィズム上で厳密にファンクター的にすることができるか？
• RQ2 Soergel bimoduleの文脈において、ブレードコーボァードィズム圏の生成子（すなわち、映像移動）に対応する明示的なチェーン写像は何か？
• RQ3 ブレードコーボァードィズム圏からSoergel bimoduleのホモトピー圏へのファンクターを、コーボァードィズム圏のすべての関係を尊重する形で定義することは可能か？
• RQ4 Soergel bimoduleの図式的計算を用いて、有理数係数に依存せずに、Z上でRouquier複体のファンクター性を検証する方法は何か？
• RQ5 図式的計算におけるどの関係がファンクター性に本質的であり、どの関係が余分であるか、あるいは他の関係から導かれるか？

主な発見

• ブレードへのRouquier複体の割り当ては、ブレードコーボァードィズムの圏からSoergel bimoduleのホモトピー圏への厳密なファンクターに拡張される。
• すべての映像移動生成子に対し明示的なチェーン写像が構成され、それらの合成関係はブレードコーボァードィズム圏の関係と一致する。
• すべての映像移動（MM8–MM10を含む、より複雑なものも含む）のブルートフォース計算により、ファンクター性が検証された。
• 次数-2に位置する関係(13)および(25)は、直接的にチェーン写像に現れないが、Rが射に自由に作用すると仮定すれば、他の関係から導かれることが示された。
• すべての写像と関係が $ \mathbb{Z} $ 上で定義され、ファンクターが $ \mathbb{Z} $ や $ \mathbb{Z}[1/2] $ 上でも正しく定義されることを示した。
• 隣接する色が存在する場合、同型 $ B_i \otimes B_i \cong B_i\{-1\} \oplus B_i\{1\} $ は $ \mathbb{Z} $ 上で成り立ち、色が隣接しない場合でも圏の拡張によりその同型を拡張可能である。