[論文レビュー] Hamiltonian handleslides for Heegaard Floer homology

Timothy Perutz|ArXiv.org|Jan 3, 2008

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

ひとこと要約

この論文は、適切なシンプレクティック形式の下で、ヒーガード図のハンドルスライドが、リーマン面の対称積における対応するヒーガードトーラスのハミルトニアン同倫型写像を誘導することを確立している。ハンドルスライド不変性のシンプレクティック幾何的証明を提示し、それによってオルツヴァースとツァボーによる元来の位相的証明とは独立した代替的証明を提供している。

ABSTRACT

A $g$-tuple of disjoint, linearly independent circles in a Riemann surface of genus $g$ determines a `Heegaard torus' in its $g$-fold symmetric product. Changing the circles by a handleslide produces a new torus. It is proved that, for symplectic forms with certain properties, these two tori are Hamiltonian-isotopic Lagrangian submanifolds. This provides an alternative route to the handleslide-invariance of Ozsvath-Szabo's Heegaard Floer homology.

研究の動機と目的

• 元来の位相的証明とは独立した、ヒーガードフローホモロジーにおけるハンドルスライド不変性のシンプレクティック幾何的証明を提供すること。
• ハンドルスライドによってアタッチングサークルを変更することは、 genus-g 表面の対称積におけるラグランジュトーラスをハミルトニアン同倫型にすることを示すこと。
• 複素構造を制御し、十分に小さい λ に対してコhomology類 η + λθ を実現する、対称積上にシンプレクティック形式を構成すること。
• ヘガードトーラスの近傍で積シンプレクティック形式と一致し、所望のコhomology類を表す、カーラー形式の存在を確立すること。

提案手法

• 2つのハンドルスライドで関連づけられた、互いに素で、ホモロジカルに独立な曲線の g-重組みから、Sym^g(Σ) 内にヒーガードトーラス T₀ と T₁ を構成する。
• 電流の滑らか化理論を用いて、複素構造を制御し、コhomology類 η + λθ を表す、Sym^g(Σ) 上のシンプレクティック形式 ω_λ を構成する。
• 対称積上の Kähler サイクルを精密化するための「lemme principal」を適用し、重複領域全体で滑らかさと厳密な強凸性を保証する。
• 商写像 π: Σ^×g → Sym^g(Σ) を通じた積シンプレクティック形式 π_*(α^×g) の押し出しを用い、対角線上の特異性を電流論的滑らか化によって処理する。
• アーベル・ジャコビ写像を用いて、コhomology類 η と θ の符号の不確かさを解消し、θ がジャコビアン上のシータ divisor の引き戻しとして特定されることを示す。
• 連続な Kähler サイクルに対してグローバル滑らか化補題を適用し、元の形式とトーラス近傍で一致し、正しいコhomology類を表す滑らかな Kähler 形式を生成する。

実験結果

リサーチクエスチョン

• RQ1 ヒーガード図におけるハンドルスライドは、リーマン面の対称積における関連するラグランジュトーラスのハミルトニアン同倫型写像として実現可能か？
• RQ2 十分に小さい λ に対して、複素構造を制御し、コhomology類 η + λθ を表す、Sym^g(Σ) 上のシンプレクティック形式が存在するか？
• RQ3 積シンプレクティック形式 π_*(α^×g) は、ヘガードトーラスの近傍で元の形式と一致する滑らかで Kähler な形式に変形可能か？
• RQ4 ハンドルスライドによるヒーガードフローホモロジーの不変性は、組合せ位相学ではなくシンプレクティック位相学を用いて再導出可能か？
• RQ5 対称積における対角線は、積シンプレクティック形式の滑らかさを妨げる要因であり、それが電流の滑らか化によってどのように解消されるか？

主な発見

• 任意の g ≥ 2 に対して、2つの互いに素でホモロジカルに独立な曲線の g-重組みの間のハンドルスライドは、Sym^g(Σ) 内の対応するヘガードトーラス T₀ と T₁ 間のハミルトニアン同倫型写像を誘導する。
• 十分に小さい |λ| に対して、複素構造を制御し、T₀ と T₁ の近傍で π_*(α^×g) と一致し、コhomology類 η + λθ を表す、Sym^g(Σ) 上のシンプレクティック形式 ω_λ が存在する。
• 形式 ω_λ はカーラー形式としてとることができるため、複素幾何と整合性があり、カーラーコhomology的道具の使用が可能になる。
• この構成は、積シンプレクティック形式の押し出しに関連する電流の滑らか化に依存しており、対角線上の特異性がグローバル滑らか化補題によって解消されている。
• コhomology類 θ は、アーベル・ジャコビ写像を通じてジャコビアン上のシータ divisor の引き戻しとして特定され、コhomology記述における符号の不確かさが解消された。
• この結果は、元来の位相的証明とは独立した、シンプレクティック幾何的代替証明を提供し、ハミルトニアン同倫型写像とカーラー幾何を用いて、ヒーガードフローホモロジーにおけるハンドルスライド不変性を再構築している。