[論文レビュー] On the classification of Floer-type theories

Nadya Shirokova|ArXiv.org|Apr 10, 2007

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

ひとこと要約

この論文は、フロア型ホモロジー理論を「有限型理論」として分類するフレームワークを提示する。そのために、結び目の空間上の局所系統として理論をモデル化し、錐構成を用いて特異的領域へ拡張し、カテゴライズ化されたヴァシルエフ微分を定義する。主な貢献は、カフォヴォフホモロジーが有限型理論の「テイラー級数」に分解されることを示したことである。これは、オルツァシュ＝ツァボおよびセイバーグ＝ワッテンの理論を介して3次元および4次元多様体へ一般化される。

ABSTRACT

In this paper we outline a program for the classification of Floer-type theories, (or defining invariants of finite type for families). We consider Khovanov complexes as a local system on the space of knots introduced by V. Vassiliev and construct the wall-crossing morphism. We extend this system to the singular locus by the cone of this morphism and introduce the definition of the local system of finite type. This program can be further generalized to the manifolds of dimension 3 and 4.

研究の動機と目的

• カテゴライズ化された結び目不変量を有限型理論として統一的に分類するフレームワークの構築。
• 壁を越える写像の錐構成を用いて、滑らかな結び目から特異的結び目にカフォヴォフホモロジーを拡張すること。
• ヴァシルエフ微分の概念をホモロジー代数へ一般化し、三角圏における写像の錐として解釈すること。
• このアプローチを3次元および4次元多様体不変量へ拡張すること。特にオルツァシュ＝ツァボおよびセイバーグ＝ワッテン理論を含む。
• 多様体の位相的空間と三角圏内の代数的構造との間の対応を確立し、幾何的不変量の代数的分類を可能にする。

提案手法

• ハッチャーのモデルを用いて結び目の空間をホモトピー型としてモデル化し、局所系統の構成を可能にする。
• リーデマイスター移動およびヤコブソン移動を用いて、結び目の空間上にカフォヴォフ複体の局所系統を定義し、函子的性質を保証する。
• 特異的結び目をはさんでカフォヴォフ複体の間の壁を越える写像を構成し、この写像の錐を用いて局所系統を特異的領域へ拡張する。
• 壁を越える写像の錐を用いて有限型理論を定義し、ヴァシルエフ微分をカテゴライズ化する。
• 3次元多様体に対して、オルツァシュ＝ツァボホモロジーの局所系統を構築し、特異的構造へ拡張する。
• クインの定理とグロモフのh原理を用いて4次元多様体へ一般化し、平行化可能な4次元多様体を球面上の関数の零点集合として表現する。

実験結果

リサーチクエスチョン

• RQ1 ホモロジー代数を用いて、フロア型ホモロジー理論を体系的に有限型不変量として分類する方法は何か？
• RQ2 カテゴライズ化された不変量の文脈において、ヴァシルエフ微分の代数的類似物は何か？
• RQ3 カフォヴォフホモロジーは、繰り返しの切断を用いて「テイラー級数」の有限型理論に分解可能か？
• RQ4 3次元多様体上のオルツァシュ＝ツァボホモロジーの局所系統は、特異的構造へどのように拡張され、有限型不変量として定義されるか？
• RQ5 このフレームワークは、特にセイバーグ＝ワッテンまたはグコフ＝ウィッテンのカテゴライズ化を介して4次元多様体へ一般化可能か？

主な発見

• カフォヴォフホモロジーが、複体の各項が切断に対応する有限型理論の「テイラー級数」に分解されることを示した。
• 特異的結び目をはさんでカフォヴォフ複体間の壁を越える写像を構成し、その錐を用いて有限型条件を定義した。
• ヴァシルエフ微分が、壁を越える写像の錐としてカテゴリー的に実現され、古典的な skein 関係がホモロジー的レベルに一般化された。
• カフォヴォフ複体の局所系統が、錐構成を用いて結び目の空間の特異的領域へ一貫して拡張可能であることが示された。
• 3次元多様体のオルツァシュ＝ツァボホモロジーは、制限された圏において有限型1次であることが示され、高次のバージョンは有限型分解を許容する可能性がある。
• 平行化可能な4次元多様体を球面上の関数系の零点集合として表現することで、フレームワークが4次元多様体へ一般化され、同様に特異的構造への拡張が可能となった。