Obstructions for codimension one multiple fibers of Lagrangian and Calabi--Yau fibrations

問題設定

本論文は、高次元複素多様体のファイブレーションにおける余次元一の多重ファイバー（multiple fibers）の存在について論じている。具体的には、ハイパーケーラー多様体のラグランジュ・ファイブレーション、および単連結な$K$-自明な多様体上のカラビ・ヤウ・ファイブレーションに焦点を当てている。楕円K3曲面が$\mathbb{P}^1$上において多重ファイバーを持たないことは古典的な結果であるが、高次元におけるこれらのファイバーの挙動は完全には確立されていなかった。著者らは、以下のケースにおいてこの非存在性が拡張されるかどうかを調査している：

1. $X$をハイパーケーラー多様体とする、ラグランジュ・ファイブレーション $f: X \to \mathbb{P}^n$。
2. $X$を単連結で滑らか、射影的、かつ$K$-自明な多様体とする、カラビ・ヤウ・ファイブレーション $f: X \to \mathbb{P}^n$。

余次元一の多重ファイバーは、整数 $m > 1$ と有効因子 $E$ に対して、$f^{-1}(D) = mE$ となるような素因子 $D \subset B$ として定義される。本論文は、全空間 $X$ が特異である場合のこれらの結果の限界についても探究している。

手法

著者らは、古典的な代数幾何学の手法と、基底となる射影空間のグロタンディーク環を用いた新しい計算ツールを組み合わせて用いている。核心となる戦略は、背理法による証明である。すなわち、多重度 $m > 1$ の余次元一の多重ファイバーが存在すると仮定し、以下のステップを用いて矛盾を導き出す：

1. 巡回被覆と可分性： 巡回被覆のトリックと $X$ の単連結性を利用して、$X$ のピカール群において、基底からのハイパープレーン・クラスのプルバック $f^*\mathcal{O}_{\mathbb{P}^n}(1)$ が $m$ で一意に可分であることを導き出す。これにより、特定のラインバンドル $\mathcal{O}_X(1/m)$ の構成が可能となる。
2. 高次直接像層： 高次直接像層 $R^i f_* \mathcal{O}_X(j/m)$ を解析する。高次直接像に関するコラー（Kollár）の消滅定理と、$X$ が有理特異性を持ち $K$-自明であるという仮定を用いて、これらの層が基底 $\mathbb{P}^n$ 上で局所自由であることを確立する。
3. ホロックス（Horrocks）の判定法： ホロックスの分解判定法を適用することで、これらの局所自由層が $\mathbb{P}^n$ 上のラインバンドルの直和へと分解されることを示す。
4. ベイリンソン・ノルムとヒルベルト多項式：
   • ラグランジュ・ファイブレーションについては、ベイリンソン基底 $[\mathcal{O}_{\mathbb{P}^n}(-n)], \dots, [\mathcal{O}_{\mathbb{P}^n}]$ に関するグロタンディーク群 $K_0(\mathbb{P}^n)$ 上の「ベイリンソン・ノルム」を導入する。著者らは、$[R f_* \mathcal{O}_X(1/m)]$ のクラスのノルムを、二通りの方法（一つはホイブレイツ（Huybrechts）–リーマン・ロッホ公式によるオイラー標数を用い、もう一つは直和分解による三角不等式を用いる方法）で計算する。得られる不等式が矛盾を生じさせる。
   • カラビ・ヤウ・ファイブレーションについては、クラス $[R f_* \mathcal{O}_X(1/m)]$ のヒルベルト多項式の整数性制約を利用する。著者らは、ファイブレーションの幾何学から導かれる多項式が、$m > 1$ の場合において、ほとんどのケースで要求される整数条件を満たせないことを示す。

主要な貢献と結果

本論文は以下の主要な定理を確立している：

• 定理 1.1（ラグランジュ・ファイブレーション）： ハイパーケーラー多様体 $X$ からのラグランジュ・ファイブレーション $f: X \to \mathbb{P}^n$ は、余次元一の多重ファイバーを持たない。

  • 意義： この結果はタイト（tight）なものである。著者らは、非コンパクトな設定や高余次元においては多重ファイバーが存在し得ることを指摘しているが、このクラスの多様体においては余次元一では厳密に禁止されている。
  • 帰結： この結果は、先行研究におけるいくつかの結果を無条件のものとする。これは、余次元一における局所切断の存在を意味し、埋め込み $f^*(\text{Pic}(\mathbb{P}^n)) \subset \text{Pic}(X)$ の原始性を確認し、有界性の問題におけるテイト・シャファレヴィッチ群の解析を簡略化する。また、一般的な特異ファイバーの構造に関するサウォン（Sawon）の予想を支持する（特定のピカール数が条件下での、ファイバーが簡約であり、タイプ I, II, III, または IV であることを示す）。

• 定理 1.3（カラビ・ヤウ・ファイブレーション）： $X$ を、相対次元 $r$ のカラビ・ヤウ・ファイブレーション $f: X \to \mathbb{P}^n$ を持つ、単連結で滑らか、射影的、かつ $K$-自明な多様体とする。

  • $n \ge 2$ または $r$ が奇数の場合、$f$ は余次元一の多重ファイバーを持たない。
  • $n = 1$ かつ $r$ が偶数の場合、$f$ は多重度 2 より大きい多重ファイバーを持たず、多重度 2 のファイバーは高々一つ存在する。
  • 最適性： 著者らは、エンリケス・カラビ・ヤウ（Enriques–Calabi–Yau）因子を含む $K$-自明な多様体の例（ボリスォフ（Borisov）・ヌアー（Nuer）の例を一般化したもの）を構成することにより、この境界が鋭いことを証明している。この例は、まさに基底次元 $n=1$ かつ相対次元 $r$ が偶数の場合に発生する。

• 特異空間への一般化：

  • 著者らは、結果が（特異なクマー（Kummer）K3曲面の反例を挙げて）ゲーレンディアン（Gorenstein）標準特異性を持つ多様体には自動的には拡張されないことを示している。
  • しかし、**因子的（factorial）**な既約シンプレクティック多様体（ハイパーケーラー多様体の特異な一般化）に対しては、余次元一の多重ファイバーの非存在性が依然として保持されることを証明している。
  • $K_X$ が基底点フリーである終端特異性（terminal singularities）を持つ多様体上の楕円ファイブレーションにおいても、多重ファイバーの非存在性は保存される。

意義と主張

本論文は、楕円K3曲面における多重ファイバーの非存在性の古典的な結果に対する「最適な一般化」を提供すると主張している。その主な意義は以下の通りである：

1. 無条件の結果： ラグランジュ・ファイブレーションに関する先行研究における、多重ファイバーの非存在性の仮定を取り除き、これらのファイブレーションの構造論を強固なものにしたこと。
2. 構造的洞察： ピカール埋め込みの原始性と多重ファイバーの存在との関係を明確にしたこと。
3. 境界の鋭さ： カラビ・ヤウ・ファイブレーションにおける多重ファイバーの存在と非存在の境界を正確に描き出し、単一の二重ファイバーが可能となる特定の数値的ケース（$n=1, r$ が偶数）を特定し、そのための明示的な構成を提供したこと。

著者らは、特異なケースに関して控えめな姿勢を維持しており、彼らの手法は滑らかさまたは因子性を必要とするものの、結果は特定の特異な文脈（因子的な既約シンプレクティック多様体）では成立するが、他のケース（標準特異性）では成立しないことを認め、一般的な特異なケースはさらなる調査のための未解決領域として残している。