[论文解读] A study of the Hilbert-Mumford criterion for the stability of projective varieties

Julius Ross, Richard Thomas|ArXiv.org|Dec 29, 2004

Geometry and complex manifolds参考文献 22被引用 7

一句话总结

本文為极化射影代数簇的希尔伯特-摩尔曼稳定性准则提供了几何解释，通过到法丛的形变引入了斜率稳定性的概念。它建立了当 $ g \geq 1 $ 时，光滑曲线为 K-稳定，并通过源自希尔伯特多项式与理想层过滤的数值不变量，给出了该结论的直接代数证明。

ABSTRACT

We make a systematic study of the Hilbert-Mumford criterion for different notions of stability for polarised algebraic varieties $(X,L)$; in particular for K- and Chow stability. For each type of stability this leads to a concept of slope $μ$ for varieties and their subschemes; if $(X,L)$ is semistable then $μ(Z)\leμ(X)$ for all $Z\subset X$. We give examples such as curves, canonical models and Calabi-Yaus. We prove various foundational technical results towards understanding the converse, leading to partial results; in particular this gives a geometric (rather than combinatorial) proof of the stability of smooth curves.

研究动机与目标

• 为极化代数簇的稳定性建立一种几何的、非组合的希尔伯特-摩尔曼准则解释。
• 基于理想层在到法丛形变下的行为，定义一种类似于层理论中斜率稳定性的代数簇斜率稳定性概念。
• 通过扭曲理想层的希尔伯特多项式系数的积分，建立 K-稳定性的数值准则。
• 通过代数方法证明当 $ g \geq 1 $ 时，光滑曲线为 K-稳定，且 $ \mathbb{P}^1 $ 为严格 K-多项稳定，同时提供直接代数证明。
• 通过斜率不变量，为理解 canonical 模型与卡勒-丘流形的稳定性提供基础框架。

提出的方法

• 将到法丛的形变构造作为几何不变理论（GIT）中 1-参数子群作用的几何实现。
• 将 K-斜率 $ \mu_c(\mathcal{I}_Z) $ 定义为在 $ x \in [0,c] $ 上的加权平均，其中 $ c \leq \epsilon(Z) $，权重为系数 $ a_1(x) + \frac{1}{2}a_0'(x) $。
• 通过将权重计算简化至爆破的中心纤维，应用希尔伯特-摩尔曼准则，将计算简化为对概型中心纤维的求和。
• 引入不变量 $ e(Z) - 2\rho(Z) $ 以判断 destabilization：负号表示不稳定。
• 利用希尔伯特多项式 $ \chi(L^r \otimes \mathcal{I}_Z^{xr}) $ 定义 $ a_0(x), a_1(x) $，并将其延拓至实数 $ x $，从而在斜率公式中实现积分。
• 将理论应用于曲线时，分析子概形 $ Z $ 的 $ \chi(L^k \otimes \mathcal{I}_Z^{xk}) $，证明对光滑点及重数 $ \leq 2 $ 的奇点，有 $ \mu_c(\mathcal{I}_Z) < \mu(X) $。

实验结果

研究问题

• RQ1 希尔伯特-摩尔曼准则能否在代数簇上系统性简化，从而得到一种几何而非组合的稳定性准则？
• RQ2 对于极化代数簇，何种斜率稳定性概念与层理论中的斜率稳定性类似？
• RQ3 在何种子概形 $ Z \subset X $ 条件下，$ Z $ 会 destabilize $ (X,L) $，并如何通过数值方法捕捉这一现象？
• RQ4 是否存在一种直接的代数证明，利用希尔伯特多项式不变量来证明光滑曲线的 K-稳定性？
• RQ5 奇点（如普通二重点或更高重数点）如何影响曲线的 K-稳定性？

主要发现

• 本文证明了当 $ g \geq 1 $ 时，光滑极化曲线 $ (\Sigma, L) $ 为 K-稳定，且其直接代数证明基于斜率条件 $ \mu_c(\mathcal{I}_Z) < \mu(X) $ 对所有真子概形 $ Z \subset \Sigma $ 成立。
• 对于 $ \mathbb{P}^1 $，本文证明其为严格 K-多项稳定，即 $ \mu_c(\mathcal{I}_Z) \geq \mu(X) $，且等号仅在 $ Z $ 为单点且 $ c = \epsilon(Z) $ 时成立，这对应于非平凡的 $ \mathbb{C}^\times $-作用。
• 具有重数 $ e \geq 3 $ 的点的曲线为严格 K-不稳定，由不等式 $ 2\rho \geq 2e - 2 > e $ 推出 $ e(Z) - 2\rho(Z) < 0 $。
• 对于至多具有普通二重点的曲线，本文通过证明对所有 $ Z $ 有 $ \mu_c(\mathcal{I}_Z) < \mu(X) $，证明了斜率稳定性，方法为使用局部模型 $ \operatorname{Spec} \mathbb{C}[X,Y]/(XY) $ 并证明 $ \rho \leq 1 $。
• 斜率公式中修正项 $ \frac{1}{2}a_0'(x) $ 的出现，源于两个分量横截相交与光滑流形之间希尔伯特多项式的差异。
• 本文提供了光滑曲线 K-稳定性的几何证明，避免使用诸如 Mabuchi 泛函或凯勒-爱因斯坦度量等分析方法。