[論文レビュー] The diagrammatic Soergel category and sl(N)-foams, for N > 3

Marco Mackaay, Pedro Vaz|arXiv (Cornell University)|Nov 12, 2009

Algebraic structures and combinatorial models参考文献 13被引用数 7

ひとこと要約

この論文は、EliasとKhovanovの図式的Soergel圏から、すべてのN ≥ 4に対してsl(N)-フォームの圏へのモノイダル関手を構成し、Soergelの圏がこれらの関手を介してsl(N)-フォームから完全に回復可能であることを示している。主な結果は、ある準同型がすべてのこのような関手のもとで0に写されるならば、元の圏においても0でなければならないことであり、忠実性を証明するとともに、Soergelの圏のすべての定義的関係がフォーム関係から生じることを示している。

ABSTRACT

For each N≥4, we define a monoidal functor from Elias and Khovanov's diagrammatic version of Soergel's category of bimodules to the category of sl(N) foams defined by Mackaay, Stošić, and Vaz. We show that through these functors Soergel's category can be obtained from the sl(N) foams.

研究の動機と目的

• EliasとKhovanovの図式的Soergel圏から、各N ≥ 4に対してsl(N)-フォームの圏へのモノイダル関手を確立すること。
• Soergelの圏が、これらの関手を用いてsl(N)-フォームから再構成可能であることを示すこと。
• N ≥ 4のとき、Soergelの圏におけるすべての定義的関係が、sl(N)-フォーム圏の関係の結果として生じることを示すこと。
• フォーム関係を用いた図式的実現を通じてSoergelの圏を再構成し、Khovanov-Rozanskyホモロジーおよびスペクトル系列の新たな視点を提供すること。

提案手法

• 各N ≥ 4に対して、図式的Soergel圏SC1,nからsl(N)-フォームの圏への関手FN,nを定義する。
• 関手がモノイダル構造を保ち、図式的Soergel圏のすべての生成子と関係を満たすことを検証する。
• 同相不変性、フォーム関係（DR31, MP, Bubble）、およびKapustin-Liの公式を用いて、(13)、(14)、(18)などの関係の整合性を確認する。
• 開いた面にドットを追加する閉包技術を用いて、準同型の非自明性をテストする。各球面にちょうどN−1個のドットがあるとき、閉包においては唯一の項が生き残ることを活用する。
• 自己準同型の多項式構造と次数の議論を用いて、FN,n(f) = 0 がすべてのN ≥ 4で成り立つならばf = 0 であることを示し、忠実性を証明する。
• 既知の結果[2]、[3]、[11]を用いて、一般の場合を空対象や単一色の生成子などの簡単なケースに還元する。

実験結果

リサーチクエスチョン

• RQ1 図式的Soergel圏は、N ≥ 4のとき、関手的構成を用いてsl(N)-フォーム圏から完全に回復可能か？
• RQ2 図式的Soergel圏におけるすべての定義的関係は、sl(N)-フォーム圏の関係の結果として生じるか？
• RQ3 N ≥ 4のとき、図式的Soergel圏からsl(N)-フォーム圏への忠実な関手は存在するか？
• RQ4 Kapustin-Liの公式とフォーム関係を用いて、Soergelの圏の構造を図式的に再構成可能か？

主な発見

• この論文は、各N ≥ 4に対して図式的Soergel圏からsl(N)-フォーム圏へのモノイダル関手FN,nを構成している。
• 関手FN,nは、図式的Soergel圏のすべての生成子と関係、すなわち同相不変性、一色、二色、三色の関係を保っている。
• 主な結果は、Soergel圏の準同型fがすべてのN ≥ 4に対してFN,n(f) = 0 ならば、f = 0 である、つまり関手が忠実であるということである。
• この忠実性から、N ≥ 4のとき、Soergelの圏のすべての定義的関係がsl(N)-フォーム圏の関係の結果であることが導かれる。
• 証明には閉包技術を用いる：開いた面にドットを追加することで、各球面にちょうどN−1個のドットがあるとき、閉包においては唯一の項が生き残り、十分に大きなNに対して非自明性が保証される。
• この結果は、Soergelの圏がこれらの関手を介してsl(N)-フォームから得られることを示し、フォーム関係を用いたSoergelの圏の図式的実現を提供する。