Arakelov inequality for families of pairs

技術的概要：対の族に対するアラケロフ不等式

問題提起
本論文は、曲線の族に対して元々定式化された古典的なアラケロフ不等式を、高次元代数幾何へ拡張することを扱っている。具体的には、滑らかな射影的基底 $S$ へ写像する対 $(X, \Delta)$ の族に対して数値的 bound を確立することを目的としている。設定は、射影的単純正規交差（snc）半対数標準（slc）対 $(X, \Delta)$ と、射 $f: (X, \Delta) \to S$ からなる。目標は、分岐と基底の幾何を考慮しつつ、多正則線形束の直接像の係数部分層の第一チャーン類を bound することである。この研究は、全空間が滑らかまたは対数滑らかではなく、特異点（snc 対）を持つ可能性のある多様体のモジュライ空間の境界で生じる族に適用可能な、実効的な不等式を提供することを目指す。

手法
証明戦略は、ホッジ理論、双有理幾何、およびホッジ構造の変異への特定の埋め込みの構成の組み合わせに依存している。

1. 厳密半安定化: 著者らは、与えられた族を余次元 1 で厳密半安定なものに変換する還元過程（命題 2.4）を利用する。これには、有限全射基底変換 $\sigma: \tilde{S} \to S$ と、関手的な特異点解消 $\tau: \tilde{X} \to X \times_S \tilde{S}$ が含まれる。この段階により、厳密半安定性を必要とする手法の適用が可能となり、同時に分岐除数 $R_f$ を制御できる。
2. ファイバー積と交代和: 中心的な技術的革新は、ファイバー積の使用にある。多正則線形束の押し出しの行列式を、高次ファイバー積へ埋め込む（Kovács-Taji [18] などの先行研究で行われた）代わりに、本論文は交代和の構成に由来する埋め込みを採用する。具体的には、以下の単射を構成する：
   $$\det f_*(\mathcal{O}_X(rK_{X/S}))^{\otimes r} \hookrightarrow \bigoplus_{i=1}^{lr} f_*(\mathcal{O}_X(rK_{X/S})) \simeq f_{[lr]*}(\mathcal{O}_{X^{[lr]}}(rK_{X/S}))$$
   ここで $l$ は層の階数である。この構成により、数値的に鋭い不等式が得られる。なぜなら、ファイバー積の次数 $lr$は、従来の埋め込みで必要とされた次数$\mu$ より一般的に小さいからである。
3. ホッジ理論的不等式: 著者らは、先行研究 [24] で確立されたホッジ理論的なアラケロフ不等式を利用する。関連する層を基底上のホッジ構造の変異の標準的拡張へ埋め込むことにより、対数余接束 $\Omega_S(\log D)$ の正性およびデリーニュ拡張のパラボリック半安定性を利用して、数値的 bound を導出する。
4. 分岐の制御: 分岐除数 $R_f$ の定義（定義 2.3）が決定的である。これは、判別式の引き戻しと $\Delta$ の垂直部分を含む特定の不等式を満たす最小の効率的 $\mathbb{Q}$-除数として定義される。本論文は、余次元 1 で厳密半安定な族に対して、$R_f$ が消滅することを証明している。

主要な貢献と結果

• 定理 1.1（主要不等式）: 本論文は、$(X, \Delta)$ が snc slc 対である射 $f: (X, \Delta) \to S$ に対する一般的なアラケロフ型不等式を確立する。$(f_*\mathcal{O}_X(kK_{X/S} + \lfloor k\Delta \rfloor))^{\otimes r}$ 内の階数 $l$ の係数部分層 $W$ に対して、$K_S + D$ が擬効的であると仮定すると、その不等式は任意の可動曲線類 $\alpha$ に対する交点数 $c_1(W) \cdot \alpha$ を bound する。この bound には、基底の次元 ($d$)、相対次元 ($n$)、階数 ($l$)、テンソル冪 ($r$)、および分岐除数 $R_f$ に依存する項が含まれる。

  • $\dim S = 1$ の場合、不等式は鋭くなる（定理 1.1、式 1.2）。これにより、Viehweg-Zuo などの結果が回復され、精緻化される。
  • $K_S + D$ が ample である場合、$(K_S + D)^{d-1}$ を含む精緻な評価が提供される。

• 先行研究との比較: 本論文は、その手法を Kovács-Taji [18] と明確に対比させる。Kovács-Taji はホッジ構造にアクセスするために高次ファイバー積（$\mu$ 重）への埋め込みを用いたのに対し、本論文は交代和の構成を用いて低次ファイバー積（$lr$ 重）への埋め込みを行う。ファイバー積の次数のこの削減により、数値的に鋭い bound が得られる。さらに、本論文は、曲線の場合の最適性を達成するために、デリーニュ拡張のパラボリック半安定性を活用する。

• 定理 1.2（イタカ体積の bound）: 主要不等式の帰結として、本論文は、幾何学的一般ファイバーが良い最小モデルを持つ代数ファイバー空間 $f: X \to S$（ここで $S$ は曲線）のイタカ体積に対する上限を導出する。この bound は、全空間のイタカ体積を、ファイバーのイタカ体積、基底除数 $K_S + D$ の次数、および分岐除数に関連付ける。

意義と主張
本論文は、特異な全空間（snc slc 対）を持つ族に適用可能な、複素数体上の高次元アラケロフ型不等式を確立すると主張しており、これにより滑らかまたは対数滑らかな族を超えた範囲への拡張を実現している。この一般性は、特に境界において、多様体のモジュライ空間の研究にとって重要である。

著者らは、その結果が Kovács-Taji [18] によって確立された不等式の実効的バージョンを提供し、精緻化された埋め込み手法により数値的に鋭い bound を提供すると主張している。さらに、本論文は、曲線の場合の不等式（定理 1.1、式 1.2）が鋭く、特定のシムラ族に対して等号が成り立つと主張している。

この研究は、著者らの先行研究 [24] に基づいており、そこでは KSB 対および安定最小モデルに対する幾何学的シャファレヴィッチ有界性予想が確認された。現在の論文は、そのより広範な文脈で使用される技術的ツール（具体的にはアラケロフ不等式）を精緻化し、対の族の数値不変量に対するより精密な制御を提供する。本論文は新たな実験的応用を提案するものではなく、モジュライ空間の幾何および代数ファイバー空間の有界性を理解するための根本的なツールとして不等式を位置づけている。