[论文解读] Extremal metrics on toric surfaces

Bohui Chen, An-Min Li+1 more|arXiv (Cornell University)|Aug 16, 2010

Geometry and complex manifolds参考文献 35被引用 8

一句话总结

本文在一致 $K$-稳定性的假设下，证明了在紧致环面曲面上，于 Delzant 多面体上给定标量曲率 $K$ 的光滑极小 Kähler 度量的存在性。通过应用先进的实分析与复仿射技术分析 Abreu 方程，作者证明了弱解在边界处的正则性，借助连续性方法与边界估计，解决了环面情形下极小度量的存在性问题。

ABSTRACT

In this paper, we study the Abreu equation on toric surfaces. In particular, we prove the existence of the positive extremal metric when relative $K$-stability is assumed.

研究动机与目标

• 在紧致环面曲面上，建立具有给定标量曲率 $K$ 的光滑 $T^2$-不变 Kähler 度量的存在性。
• 将 Abreu 方程弱解的正则性理论扩展至 Delzant 多面体的边界，包括边与顶点。
• 确认一致 $K$-稳定性蕴含极小度量的存在性，验证了环面 Kähler 几何中的一个关键猜想。

提出的方法

• 作者使用 Abreu 方程——在 Delzant 多面体上定义的实 Monge-Ampère 型方程——将复极小度量问题转化为凸区域上的实非线性偏微分方程。
• 他们采用连续性方法，从已知解出发，沿标量曲率函数 $K$ 的目标函数进行形变，依赖于先验估计。
• 通过实与复仿射技术控制度量势函数在边界附近的性质，包括 Ricci 曲率 $\mathcal{K}$ 与 Hessian 行列式 $H$ 的估计。
• 通过加权次调和函数与屏障构造，证明了边界正则性，特别地利用函数 $P + Q + \mathcal{C}_7 f$ 控制曲率与 Hessian 的有界性。
• 利用 Bernstein 型性质、收敛定理与势函数差值的 $L^\infty$ 有界性，推导出内部与边界估计。
• 通过提升论证，将 $C^{6,\alpha}$ 正则性升级为 $C^\infty$ 光滑性，确保解在多面体闭包上为实解析函数。

实验结果

研究问题

• RQ1 在 Delzant 多面体上，一致 $K$-稳定性是否蕴含对应环面曲面上具有给定标量曲率的光滑极小度量的存在性？
• RQ2 Abreu 方程弱解的正则性能否扩展至 Delzant 多面体的边界，包括边与顶点？
• RQ3 仿射技术——特别是复仿射技术——如何实现对多面体边界附近曲率与 Hessian 行为的控制？
• RQ4 连续性方法是否适用于求解具有任意光滑、边非退化的标量曲率函数的 Abreu 方程？
• RQ5 $T^2$-不变的 Abreu 方程解在一致稳定性条件下能否被证明在边界处为 $C^\infty$？

主要发现

• 本文证明：若 $(\Delta, K)$ 一致稳定，则在环面曲面 $M$ 上存在光滑的 $T^2$-不变度量，其标量曲率为 $K$，从而确立了定理 1.1。
• 作者推导出势函数 Hessian 行列式的一致上下界，这对连续性方法与正则性估计至关重要。
• 在边上，Ricci 曲率 $\mathcal{K}$ 被一个与解序列无关的常数 $C_2$ 一致上界控制，确保了曲率的控制。
• 在顶点处，通过使用加权次调和函数 $P$、$Q$ 与 $f$，得到了 Hessian 特征值的一致有界性，从而获得 $C^{6,\alpha}$ 正则性。
• 通过提升论证，证明了解在边界处为 $C^\infty$，确认了极小度量的光滑性。
• 作为推论，当 $K > 0$ 时，相对 $K$-多项式稳定性蕴含光滑极小度量的存在性，从而证实了正标量曲率情形下的一个猜想。