[論文レビュー] Holomorphic disks and topological invariants for closed three-manifolds

Peter Ozsváth, Zoltán Szabó|arXiv (Cornell University)|Jan 25, 2001

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

ひとこと要約

この論文は、ホロモーフィック・ディスクを用いた、閉じた向きつけられた3次元多様体にSpin^c構造を備えた新しい位相的不変量の族を導入する。ラグランジュ交叉ホモロジーに基づくFloerホモロジー理論をSym^g(Σ)で構築することで、HF^-, HF^+, HF^∞, HF̂, およびHF_redを定義する。これらは、ヘーガード分割、基点、複素構造に依存しない位相的不変量であり、Z[U] ⊗ Λ*(H₁(Y;Z)/Tors) 上の加群構造を持つ。主な貢献は、これらの不変量の構成と、それらの位相的変化における不変性の確立であり、3次元多様体位相幾何学における強力な新しい道具を提供する。

ABSTRACT

The aim of this article is to introduce and study certain topological invariants for closed, oriented three-manifolds Y. These groups are relatively Z-graded Abelian groups associated to SpinC structures over Y. Given a genus g Heegaard splitting of Y, these theories are variants of the Lagrangian Floer homology for the g-fold symmetric product of the surface relative to certain totally real subspaces associated to the handlebodies.

研究の動機と目的

• 閉じた向きつけられた3次元多様体にSpin^c構造を備えた新しい位相的不変量を定義すること。
• ヘーガード分割とヘーガード面の対称積におけるホロモーフィック・ディスクを用いて、これらの不変量を構成すること。
• 得られるホモロジー群が、ヘーガード分割、基点、複素構造といった補助的選択に依存しないことを証明すること。
• UおよびH₁(Y;Z)/Torsの作用を用いて、不変量に加群構造を確立すること。
• HF^+(Y,s)の安定化としてのHF_red(Y,s)を定義し、その性質を特徴づけること。

提案手法

• Y = U₀ ∪_Σ U₁ としてヘーガード分割を用い、 genus g のリーマン面 Σ の対称積 Sym^g(Σ) を定義する。
• αおよびβの付加曲線から、Sym^g(Σ) 内の2つの完全実トーラス T_α と T_β を定義する。
• 交点 T_α ∩ T_β と {z} × Sym^{g-1}(Σ) との交点を追跡する整数を生成元とするチェイン複体 CF^∞(Y,s) を構成し、Sym^g(Σ) 内の擬全純ディスクの数え上げを微分とする。
• CF^∞(Y,s) にフィルトレーションを導入し、部分複体 CF^-(Y,s), CF^+(Y,s), および ĤCF(Y,s) を抽出する。
• HF^∞(Y,s) に U および H₁(Y;Z)/Tors の作用を導入し、ホモロジー群に加群構造を誘導する。
• HF_red(Y,s) を、十分大きな d に対して HF^+(Y,s)/U^d HF^+(Y,s) の安定化として定義する。

実験結果

リサーチクエスチョン

• RQ1 ホロモーフィック・ディスクを用いた、ヘーガード面の対称積における、閉じた3次元多様体のための新しいFloerホモロジー理論を構築できるか？
• RQ2 得られるホモロジー群は、ヘーガード分割、付加曲線、基点、複素構造の選択に依存しないか？
• RQ3 HF^-, HF^+, HF^∞, ĤHF, および HF_red は、3次元多様体の位相およびそのSpin^c構造とどのように関係するか？
• RQ4 不変量はどのような加群構造を持ち、それが3次元多様体のホモロジーをどのように反映するか？
• RQ5 Novikov環の構成を用いて、アドミッサビリティの仮定なしに不変量を定義できるか？

主な発見

• HF̂(Y,s), HF^-(Y,s), HF^∞(Y,s), HF^+(Y,s), および HF_red(Y,s) は、3次元多様体 Y 及びそのSpin^c構造 s の位相的不変量であり、ヘーガード分割、基点、複素構造に依存しない。
• ホモロジー群は、d(s) = gcd{⟨c₁(s), ξ⟩ | ξ ∈ H₂(Y;Z)} による相対的 Z/d(Z)-次数付けを持ち、c₁(s) が torsion のときは相対的 Z-次数付けを持つ。
• 不変量は Z[U] ⊗ Λ*(H₁(Y;Z)/Tors) 上の加群構造を持つ。ここで U は次数 -2 で作用し、H₁(Y;Z)/Tors は次数 -1 で作用する。
• 還元された不変量 HF_red(Y,s) は、十分大きな d に対して HF^+(Y,s)/U^d HF^+(Y,s) の安定化として定義され、位相的不変量である。
• Novikov環の構成により、形式的べき級数と面積関数を用いて、アドミッサビリティの仮定なしに HF^+_Nov(Y,s,η) を定義できる。
• 不変量は、ヘーガード図の同相型変形、ハンドルスライド、安定化の下で保存され、その不変性は一連の位相的移動とホロモーフィック・ディスクの数え上げによって確立される。