[論文レビュー] Positivity of line bundles and Newton-Okounkov bodies

Alex Küronya, Victor Lozovanu|arXiv (Cornell University)|Jun 22, 2015

Algebraic Geometry and Number Theory被引用数 4

ひとこと要約

本稿は、ニュートン–オクウンコフ体を用いて、複素射影的代数的多様体上の線分束のグローバルおよびローカルな正性を凸幾何学的に特徴づける。大域的正性（nef）および正則性（ample）の特徴づけが得られ、特に任意の点 $x \in X$ における任意のフラグに沿ったニュートン–オクウンコフ体に原点（resp. 全次元単体）が含まれるかどうかで、$D$ がその点で nef（resp. ample）であるかを判定できることを示している。これは数値的正性と凸幾何学の間の完全な対応関係を確立する。

ABSTRACT

The purpose of this paper is to charazterize asymptotic base loci of line bundles on projective varieties via Newton-Okounkov bodies.

研究の動機と目的

• 複素射影的代数的多様体上の線分束のグローバルおよびローカルな正性を、ニュートン–オクウンコフ体を用いて特徴づける。
• 漸近的基底被覆 $\mathbf{B}_{-}(D)$ と $\mathbf{B}_{+}(D)$ とニュートン–オクウンコフ体の幾何学的性質との明確な関係を確立する。
• ザルスキー分解および $\sigma$-分解の理論を用いて、既知の曲面における結果を高次元多様体へ拡張する。
• 中谷の $\sigma$-分解の凸幾何学的解釈を提供し、除法の変形におけるその変化の様子を明らかにする。

提案手法

• 適切なフラグ $Y_{\bullet}$ を用いて、大域的 $\mathbb{R}$-除法 $D$ に対してニュートン–オクウンコフ体 $\Delta_{Y_{\bullet}}(D) \subseteq \mathbb{R}^n$ を構成する。
• ニュートン–オクウンコフ体の理論を応用し、点 $x$ における $D$ のローカル正性が、$\Delta_{Y_{\bullet}}(D)$ 内の原点または標準単体 $\Delta_\lambda$ の存在にどのように関連するかを分析する。
• 中谷の $\sigma$-分解を用いて、負部 $N_\sigma(D)$ の性質と、$D \mapsto D - tE$ による変形におけるその挙動を解析する。
• 特に包含関係 $\Delta_{Y_{\bullet}}(D-tE) \subseteq \Delta_{Y_{\bullet}}(D)$ を通じて、ニュートン–オクウンコフ体の凸性および単調性の性質を制限および変形の下で利用する。
• ジョウの数値同値に関する結果とニュートン–オクウンコフ体の普遍性を応用し、体の集合が数値不変量を決定することを導く。
• 特に $\text{Supp}(N_\sigma(D))$ が部分多様体の可算個の合併であるという事実を用いて、$x \notin \mathbf{B}_-(D)$ となる非常に一般な点 $x$ を選べる。これにより、定理 2.1 を適用可能にする。

実験結果

リサーチクエスチョン

• RQ1 大域的 $\mathbb{R}$-除法 $D$ が点 $x$ で nef であるのはいつか？ これはニュートン–オクウンコフ体 $\Delta_{Y_{\bullet}}(D)$ を用いて検出可能か？
• RQ2 大域的 $\mathbb{R}$-除法 $D$ が点 $x$ で ample であるのはいつか？ これは $\Delta_{Y_{\bullet}}(D)$ に全次元単体 $\Delta_\lambda$ が存在することと同値か？
• RQ3 $D$ が大域的であるとき、$\sigma$-分解の負部 $N_\sigma(D)$ は、大域的コーン内を動く $D$ と共にどのように変化するか？
• RQ4 $\sigma_E(D) = 0$ のとき、$t \geq 0$ に対して $\sigma_E(D - tE)$ の挙動は？
• RQ5 すべての $x$ を中心とするフラグにわたって、点 $x$ における $D$ のローカル正性は、ニュートン–オクウンコフ体を用いて一様に特徴づけられるか？

主な発見

• 大域的 $\mathbb{R}$-除法 $D$ が nef であるための必要十分条件は、任意の点 $x \in X$ に対して、$x$ を中心とする適切なフラグ $Y_{\bullet}$ が存在し、そのフラグに沿ったニュートン–オクウンコフ体 $\Delta_{Y_{\bullet}}(D)$ に原点 $\mathbf{0} \in \Delta_{Y_{\bullet}}(D)$ が含まれることである。
• 大域的 $\mathbb{R}$-除法 $D$ が ample であるための必要十分条件は、任意の点 $x \in X$ に対して、$x$ を中心とする適切なフラグ $Y_{\bullet}$ と $\lambda > 0$ が存在し、$\Delta_{Y_{\bullet}}(D)$ に標準単体 $\Delta_\lambda \subseteq \Delta_{Y_{\bullet}}(D)$ が含まれることである。
• もし $\sigma_E(D) = 0$ であれば、すべての $t \geq 0$ に対して $\sigma_E(D - tE) = 0$ が成り立ち、$E$ が $D - tE$ に沿った $\sigma$-分解の負部に寄与しないことを示している。
• もし $D$ が大域的で $\sigma_E(D) > 0$ であれば、すべての $t \in [0, \sigma_E(D)]$ に対して $N_\sigma(D - tE) = N_\sigma(D) - tE$ が成り立つ。これは $E$ の方向における負部の線形性を示している。
• 関数 $t \mapsto N_\sigma(D - tE)$ は $\sigma_E(D) = 0$ のとき単調増加であり、$t_1 \geq t_2 \geq 0$ に対して $N_\sigma(D - t_1E) - N_\sigma(D - t_2E)$ が有効であることを意味する。
• 包含関係 $\nu_{Y_{\bullet}}(N_\sigma(D)) + \Delta_{Y_{\bullet}}(P_\sigma(D)) \subseteq \Delta_{Y_{\bullet}}(D)$ が成り立つ。これは $\sigma$-分解がニュートン–オクウンコフ体の加法的構造と関係していることを示している。