On canonical bundle formula for fibrations of curves with arithmetic genus one

この論文は、標数 $p>0$ における曲線束（相対次元 1）の標準束公式を、分離的な場合と非分離的な場合（$S$ が最大アルバーネ次元を持つ場合）にわけて確立し、$-(K_X+\Delta)$ が nef である klt 対 $(X, \Delta)$ に対して、相対次元 1 のアルバーネ写像が $X$ を $A$ 上のファイバー束であることを示すことを目的としています。

要約

この論文は、数学の「代数幾何学」という分野、特に「正標数（特徴 $p > 0$）」と呼ばれる特殊な数の世界で働く、**「曲線が織りなす模様（ファイバー束）」**についての研究です。

専門用語を並べると難しすぎますが、**「複雑な布地を解きほぐす」**というイメージを使って、わかりやすく説明しましょう。

1. この研究のテーマ：布地を解きほぐす

想像してください。

• $X$（大きな布地）： 複雑な模様が入った大きな布。
• $S$（下敷き）： その布が置かれている平らな台紙。
• $f$（布を解く作業）： 大きな布を、下敷きに垂直に「糸」のように解きほぐす作業。

このとき、解きほぐされた「糸（ファイバー）」が、**「1 本の線（曲線）」である場合を考えます。さらに、その「糸」の太さや形が、「算術的種数 1」**という、少し特殊で「丸っこい（円に近い）」形をしているとします。

この研究の目的は、**「この複雑な布地（$X$）と、その下の台紙（$S$）の間の関係式」**を見つけることです。これを数学者は「標準束公式（Canonical Bundle Formula）」と呼びます。

2. 2 つのシナリオ：スムーズな糸と、絡まった糸

この研究では、糸を解く作業（写像 $f$）がどう進むかに応じて、2 つのケースに分けて考えます。

ケース A：スムーズな糸（可分的な場合）

糸がきれいに、絡まらずに解けていく場合です。

• 発見： 以前、ウィタスケック（Witaszek）という人が、糸がきれいな場合の公式を見つけました。この論文の著者たちは、**「糸が少し傷ついている（特異点がある）場合でも、似たような公式が成り立つ」**ことを証明しました。
• イメージ： きれいな糸だけでなく、少しほつれた糸でも、解き方のルールは基本的に同じだ、とわかったのです。

ケース B：絡まった糸（非可分的な場合）

ここが今回の論文の最大の特徴です。正標数（$p=2$ や $3$）の世界では、糸が**「自分自身に絡みつく」**ような現象が起きます。

• 問題： 糸が絡まっていると、下敷き（$S$）の形がどうなっているかによって、布地（$X$）の性質が全く変わってしまいます。
• 解決策： 著者たちは、**「アルバーネ写像（Albanese morphism）」**という、布地を「最も平らな台紙（アーベル多様体）」に投影する道具を使いました。
  • もし下敷き（$S$）が「最大アルバーネ次元」という、ある種の「平らさ」を持っていれば、絡まった糸の解き方を分析し、公式を導き出すことができました。
  • 特に、糸が「自分自身に絡みつく（非可分的）」場合でも、下敷きが平らであれば、布地の形はある程度予測可能である、という結果を得ました。

3. 最大の成果：「反ネフ」な布地の正体

この公式を使って、著者たちはある重要な定理（定理 1.5）を証明しました。

• 状況： 「反ネフ（anti-nef）」という性質を持つ布地（$X$）を考えます。これは、布地全体が「ある方向に引っ張られて、曲がっていない（ネガティブな曲率が支配的）」状態を意味します。
• 問い： この布地を「アルバーネ写像」という道具で下敷き（$A$）に投影すると、それはただの「点」になるのか、それとも「糸を解くように」布地全体が下敷きに広がっているのか？
• 結論： **「糸を解くように広がっている（ファイバー束である）」**ことが証明されました。
  • つまり、この特殊な性質を持つ布地は、**「アーベル多様体（トーラスのようなもの）」**という、非常に整った形をした台紙の上に、きれいに並んだ糸（曲線）が張られている構造をしている、ということがわかりました。

4. なぜこれが重要なのか？

