A proof of the Arnold-Givental conjecture

技術要約：アーノルド・ギベンタル予想の証明

問題設定
本論文は、1989年にアーノルドとギベンタルによって提唱されたアーノルド・ギベンタル予想を扱う。この予想は、ラグランジュ部分多様体 $L$ と、そのハミルトン・ディフェオモルフィズム $\phi$ による像との交点数の下限を、交差が横断的（transverse）である場合に提示するものである。具体的には、閉シンプレクティック多様体 $(X, \omega)$ と反シンプレクティック対合 $\tau_X: X \to X$、およびその不動点集合 $L = \text{Fix}(\tau_X)$ に対して、以下を主張している：
$$\#(\phi(L) \cap L) \geq \dim_{\mathbb{F}_2} H^*(L; \mathbb{F}_2)$$
ここで $\mathbb{F}_2$ は、2つの要素を持つ体である。モノトニシティ（単調性）やポジティビティ（正値性）といった特定の条件、あるいは特定の多様体（例：$\mathbb{C}P^n$、エルミート対称空間、カラビ・ヤウ多様体）については部分的な結果が存在していたが、任意の閉シンプレクティック多様体における完全な証明は未解決のままであった。

手法
著者らは、実代数多様体に対するスミス理論の推定法をシンプレクティックの設定へと一般化した、フロア理論的手法を用いている。戦略としては、$\tau_X$-対称なハミルトン関数 $H$ に対する $\mathbb{Z}/2$-等変フロア・コホモロジーを構築することである。ここで、$\tau_X$-対称なハミルトン関数とは、$H(t, x) = H(-t, \tau_X(x))$ を満たすものを指す。ループ空間上の誘導された対合による固定点集合は、交点 $\phi(L) \cap L$ に対応する。

1. 対称軌道への還元： Luに従い、問題は $\tau_X$-対称なハミルトン関数 $H$ の1周期軌道の $\mathbb{Z}/2$-固定点の計数へと還元される。$\tau_X$-対称なハミルトン関数は、$H(t, x) = H(-t, \tau_X(x))$ を満たす。誘導された対合によるループ空間上の固定点集合は、交点 $\phi(L) \cap L$ に対応する。

2. 等変フロア理論： 著者らは、テイト（Tate）等変フロア・コホモロジー $\widehat{HF}^*_{\mathbb{Z}/2}(H; \mathbb{F}_2)$ を構築する。これには以下が含まれる：

   • テイト・モース理論との結合： フロア方程式は、無限次元球面 $S^\infty$（$\mathbb{Z}/2$ のボレル構成）上の関数のモース・フロー、およびその「テイト」拡張 $\widehat{S}^\infty$ と結合される。これにより、等変変数の反転を幾何学的に実現することが可能となる。
   • モジュライ空間： 証明は、フロア・トラジェクトリ、PSS（Petrie-Salamon-Schwarz）写像、SSP写像、およびホモトピーのモジュライ空間の解析に依存している。これらの空間には、領域の複素構造とターゲットの複素構造の両方を反転させる対合が備わっている。

3. 厳密な正則化（技術的中核）： 論文の大部分（パートII）は、クルニシ（Kuranishi） および 派生オービフォールド（Derived Orbifold） の枠組みを用いた、これらのモジュライ空間の厳密な構築に充てられている。

   • グローバル・チャート： 著者らは、モジュライ空間のためのグローバル・クルニシ・チャートを構築し、それらを「相対的に滑らかなクルニシ空間」および「正規複素（normally complex）クルニシ空間」の圏へと持ち上げる。
   • 対合の対称性： 重要な革新は、すべての構造（チャート、摂動、貼り合わせ）が $\mathbb{Z}/2$-対合を尊重するようにすることである。この対合は、領域とターゲットの複素構造を反転させるように作用する。
   • FOP摂動： 横断性を達成し、$\mathbb{F}_2$ 上の計数を定義するために、著者らは Fukaya–Ono–Parker (FOP) 摂動スキームを利用する。彼らは、標準的なホイットニー層化の微分同相不変性を利用することで、FOP横断性条件が対合の下で保存されることを証明する。
   • 正規複素（NC）構造： 構築には、FOPスキームに不可欠な、モジュライ空間の障害束（obstruction bundles）および接空間上のNC構造が含まれる。著者らは、これらの構造が対合に関して等変に定義可能であることを示している。

4. 代数的議論：

   • PSS同型： 等変PSS写像が構築され、多様体の等変コホモロジー（ノビコフ体上の係数を持つ）と等変フロア・コホモロジーとの間の同型を与える。
   • 局在化： 古典的なスミス不等式と等変コホモロジーにおける局在化定理を用いることで、$X$ の等変コホモロジーが固定点集合 $L$ のコホモロジーに局在化することを示す。
   • 不等式： PSS写像の単射性と局在化の結果、およびホモロジー的摂動引数（自由軌道と固定軌道の局所的寄与の解析）を組み合わせることで、固定軌道の数に関する下限を確立する。

主要な貢献

• 完全な一般性： 本論文は、モノトニシティ、ポジティビティ、または特定の多様体の種類といった制限を取り除き、任意の閉シンプレクティック多様体に対するアーノルド・ギベンタル予想の初の完全な証明を提供する。
• 等変正則化： 反シンプレクティック対合が存在する場合のモジュライ空間を正則化するための堅牢な枠組みを開発した。これには、グローバル・クルニシ・チャートおよび対合と互換性のある派生オービフォールド構造の構築が含まれる。
• 対称性を伴うFOP摂動： $\mathbb{F}_2$ 上の不変量を定義するために極めて重要なFOP摂動スキームを、等変にできることを証明した。これは、対合の下で横断性が保持されるかという技術的な困難を解決したものである。
• テイト・フロア構築： $\widehat{S}^\infty$ 上のモース理論との幾何学的な「結合」を用いて、テイト等変フロア・コホモロジーを明示的に構築し、代数的な局在化議論の具体的な実現を提供した。

結果
主要定理（定理A）は、予想を確認している：

$(X, \omega)$ を閉シンプレクティック多様体とし、$\tau_X$ を固定点集合 $L$ を持つ反シンプレクティック対合とする。$\phi$ が、$\phi(L)$ と $L$ が横断的に交差するようなハミルトン・ディフェオモルフィズムであるとき、以下が成立する：
$$\#(\phi(L) \cap L) \geq \dim_{\mathbb{F}_2} H^*(L; \mathbb{F}_2)$$

証明は、等変フロア・コホモロジーのランクが固定点集合のコホモロジーの次元によって下限付けられること、そしてこのランクが交点数によって下限付けられることを確立している。

意義
本論文は、反シンプレクティック対合のラグランジュ固定点集合のシンプレクティック剛性を、最も一般的な設定において確立したことにより、その意義を主張している。これは、積分フロア理論と等変コホモロジーの局在化技術を統合するものである。著者らは、特に、対称なモジュライ空間とFOP摂動の扱いに関する彼らの手法が、これらのラグランジュ多様体の「重さ（heaviness）」の研究や、ハミルトン力学における対称な周期軌道の研究（セフェルト予想に影響を与える可能性がある）など、他のシンプレクティック剛性の現象への将来的な調査の基礎を築くものであると述べている。本研究は、積分フロア理論（特に第一著者および第四著者によるもの）と等変コホモロジーの技術を、アーノルド・ギベンタル問題の特定の制約に適応させて完成させたものである。