[论文解读] Deformations from a given Kähler metric to a twisted cscK metric

Yu Zeng|arXiv (Cornell University)|Jul 22, 2015

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

一句话总结

本文建立了从给定凯勒度量到扭曲常数量曲率凯勒（cscK）度量的一条新连续路径的开放性，证明了当 $ t > 0 $ 足够小时，存在唯一的光滑凯勒度量 $ \omega_{\varphi_t} $ 满足四阶非线性方程。证明方法采用幂级数展开与 Hölder 空间中的压缩映射的摄动方法，通过将基点移至更优的初始近似，克服了在 $ t = 0 $ 处正则性损失的问题。

ABSTRACT

In this paper, we proved the openness at t =0 of the new continuity path recently introduced by X. Chen.

研究动机与目标

• 建立 X. Chen 提出的新连续路径的开放性，用于将给定凯勒度量形变为扭曲 cscK 度量。
• 解决在 $ t = 0 $ 处应用反函数定理的技术难题，此时方程退化为二阶，标准正则性失效。
• 证明当 $ t > 0 $ 足够小时，存在唯一的解 $ \omega_{\varphi_t} $ 满足带有 $ \chi = \omega $ 的扭曲 cscK 方程。
• 为 Chen 的连续路径在一般凯勒类中解决 cscK 度量存在性问题提供进一步证据。

提出的方法

• 通过变量替换与参数 $ r $ 的幂级数展开，将四阶扭曲 cscK 方程约化为二阶方程。
• 引入一个改进的基点 $ \varphi_1 $，其比平凡的 $ \varphi_0 = 0 $ 更接近解，从而扩大反函数定理适用的邻域大小。
• 利用 Schauder 估计与 Hölder 范数控制，对线性化算子 $ \mathcal{D}P|_{\varphi} $ 的差异进行有界控制，确保对摄动的统一控制。
• 在 $ C^{2,\alpha} $ 空间中应用压缩映射论证，通过精心选择与 $ r $ 相关的邻域，确保收敛性。
• 在扰动设定下应用反函数定理，其中像的邻域半径收缩速度慢于到零的距离，从而保证原像的存在性。
• 利用 $ \|F_r(\varphi_1)\|_{C^\alpha} \leq C r^{1/(1-\alpha)} $ 的事实，使得在小 $ r $ 下压缩性成立。

实验结果

研究问题

• RQ1 尽管在 $ t = 0 $ 处正则性丢失，能否证明从凯勒度量到扭曲 cscK 度量的连续路径在 $ t = 0 $ 处是开放的？
• RQ2 当标准反函数定理在 $ t = 0 $ 处失效时，是否能通过摄动法构造出小 $ t > 0 $ 下扭曲 cscK 方程的解？
• RQ3 如何改进初始近似 $ \varphi_0 = 0 $，以确保线性化算子的像包含零在其邻域内？
• RQ4 为使压缩映射能收敛，误差项 $ \|F_r(\varphi_1)\|_{C^\alpha} $ 的最优衰减速率是什么？
• RQ5 以 $ \chi = \omega $ 的修正路径是否能在 $ t = 0 $ 附近产生行为良好的解空间？

主要发现

• 对任意紧致凯勒流形 $ (M, \omega) $ 及所有足够小的 $ t > 0 $，存在唯一的光滑凯勒度量 $ \omega_{\varphi_t} $ 满足扭曲 cscK 方程 $ t(R_{\varphi_t} - \underline{R}) - (1-t)(\mathop{\rm tr}\nolimits_{\varphi_t}\omega - n) = 0 $。
• 解 $ \varphi_t $ 通过在 $ C^{2,\alpha} $ 空间中以 $ \varphi_0 = 0 $ 为基点移至更优近似 $ \varphi_1 $ 的压缩映射论证得到。
• 误差 $ \|F_r(\varphi_1)\|_{C^\alpha} $ 按 $ r^{1/(1-\alpha)} $ 衰减，当 $ \alpha = \frac{1}{4} $ 时，其为 $ r^{4/3} $，快于邻域的 $ r $-尺度，从而保证压缩性。
• 证明了反函数定理适用的邻域半径大于 $ r^{3+\epsilon} $（$ \epsilon > 0 $），确保在 $ \varphi_1 $ 处线性化算子的像包含零。
• 通过迭代极限得到的解 $ \varphi_\infty $ 满足 $ F_r(\varphi_\infty) = 0 $，且由于椭圆正则性，其为光滑解。
• $ \varphi_\infty $ 的 $ C^{2,\alpha} $ 范数满足 $ \|\varphi_\infty\|_{C^{2,\alpha}} \leq C r \to 0 $ 当 $ r \to 0 $，表明解趋近于初始度量。