[論文レビュー] Okounkov bodies and toric degenerations

Dave Anderson|arXiv (Cornell University)|Jan 25, 2010

Algebraic Geometry and Number Theory参考文献 21被引用数 6

ひとこと要約

この論文は、射影的代数多様体上のビッグな線分束のオクヌーフ体が格子多面体であるための幾何的条件を確立し、この条件下で、その多様体が対応するトーリック多様体への平坦な退化を許容することを示している。退化は関手的であり、多様体とフラグが $T$-不変である場合には $T$-可換的である。これは、関連する半群の有限生成性を通じて、オクヌーフ体の凸幾何とトーリック退化を結びつける。

ABSTRACT

Let Δbe the Okounkov body of a divisor D on a projective variety X. We describe a geometric criterion for Δto be a lattice polytope, and show that in this situation X admits a flat degeneration to the corresponding toric variety. This degeneration is functorial in an appropriate sense.

研究の動機と目的

• オクヌーフ体が格子多面体であることを保証する幾何的条件を確立すること。
• オクヌーフ体が格子多面体である場合、それに対応する多様体が対応するトーリック多様体への平坦な退化を許容することを示すこと。
• この退化が適切な不変性条件の下で関手的かつ $T$-可換的であることを示すこと。
• 線形系とフラグに付随する半群の有限生成性を保証する基準を提供すること。これは構成に不可欠である。

提案手法

• フラグを用いて線分束のセクションへの値関数を定義し、graded 半群 $\Gamma_{Y_\bullet}(V)$ を得る。
• オクヌーフ体 $\Delta_{Y_\bullet}(V)$ は、$\Gamma_{Y_\bullet}(V)$ の凸包を $\{1\} \times \mathbb{R}^d$ と交わったものの閉包として定義される。
• $\Gamma_{Y_\bullet}(V)$ が有限生成であるとき、対応するトーリック多様体 $X_0 = \operatorname{Proj} k[\Gamma_{Y_\bullet}(V)]$ が構成される。
• 平坦退化は、一般ファイバーが $X(V)$ に同型で特殊ファイバーが $X_0$ である平坦族 $\mathfrak{X} \to \mathbb{A}^1$ を通して実現される。
• $X_0$ の正規化は、多面体 $\Delta_{Y_\bullet}(V)$ に対応する正規トーリック多様体であることが示される。
• 論文は、半群の成長を制御し、有限生成性の確認を容易にするために、線形系内での最大の除数の概念を導入する。

実験結果

リサーチクエスチョン

• RQ1 ビッグな線分束のオクヌーフ体が格子多面体であるための幾何的条件は何か？
• RQ2 線形系 $V$ とフラグ $Y_\bullet$ に付随する半群 $\Gamma_{Y_\bullet}(V)$ が有限生成である条件は何か？
• RQ3 有限生成半群から出発して、射影的多様体 $X$ からトーリック多様体への関手的平坦退化を構成できるか？
• RQ4 フラグと線形系が $T$-可換的である場合、退化プロセスにどのような影響を与えるか？
• RQ5 オクヌーフ体の面とフラグ内の部分多様体の退化の関係は何か？

主な発見

• 半群 $\Gamma_{Y_\bullet}(V)$ が有限生成であれば、$X(V)$ はトーリック多様体 $X_0 = \operatorname{Proj} k[\Gamma_{Y_\bullet}(V)]$ への平坦な退化を許容する。
• $X_0$ の退化極限の正規化は、多面体 $\Delta_{Y_\bullet}(V)$ に対応する正規トーリック多様体である。
• 多様体 $X$ とフラグ $Y_\bullet$ が $T$-不変で、$V$ が $T$-不変であるとき、退化は $T$-可換的である。
• 埋め込み $V' \subseteq V$ が有理写像を誘導する場合、$X(V)$ と $X(V')$ の退化は、平坦族の可換図式を通じて整合的である。
• 部分多様体 $Y_r(V)$ は、平坦に退化し、その多様体は多面体 $\Delta_{Y_\bullet}(V) \cap (\{0\}^{d-r} \times \mathbb{Z}^r)$ に対応するトーリック多様体になる。
• ボット＝サマエルソンの例では、$H^0(X, \varphi^*\mathcal{L})$ のオクヌーフ体はゲルファンド＝ツェトリン多面体と同型な多面体であり、その退化は既知の文献結果と整合的である。