The spaces of Kähler and holomorphically tamed symplectic forms on closed 4-manifolds

技術的要約：閉じた4次元多様体におけるケーラー形式および正則にタムド（tamed）されたシンプレクティック形式の空間

問題設定
本論文は、閉じた向き付けられた滑らかな4次元多様体における、ケーラー形式および正則にタムドされたシンプレクティック形式の空間の位相的性質（一意性、連結性、および開性）を調査するものである。この研究は、すべての閉じたエルミート・シンプレクティック複素多様体はケーラー計量を持つと仮定するストリーツ–ティアン（Streets–Tian）予想に端を発している。シンプレクティックの文脈において、これは以下の問い1.4に翻訳される：もし閉じた4次元多様体 $X$ 上のシンプレクティック形式 $\omega$ が、ある可積分な複素構造 $J$ によって正則にタムドされており（すなわち、すべての $v \neq 0$ に対して $\omega(v, Jv) > 0$）、かつコホモロジー類 $[\omega]$ が可積分な適合錐 $K^c_{Int}(X)$ に属する場合、$\omega$ と適合する複素構造 $J'$ は存在するのか？言い換えれば、すべての正則にタムドされたシンプレクティック形式はケーラー型であるのか？

著者らはさらに、これらの形式のモジュライ空間の構造を検討し、具体的には以下に取り組む：

1. 一意性： 固定されたコホモロジー類におけるケーラー型の形式の空間は、ホモロジー的に自明な微分同相写像による商において、単一の点か？
2. 連結性： ケーラー型の形式の空間（向きを保存する微分同相写像による商）は連結か？
3. 開性： ケーラー型の形式の空間の、すべてのシンプレクティック形式の空間への包含は開写像か？

手法
本論文は、多様体の次元および第2ベッチ数 $b_2^+$ の値に合わせて調整された、シンプレクティック位相幾何学、複素幾何学、およびゲージ理論の組み合わせを用いている。

• コホモロジー分解： 著者らは、$H^2(X; \mathbb{R})$ の $J$-不変部分空間と $J$-反不変部分空間への分解を利用する。主要な道具は、$J$-タムド錐 $K^t_J(X)$ と $J$-適合錐 $K^c_J(X)$ の関係であり、特に $K^c_J(X)$ が空でないとき $K^t_J(X) = K^c_J(X) + H^-_J(X)$ であるという結果である。
• 変形からアイソトピーへ（Deformation-to-Isotopy）： $b_2^+ = 1$ の多様体に対して、著者らは変形からアイソトピーへの定理（McDuff, Lalonde–McDuff）に依拠する。これにより、シンプレクティック形式の変形をアイソトピーへとホモトープすることが可能となり、パス連結性の研究を複素構造の研究へと還元できる。
• トレリ理論と周期領域： $b_2^+ > 1$ の場合（具体的にはK3曲面、複素トーラス $T^4$、およびそれらの吹出し）、著者らは大域的トレリ（Torelli）定理を利用する。彼らは周期領域 $\Phi$（K3では20次元、$T^4$ では4次元の複素多様体）と周期写像の挙動を分析する。また、$(-2)$-曲線に対応する壁を除去した、コホモロジー類の $(1,1)$ 部分への射影の正値性によって定義される部分領域を研究する。
• 剛性結果： 負の切断曲率を持つ計量を有する多様体に対して、著者らは強い剛性定理（Siu, Zheng）を適用する。これらは、そのような多様体間のホモトピー同値が、正則同相写像または反正則同相写像にホモトピックであることを意味する。
• 吹出し（Blowup）の解析： 著者らは、最小曲面の吹出しへの拡張として、吹出し中心の構成を行い、異なる点を持つ配置の稠密性を利用して、吹出し中心の空間の連結性を分析することで、結果を拡張する。

主要な貢献および結果

1. タムド型とケーラー型の同値性（問い1.4）：
   著者らは、閉じた4次元多様体 $X$ と類 $a \in H^2(X; \mathbb{R})$ に対して、ケーラー形式の空間 $S^a_K(X)$ が空であるか、あるいは以下の条件の下で正則にタムドされた形式の空間 $S^a_T(X)$ と一致することを証明する：

   • $b_2^+(X) = 1$ （有理曲面およびルールド曲面をカバー）。
   • $X$ がコダラ次元ゼロのシンプレクティック形式を持つ（K3、エンリーケス曲面、複素トーラス、およびハイパーエリプティック曲面をカバー）。
   • $X$ が負の切断曲率を持つケーラー計量を持つ（複素ボール商体をカバー）。
     これは、これらの領域において、タムドされた複素構造の存在が、同一のコホモロジー類内での適合する複素構造の存在を意味することを確立している。

2. 一意性（問い1.5）：
   本論文は、固定された類におけるケーラー型の形式のモジュライ空間の連結成分の数、すなわち $\#M^a_K(X)$ が、非正のコダラ次元または負の切断曲率の条件下で高々1であることを確立している。

   • 一般型（general type）の $b_2^+ = 1$ の曲面については、成分の数は有限である。
   • これは、K3や$T^4$に対する既存の一意性の結果を、それらの吹出し、およびエンリーケス/ハイパーエリプティック曲面へと拡張するものである。

3. 連結性（問い1.6）：

   • モジュライ空間 $M_K(X)$ は、任意の閉じた4次元多様体に対して有限個の連結成分を持つ。
   • もし $X$ が非正のコダラ次元のシンプレクティック形式を持つならば、$M_K(X)$ は連結である。
   • もし $X$ が負の切断面曲率を持つケーラー計量を持つならば、$M_K(X)$ は高々2つの連結成分を持つ（この境界は偽の射影平面によって達成される）。

4. 開性（問い1.7）：

   • 包含 $S_K(X) \hookrightarrow S(X)$ は、$b_2^+(X) = 1$ または $X$ がコダラ次元ゼロのシンプレクティック形式を持つ場合に開である。
   • 逆に、$b_2^+(X) > 1$ かつ $X$ が負の切断曲率を持つケーラー計量を持つ場合、この包含は開ではない。著者らは、ケーラー型の形式の空間がシンプレクティック形式の空間において開ではない反例として、カートライト–ステガー（Cartwright–Steger）曲面を提示している。

意義および主張
本論文は、広範なクラスの4次元多様体に対して、シンプレクティック版のストリーツ–ティアン予想を解決したと主張しており、「タムド」と「適合」する複素構造の区別が、これらの特定の幾何学においてはコホモロジーの意味で消失することを実証している。

主要な貢献は、最小曲面（K3や$T^4$など）からそれらの吹出しへの、ケーラー形式の一意性と連結性の結果の拡張である。これは重要である。なぜなら、多くのシンプレクティック位相幾何学の結果（シンプレクトモルフィズム群、パッキング、ラグランジアン部分多様体に関するものなど）は、しばにシンプレクティック形式がケーラー型であることを前提としているからである。タムドされた形式がケーラー型であることを証明することにより、著者らはこれらの結果をより広いクラスのタムドされた形式へと転送することを可能にしている。

また、本論文は複素構造のモジュライ空間の成分の数に関する位相的制約を明確にし、周期領域とトレリ定理を介して、シンプレクティック形式の空間の成分の数と複素構造のモジュライ空間の成分の数を結びつけている。最後に、本論文はケーラー錐の開性に関して鋭い区別を与えており、それが $b_2^+ = 1$ やコダラ次元ゼロでは成立する一方で、負の曲率を持つ特定の $b_2^+ > 1$ の多様体では成立しないことを示すことで、シンプレクティック範疇におけるコダラ–スペンサー安定性の限界を画定している。