[论文解读] A necessary condition for Chow semistability of polarized toric manifolds

Hajime Ono|arXiv (Cornell University)|Mar 8, 2010

Geometry and complex manifolds参考文献 10被引用 4

一句话总结

本文通過證明在膨脹多面體 $i\Delta$ 中的整數點之和必須與 $\Delta$ 的形心成比例，確立了極化 торic流形 Chow 半穩定性的必要條件；這導致了一種新的障礙，用於通過 Ehrhart 多項式與多面體上積分所導出的特定向量的消失來檢測漸近 Chow 半穩定性。

ABSTRACT

Let Δ\subset \mathbb{R}^n be an n-dimensional Delzant polytope. It is well-known that there exist the n-dimensional compact toric manifold X_Δand the very ample (\mathbb{C}^ imes)^n-equivariant line bundle L_Δon X_Δassociated with Δ. In the present paper, we show that if (X_Δ,L_Δ^i) is Chow semistable then the sum of integer points in iΔis the constant multiple of the barycenter of Δ. Using this result we get a necessary condition for the polarized toric manifold (X_Δ,L_Δ) being asymptotically Chow semistable. Moreover we can generalize the result of Futaki, Sano and the author to the case when X_Δis not necessarily Fano.

研究动机与目标

• 使用 Delzant 多面體的幾何性質，識別極化 toric 流形 Chow 半穩定性的必要條件。
• 將先前僅適用於 Fano 情況的漸近 Chow 半穩定性結果，推廣至一般極化 toric 流形。
• 基於 Ehrhart 理論與多面體積分，提供一種計算型障礙，用於漸近 Chow 半穩定性。
• 證明若形心條件不成立，則對於線叢的高次張量幂，該流形將呈現 Chow 不穩定性。

提出的方法

• 利用 $n$ 維整數 Delzant 多面體 $\Delta$ 與具有非常 ample 線叢的緊緻 toric 流形 $(X_\Delta, L_\Delta)$ 之間的對應關係。
• 應用 Ehrhart 理論：定義計數 $t\Delta$ 中整數點的 Ehrhart 多項式 $E_\Delta(t)$，以及求和這些點的向量值 Ehrhart 多項式 $\mathbf{s}_\Delta(t)$。
• 推導關鍵條件：對於 $(X_\Delta, L_\Delta^i)$ 的 Chow 半穩定性，需滿足 $\mathrm{Vol}(\Delta)\,\mathbf{s}_\Delta(i) - i E_\Delta(i) \int_\Delta \mathbf{x} \, dv = \mathbf{0}$。
• 將障礙表示為向量 $\mathcal{F}_{\Delta,j} = \mathrm{Vol}(\Delta)\,\mathbf{s}_{\Delta,j} - E_{\Delta,j-1} \int_\Delta \mathbf{x} \, dv$ 的消失，其中 $j=1,\dots,n$。
• 利用這些向量與 Futaki 的積分不變量之間的關係，將此障礙連結至 Kähler 幾何與 cscK 度量。
• 在具體例子上驗證該條件，包括 Hirzebruch 曲面與 7 維 Nill-Paffenholz toric Fano 流形。

实验结果

研究问题

• RQ1 極化 toric 流形 $(X_\Delta, L_\Delta^i)$ 的 Chow 半穩定性之必要條件為何？
• RQ2 如何利用膨脹 Delzant 多面體中整數點的 Ehrhart 理論，推導漸近 Chow 半穩定性的障礙？
• RQ3 若形心條件不成立，是否會導致對所有充分大的 $i$，該流形呈現 Chow 不穩定性？
• RQ4 由整數點之和導出的障礙是否可與已知不變量（如 Futaki 的積分不變量）相連結？
• RQ5 定理 1.2 中的條件是否足夠用來檢測非 Fano toric 流形中的 Chow 不穩定性？

主要发现

• 若 $(X_\Delta, L_\Delta^i)$ 是 Chow 半穩定的，則 $i\Delta$ 中整數點之和必須與 $\Delta$ 的形心成比例，具體為 $\sum_{{\bf a} \in i\Delta \cap \mathbb{Z}^n} {\bf a} = \frac{i \cdot \#(i\Delta \cap \mathbb{Z}^n)}{\mathrm{Vol}(\Delta)} \int_\Delta {\bf x} \, dv$。
• 對於漸近 Chow 半穩定性，所有 $j=1,\dots,n$ 的障礙向量 $\mathcal{F}_{\Delta,j} = \mathrm{Vol}(\Delta)\,\mathbf{s}_{\Delta,j} - E_{\Delta,j-1} \int_\Delta \mathbf{x} \, dv$ 必須消失。
• 對於 $k \geq 2$ 的第 $k$ 個 Hirzebruch 曲面 $X_{\Delta_k}$，障礙向量為 $\frac{k(k-1)}{24} \begin{pmatrix} k-1 \\ -2 \end{pmatrix} \neq \mathbf{0}$，證實對所有 $i \geq 1$ 均為 Chow 不穩定。
• 對於 7 維 Nill-Paffenholz toric Fano 流形，$\int_{\Delta_{NP}} \mathbf{x} \, dv = \mathbf{0}$，但 Hilbert 級數的導數非零，因此 $\mathcal{F}_{\Delta_{NP},j} \neq \mathbf{0}$，表示漸近 Chow 不穩定。
• 障礙 $\mathcal{F}_{\Delta,j}$ 在 toric 設定下與 Futaki 的積分不變量 $\mathcal{F}_{\mathrm{Td}^{(p)}}$ 的複係數張成空間一致，連結了代數幾何與 Kähler 幾何。
• 若對某個 $i_0$，形心條件不成立，則對某個 $j$，有 $\mathcal{F}_{\Delta,j} \neq \mathbf{0}$，因此對所有 $i \geq i_1$（某個 $i_1$），$(X_\Delta, L_\Delta^i)$ 均為 Chow 不穩定。