On the canonical bundle formula in positive characteristic

技術的サマリー：正標数における標準束公式について

問題提起
代数多様体の分類は、最小モデルプログラム（MMP）と標準因子の正性（positivity）の性質の研究に大きく依存している。この文脈における中心的な道具は標準束公式であり、これはファイバー空間 $f: X \to Z$ の標準因子を、底空間とファイバーの標準因子に関連付ける。この関係は、特異性を測定する判別部分と、モジュライの変動を測定するモジュライ部分に分解される。

この公式は標数 0 においては確立されている（例えば、ホッジ構造の変動や葉付き幾何（foliations）に対するコーン定理を通じて）が、正標数 $p > 0$ におけるその妥当性は、いくつかの要因によって阻害されてきた。

1. 一般滑らか性の破綻: 正標数では、ファイバー空間の幾何学的一般ファイバーが全空間滑らかであっても特異となることがあり、判別部分の直接的な定義を妨げる。
2. 野生分岐: 「野生」ファイバー（重複度が $p$ で割り切れるもの）の存在は、全空間の標準因子とファイバー空間によって誘導される葉付き幾何との関係を複雑にする。
3. 葉付き幾何に対するコーン定理の破綻: 標数 0 におけるモジュライ部分の正性の標準的な証明は、代数的に積分可能な葉付き幾何に対するコーン定理に依存しているが、この結果は正標数では破綻することが知られている。
4. 半安定減少の欠如: 標数 0 で用いられる「良い」モデル（性質 $(*)$ を満たすもの）の構成は、しばしば半安定減少定理に依存しており、これは正標数では同じ一般性では成り立たない。

本論文は、これらの問題に対処し、特に正標数における曲線上のファイバー空間に対する標準束公式を確立することで、特定の仮定の下でモジュライ部分の nef 性を証明する。

手法
著者は、標数 0 に対して Acosta, Cascini, Svaldi、および Spicer（ACSS21）によって導入された戦略を適応させ、正標数特有の障害を克服するために修正を加える。手法は以下の主要なステップを経て進行する。

1. 性質 $(*)$ への帰着: 証明戦略は、まず「性質 $(*)$」を満たす特定のファイバー空間のクラスに対して結果を確立することから始まる。ここでモジュライ部分は（補正項を除いて）誘導された葉付き幾何の標準因子と一致する。一般の場合は、双有理変形を通じてこのクラスに帰着される。
2. 非正規な一般ファイバーの扱い: 正標数では、幾何学的一般ファイバーが正規とならないことがある。これを解決するため、著者はフロベニウス基底変換を採用する。フロベニウス写像の $e$ 乗 ($F^e$) を含む図式を考察することで、幾何学的一般ファイバーの特異性を全空間 $X^{(e)}$ へ「持ち上げる」。これにより、ファイバーが正規となるモデル上で随伴公式や MMP の手法を適用することが可能になる。
3. 葉付き幾何と純非分離写像: 本論文は、正標数における葉付き幾何と純非分離写像の間の対応を利用する。フロベニウス写像の微分が消えるため、純非分離写像は葉付き幾何を定義する。著者は、野生分岐項 ($W(f)$) を考慮しつつ、フロベニウス基底変換 $X^{(e)}$ の標準因子と元のファイバー空間のモジュライ部分とを関連付ける公式を導出する。
4. モジュライ因子に対する Bend and Break: 葉付き幾何に対するコーン定理が正標数では破綻するため、著者は葉に接する有理曲線を直接構成することはできない。代わりに、フロベニウス基底変換後に得られる多様体 $X^{(e)}$ に適用されるBend and Break 定理を利用する。$X^{(e)}$ の標準因子をモジュライ部分に関連付けることで、モジュライ部分が nef でない場合に矛盾を導く垂直な有理曲線を構成する。
5. 次元に関する帰納法: 主定理の証明は、$X$ の次元に関する帰納法によって行われる。これには、幾何学的一般ファイバーの対数正則中心（log canonical centers）上での随伴公式の実行が必要である。これらの中心が存在し、適切に振る舞うことを保証するため、著者はこれらの中心上で不一致（discrepancy）が $-1$となる因子を抽出する「幾何学的$(*)$-変形」を構成し、対数分解と dlt MMP を利用する。

主要な貢献と結果

• 標準束公式（定理 7.9）: 対数 MMP、随伴公式の逆（inversion of adjunction）、および $n$ 次元以下の対数分解の存在を仮定すると、本論文は、完全体上の標数 $p > 2$ において、$n$ 次元の正規射影多様体 $X$ から正規曲線 $Z$ へのファイバー空間 $f: X \to Z$ について、$(X, B)$ が対数一般ファイバーを持つ対数正則（dlt）対であり、$K_X + B$ が $f$-nef であるならば、性質 $(*)$ を満たす双有理モデル $(Y, C)$ が存在し、そのモジュライ部分 $M_Y$ が nef であることを証明する。
• K-自明な場合の正性（定理 7.10）: 系として、$K_X + B \sim_{\mathbb{Q}} f^*L$（K-自明な場合）であれば、モジュライ部分 $M_Z = L - (K_Z + B_Z)$ が nef であることを証明する。
• 3 次元における無条件の結果（系 7.11）: 標数 $p > 5$ の代数閉体上の 3 次元多様体については、対数 MMP、随伴公式の逆、および対数分解の存在の仮定が既知である。したがって、対数一般ファイバーを持つ dlt 対に対して、標準束公式およびモジュライ部分の nef 性は、無条件に成り立つ。
• 野生分岐の公式: 本論文は、正標数におけるファイバー空間によって誘導される葉付き幾何の標準因子に対する明示的な公式（定理 3.6、定理 3.25）を提供し、野生成分に支えられた補正項 $W(f)$ を導入する。さらに、フロベニウス基底変換 $X^{(e)}$ の標準因子をモジュライ部分に関連付ける（系 5.4）。

意義と主張
本論文は、従来の手法（ホッジ理論、標準的なコーン定理）が適用不可能であった正標数という設定に対して、標準束公式を拡張することを主張する。その意義は以下の点にある。

1. 一般滑らか性の破綻の克服: フロベニウス基底変換を用いることで、正標数の双有理幾何における大きな障害であった非正規な一般ファイバーの問題を回避する。
2. コーン定理の回避: フロベニウス基底変換に対する Bend and Break 定理の使用は、正標数では破綻することが知られている葉付き幾何に対するコーン定理に代わる実用的な代替手段を提供する。
3. 3 次元における図式の完成: 本結果は、標数 $p > 5$ における 3 次元多様体に対する完全かつ無条件の標準束公式を提供し、正標数における多様体の分類理論における欠落を埋める。

著者は明示的に、結果が対数分解の存在と関連する次元における MMP の妥当性に依存しており、これらは現在、次元 $\le 3$（および標準係数を持つ場合の次元 4 の一部）でのみ知られていることを指摘している。本論文は、これらの仮定なしにすべての次元およびすべての標数に対する問題を解決するものでも、新しい実験的応用を提案するものでもなく、むしろ正標数における多様体の分類における帰納的議論に必要な理論的基盤を確立するものである。