Sections of Lagrangian fibrations on holomorphic symplectic manifolds

技術要約：ラグランジュ・フィブレーションの切断

問題設定
本論文は、極大ホロノミーを持つコンパクト・ハイパーケーラー多様体 $M$ 上のラグランジュ・フィブレーション $\pi: M \to X$ における切断の存在性について扱う。滑らかな仮定の下では、基底 $X$ は $\mathbb{CP}^n$ と複素構造的に同型であることが既知であるが、大域的な正則切断、あるいは正則・冪零切断（meromorphic section）の存在は、非自明な位相的および幾何学的障害となる。

純粋に位相的な議論（例：ホモロジー類を部分多様体で代表させる手法）を用いてこのような切断を構成しようとする過去の試みは、特にK3曲面や楕円フィブレーションにおいて失敗してきた。中心となる問題は、多様体の変形型（deformational type）を変えることなく、特定の条件下で $M$ の複素構造を変形させ、冪零切断を許容できるかどうかを判定することである。

手法
著者らは、代数幾何学、ホモлоジカル代数、および複素微分幾何学を組み合わせた多段階のアプローチを採用している：

1. 退化ツイスター変形（Degenerate Twistor Deformations）: 核となるメカニズムは、「退化ツイスター変形」（またはテイト・シャファレヴィッチ・ツイスト）の使用である。ラグランジュ・フィブレーション $\pi: M \to X$ と基底 $X$ 上の閉 $(2,0)+(1,1)$ 形式 $\eta$ が与えられたとき、$M$ の複素構造を、形式 $\Omega + \pi^*\eta$ が正則シンプレクティック形式となる新しい構造 $I_\eta$ へと変形させることができる。決定的なことに、もし滑らかな切断 $S$ が存在するならば、形式 $\eta = -S^*\Omega$ は変形後の構造において $S$ を正則にする。
2. 平均化による局所構成: 著者らはまず、一般の直線 $C \cong \mathbb{CP}^1 \subset X$ 上の滑らかな切断を構成する。これには以下が含まれる：
   • トムの定理（Thom's Theorem）: $\pi^{-1}(C)$ 内の特定のホモロジー類を、滑らかな2次元の部分多様体によって代表させる。
   • ネロン・モデルとトソル構造: 滑らかなファイバーのファイバーごとのアーベル群構造（またはトソル構造）を利用する。部分多様体とファイバーの交点を「平均化」することによって（群の演算を用いて）、滑らかな切断 $\sigma: C \to M$ を構成する。
   • 原始性仮定（Primitivity Assumption）: 一般的なファイバーが整数ホモロジーにおいて原始的であることを要求する。これは、総多重度が1であるマルチセクションの存在を保証するためである。
3. ドゥルベ（Dolbeault）電流による拡張: $C$ の近傍から基底全体 $X = \mathbb{CP}^n$ への局所的な変形の拡張に対する主要な障害は、コホモロジー群 $H^1(UC, \mathcal{O})$ に存在する。著者らは、切断に関連する「ドゥルベ・クラス」を定義する。彼らは、このクラスを電流として実現し、それが完全（exact）であることを示すことで、このクラスが消滅することを証明する。これにより、閉形式 $\eta$ を基底全体へと拡張することが可能になる。
4. ホログラフィー原理: 充足的な有理曲線 $C$ の近傍上で正則切断が存在する場合、著者らは「ホログラフィー原理」（定理 5.12）を適用する。この原理は、$\mathbb{CP}^n$ 内の充足的な有理曲線の近傍からケーラー多様体への任意の正則写像は、$\mathbb{CP}^n$ 全体への冪零写像へと拡張されることを述べている。

主要な貢献と結果

• 定理 1.1（主結果）: $\pi: M \to \mathbb{CP}^n$ を、極大ホロノミーを持つコンパクト・ハイパーケーラー多様体上のラグランジュ・フィブレーションとする。一般のファイバーが整数ホモロジーにおいて原始的であり、かつファイバーが余 codimension 2 の部分集合の外側で簡約（reduced）であると仮定する。このとき、$t_0 \in H^2(\mathbb{CP}^n, \mathbb{C})$ というパラメータが存在し、退化ツイスター変形 $(M, I_{t_0})$ は冪零切断 $\pi: (M, I_{t_0}) \to \mathbb{CP}^n$ を持つ。
• 障害の消滅（定理 6.19）: 本論文は、直線上で構成された滑らかな切断に関連するドゥルベ・クラスが消滅することを証明している。これが、局所的な退化ツイスター変形を大域的に拡張することを可能にする決定的なステップである。
• ホモロジー議論の精緻化（セクション 4）: 著者らは、構成された切断のホモロジー類に関する微妙な問題に対処している。彼らは、「平均化」の手順が初期のマルチセクションのホモロジー類を修正する一方で、得られるクラスは一意に決定され、かつ大域的な構造と適合していることを示し、ホモロジー類の保存に関する J. Kollár の懸念を解決している。
• テイト・シャファレヴィッチ・ツイストとの比較: 本論文は、J. Kollár のテイト・シャファレヴィッチ・ツイストに関する最近の研究と、自身のアプローチを区別している。Kollár が多様体の変形型を保持しない可能性のあるツイストを通じてアーベル・フィブレーションの有理切断を構成するのに対し、著者らの退化ツイスター変形の使用は、結果として得られる多様体が元の $M$ と変形的に同値であることを保証している。

意義と主張

本論文は、以前の位相的手法の限界を克服する堅牢な代数幾何学的アプローチを開発することにより、ラグランジュ・フィブレーションの滑らかな切断を構成するという位相的問題を解決したと主張している。

• 変形同値性: 重要な主張は、冪零切断を持つ結果としての多様体が、元の多様体の「退化ツイスター変形」であることである。他の構成（特定のテイト・シャファレヴィッチ・ツイストなど）とは異なり、この変形はハイパーケーラー多様体の変形型を保持する。
• 原始性の必要性: 著者らは、非原始的なファイバーがそのような切断を妨げる例（Hellmann のミューカイ・システム）を引用しながら、冪零的な（bimeromorphic）切断の存在にとって、一般のファイバーの原始性が必要条件であることを明示的に論じている。
• 普遍性: この結果は、原始性と簡約ファイバーの条件を満たすハイパーケーラー多様体上のすべてのラグランジュ・フィブレーションに適用され、この文脈における切断の存在に関する統一的な枠組みを提供している。

本論文は、原始性の仮定なしにすべてのラグランジュ・フィブレーションに対して切断を構成すると主張しているわけでも、また、元の複素構造において切断が正則であると主張しているわけでもない。むしろ、複素構造の特定の、明確に定義された変形族の範囲内において、切断の存在を確立しているのである。