代数幾何学 · 2026-08-29
Non-vanishing implies numerical dimension one abundance
非消滅予想から数値次元1の豊富性へ Jihao Liu, Zheng Xu jihao-liu-1kxvwe zheng-xu-mijo9c birational-geometry minimal-model-program Birational geometry 双有理幾何 Minimal model program 極小モデル・プログラムarXiv Abstract
We show that the non-vanishing conjecture implies the abundance conjecture when $ν\leq 1$. We also prove the abundance conjecture in dimension $\leq 5$ when $κ\geq 0$ and $ν\leq 1$ unconditionally.
日本語要約
数値次元が1以下の滑らかな射影多様体について、非消滅予想を仮定すれば豊富性予想が従う。加えて、Kodaira次元が非負で次元5以下なら、豊富性予想は無条件に成り立つ。
We show that the non-vanishing conjecture implies the abundance conjecture when $ν\leq 1$. We also prove the abundance conjecture in dimension $\leq 5$ when $κ\geq 0$ and $ν\leq 1$ unconditionally.
数値次元$\nu\leq1$では、非消滅予想から豊富性予想が従うことを示す。さらに$\kappa\geq0$かつ次元5以下なら非消滅予想を仮定せず豊富性を証明し、良い極小モデルの存在へ結びつける。
algebraic-geometry 2026書誌情報
- arXiv: arXiv:2505.05250v2
- 著者: Jihao Liu, Zheng Xu
- 初回投稿日: 2025年5月8日
- 最終更新日: 2025年7月30日
- 主分類・副分類: math.AG（主分類）, math.CV, math.DG
- ライセンス: CC BY-NC-ND 4.0
要約
豊富性予想は、滑らかな射影多様体$X$のKodaira次元と数値次元が一致すること、すなわち$\kappa(X)=\nu(X)$を予想する。三次元では解決済みだが、四次元以上では$\nu=1$という最初の非自明な場合にも未解決部分が残っていた。
論文は$\nu\leq1$に焦点を絞り、非消滅予想から豊富性予想を導く。従来の非消滅から豊富性への議論で必要だったdlt拡張予想を、この数値次元の範囲では仮定しない。
もう一つの結果として、$\dim X\leq5$、$\kappa(X)\geq0$、$\nu(X)\leq1$なら、$X$が良い極小モデルを持つことを無条件に示す。論証は解析的方法よりも、半対数標準特異点のDu Bois性と近年のlc極小モデル・プログラムの進展を用いる代数的構成に重点を置く。
背景と問題設定
非消滅予想は$\nu(X)\geq0$なら$\kappa(X)\geq0$と主張する。豊富性はこれより強く、数値的情報が実際の多重標準形式を十分に生成することを求める。本論文は差が最小となる$\nu\leq1$で、この二つの予想の隔たりを埋める。
主結果
次元5以下の無条件結果（Theorem 1.2）
$\dim X\leq5$、$\kappa(X)\geq0$、$\nu(X)\leq1$を満たす滑らかな射影多様体$X$は良い極小モデルを持ち、
$$ \kappa(X)=\nu(X) $$
が成り立つ。
非消滅から豊富性へ（Theorem 1.4）
次元$d$の滑らかな射影多様体に対する非消滅予想を仮定する。このとき$\dim X\leq d$かつ$\nu(X)\leq1$の任意の$X$は、良い極小モデルまたはMoriファイバー空間を持ち、豊富性が成立する。Introductionは同様の主張がlc対にも拡張されると述べる。
特別停止への帰着（Theorem 1.6）
有効な射影$\mathbb Q$-factorial dlt対に対する特定のMMPが境界の整数部分の因子的像の近傍で停止する、というConjecture 1.7を仮定すれば、$\kappa\geq0$かつ$\nu\leq1$の豊富性が従う。この技術的結果が二つの主定理を支える。
証明の見取り図
Introductionによれば、Kawamataによる三次元の場合の別証明、slc特異点のDu Bois性、lc MMPの新しい成果が主要な材料である。近年のMMPにより問題をTheorem 1.6へ帰着し、低次元で知られる極小モデルの存在やMMP停止、非消滅から特別停止条件を確保する。
原論文との対応
- Abstractページ: arXiv:2505.05250v2
- Introduction: Section 1, pp. 1–3
- 主要定理: Theorems 1.2, 1.4, 1.6; Conjectures 1.1, 1.5, 1.7
- 確認したarXivバージョン: v2
- source_scope: Abstract and Introduction