代数幾何学 · 2026-11-04

On twisted Kawamata's semi-positivity and finite generation of generalized canonical rings

捩れた川又半正値性と一般化標準環の有限生成

Yoshinori Gongyo, Shigeharu Takayama

yoshinori-gongyo-nd95n8 shigeharu-takayama-146eaum positivity singularities minimal-model-program vector-bundles-sheaves Singularities 特異点・特異性 Minimal model program 極小モデル・プログラム Positivity 正値性 Vector bundles and sheaves ベクトル束・層

arXiv Abstract

We give a twisted version of the Kawamata semi-positivity theorem by the $\mathbb{Q}$-line bundle with a vanishing Lelong number at every point. Moreover, we apply the result to the finite generation problem for canonical rings of Birkar's generalized pairs.

日本語要約

特異Hermitian計量の局所重みのLelong数が全点で消えるQ線束を加えた標準束公式を扱う。適切に準備された射の下で、基底のmoduli部分にも半正曲率かつLelong数零の計量を構成する。この半正値性をFujino–Mori型の議論と組み合わせ、高い双有理モデル上のnef部分が同じ計量条件を満たすgeneralized klt対の標準環の有限生成を示す。

We give a twisted version of the Kawamata semi-positivity theorem by the $\mathbb{Q}$-line bundle with a vanishing Lelong number at every point. Moreover, we apply the result to the finite generation problem for canonical rings of Birkar's generalized pairs.

Lelong数が各点で零となる半正曲率の特異Hermitian計量で捩った川又半正値性定理を示す。標準束公式のmoduli部分にも同じ計量の性質が残ることを使い、解析的仮定付きのprojective generalized klt対の標準環の有限生成を得る。単なるnef性やgeneralized lc対への無条件の拡張ではない。

arXiv
2404.07401v3
初回投稿日
2024-04-11
原論文のライセンス
Creative Commons Attribution 4.0 International (CC BY 4.0)
掲載形式
Abstract・Introductionに基づく日本語要約
タグ
algebraic-geometry 2026

原論文を開く

書誌情報

要約

標準束公式は、ファイブレーションの全空間の標準因子を、基底の標準因子、特異ファイバーに由来するdiscriminant部分、変動を担うmoduli部分へ分ける。川又の半正値性定理は、このmoduli部分の正値性を与える基本的な道具である。

本論文は全空間の標準因子にQ線束を加えた捩れた場合を扱う。捩れの線束には、半正曲率の特異Hermitian計量があり、その局所重みのLelong数がすべての点で零であることを仮定する。適切なtoroidalモデルでは、基底のmoduli部分にも同じ性質の計量が存在する。

この解析的な正値性を使い、generalized klt対の一般化標準環の有限生成を証明する。nef部分が高い滑らかな双有理モデル上で上述の計量をもつことが重要な仮定である。

結果は単なるnef性だけからの有限生成ではなく、generalized lc対への一般化も成り立たないと説明される。数値的な正値性に加えて、計量の特異性が弱いという条件が代数的な有限生成へ働く点に意義がある。

背景と問題設定

$f:X\to Y$を連結ファイバーをもつ射影多様体間の全射とし、$X$はquasi-smooth、$Y$は滑らかとする。被約因子$P=\sum_jP_j$、$Q=\sum_lQ_l$について$f^{-1}(Q)\subset P$、$f$は$Y\setminus\operatorname{Supp}Q$上で滑らかとする。

さらに$f:(X,P)\to(Y,Q)$がwell prepared、すなわちtoroidalかつ等次元であることを仮定する。Q因子$D=\sum_jd_jP_j$は$d_j<1$を満たすが、有効である必要はない。一般点$\eta$において

$$ \dim_{\mathbb C(\eta)}\bigl(f_\ast\mathcal O_X(\lceil-D\rceil)\otimes_{\mathcal O_Y}\mathbb C(\eta)\bigr)=1 $$

とし、Q因子$L$に対して

$$ K_X+D+M\sim_{\mathbb Q}f^\ast(K_Y+L) $$

を仮定する。$M$の半正曲率計量と全点でのLelong数零が捩れに関する条件である。

主結果

捩れた川又半正値性（Theorem 1.1）

上の仮定の下で、標準束公式のmoduli部分$M_Y$は、半正曲率をもち局所重みのLelong数が全点で零となる特異Hermitian計量を許す。特に$M_Y$はnefである。

その部分は明示的に次のように定まる。$f^\ast Q_l=\sum_jw_{lj}P_j$と書き、$f(P_j)=Q_l$の成分に対し

$$ \bar d_j=\frac{d_j+w_{lj}-1}{w_{lj}},\qquad\delta_l=\max_{f(P_j)=Q_l}\bar d_j,\qquad\Delta_Y=\sum_l\delta_lQ_l,\qquad M_Y=L-\Delta_Y $$

とする。このとき$(Y,\Delta_Y)$はsub-kltであり、

$$ K_X+D+M\sim_{\mathbb Q}f^\ast(K_Y+\Delta_Y+M_Y) $$

となる。$M=0$で$X$が滑らかな場合は従来の川又半正値性に対応するが、本定理では捩れが計量の特異性評価に追加の難しさを与える。

一般化標準環の有限生成（Theorem 1.3）

$(X,B+M)$をprojective generalized klt対とし、滑らかな高い双有理モデル$X'\to X$上のQ線束$M'$が、半正曲率で全点のLelong数が零となる特異Hermitian計量をもつとする。ある$l>0$について$l(K_X+B+M)$がCartierならば、

$$ \bigoplus_{m\geq0}H^0\bigl(X,ml(K_X+B+M)\bigr) $$

は有限生成な$\mathbb C$代数である。

対象がgeneralized kltであることと、$M'$の計量条件を併せて課している。Introductionはgeneralized lcの標準環では有限生成が一般に失敗すると指摘しており、その場合を本定理の範囲に含めてはならない。

証明の見取り図

半正値性では、Takayamaの先行する計量の特異性評価を捩れた設定へ拡張する。toroidalかつ等次元のモデルは局所的な特異性を制御するために必要で、Abramovich–Karuのtoroidalizationを用いた双有理修正がこの設定を用意する。捩れ$M$の寄与を評価し、moduli部分でLelong数が零のまま保たれることを示す。

有限生成については、$K_X+B+M$がbigならば境界を摂動して通常のklt対へ帰着し、BCHMを適用できると説明される。一般の場合にはFujino–Moriの議論を使い、捩れた半正値性がその帰着に必要な正値性を供給する。generalized pairでのmoduli部分の一般的な関手性は未解決だが、この応用にはその全面的な解決を要しない。

原論文との対応

  • Abstractページ: 公式arXivページ
  • Introduction: PDF — Section 1, pp. 1–2
  • Introduction中で言及された主要結果: Theorems 1.1 and 1.3
  • 論文構成・証明方針: 上記Introductionで述べられた範囲に基づく。後続節の証明全体の検証は行っていない。
  • 確認したarXivバージョン: 2404.07401v3
  • 確認したライセンス: Creative Commons Attribution 4.0 International (CC BY 4.0)
  • source_scope: Abstract and Introduction