[論文レビュー] Field theories, stable homotopy theory and Khovanov homology

Po Hu, Daniel Kriz+1 more|arXiv (Cornell University)|Mar 21, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用数 21

ひとこと要約

本稿では、$k$ を連結 $K$-理論とするとき、$k$-加群へのKhovanovホモロジーの refinement を、モジュラー関手から $k$-加群への実現関手を用いて構成する。Elmendorf-Mandell の群oids に値をとる多圏の枠組みを用いることで、著者たちはKhovanovの $\mathrm{sl}_2$-ホモロジーを安定ホモトピー論的不変量へと持ち上げる自然な多関手を確立し、最終的に $H\mathbb{Z}$-スモークを介して既知のKhovanovチェーン複体と整合することを示す。

ABSTRACT

In this paper, we discuss two topics: first, we show how to convert 1+1-topological quantum field theories valued in symmetric bimonoidal categories into stable homotopical data, using a machinery by Elmendorf and Mandell. Then, we discuss, in this framework, two recent results (independent of each other) on refinements of Khovanov homology: our refinement into a module over the connective k-theory spectrum and a stronger result by Lipshitz and Sarkar refining Khovanov homology into a stable homotopy type.

研究の動機と目的

• モジュラー関手から $k$-加群への実現関手を用いて、$k$ が連結 $K$-理論であるときのKhovanovホモロジーの $k$-加群への refinement を構成すること。
• Elmendorf-Mandell の機械を用いて、コボルディズム多圏から $k$-加群への $\star$-関手の自然な構成を可能にすること。
• 得られた不変量を $H\mathbb{Z}$ とテンソル積にとったとき、元のKhovanovホモロジーのチェーン複体が回復されることを示すこと。
• Khovanovの構成の背後にある幾何学的および圏論的構造を、対称スペクトルへのlax 2-関手として特定することで明確化すること。
• 初期段階でスピン構造が必要であったが最終的には不要であったという見かけ上のパラドックスを解消すること。

提案手法

• 群oids に値をとる多圏（普遍的な $n$-項演算を備えた $\star$-圏）を用いて、モジュラー関手とコボルディズム構造を公理化すること。
• Elmendorf-Mandell の機械を用いて、$\star$-圏の分類空間から $k_{\mathcal{C}}$-加群への多関手を構成すること。
• スピン $1+1$-コボルディズム圏 $\mathcal{A}_s^A$ 上にモジュラー関手を構成し、後に非スピン版に簡略化すること。
• KhovanovのTQFTを、有限集合の対称双モノイダル圏へのlax 2-関手として特定し、それを対称スペクトルへと持ち上げること。
• 得られた $k$-加群不変量を $H\mathbb{Z}$ とスモークして、[6] の第IV.2節における同型を介してKhovanovチェーン複体を回復すること。
• 単体的実現がElmendorf-Mandellの機械とホモトピー余極限を可換にすることを用いて、チェーン複体と整合することを保証すること。

実験結果

リサーチクエスチョン

• RQ1 Khovanovホモロジーは、$k$ が連結 $K$-理論であるとき、$k$-加群値の安定ホモトピー論的不変量へと持ち上げられるか？
• RQ2 モジュラー関手が有限次元 $\mathbb{C}$-ベクトル空間値をとるとき、$k$-加群への自然な実現関手が存在するか？
• RQ3 初期段階では必要であったが最終的には不要となったスピン構造は、なぜ最終的な構成で消えるのか？
• RQ4 Elmendorf-Mandell の機械は、コボルディズムの多圏構造と $\star$-演算とどのように作用するか？
• RQ5 $k$-加群の refinement が $H\mathbb{Z}$ とテンソル積をとったとき、元のKhovanovホモロジーが回復可能であることを示せるか？

主な発見

• 任意の $\mathcal{C}$-値モジュラー関手をもつ $\star$-圏 $\mathcal{Q}$ から、Elmendorf-Mandell の機械を用いて、$M: B_2\mathcal{Q} \to k_{\mathcal{C}}\text{-modules}$ なる自然な多関手 $M$ が構成される。
• $M_{X_1} \wedge_{k_{\mathcal{C}}} \cdots \wedge_{k_{\mathcal{C}}} M_{X_n} \to M_{X_1 \star \cdots \star X_n}$ は同型であり、これは $k_{\mathcal{C}}$-加群圏における $\star$-構造の反映である。
• 標準的コボルディズム圏 $\mathcal{A}$ での初期の試みが失敗したにもかかわらず、Khovanovホモロジーの $k$-加群への refinement は、この構成によって成功している。
• スピン構造の要請は初期段階のモジュラー関手には必要であったが、最終的な不変量ではキャンセルされ、非スピン版の refinement が得られた。
• $k$-加群不変量を $H\mathbb{Z}$ とスモークすると、そのホモロジーがKhovanovホモロジーと同型となるチェーン複体が得られ、元の理論と整合することが確認された。
• Lipshitz と Sarkar の研究により、この構成の背後にある幾何的原理が、埋め込まれたコボルディズムの圏 $\mathcal{A}_K$ 内に位置していることが明確化された。