[论文解读] Okounkov bodies and toric degenerations

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

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

一句话总结

本文建立了一個幾何條件，使得射影代數簇上大除子的Okounkov體為格點多面體，並證明在此情況下，該代數簇可進行平坦退化至對應的 торic代數簇。此退化過程在變量與旗為 $T$-不變時具有函子性與 $T$-等變性，將Okounkov體的凸幾何與toric退化聯繫起來，關鍵在於相關半群的有限生成性。

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.

研究动机与目标

• 建立一個幾何條件，確保Okounkov體為格點多面體。
• 證明當Okounkov體為格點多面體時，其對應的代數簇可平坦退化至相應的toric代數簇。
• 展示此退化過程在適當不變條件下具有函子性與 $T$-等變性。
• 提供線性系統與旗所對應半群有限生成性的判別準則，此為構造過程的關鍵。

提出的方法

• 透過旗的子簇列定義線叢截面的賦值，進而產生一個分次半群 $\Gamma_{Y_\bullet}(V)$。
• Okounkov體 $\Delta_{Y_\bullet}(V)$ 定義為 $\Gamma_{Y_\bullet}(V)$ 的凸包在 $\{1\} \times \mathbb{R}^d$ 上的閉包。
• 當 $\Gamma_{Y_\bullet}(V)$ 為有限生成時，構造對應的toric代數簇 $X_0 = \operatorname{Proj} k[\Gamma_{Y_\bullet}(V)]$。
• 透過一個平坦族 $\mathfrak{X} \to \mathbb{A}^1$ 實現平坦退化，其一般纖jured 為 $X(V)$，特殊纖維為 $X_0$。
• 證明 $X_0$ 的歸一化為對應於多面體 $\Delta_{Y_\bullet}(V)$ 的正常toric代數簇。
• 本文引入線性系統中「最大除子」的概念，以控制半群的增長，並協助有限生成性的檢驗。

实验结果

研究问题

• RQ1 在何種幾何條件下，大除子的Okounkov體為格點多面體？
• RQ2 線性系統 $V$ 與旗 $Y_\bullet$ 所對應的半群 $\Gamma_{Y_\bullet}(V)$ 何時為有限生成？
• RQ3 能否從有限生成半群出發，函子性地構造出從射影代數簇 $X$ 至toric代數簇的平坦退化？
• RQ4 旗與線性系統的 $T$-等變性如何影響退化過程？
• RQ5 Okounkov體的面與旗中子簇的退化之間有何關係？

主要发现

• 若半群 $\Gamma_{Y_\bullet}(V)$ 為有限生成，則 $X(V)$ 可平坦退化至toric代數簇 $X_0 = \operatorname{Proj} k[\Gamma_{Y_\bullet}(V)]$。
• 退化極限 $X_0$ 的歸一化為對應於多面體 $\Delta_{Y_\bullet}(V)$ 的正常toric代數簇。
• 當代數簇 $X$ 與旗 $Y_\bullet$ 為 $T$-不變，且 $V$ 為 $T$-不變時，退化過程具有 $T$-等變性。
• 對於誘導出雙有理映射的子系統 $V' \subseteq V$，$X(V)$ 與 $X(V')$ 的退化透過平坦族的可換圖相容。
• 子簇 $Y_r(V)$ 平坦退化至一個toric代數簇，其對應多面體為 $\Delta_{Y_\bullet}(V) \cap (\{0\}^{d-r} \times \mathbb{Z}^r)$。
• 在Bott-Samelson例子中，$H^0(X, \varphi^*\mathcal{L})$ 的Okounkov體為一多面體，其與Gelfand-Tsetlin多面體同構，且退化與文獻中已知結果相容。