• パズルのピース： 数学の世界では、「ネガティブな曲率を持つ空間」は、非常に特殊で美しい構造を持っているはずだと予想されています。この論文は、その構造が「アーベル多様体」という整った形の上に成り立っていることを示す、重要なピースを提供しました。
• 未来への架け橋： この結果は、さらに複雑な 3 次元の布地や、より一般的な空間の構造を解明するための「基礎工事」となっています。著者たちは、次の論文で、この構造を使って「群の作用」や「葉状構造（foliation）」を使って、その布地がどうやって作られたかを詳しく説明する予定です。

まとめ

この論文は、**「正標数という特殊な数の世界で、絡まりやすい糸（曲線）が織りなす布地（多様体）」を研究し、「その布地が、実は非常に整った台紙（アーベル多様体）の上に、きれいに並んだ糸として存在している」**ことを証明した、数学的な探偵物語です。

複雑な絡まりを解きほぐすための新しい「解き方（公式）」を見つけ出し、布地の正体を暴き出した、というわけです。

技術概要

論文「正標数における算術種数 1 の曲線束に対する標準束公式」の技術的サマリー

1. 研究の背景と問題設定

複素数体 $\mathbb{C}$ 上では、一般のファイバーが数値的に自明な標準因子を持つファイバー写像（特に楕円束や種数 1 の曲線束）に対して、**標準束公式（Canonical Bundle Formula）**が確立されており、これは双有理幾何学（特に副接続や多標準系の実現可能性）において極めて重要な役割を果たしています。この公式は、全空間の標準因子 $K_X$ を、底空間 $S$ の標準因子 $K_S$、ファイバーのモジュライ情報、および特異ファイバーの情報を組み合わせた形 $K_X \sim_{\mathbb{Q}} f^*(K_S + \Delta_S)$ で表現するものです。

しかし、正標数 $p > 0$ の場合、この理論は未発展であり、特に以下の点で困難が生じます。

1. 非可分なファイバー写像: 標数 $p$ において、ファイバー写像 $f$ が非可分（inseparable）である場合、一般の幾何学的ファイバー $X_{K(S)}$ が既約でない（非既約）ことがあり得ます。
2. 特異なファイバー: 標数 $p < 5$ において、**擬楕円束（quasi-elliptic fibration）**と呼ばれる、一般ファイバーが特異な有理曲線（算術種数 1）となる現象が発生します。この場合、相対標準因子 $K_{X/S}$ が有効な $\mathbb{Q}$-因子に $\mathbb{Q}$-線形同値であるとは限りません。
3. 既存結果の限界: Witaszek [36] は、一般ファイバーが滑らかな場合の標準束公式を確立しましたが、一般ファイバーが特異な場合（特に非可分な束）に対する包括的な公式は欠けていました。

本論文は、正標数 $p > 0$ における、相対次元 1 のファイバー写像（特に算術種数 1 の曲線束）に対する標準束公式の構築を目的としています。

2. 主要な手法とアプローチ

著者らは、以下の手法を駆使して問題を解決しました。

2.1. 葉状構造（Foliations）の言語の活用

非可分な基底変換（purely inseparable base change）における標準因子の挙動を解析するために、[23, 28] で開発された**葉状構造（foliations）**の理論を適用しました。

• 非可分な射 $\pi: Y \to X$ と、それに対応する葉状構造 $\mathcal{F} \subseteq T_Y$ の間の対応関係を利用し、$K_X$ と $K_Y$ の関係を記述します。
• 特に、相対次元 1 の束 $f: X \to S$ において、$f$ が非可分な場合、$S$ 上の葉状構造を定義し、基底変換後の空間における標準因子の分解を制御します。

2.2. 算術種数 1 の非滑らかな曲線の分類

標数 $p$ における、非滑らかだが正則な算術種数 1 の曲線 $X$ の構造を詳細に分析しました（第 4 節）。

• $p=2, 3$ の場合にのみ、一般ファイバーが非滑らかな有理曲線（非滑らかな円錐曲線）となり得ることを示しました。
• 基底体 $K$ の拡大 $L$ に対する $X_L$ の正規化 $Y$ と、その間の導手（conductor）の挙動を具体的に記述し、標準因子の引き戻しにおける補正項を計算しました。

2.3. 可分・非可分ケースの分岐処理

