代数幾何学 · 2026-08-27
Nonvanishing results for Kähler varieties
Kähler多様体の非消滅定理 Andreas Höring, Vladimir Lazić, Christian Lehn andreas-horing-1d9mjfp vladimir-lazic-nyn69k christian-lehn-1cj0gl positivity birational-geometry hyperkahler-geometry pluripotential-theory Birational geometry 双有理幾何 Positivity 正値性 Hyperkähler geometry ハイパーケーラー幾何 Pluripotential theory 多重ポテンシャル論arXiv Abstract
Nonvanishing theorems play a central role in birational geometry, since they derive geometric consequences from numerical information and constitute a crucial step towards abundance and semiampleness problems. General nonvanishing statements remain rare, especially in the Kähler setting. We present two types of nonvanishing results for compact Kähler varieties. First, on non-uniruled varieties with nonzero Euler-Poincaré characteristic, we prove nonvanishing for adjoint bundles of numerical dimension one on Kähler klt pairs, as well as nonvanishing for nef line bundles of numerical dimension one on $K$-trivial varieties. Second, on hyperkähler manifolds we study line bundles $\mathcal L$ which are nef but not big, and establish a dichotomy: either nonvanishing holds for $\mathcal L$, or any closed positive current in the cohomology class of $\mathcal L$ has maximal Lelong components with a rather restricted geometry. We obtain much stronger abundance-type results in dimension $4$.
日本語要約
コンパクトKähler多様体に対する二種類の非消滅結果を得る。非非有理曲線被覆でEuler–Poincaré標数が非零の場合の数値次元1の束を扱うほか、hyperkähler多様体 上のnefかつ非bigな直線束について、非消滅または強く制限された最大Lelong成分という二分法を示し、次元4ではより強い豊富性型結論を得る。
Nonvanishing theorems play a central role in birational geometry, since they derive geometric consequences from numerical information and constitute a crucial step towards abundance and semiampleness problems. General nonvanishing statements remain rare, especially in the Kähler setting. We present two types of nonvanishing results for compact Kähler varieties. First, on non-uniruled varieties with nonzero Euler-Poincaré characteristic, we prove nonvanishing for adjoint bundles of numerical dimension one on Kähler klt pairs, as well as nonvanishing for nef line bundles of numerical dimension one on $K$-trivial varieties. Second, on hyperkähler manifolds we study line bundles $\mathcal L$ which are nef but not big, and establish a dichotomy: either nonvanishing holds for $\mathcal L$, or any closed positive current in the cohomology class of $\mathcal L$ has maximal Lelong components with a rather restricted geometry. We obtain much stronger abundance-type results in dimension $4$.
非非有理曲線被覆なコンパクトKähler klt対について、Euler–Poincaré標数が非零で数値次元1なら随伴束の非消滅を示す。さらにK自明多様体とhyperkähler多 様体で、nefだがbigでない直線束の非消滅・半豊富性とLelong成分の幾何を明らかにする。
algebraic-geometry 2026書誌情報
- arXiv: arXiv:2508.14634
- 著者: Andreas Höring, Vladimir Lazić, Christian Lehn
- 主分類・副分類: math.AG; math.CV; math.DG
- ライセンス: arXiv non-exclusive distribution license
要約
非消滅予想はnefな随伴束が非負Kodaira次元をもつと主張し、半豊富性への重要な段階である。本論文は射影性を仮定しないコンパクトKähler klt対で、数値次元1かつ正則Euler標数が非零の場合を扱う。
さらにK自明多様体上のnef直線束とhyperkähler多様体上のisotropic nef直線束を調べる。後者では非消滅が成立しないなら、任意の正電流の最大Lelong成分が余等方的で強い次元・交点制約を受けるという二分法を得る。
背景と問題設定
nef直線束 $L$ の数値次元を $c_1(L)^k\ne0$ となる最大の $k$ とする。Kähler非射影の場合、数値次元が次元全体または0の両端以外には一般的非消滅結果がほぼなかった。
主結果
Theorem A
非非有理曲線被覆なQ-factorialコンパクトKähler klt対 $(X,\Delta)$ で、$K_X+\Delta$ がnef、数値次元1、$\chi(X,\mathcal O_X)\ne0$ なら $$\kappa(X,K_X+\Delta)\ge0.$$ 最小特異性電流は、全Lelong数が消えるか、その類の唯一の閉正電流になる。
Theorem C
非非有理曲線被覆、$c_1(X)=0$ のQ-factorialコンパクトKähler klt多様体で、数値次元1のnef直線束 $L$ と $\chi(X,\mathcal O_X)\ne0$ があれば、$L$ のコホモロジー類に有効Q因子が存在する。
Theorem D
$2n$ 次元hyperkähler多様体上で $q_X(L,L)=0$ のnef直線束は、$\kappa(X,L)\ge0$ となるか、任意の正電流の各最大Lelong成分 $Z$ が $$n\le\dim Z\le2n-2,\qquad c_1(L|_Z)^{\dim Z-n+1}=0$$ を満たし、かつシンプレクティック形式に関して余等方的になる。
証明の見取り図
Siu分解で擬有効類を精密化し、KählerのHodge–Riemann形式とhyperkählerのBeauville–Bogomolov–Fujiki形式の共通性を「good bilinear form」として抽出する。これを非消滅判定へ組み込み、正電流の正則化と非有理曲線被覆Kähler多様体の新しい構造結果を用いる。
原論文との対応
- Abstractページ: arXiv:2508.14634
- Introduction: Section 1, pp. 1–4
- 確認したarXivバージョン: 2508.14634v2
- 確認したライセンス: arXiv non-exclusive distribution license
- source_scope: Abstract and Introduction