[论文解读] Weighted projective embeddings, stability of orbifolds and constant scalar curvature Kähler metrics

Julius Ross, Richard Thomas|arXiv (Cornell University)|Jul 30, 2009

Geometry and complex manifolds参考文献 32被引用 16

一句话总结

本文通过引入具有循环稳定子的轨道丛的加权射影嵌入，建立了Yau-Tian-Donaldson猜想的轨道丛版本，借助约化商群实现了一种类似几何不变性理论（GIT）的稳定性概念。证明了轨道丛上存在常数量曲率凯勒（cscK）度量蕴含K-半稳定，将斜率稳定推广至轨道丛，为cscK度量的存在性提供了明确障碍。

ABSTRACT

We embed polarised orbifolds with cyclic stabiliser groups into weighted projective space via a weighted form of Kodaira embedding. Dividing by the (non-reductive) automorphisms of weighted projective space then formally gives a moduli space of orbifolds. We show how to express this as a reductive quotient and so a GIT problem, thus defining a notion of stability for orbifolds. We then prove an orbifold version of Donaldson's theorem: the existence of an orbifold Kahler metric of constant scalar curvature implies K-semistability. By extending the notion of slope stability to orbifolds we therefore get an explicit obstruction to the existence of constant scalar curvature orbifold Kahler metrics. We describe the manifold applications of this orbifold result, and show how many previously known results (Troyanov, Ghigi-Kollar, Rollin-Singer, the AdS/CFT Sasaki-Einstein obstructions of Gauntlett-Martelli-Sparks-Yau) fit into this framework.

研究动机与目标

• 通过制定与常数量曲率凯勒（cscK）度量相容的稳定性条件，将Yau-Tian-Donaldson猜想推广至轨道丛。
• 通过将加权射影空间的非约化自守群约化为约化部分（一般线性群的乘积），解决其非约化自守群问题，从而实现几何不变性理论（GIT）框架。
• 在加权射影空间上定义平衡度量与Fubini-Study度量，这对于通过渐近展开逼近cscK度量至关重要。
• 将斜率稳定推广至轨道丛，并将其用作cscK度量存在性的障碍，扩展了光滑流形上的结果。
• 在单一轨道丛稳定性框架内统一已知障碍（如GMSY、Troyanov、Ghigi-Kollár、Rollin-Singer）

提出的方法

• 利用加权Kodaira嵌入形式，将具有循环稳定子的极化轨道丛嵌入加权射影空间，通过使用多个幂次$L^k$的截面来保持轨道丛结构。
• 用其约化部分（一般线性群的乘积）替代加权射影空间的非约化自守群，从而实现GIT商和明确定义的稳定性概念。
• 通过矩映射在加权射影空间上定义Fubini-Study度量，考虑其与标准Fubini-Study度量的曲率差异。
• 利用带权截面的渐近Bergman核展开，确保收敛至cscK度量，其中权重由矩映射的模糊性决定。
• 引入轨道丛Riemann-Roch公式与轨道丛陈类，以计算轨道丛设定下的次数与斜率，这对稳定性准则至关重要。
• 建立轨道丛向量丛与抛物丛之间的对应关系，将轨道丛稳定性转化为抛物稳定性，从而可应用已知的抛物稳定性结果。

实验结果

研究问题

• RQ1 能否通过加权射影嵌入与GIT稳定性，将Yau-Tian-Donaldson猜想扩展至轨道丛？
• RQ2 当加权射影空间的自守群为非约化时，如何为轨道丛定义一个行为良好的模问题？
• RQ3 轨道丛的正确稳定性概念（K-稳定性、斜率稳定性）是什么？它如何阻碍cscK度量的存在？
• RQ4 已知的cscK度量障碍（如GMSY、Troyanov）如何融入这一统一框架？
• RQ5 轨道丛上向量丛$E$的稳定性在多大程度上决定了$\mathbb{P}(E)$关于极化线丛$L_m$的稳定性？

主要发现

• 极化轨道丛上存在常数量曲率凯勒度量蕴含K-半稳定，将Donaldson定理由光滑情形推广至轨道丛设定。
• 通过加权射影空间的约化商群，轨道丛K-稳定性被明确定义，解决了非约化自守群问题。
• 轨道丛的斜率稳定性为cscK度量的存在性提供了明确障碍，推广了流形情形的结果。
• 对于轨道丛规则曲面$\mathbb{P}(E)$，若其底向量丛$E$不稳定，则$\mathbb{P}(E)$为斜率不稳定，因而不允许可行cscK度量。
• 轨道丛丛与抛物丛之间的对应关系保持稳定性，使得已知的抛物稳定性结果可重新解释于轨道丛语境。
• 典范极化轨道丛（$K_{\text{orb}}$数值平凡或$L = K_{\text{orb}}$）为斜率稳定，通过轨道丛Aubin-Yau定理确认其cscK度量的存在性。