[論文レビュー] The Arnold-Givental conjecture and moment Floer homology

Urs Frauenfelder|ArXiv.org|Sep 23, 2003

Geometric and Algebraic Topology参考文献 5被引用数 20

ひとこと要約

本論文は、マーズデン＝ウエインスタイン商における非シンプレクティック自己同型の固定点として得られるラグランジュ部分多様体に対して、Arnold-Givental予想を、シンプレクティックバーサス方程式の解を用いて境界作用素を定義する、新規のホモロジー理論「モーメントフローホモロジー」を用いて証明する。標準的フローホモロジーのバブルによる失敗を回避するため、ストリップ上でのシンプレクティックバーサス方程式（フロアー方程式の等長的バージョンとモーメント写像の曲率条件を含む）の解を用いて境界作用素を定義することで、モーメントフローホモロジーと係数がノヴィコフ環である特異ホモロジーとの同型性を確立し、単調性の仮定を必要とせずに予想を検証する。

ABSTRACT

We prove the Arnold-Givental conjecture for a class of Lagrangian submanifolds in Marsden-Weinstein quotients which are fixpoint sets of some antisymplectic involution. For these Lagrangians the Floer homology cannot in general be defined by standard means due to the bubbling phenomenon. To overcome this difficulty we consider moment Floer homology whose boundary operator is defined by counting solutions of the symplectic vortex equations on the strip which have better compactness properties than the original Floer equations.

研究の動機と目的

• マーズデン＝ウエインスタイン商における非シンプレクティック自己同型の固定点として得られるラグランジュ部分多様体に対して、Arnold-Givental予想を証明すること。
• このような設定において、バブルによる標準的フローホモロジーの失敗を克服すること。
• より優れたコンパクトネス性質を有する新規ホモロジー理論としてのモーメントフローホモロジーを構築・適用すること。
• 以前の証明で必要とされていた単調性仮定を排除すること。

提案手法

• マーズデン＝ウエインスタイン商におけるラグランジュ部分多様体とそのハミルトニアン像の交点によって生成されるチェイン複体を定義する。
• ストリップ上でのシンプレクティックバーサス方程式の解を数えることで境界作用素を構成する。これには、フロアー方程式の等長的バージョンとモーメント写像の曲率条件が含まれる。
• 周囲多様体の位相的制約の下で、解のモジュライ空間のコンパクトネスを確立する。
• 非一般的 almost複素構造に対しても横断性を達成するために、[FOn]風の抽象的摂動を用いる。
• ハミルトニアンがゼロの場合に、無限次元のモース＝ボット状況として扱い、カスケードを用いたモース＝ボット理論を適用してホモロジーを計算する。
• 無限次元設定での境界作用素の収束を保証するために、ノヴィコフ環を定義する。

実験結果

リサーチクエスチョン

• RQ1 マーズデン＝ウエインスタイン商における非シンプレクティック自己同型の固定点として得られるラグランジュ部分多様体に対して、単調性を仮定せずにArnold-Givental予想を証明できるか？
• RQ2 バブルのため標準的トランバーシャルティーやコンパクトネスが失敗する状況において、フローホモロジーをどのように定義・計算できるか？
• RQ3 シンプレクティックバーサス方程式は、このようなラグランジュ部分多様体に対するwell-definedなホモロジー理論を構築する上で果たす役割は何か？
• RQ4 この設定において、モーメントフローホモロジーはノヴィコフ環係数の特異ホモロジーと同型であるか？
• RQ5 カスケードを用いたモース＝ボット理論は、無限次元設定に適応可能であり、モーメントフローホモロジーのホモロジーを計算可能か？

主な発見

• マーズデン＝ウエインスタイン商における非シンプレクティック自己同型の固定点として得られるラグランジュ部分多様体に対して、Arnold-Givental予想が成立し、交点数の下界はラグランジュ部分多様体のZ2ベッチ数の和として与えられる。
• モーメントフローホモロジーは、ノヴィコフ環係数のラグランジュ部分多様体の特異ホモロジーと同型であり、強い位相的不変量を提供する。
• ストリップ上でのシンプレクティックバーサス方程式の解のモジュライ空間のコンパクトネスのおかげで、モーメントフローホモロジーにおける境界作用素はwell-definedである。
• カスケードを用いたモース＝ボット理論により、無限次元設定においても横断性を一般に達成可能である。
• 本証明により、以前の研究で必要とされていた単調性仮定が排除され、予想の適用範囲が拡大された。
• この構成により、バブルが標準的手法を妨げる設定において、モーメントフローホモロジーが標準的フローホモロジーの強力な代替手段であることが示された。