代数幾何学 · 2026-10-27

Movable Curves and Ample Normal Bundles

可動曲線錐と豊富な法束を持つ曲線

Jingcao Wu

jingcao-wu-1wadp8s positivity birational-geometry vector-bundles-sheaves Birational geometry 双有理幾何 Positivity 正値性 Vector bundles and sheaves ベクトル束・層

arXiv Abstract

We prove that the movable cone of a smooth complex projective variety is the closed cone generated by possibly singular curves with ample coherent normal sheaves, answering a question of Boucksom--Demailly--P\u{a}un--Peternell. For smooth curves, we establish the analogous equality in several geometric settings and give explicit constructions on blowups.

日本語要約

可動曲線錐と、豊富な法層を持つ曲線の類で生成される閉錐を比較する。特異曲線を許す場合には両錐が任意の滑らかな複素射影多様体で一致する。滑らかな曲線だけを用いる等号は一般には問題として残しつつ、Mori dream space、反対数標準類がnefとなるklt対を持つ場合、特定の群作用や積構造を持つ場合に証明する。

We prove that the movable cone of a smooth complex projective variety is the closed cone generated by possibly singular curves with ample coherent normal sheaves, answering a question of Boucksom--Demailly--P\u{a}un--Peternell. For smooth curves, we establish the analogous equality in several geometric settings and give explicit constructions on blowups.

滑らかな射影多様体の可動曲線錐を、豊富な法層を持つ曲線から生成できるかを調べる。特異曲線を許せば常に等号が成り立ち、滑らかな曲線に限る場合にもMori dream spaceなどの幾何的条件のもとで等号を示す。

arXiv
2610.33724v1
初回投稿日
2026-10-24
原論文のライセンス
arXiv.org perpetual, non-exclusive license
掲載形式
Abstract・Introductionに基づく日本語要約
タグ
algebraic-geometry 2026

原論文を開く

書誌情報

要約

曲線が多様体の中で十分に動くことと、その法束が豊富であることは密接に関係する。しかし、可動な数値類を豊富な法束を持つ滑らかな曲線で近似できるかは、単なる線形代数の問題ではない。本論文はこの問いを閉錐の等号として定式化する。

特異曲線を許し、その法層を連接層として扱えば、豊富な法層を持つ曲線は常に可動曲線錐全体を生成する。一方、滑らかな曲線だけで同じことができるかは一般には未解決として残る。著者はMori dream spaceや、適切なklt対の反対数標準類がnefとなる場合などに肯定的な答えを与える。

さらにPicard数1の多様体を完全交叉中心でブローアップする場合には、錐を二つの交点数で明示する。その内部の有理半直線には、単に極限的な近似だけでなく、豊富な法束を持つ一つの滑らかな曲線を与える。一般の閉錐の等号と、この個々の代表の存在は区別する必要がある。

背景と問題設定

$X$ は次元2以上の滑らかな複素射影多様体である。被約既約曲線 $C\subset X$ の法層を

$$ N_{C/X}=\mathcal Hom_{\mathcal O_C}(\mathcal I_C/\mathcal I_C^2,\mathcal O_C) $$

と定義する。特異曲線の場合には局所自由とは限らず、豊富性は商をパラメータ化する射影化の $\mathcal O(1)$ の豊富性で定める。

豊富な連接法層を持つ曲線の類が生成する閉錐を $A_{\mathrm{sh}}(X)$、滑らかな曲線に限った閉錐を $A_{\mathrm{sm}}(X)$ と書く。比較対象は数値的一次元サイクル空間の可動曲線錐 $\operatorname{Mov}_1(X)$ である。

主結果

特異曲線を許した等号（Theorem 1.2）

全ての上記 $X$ に対して

$$ A_{\mathrm{sh}}(X)=\operatorname{Mov}_1(X) $$

が成立する。これは錐としての生成の主張であり、全ての可動類が一つの豊富な法層を持つ曲線の類になるという意味ではない。特異曲線を許すことが双有理的な構成を可能にする。

滑らかな曲線で生成できる場合（Theorem 1.4）

$X$ が滑らかなMori dream spaceである場合、または有効な有理因子 $\Delta_0$ が存在して $(X,\Delta_0)$ がklt、$-(K_X+\Delta_0)$ がnefとなる場合には

$$ A_{\mathrm{sm}}(X)=\operatorname{Mov}_1(X) $$

となる。次元3以上で、正次元のアーベル多様体が零次元軌道なしに作用する場合にも等号が成り立つ。また $X=Z\times\mathbb P^r$、$\dim Z,r\ge1$ という積の場合も含まれる。これらの条件を持たない一般の滑らかな射影多様体についての等号はQuestion 1.3として残されている。

完全交叉中心のブローアップ（Introduction中のTheorem 4.2）

$\rho(X)=1$、$L$ を豊富とし、滑らかな連結正次元中心 $Z$ が豊富な因子 $D_i\equiv a_iL$ のスキーム論的完全交叉であるとする。ここで

$$ 0<a_1\le\cdots\le a_r,\qquad 2\le r\le\dim X-1. $$

$Y=\operatorname{Bl}_ZX$、$H=\pi^\ast L$、例外因子を $E$ とし、曲線類 $\alpha$ の座標を $h=H\cdot\alpha$、$e=E\cdot\alpha$ と置く。このとき

$$ A_{\mathrm{sm}}(Y)=\operatorname{Mov}_1(Y) =\lbrace (h,e):h\ge0,\ 0\le e\le a_1h\rbrace . $$

しかも錐の内部の各有理半直線は、豊富な法束を持つ滑らかな曲線の類を含む。ブローアップ中心を定める次数のうち最小のものが境界を支配する。

証明の見取り図

一般の場合は可動錐のBDPP双対性と、双有理モデル上の完全交叉曲線の押し出しを用いる。法層を比較することで豊富性を制御するが、押し出した曲線に特異点が現れるため、まず連接法層を許した錐で議論する。滑らかな代表を求める場合には、群作用、積構造、または双有理写像と例外領域の幾何を利用して埋込みを制御する。任意の曲線を無条件に平滑化できるという議論ではなく、各幾何的仮定の役割が重要である。

原論文との対応

  • Abstractページ: 公式arXivページ
  • Introduction: PDF — Section 1, pp. 1–3（Section 2より前）
  • Introduction中で言及された主要結果: Theorems 1.2, 1.4; Question 1.3; Introductionで提示されたTheorem 4.2
  • 論文構成・証明方針: 上記Introductionで述べられた範囲に基づく。後続節の証明全体の検証は行っていない。
  • 確認したarXivバージョン: 2610.33724v1
  • 確認したライセンス: arXiv.org perpetual, non-exclusive license
  • source_scope: Abstract and Introduction