代数幾何学 · 2026-08-17
The cone theorem for effective fourfold pairs in characteristic $p>5$
標数p>5におけるeffective 4次元対の錐定理 Joe Waldron joe-waldron-xxhc2y singularities birational-geometry positivity Singularities 特異点・特異性 Birational geometry 双有理幾何 Positivity 正値性arXiv Abstract
Assuming the log resolution conjecture for all log pairs birational to $X$, we prove the cone theorem for projective log canonical, $\mathbb{Q}$-factorial fourfold pairs $(X,Δ)$ such that $K_X +Δ\equiv M \geq 0$ over bases of positive and mixed characteristic $p > 5$.
日本語要約
正標数および混合標数の基底上で、Q-factorial log canonical 4次元対 $(X,\Delta)$ を考える。$K_X+\Delta$ がeffective Q因子に数値同値であり、$X$ に双有理な対についてlog resolution予想を仮定すると、負の端射線を曲線で記述する錐定理が成立することを示す。
Assuming the log resolution conjecture for all log pairs birational to $X$, we prove the cone theorem for projective log canonical, $\mathbb{Q}$-factorial fourfold pairs $(X,Δ)$ such that $K_X +Δ\equiv M \geq 0$ over bases of positive and mixed characteristic $p > 5$.
正・混合標数 $p>5$ の基底上で、$K_X+\Delta$ がeffective因子に数値同値なQ-factorial log canonical 4次元対に対する錐定理を証明する。 log resolution予想を仮定し、負の端射線の離散性、曲線による生成と長さ評価、nef thresholdの有理性を得る。
algebraic-geometry 2026書誌情報
- arXiv: arXiv:2608.14236
- 著者: Joe Waldron
- 初回投稿日: 2026年8月14日
- 最終更新日: 2026年8月14日（v1）
- 主分類・副分類: math.AG（主分類。副分類なし）
- ライセンス: arXiv non-exclusive distribution license
要約
3次元のlog minimal model programは正標数・混合標数で広く確立されているが、4次元では利用できるMMPや特異点制御に制約が残る。本論文は、Keelによる「$K_X+\Delta$ がeffective因子に数値同値」という条件下の3次元錐定理を4次元へ拡張する。
対象は、剰余標数 $2,3,5$ を持たない基底上のQ-factorial log canonical 4次元対である。log resolution予想を仮定する条件付きの結果だが、負の端射線の分解、非集積性、生成曲線の長さを一つの定理で与える。
さらにnef thresholdの有理性と分母の明示的上界、境界成分に負となる端射線の収縮が系として得られる。正・混合標数4次元MMPで使うべき数値的骨格を提供する結果である。
背景と問題設定
4次元では、Q-factorial 4次元対上で例外集合がreduced boundaryに含まれる限り相対MMPを走らせられることが、log resolutionの存在を条件として知られている。本論文はこの相対MMPを主要な入力とし、3次元錐定理へ帰着できる状況を作る。
仮定 $K_X+\Delta\equiv_U M\ge0$ は、負の端射線 $R$ に対して $R\cdot S<0$ となる $M$ の成分 $S$ を選べることを意味する。課題は、adjunctionを安全に適用できるよう、この成分を境界の係数1部分へ組み込むことである。
主結果
錐定理（Theorem 1.1）
$R$ を双対化複体を持つ有限次元excellent環で、剰余標数 $2,3,5$ の素点を持たないものとし、$U$ を $\operatorname{Spec}R$ 上quasi-projectiveとする。$(X,\Delta)$ を $U$ 上射影的な4次元Q-factorial log canonical対、$\Delta$ をQ-boundaryとし、log resolution Conjecture 2.6を仮定する。さらに
$$ K_X+\Delta\equiv_U M $$
を満たすeffective Q因子 $M$ があるとする。このとき可算個の $(K_X+\Delta)$-負端射線 $R_i$ が存在し、
$$ \overline{NE}(X/U)=\overline{NE}(X/U)_{K_X+\Delta\ge0}+\sum_iR_i $$
となる。$R_i$ は負領域に集積せず、各 $R_i$ は $U$ 上の整曲線 $C_i$ で生成され、その曲線はDefinition 2.2の意味で有理曲線の像であり、
$$ -6d_{C_i}\le (K_X+\Delta)\cdot C_i<0 $$
を満たす。任意の $U$-ample Q因子 $A$ に対し、$(K_X+\Delta+A)$-負となる $R_i$ は有限個しかない。
Nef thresholdの有理性（Corollary 1.2）
$K_X+\Delta$ が $U$ 上nefでなく、$H$ が $U$-ample Cartier因子、$a(K_X+\Delta)$ がCartierなら、
$$ r=\sup{t\in\mathbb R_{\ge0}\mid H+t(K_X+\Delta)\text{ は }U\text{ 上nef}} $$
は正の有理数である。既約表示 $r=u/v$ の分母は $0<v\le6a$ を満たす。
証明の見取り図
負の端射線 $R$ に対し $R\cdot S<0$ となる $M$ の成分を選ぶ。$S$ が $\lfloor\Delta\rfloor$ の成分なら、adjunctionと3次元錐定理から曲線と長さ評価が得られる。
そうでない場合、対をkltに調整し、$S$ に沿うlog canonical thresholdとdlt modificationを使って端射線を持ち上げる。4次元のlog canonical thresholdに対するACC全体は未確立なので、余次元3の点でのthresholdを用いるのが工夫である。これにより増大列を止め、最終的に係数1の境界成分へ負となる場合へ帰着する。Introductionは、既知の最適bend-and-breakを代入すれば定数6を4へ改善できることもRemark 1.4で述べている。
原論文との対応
- Abstractページ: arXiv:2608.14236
- Introduction: Section 1, pp. 1–3
- Introduction中で言及された主要定理番号: Theorem 1.1, Corollaries 1.2–1.3, Remark 1.4
- 確認したarXivバージョン: v1
- 確認したライセンス: arXiv non-exclusive distribution license
- source_scope: Abstract and Introduction