The nearby Lagrangian conjecture for pinwheels

技術的サマリー：ピンホイールに関する近傍ラグランジュ予想

問題の提示
本論文は、V. I. アールノルドに帰せられる近傍ラグランジュ予想（NLC）を取り扱っている。この予想は、滑らかな閉多様体 $Q$ の余接束 $T^*Q$ 内の任意の Exact ラグランジュ部分多様体が、ゼロ断面とハミルトニアン等質であることを主張するものである。この予想は、擬正則曲線の手法を用いていくつかの低次元の場合（例：$T^*S^2$、$T^*T^2$）については確立されているが、一般の多様体、そして決定的には特異ラグランジュ部分多様体については未解決のままである。

著者らは、ラグランジュ $(p, q)$-ピンホイールと呼ばれる特定の特異ラグランジュ部分多様体のクラスに焦点を当てている。$(p, q)$-ピンホイールとは、1-セルに $p$ 対 1 の被覆を介して 2-セルを貼り付けた位相的な $p$-ピンホイールであり、その 2-セルはラグランジュであり、$q$ によって決定される特定の幾何学的な方法でコア円と交差するものである。これらの対象は、循環商特異点 $\frac{1}{p^2}(1, pq-1)$ のミルナーファイバーである有理ホモロジー球 $B_{p,q}$ のラグランジュ骨格（$L^{\text{st}}_{p,q}$）として自然に現れる。

中心的な問題は、$B_{p,q}$ に埋め込まれた任意のラグランジュ $(p, q)$-ピンホイールが、標準的な骨格 $L^{\text{st}}_{p,q}$ とハミルトニアン等質かどうかを決定することである。これは、$B_{p,q}$ の特異な設定に適応された「NLC1」部分予想である。

方法論
証明は、シンプレクティック位相幾何学、代数幾何学、擬正則曲線理論を組み合わせ、大きく独立した 2 つの技術的パートに構成されている。

1. シンプレクティック一意性（パート 1）:

   • コンパクト化: 著者らは、非コンパクト多様体 $B_{p,q}$ のコンパクト化 $X_{p,q}$ を構成する。これは、$B_{p,q}$ のほぼトーリック基底図をキャップし、生じるオプifold 特異点を解消することによって達成される。得られる空間 $X_{p,q}$ は、ヒルツェブルーフ曲面から双有理的に導かれる。
   • レギュレーションとネックストレッチング: 彼らは、$X_{p,q}$ 上の「レギュレーション」（有理曲線による葉状構造）の概念を利用する。埋め込まれたピンホイールに沿ってシンプレクティック有理ブローアップを行うことで、ネックストレッチング下での擬正則曲線の挙動を解析する。
   • 葉状構造の持続性: 重要な技術的結果は、$X_{p,q}$ 上のレギュレーション（平方ゼロの球による葉状構造）が、有理ブローアップ後に「持続」することを示すことである。具体的には、ブローアップされた多様体 $\tilde{X}$ は、ウォール鎖（ブローアップに由来する例外球）とコンパクト化除数からなり、単一の例外球によって接続された一意の破れた支配（broken ruling）を許容する。
   • シンプレクトミズムの構成: これらのレギュレーションの一意性と、ピンホイールの近傍の余集合が最小であるという事実を用いて、任意のラグランジュピンホイール $L$ を標準的な骨格 $L^{\text{st}}_{p,q}$ に写す、コンパクト台を持つシンプレクトミズム $\psi$ を構成する。

2. ハミルトニアン等質（パート 2）:

   • シンプレクトミズム群: シンプレクトミズム $\psi$ をハミルトニアン等質に昇格させるために、著者らはコンパクト台を持つシンプレクトミズムの群 $\text{Symp}_c(B_{p,q})$ の弱ホモトピー型を計算する。
   • コム図: 彼らは、多様体のシンプレクトミズム群を部分多様体とその余集合のそれに関連付けるツールである「コム図」を採用する。彼らは $\text{Symp}_c(B_{p,q})$ を、$\text{Symp}_c(W_{p,q})$（ここで $W_{p,q} = B_{p,q} \setminus K_{p,q}$ は中央円柱の余集合）に関連付ける。
   • リウヴィル完備: 彼らは $W_{p,q}$ を、ホイットニー球の余接束 $T^*Wh$ 内の星型領域として同定する。そのような領域のシンプレクトミズム群の可縮性に関する結果を用いて、$\text{Symp}_c(W_{p,q})$ が弱可縮であることを示す。
   • ピンツイスト: 彼らは、$\text{Symp}_c(B_{p,q})$ が、ピンツイスト $\tau_{p,q}$ と呼ばれる特定のシンプレクトミズムによって生成される $\mathbb{Z}$ と弱ホモトピー同値であることを示す。この写像は、基底となる特異点の滑らか化に関連するシンプレクティックモノドロミーである。
   • 結論: ピンツイストは、バニャガの拡張定理と消滅コホモロジーを通じて示されるように、ラグランジュ骨格をハミルトニアン等質の範囲で保存するため、$L$ を $L^{\text{st}}_{p,q}$ に写す任意のシンプレクトミズムは、ピンツイストのべき乗と合成することでハミルトニアン等質を与えることができる。

