[论文解读] Prescribed Scaler Curvatures for Homogeneous Toric Bundles

Bohui Chen, Qing‐Long Han+3 more|arXiv (Cornell University)|Mar 7, 2016

Geometry and complex manifolds参考文献 15被引用 3

一句话总结

该论文通过在 Delzant 多面体上求解广义 Abreu 方程，证明了在紧致 toric 曲面之上的齐性 toric 纤维丛上存在具有预设标量曲率的 Kähler 度量。在一致稳定性和边非恒定 Duistermaat-Heckman 多项式条件下，作者证明了 $C^{6,\alpha}$ 正则性，并构造出一个光滑的 $G$-不变度量，其标量曲率为 $\mathbb{S} = A + h_G$，从而在 $n=2$ 的情形下证实了 Yau-Tian-Donaldson 猜想。

ABSTRACT

In this paper, we study the generalized Abreu equation on a Delzant ploytope $Δ\subset \mathbb{R}^2$ and prove the existence of the constant scalar metrics of homogeneous toric bundles under the assumption of an appropriate stability.

研究动机与目标

• 解决齐性 toric 纤维丛上具有预设标量曲率的 Kähler 度量的存在性问题，扩展了 toric 簇上的结果。
• 将 Abreu 方程推广，以包含几何数据 $\mathbb{D}$（Duistermaat-Heckman 多项式）和 $h_G$（群贡献）以适用于 toric 纤维丛。
• 在二维情形下建立广义 Abreu 方程的边界正则性，尤其关注 Delzant 多面体的边和顶点附近的行为。
• 证明一致稳定性与边非恒定 $\mathbb{D}$ 是存在光滑解并具有预设标量曲率的充分条件。
• 为复维数为二的齐性 toric 纤维丛提供 Yau-Tian-Donaldson 猜想的构造性解法。

提出的方法

• 广义 Abreu 方程的形式为 $-\frac{1}{\mathbb{D}}\sum_{i,j=1}^{2}\frac{\partial^2(\mathbb{D}u^{ij})}{\partial\xi_i\partial\xi_j} = \mathbb{S} - h_G$，定义于 $\Delta \subset \mathbb{R}^2$ 中的 Delzant 多面体上，其中 $\mathbb{S}$ 为标量曲率，$\mathbb{D}, h_G$ 为已知的几何函数。
• 通过仿射爆破技术、仿射不变量的微分不等式以及 Bernstein 定理，建立边界正则性，以控制边附近的解的行为。
• 在顶点附近，通过在 момента-映射邻域的原像中构造次调和函数，控制角点处的正则性。
• 利用 $G$-不变性及对 $\|\nabla \log \mathbb{F}_{f_\vartheta}\|_{\mathcal{G}_f}$ 的有界性，推导出一致的 $C^{6,\alpha}$ 估计，确保近似解的收敛性。
• 关键估计涉及 Hessian 矩阵行列式的比值以及度量结构中测地线距离的下界。
• 通过一致稳定性的定义（定义 2.1）应用稳定性条件，确保解 $\phi$ 的可解性与正则性。

实验结果

研究问题

• RQ1 在何种几何与分析条件下，广义 Abreu 方程在 Delzant 多面体上对齐性 toric 纤维丛存在光滑解？
• RQ2 Chen、Li 与 Sheng 对 Abreu 方程的方法能否推广至包含非平凡 $\mathbb{D}$ 与 $h_G$ 的广义情形？
• RQ3 一致稳定性与边非恒定 $\mathbb{D}$ 是否意味着广义 Abreu 方程解的 $C^{6,\alpha}$ 正则性？
• RQ4 与经典 Abreu 情形相比，$h_G$ 的存在如何影响标量曲率结构及方程的可解性？
• RQ5 在 toric 曲面之上的齐性 toric 纤维丛设定下，常标量曲率 Kähler 度量的 Yau-Tian-Donaldson 猜想是否成立？

主要发现

• 在一致稳定性和边非恒定 $\mathbb{D}$ 的假设下，广义 Abreu 方程存在唯一的光滑解 $\phi \in C^{6,\alpha}(\bar{\Delta})$。
• 在 $G \times_K M$ 上存在一个光滑的 $G$-不变度量 $\mathcal{G}$，其标量曲率为 $\mathbb{S} = A + h_G$，其中 $A$ 为给定的光滑函数。
• 通过 Ricci 曲率估计、测地线距离界限以及次调和函数构造的结合，实现了在边和顶点附近的边界正则性。
• 在势函数 $f$ 上建立了统一的 $C^{6,\alpha}$ 估计，确保了近似解的收敛性以及所得到度量的光滑性。
• 度量张量及其 Hessian 的特征值被一致地上下有界，保证了解的非退化性与正则性。
• 解满足 $\|f_\vartheta\|_{C^{6,\alpha}(U)} \leq C_5$，其中任意紧子集 $U \subset \subset \Omega_\vartheta$，且 $C_5$ 依赖于 $\|A\|_{C^3(\Delta)}$ 与几何数据。