3次元多様体のフレアーホモロジー
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/27 21:22 UTC 版)
「フレアーホモロジー」の記事における「3次元多様体のフレアーホモロジー」の解説
閉じた3次元多様体（英語版）についての複数のフレアーホモロジーの間には、同値関係があると予想されている。3つのタイプのホモロジー群が互いに同値であり、完全三角性を形成すると予想されている。3次元多様体の結び目は、それぞれの理論のチェイン複体のフィルトレーションを引き起こし、チェインのホモトピータイプが結び目不変量となる。（それらのホモロジーは、組み合わせ的に定義されたコバノフホモロジーと同じような公式の性質を満たす。） これらのホモロジーは、4次元シンプレクティック多様体のタウベスによるグロモフ不変量と同じように、4次元多様体のドナルドソン不変量やサイバーグ不変量と密接に関連している。3次元ホモロジーをこれらの理論に対応させる微分（写像）は、3次元多様体の交叉 R 上の微分方程式であるヤン・ミルズ理論やサイバーグ・ウィッテン理論（英語版）やコーシー-リーマン方程式、をそれぞれの解を考えることであることが分かる。3次元多様体のフレアーホモロジーも境界を持つ 4次元多様体の相対的な不変量の対象となるべきで、3次元多様体を境界として張り合わせることで得られる閉 4次元多様体の不変量と、張り合わせる構成により関連付けられる。(これは位相的場の理論の概念と密接に関連する。) ヒーガードフレアーホモロジーに対し、3次元多様体のホモロジーが最初に定義され、後日、閉 4次元多様体の不変量がこの方法で定義された。 3次元多様体のホモロジーの境界を持った 3次元多様体への拡張も存在していて：縫い合わせフレアーホモロジー(Juhasz 2008) や境界を持つフレアーホモロジー(Lipshitz, Ozsvath & Thurston 2008)がある. これらは 2つの境界を持つ3次元多様体の境界に沿った併合として記述される 3次元多様体のフレアーホモロジーの張り合わせ公式により、閉3次元多様体の不変量に関連していると期待されている。 3次元多様体（英語版）がサイバーグ-ウィッテンの場合に、クロンハイマー(Kronheimer)とムロフカ(Mrowka)の始めた接触構造（英語版）を持っているとき、3次元多様体のフレアーホモロジーは別なホモロジーの要素を持つことになる。(一つの接触構造を選択すると、埋め込まれた接触ホモロジー(embedded contact homology)（ECHと省略する）が定義される。埋め込まれた接触ホモロジーは、Hutchings (2009)に解説されているので、参照） これらの理論はすべて、もともと相対的次数を持っていることになり；これらは、SWFについては（2-平面の場のホモトピークラスを割り当てることで）絶対的次数へ持ち上げられ、また ECH については SWF-ECH の同型を使い持ち上げる。
※この「3次元多様体のフレアーホモロジー」の解説は、「フレアーホモロジー」の解説の一部です。
「3次元多様体のフレアーホモロジー」を含む「フレアーホモロジー」の記事については、「フレアーホモロジー」の概要を参照ください。
- 3次元多様体のフレアーホモロジーのページへのリンク
