[论文解读] CM Stability of Projective varieties

Sean Timothy Paul|arXiv (Cornell University)|Jun 21, 2012

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

一句话总结

本文通过希尔伯特概形上的新CM极化，建立了一个多面体-组合准则，用于判断贝格曼度量上Mabuchi能量的有界性，证明了射影簇的CM半稳定等价于Mabuchi能量有下界。本文引入了一对全局生成的线丛$(\mathscr{L}_R, \mathscr{L}_\Delta)$，并表明相对于这对线丛的半稳定性质刻画了Mabuchi能量的下有界性，统一了分析与代数几何中的稳定性条件。

ABSTRACT

We develop the connection between equivariant completions of algebraic homogeneous spaces of reductive groups and lower bounds for the Mabuchi energy of a polarized manifold over the space of Bergman metrics. We provide a new definition of Tian's CM Polarization and discuss its properties.

研究动机与目标

• 为射影空间中轨道之间的$G$-等变映射扩展到其Zariski闭包上的正则映射提供充要条件。
• 利用射影嵌入的几何与组合不变量，刻画贝格曼度量上Mabuchi能量的有界性。
• 在希尔伯特概形上定义新的CM极化$(\mathscr{L}_R, \mathscr{L}_\Delta)$，并证明其全局生成性。
• 建立$[X]$关于$(\mathscr{L}_R, \mathscr{L}_\Delta)$半稳定当且仅当$(X, \omega_{FS}|_X)$在贝格曼度量空间上的Mabuchi能量有下界。
• 证明Mabuchi能量在全空间的凯勒度量上是否有下界，当且仅当其在贝格曼度量空间的所有解析曲线上有下界。

提出的方法

• 在希尔伯特概形上构造一对可逆层$(\mathscr{L}_R, \mathscr{L}_\Delta)$，定义新的CM极化。
• 应用几何不变理论分析该极化的半稳定区域，表明其为有限个局部闭子概形的并。
• 通过分析$k$-阶Kodaira嵌入$X \to \mathbb{P}^{N_k}$的渐近行为，将Mabuchi能量与$SL(N_k+1,\mathbb{C})$轨道闭包的几何联系起来。
• 在格拉斯曼流形中引入距离函数$d_g(\overline{\mathcal{O}}_{R(k)\Delta(k)}, \overline{\mathcal{O}}_{R(k)})$，通过距离的对数切线量化稳定性。
• 应用半单代数群有限维表示理论的定理，将判别式、结式与K-能量映射解释为轨道结构的不变量。
• 建立一个分析性数值准则：Mabuchi能量在$\mathcal{B}$上有下界当且仅当其在$\mathcal{B}$的所有解析曲线上有下界。

实验结果

研究问题

• RQ1 在何种条件下，射影空间中轨道之间的$G$-等变映射可扩展为轨道Zariski闭包上的正则映射？
• RQ2 对于光滑射影簇$X \subset \mathbb{P}^N$，何种几何条件可确保$(X, \omega_{FS}|_X)$在贝格曼度量空间上的Mabuchi能量有下界？
• RQ3 希尔伯特概形上的CM极化如何显式构造？其全局生成性质为何？
• RQ4 $(\mathscr{L}_R, \mathscr{L}_\Delta)$-半稳定与Mabuchi能量有界性之间的精确关系为何？
• RQ5 若Mabuchi能量在贝格曼度量空间的所有解析曲线上有下界，是否意味着其在整个空间上有下界？

主要发现

• $(X, \omega_{FS}|_X)$在贝格曼度量空间上的Mabuchi能量有下界当且仅当$[X]$关于希尔伯特概形上的$(\mathscr{L}_R, \mathscr{L}_\Delta)$对是半稳定的。
• $(\mathscr{L}_R, \mathscr{L}_\Delta)$是全局生成的，且$(\mathscr{L}_R, \mathscr{L}_\Delta)$-半稳定区域是希尔伯特概形的有限个局部闭子概形的并。
• Mabuchi能量在全空间$\mathcal{H}_\omega$的凯勒度量上有下界当且仅当其在贝格曼度量空间$\mathcal{B}$的所有解析曲线上有下界。
• 控制Mabuchi能量渐近公式误差的序列$\{M(k)\}_{k \geq 1}$猜想有界，且该有界性蕴含渐近半稳定与Mabuchi能量有界性的等价性。
• 判别式与光滑极限循环的形成可交换，这是稳定性分析中的关键技术结果。
• 本文通过半单代数群的有限维表示理论，推广了Calabi-Futaki示性类与Mabuchi能量，表明其自然地出现在轨道闭包与不变量的语境中。