[论文解读] Hilbert series and obstructions to asymptotic semistability

Akito Futaki, Hajime Ono+1 more|arXiv (Cornell University)|Nov 9, 2008

Geometry and complex manifolds参考文献 26被引用 5

一句话总结

本文確立了toric Fano流形中漸近半穩定性障礙與Hilbert系列的Laurent級數導數之間的精確聯繫。證明了阻礙漸近半穩定性的李代數特徵的線性張成空間，恰好與Hilbert系列Laurent展開的導數所張成的空間一致，從而為toric幾何中的穩定性障礙提供了生成函數的解釋。

ABSTRACT

Given a polarized manifold there are obstructions for asymptotic Chow semistability described as integral invariants. One of them is an obstruction to the existence for the first Chern class of the polarization to admit a constant scalar curvature Kähler (cscK) metric. A natural question is whether or not the other obstructions are linearly dependent on the obstruction to the existence of a cscK metric. The purpose of this paper is to see that this is not the case by exhibiting toric Fano threefolds in which these obstructions span at least two dimension. To see this we show that on toric Fano manifolds these obstructions are obtained as derivatives of the Hilbert series. This last observation should be regarded as an extension of the volume minimization of Martelli, Sparks and Yau.

研究动机与目标

• 理解極化流形中漸近半穩定性障礙的代數與幾何性質。
• 研究integral不變量（障礙）與toric Fano流形中Hilbert系列之間的關係。
• 確定Hilbert系列Laurent展開的導數是否能完整捕捉障礙特徵的空間。
• 為toric幾何中的穩定性障礙提供生成函數理論的解釋。

提出的方法

• 作者分析與全純向量場 $X \in \mathfrak{h}_0(M)$ 相關的integral不變量 $\mathcal{F}_{\phi}(X)$，這些不變量阻礙漸近半穩定性。
• 他們計算toric Fano流形 $M$ 的Hilbert系列，並在原點附近展開為Laurent級數。
• 證明這些Laurent級數的導數可生成 $\mathfrak{h}_0(M)$ 上的特徵空間。
• 透過比較Hilbert系列導數所張成的空間與障礙特徵 $\mathcal{F}_{\phi}(X)$ 所張成的空間，作者證明兩者的線性張成空間完全一致。
• 證明依賴於Fano多面體及其對偶的組合結構，使用 $C_i(a,b)$ 的顯式公式與體積最小化Reeb向量場。
• 作者使用電腦輔助計算，驗證了即使 $\mathcal{F}_{\mathrm{Td}^1}$ 為零，$C_{-1}(\mathbf{b})$ 在體積最小化Reeb場處的一階變分仍非零。

实验结果

研究问题

• RQ1 Hilbert系列Laurent展開的導數的線性張成空間是否與漸近半穩定性障礙的特徵空間完全一致？
• RQ2 integral不變量 $\mathcal{F}_{\phi}(X)$ 在toric Fano流形中與Hilbert系列有何關係？
• RQ3 Hilbert系列能否作為toric設定下障礙特徵的生成函數？
• RQ4 在體積最小化Reeb向量場處，$C_{-1}(\mathbf{b})$ 的一階變分行為如何？其與Sasaki-Futaki不變量有何關聯？

主要发现

• toric Fano流形的Hilbert系列Laurent級數導數的線性張成空間，等於障礙特徵 $\mathcal{F}_{\phi}(X)$ 的線性張成空間。
• 對於流形 $\mathbb{C}P^2\#\overline{\mathbb{C}P^2}$，Sasaki-Futaki不變量 $\mathcal{F}_{\mathrm{Td}^1}$ 在體積最小化Reeb向量場處為零，這與Sasaki-Einstein結構的預期一致。
• 儘管 $\mathcal{F}_{\mathrm{Td}^1}$ 為零，但在體積最小化Reeb向量場處，$C_{-1}(\mathbf{b})$ 的一階變分非零，顯示存在非平凡的穩定性障礙。
• 臨界點 $(a_0, b_0) = (0, \sqrt{13} - 4)$ 位於 $3P^\circ_M$ 內部，確認其為體積最小化Reeb向量場。
• $C_{-1}(a,b)$ 的顯式公式顯示其在 $(a_0, b_0)$ 處梯度非零，且 $\partial C_{-1}/\partial a$ 與 $\partial C_{-1}/\partial b$ 均非零。
• 研究結果建立了Hilbert系列的解析結構與toric Kähler幾何中代數障礙理論之間的直接對應關係。