• 可分な場合: 一般ファイバーが特異であっても、Witaszek の結果を拡張し、有限な純非可分射 $\tau$ を用いた標準束公式を導出しました。
• 非可分な場合: 底空間 $S$ が**最大アルバーネ次元（maximal Albanese dimension, m.A.d.）**を持つ場合に限定して議論を進めました。$S$ のアルバーネ写像 $a_S: S \to A$ が可分か非可分かによってケースを分け、それぞれに対して標準束公式を導きます。

3. 主要な結果

3.1. 可分なファイバー写像に対する公式（定理 1.2, 6.2）

$f: X \to S$ が可分な場合、一般ファイバーが対数最小（lc）または対数正則（klt）であれば、有限な純非可分射 $\tau_1, \tau_2$ と有効な $\mathbb{Q}$-因子 $E$、有理数 $a, b, c \ge 0$ を用いて、以下の公式が成り立ちます。
$$\tau_2^* \tau_1^* D \sim_{\mathbb{Q}} a K_{\bar{T}'} + b \tau_2^* K_{\bar{T}} + c \tau_2^* \tau_1^* K_S + E_{\bar{T}'}$$
ここで、$(X_{K(S)}, \Delta_{K(S)})$ が klt の場合、係数 $c$ は正の定数 $c_0$ 以上となります。これは Witaszek の結果の一般化であり、一般ファイバーが特異な場合にも適用可能です。

3.2. 非可分なファイバー写像に対する公式（定理 1.3, 7.2, 7.3）

$f$ が非可分であり、かつ $S$ が最大アルバーネ次元を持つ場合、アルバーネ写像 $a_S$ の性質に応じて以下の結果を得ます。

• $a_S$ が可分な場合: $D - \frac{1}{2p} K_S \succeq_{\mathbb{Q}} 0$ となり、$\kappa(S, D) \ge \kappa(S)$ が成り立ちます。
• $a_S$ が非可分な場合: $\kappa(S, D) \ge 0$ が成り立ちます。さらに、$(X_{K(S)}, \Delta_{K(S)})$ が klt で、$a_S$ が有限かつ $K_X + \Delta \sim_{\mathbb{Q}} f^* D$ である場合、$\kappa(S, D) \ge 1$ となります（特異点解消が存在する仮定の下）。

3.3. 反標準因子が nef である多様体の構造定理（定理 1.5, 8.1）

本論文の応用として、反標準因子 $-(K_X + \Delta)$ が nef である klt 対 $(X, \Delta)$ について、そのアルバーネ写像 $a_X: X \to A$ の構造を明らかにしました。

• 定理: $a_X$ の相対次元が 1 であるとき、$a_X$ はファイバー写像（surjective fibration）となります。
• これは、正標数における反標準 nef 多様体の構造研究における重要な一歩であり、特に Ejiri-Patakfalvi の結果を強化し、$a_X$ が単に全射であるだけでなく、実際に束（fibration）であることを示しました。

4. 意義と貢献

1. 正標数における標準束公式の完成度向上: 複素数体での理論を正標数へ拡張する際、非可分な束や特異ファイバーという本質的な障害を克服し、包括的な公式を確立しました。
2. 葉状構造の応用: 正標数幾何学において、非可分な射を扱うための強力なツールとして葉状構造の理論を効果的に適用し、標準因子の比較を可能にしました。
3. 構造論への応用: 反標準 nef 多様体（anti-nef varieties）の分類において、アルバーネ写像が束となることを証明しました。これは、正標数における「反標準 nef 多様体は、アーベル多様体と楕円曲線（または有理曲線）の積からの商として得られる」という予想の進展に寄与します（後の論文 [9] でさらに詳細な構造が示されます）。
4. 擬楕円束の扱い: 標数 2, 3 における擬楕円束（一般ファイバーが特異な有理曲線）に対する標準束公式を初めて体系的に扱いました。

5. 結論

本論文は、正標数 $p > 0$ における相対次元 1 のファイバー写像、特に算術種数 1 の曲線束に対する標準束公式を確立し、それを応用して反標準 nef 多様体のアルバーネ写像の構造を解明した画期的な研究です。非可分な幾何学的現象を葉状構造の理論を用いて統一的に扱う手法は、今後の正標数双有理幾何学における重要な手法論として確立されるでしょう。