主要な貢献と結果

• 主要定理（定理 A）: $B_{p,q}$ 内の任意のラグランジュ $(p, q)$-ピンホイールは、標準的なラグランジュ骨格 $L^{\text{st}}_{p,q}$ とハミルトニアン等質である。これにより、この広範なクラスの特異ラグランジュ部分多様体に対する近傍ラグランジュ予想が確立された。
• シンプレクティック分類（定理 B）: $B_{p,q}$ 内の任意の 2 つのラグランジュ $(p, q)$-ピンホイールは、コンパクト台を持つシンプレクトミズムによって関連付けられる。
• シンプレクトミズム群の構造（定理 C）: 群 $\text{Symp}_c(B_{p,q})$ は、ピンツイスト $\tau_{p,q}$ によって生成される $\mathbb{Z}$ と弱ホモトピー同値である。これは、$p > 2$ に対するこの群の最初の計算であり（以前の結果は $p=1, 2$ のみ存在した）、これまでにないものである。
• 応用:
  1. ピンボール非圧縮性: 著者らは、「ピンボール」$B_{p,q}(r)$ に対するグロモフの非圧縮性定理を証明し、それらが $r \le \alpha$ である場合かつその場合に限り、ピン円柱 $E_{p,q}(\alpha, \infty)$ に埋め込まれることを示した。この障害は、有理ブローアップにおける例外曲線の面積に起因する。
  2. 局所未結節化: 彼らは、$(1,1)$-ピンホイール（ラグランジュ円板）を特殊なケースとして捉えることで、$\mathbb{R}^4$ 内のラグランジュ平面の局所未結節化に関するエリヤシュベルク - ポレトロビッチの定理の新たな証明を提供した。
  3. ピンホイールタイプの一意性: 彼らは、$B_{p,q}$ に埋め込まれるラグランジュピンホイールは、$(p, q)$ 型（または $(p, p-q)$ 型）のみであることを示し、これらの球内における滑らかな Exact ラグランジュ部分多様体の非存在に関する以前の結果を拡張した。

意義と主張
本論文は、有理ホモロジー球の「ゼロ断面」として機能する、特異ラグランジュ部分多様体の重要なクラスに対する近傍ラグランジュ予想の解決を主張している。著者らは、そのアプローチがシンプレクティック幾何学と曲面特異点（特にウォール特異点）の代数幾何学の相互作用を利用していることを強調している。

その意義は以下の点にある：

• NLC の拡張: 滑らかな多様体を超えて、シンプレクティック特異点とミラー対称性の研究における自然な対象である特異ラグランジュ部分多様体へと近傍ラグランジュ予想を拡張すること。
• 新たな手法: 有理ホモロジー球の文脈において「レギュレーション」とネックストレッチングを成功裏に適用し、$T^*Q$ に関する以前の作業と同様に、環境空間のグローバルなコンパクト化を必要としないこと。
• 群の計算: $B_{p,q}$ のシンプレクティック写像類群の完全な記述を提供し、デーンツイストに類似する自然な幾何学的操作（ピンツイスト）によって生成される構造を明らかにすること。
• 定量的障害: 一意性に用いられた手法が、定量的な埋め込み障害（非圧縮性）をもたらすことを示し、ピンホイールの位相幾何をシンプレクティック容量と結びつけること。

著者らは、この研究が、有理ホモロジー球の $\mathbb{CP}^2$ へのより広範な埋め込み定理に対する「前編」として機能し、それらの大域的分類に必要な局所一意性の結果を提供していると指摘している。彼らは明示的に、彼らの手法は $B_{p,q}$ の特定の幾何学とほぼトーリックファイブレーションに依存しており、さらなる発展なしには、すべての次元やすべての特異ラグランジュ部分多様体に即座に一般化されるものではないと述べている。