[論文レビュー] Okounkov bodies and Zariski decompositions on surfaces

Sung Rak Choi, Jinhyung Park+1 more|arXiv (Cornell University)|Mar 2, 2016

Algebraic Geometry and Number Theory参考文献 12被引用数 4

ひとこと要約

本稿では、滑らかな射影的曲面上の擬効剤の極限的および価値的オクヌコフ体の完全な特徴付けを、ザリスキ分解を用いて行う。オクヌコフ体の形状がザリスキ分解の正部および負部によって決定されることを示し、ビッグ・コンエの各ミンコフスキー・チャネル内では極限的オクヌコフ体が類似していることを証明する。これにより、凸幾何学と除法の漸近的不変量との関連が結ばれる。

ABSTRACT

The purpose of this paper is to investigate the close relation between Okounkov bodies and Zariski decompositions of pseudoeffective divisors on smooth projective surfaces. Firstly, we completely determine the limiting Okounkov bodies on such surfaces, and give applications to Nakayama constants and Seshadri constants. Secondly, we study how the shapes of Okounkov bodies change as we vary the divisors in the big cone.

研究の動機と目的

• 滑らかな射影的曲面上の擬効剤の極限的および価値的オクヌコフ体の構造を完全に特定すること。
• 除法の幾何的不変量（例えばナカヤマ定数やセシャドリ定数）を、オクヌコフ体の形状と関連付けること。
• ビッグ・コンエのチャネル分解を同定し、各チャネル内でオクヌコフ体の形状が一定に保たれるようにすること。
• ミンコフスキー・チャネル分解と極限的オクヌコフ体の類似性との対応関係を確立すること。

提案手法

• 擬効剤を $D = P + N$ とザリスキ分解することで分解し、それらに由来するオクヌコフ体を分析する。
• ナカヤマ定数および漸近的ベース・ロケイの理論を適用し、$P.C$ とナカヤマ定数 $\mu(D;C)$ に基づいて極限的オクヌコフ体の形状を分類する。
• ミンコフスキー基底の構成を用いてネフ・コンエを分解し、負の曲線に直交する極小な境界とネフ除法に基づいてミンコフスキー・チャネルを定義する。
• 除法のミンコフスキー分解を用いて、固定されたミンコフスキー・チャネル内では極限的オクヌコフ体が互いにスカラー倍であることを示し、したがって類似していることを証明する。
• 凸幾何学的手法を用いて、極限的オクヌコフ体 $\Delta^{\lim}_{C_\bullet}(D)$ が $\mu(D;C)$ の値に応じて線分または点であることを証明する。
• 仮定として $\overline{\operatorname{Eff}}(S)$ が有理的多面体的であり、$C$ が非常に豊富な線形系の一般メンバーであることを用いることで、幾何的挙動が良好に保たれることを保証する。

実験結果

リサーチクエスチョン

• RQ1 曲面上の擬効剤の極限的および価値的オクヌコフ体は、そのザリスキ分解にどのように依存するか？
• RQ2 $D$ が擬効的だがビッグでないとき、極限的オクヌコフ体 $\Delta^{\lim}_{C_\bullet}(D)$ の正確な幾何的構造は何か？
• RQ3 ビッグ・コンエ内に属する除法の極限的オクヌコフ体がチャネル内で類似したままであるための条件は何か？
• RQ4 ナカヤマ定数およびセシャドリ定数は、オクヌコフ体の幾何学的性質を用いてどのように計算または特徴付けられるか？
• RQ5 ビッグ・コンエのミンコフスキー・チャネル分解と極限的オクヌコフ体の類似性との関係は何か？

主な発見

• 擬効剤 $D$ の極限的オクヌコフ体 $\Delta^{\lim}_{C_\bullet}(D)$ は、その正部 $P$ の体と、負部 $N$ が $C$ 沿いでの重複度および零化の順序に依存する補正項のミンコフスキー和である。
• $P.C > 0$ のとき、$P$ の極限的オクヌコフ体は長さ $P.C$ の垂直線分であり、$\dim(\Delta^{\lim}_{C_\bullet}(D)) = 1$ で、体積は $P.C$ に等しい。
• $P.C = 0$ かつ $\mu(D;C) > 0$ のとき、$P$ の極限的オクヌコフ体は有理数の傾き $\operatorname{ord}_x(N'|_C)/\mu$ を持つ線分であり、$\dim(\Delta^{\lim}_{C_\bullet}(D)) = 1$ である。
• $\mathbb{Q}$-除法に対しては、極限的オクヌコフ体は有理数の端点および有理数の傾きを持つ線分であり、任意の非負の有理数の傾きは、ある曲面上で実現可能である。
• 各ミンコフスキー・チャネル $M$ 内では、すべての $D_i \in M$ の極限的オクヌコフ体は類似している。これは、$D_i$ が共通のミンコフスキー基底要素に分解されることにより示される。
• 除法のセシャドリ定数は、極限的オクヌコフ体の傾きとして計算可能であり、無限小の極限的オクヌコフ体は完全にザリスキ分解によって決定される。