[論文レビュー] Combinatorial Floer Homology

Vin de Silva, Joel W. Robbin+1 more|arXiv (Cornell University)|May 2, 2012

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

ひとこと要約

本稿は、閉じた向き付け可能な曲面上の交わる、非可縮的で同相でない円周に対して、解析的ハーモニックストリップの代わりに滑らかな半円板への埋め込み（組み合わせ的ラウンズ）を用いる、完全に組み合わせ的なラグランジュ・フローアホモロジーの定式化を確立する。主な貢献は、このようなラウンズを2で割った剰余類で数える組み合わせ的境界作用素が、解析的理論と同じホモロジーを計算し、∂² = 0 を満たし、同相変形のもとで不変であることを示したことである。さらに、dim HF(α,β) = geo(α,β) を示す公式を導出している。

ABSTRACT

We define combinatorial Floer homology of a transverse pair of noncontractibe nonisotopic embedded loops in an oriented 2-manifold without boundary, prove that it is invariant under isotopy, and prove that it is isomorphic to the original Lagrangian Floer homology.

研究の動機と目的

• 曲面上のラグランジュ交叉に対する解析的フローアホモロジーの完全な組み合わせ的代替案を開発すること。
• 組み合わせ的フローアホモロジーが、フローアの元来の結果におけるハミルトニアン同相変形にとどまらず、一般の同相変形のもとで不変であることを証明すること。
• フローアホモロジーの次元と曲線の幾何的交叉数の間の関係を示す公式を確立すること。
• 次数関数とトレース公式を用いて滑らかなラウンズを組み合わせ的に特徴づけ、ピカール–ロイナー問題の特殊ケースを解くこと。
• 境界作用素が∂² = 0 を満たすことを、解析的道具を一切用いずに位相的・組み合わせ的データのみを用いて証明すること。

提案手法

• 境界がαおよびβに沿う滑らかな埋め込みu: 𝔻 → Σ（ラウンズと呼ぶ）を用いて、組み合わせ的フローアホモロジーを定義する。-1および1は交点xおよびyへ写像する。
• Σ ∖ (α ∪ β) への整数値関数w: Σ ∖ (α ∪ β) → ℤ を、uによる前像の代数的数え上げとして定義する。この関数はホモトピーに関して不変である。
• 定理2.4により、ラウンズのホモトピー型は、その端点x, yおよび次数関数wによって一意に決定されることを証明する。
• ヴィテルボ–マスロフ指数のトレース公式を確立する：μ(u) = (mₓ(Λᵤ) + mᵧ(Λᵤ))/2 ここでmₓおよびmᵧは、xおよびyの近傍におけるw値の和である。
• トレース公式を用いてマスロフ指数を組み合わせ的に定義し、指数1のラウンズが境界作用素の寄与をもたらすことを示す。
• 同じwおよび端点を持つ2つのラウンズは同相である（定理6.8）ことを証明し、2を法とする数え上げがwell-definedであることを保証する。

実験結果

リサーチクエスチョン

• RQ1 曲面上の交わる、非可縮的で同相でない円周に対するラグランジュ・フローアホモロジーを、完全に組み合わせ的データのみで記述できるか？
• RQ2 指数1のラウンズを数える組み合わせ的境界作用素は、解析的道具を一切用いずにwell-definedであり、∂² = 0 を満たすか？
• RQ3 組み合わせ的理論は、解析的理論と同様にハミルトニアン同相変形に限らず、一般の同相変形のもとで不変であるか？
• RQ4 幾何的交叉数geo(α,β)は、組み合わせ的公式を用いてフローアホモロジーの次元として回復可能か？
• RQ5 ホモトピー型を完全に特徴づける組み合わせ的不変量（例：次数関数w）は何か？

主な発見

• 定理9.3により、組み合わせ的フローアホモロジーは、ℤ/2ℤ上での解析的フローアホモロジーと同型である。
• トレース公式およびラウンズ分類を用いて、境界作用素∂が∂² = 0 を満たすことが、組み合わせ的に証明された。
• 理論はαおよびβの同相変形のもとで不変であり、フローアの元来の結果よりも顕著な進歩である。
• フローアホモロジーの次元は、定理9.5で示されるように、dim HF(α,β) = geo(α,β) で与えられる。
• 滑らかなラウンズの像の内部にその端点が含まれることはなく、これは組み合わせ的特徴づけの非自明な帰結である。
• 定理2.4により、ラウンズのホモトピー型は、その端点と次数関数wによって一意に決定される。