多変数複素解析 · 2026-09-30

Invariance of plurigenera for Kähler families with nef canonical bundles

標準束がnefなKähler族における多重種数の不変性

Fusheng Deng, Jiafu Ning, Zhiwei Wang, Xiangyu Zhou

fusheng-deng-7bffaz jiafu-ning-16rdv28 zhiwei-wang-3ee148 xiangyu-zhou-1lufjgm positivity multiplier-ideals-extension monge-ampere-equations Positivity 正値性 Complex Monge–Ampère equations 複素Monge–Ampère方程式 Multiplier ideals and extension theorems 乗数イデアル・拡張定理 Monge Ampère Monge Ampere Monge-Ampère Monge-Ampere

arXiv Abstract

Let $p:X\rightarrowΔ$ be a proper holomorphic submersion from a Kähler manifold $X$. We prove that, if $K_{X_t}$ is nef for every $t\inΔ$, then $\dim_{\mathbb C}H^0(X_t,mK_{X_t})$ is independent of $t$ for every integer $m\geq1$. This gives a partial answer to Siu's conjecture on the invariance of plurigenera for Kähler families.

日本語要約

Kähler多様体から円板へのproper holomorphic submersionを考える。すべてのファイバーで標準束がnefなら、任意の整数 $m\ge1$ に対して $H^0(X_t,mK_{X_t})$ の次元はファイバーによらず一定である。これはKähler族の多重種数不変性に関するSiu予想への部分的解答である。

Let $p:X\rightarrowΔ$ be a proper holomorphic submersion from a Kähler manifold $X$. We prove that, if $K_{X_t}$ is nef for every $t\inΔ$, then $\dim_{\mathbb C}H^0(X_t,mK_{X_t})$ is independent of $t$ for every integer $m\geq1$. This gives a partial answer to Siu's conjecture on the invariance of plurigenera for Kähler families.

proper holomorphic submersion $p:X\to\Delta$ の全空間がKählerで、各ファイバーの標準束がnefなら、すべての多重種数 $P_m(X_t)$ が $t$ に依存しないことを証明する。最小特異性をもつ重みを全空間上に構成し、Ohsawa–Takegoshi型拡張定理によって任意の多重標準切断を延長する。

arXiv
2609.37804v1
初回投稿日
2026-09-29
原論文のライセンス
arXiv non-exclusive distribution license
掲載形式
Abstract・Introductionに基づく日本語要約
タグ
several-complex-variables 2026

原論文を開く

書誌情報

要約

多重種数 $P_m(X_t)=\dim_{\mathbb C}H^0(X_t,mK_{X_t})$ の変形不変性は、射影族ではSiuらにより確立されている一方、コンパクトKähler多様体の正則族では予想として残る。本論文は、各ファイバーの標準束がnefという仮定の下でこの不変性を証明する。

より強く、任意のファイバー $X_{t_0}$ 上の任意の多重標準切断が全空間へ正則に延長することを示す。したがって半連続性と合わせて、多重種数が円板上で一定になる。

背景と問題設定

従来の拡張判定には切断の零因子から作る乗数イデアルの零点集合に制約があった。本論文はnef性から最小特異性をもつ準多重劣調和重みを用意し、その制約を回避する。

主結果

多重標準切断の延長と多重種数不変性（Theorem 1.1 = Theorem 5.1）

$p:X\to\Delta$ をKähler多様体から円板へのproper holomorphic submersionとし、すべての $t\in\Delta$ で $K_{X_t}$ がnefであるとする。このとき任意の $m\ge1$、$t_0\in\Delta$、$s\in H^0(X_{t_0},mK_{X_{t_0}})$ に対し、$s$ を制限としてもつ $\widetilde s\in H^0(X,mK_X)$ が存在する。特に $P_m(X_t)$ は $t$ に依存しない。

証明の見取り図

Păunのファイバーごとのtwisted Kähler–Einstein計量を全空間上で扱い、Di Nezza–Guedj–Guenanciaの体積に依存しない評価でポテンシャルを一様に制御する。極限として得る準psh関数の $X_{t_0}$ への制限は $c_1(K_{X_{t_0}})$ で最小特異性をもつ。これから作る計量に対して切断のノルムが局所可積分となるため、特異計量版Ohsawa–Takegoshi拡張定理が適用できる。

原論文との対応

  • Abstractページ: arXiv:2609.37804
  • Introduction: Section 1, pp. 1–3
  • Introduction中で言及された主要定理番号: Conjecture 1.1, Theorem 1.1 (= Theorem 5.1)
  • 論文構成の説明: Contents, p. 1
  • 確認したarXivバージョン: v1
  • 確認したライセンス: arXiv non-exclusive distribution license
  • source_scope: Abstract and Introduction