[论文解读] Deformations of Q-curvature II

Yueh-Ju Lin, Wei Yuan|arXiv (Cornell University)|Feb 11, 2021

Geometric Analysis and Curvature Flows参考文献 36被引用 4

一句话总结

本文在四维黎曼流形上严格稳定正爱因斯坦度量附近建立了Q-曲率的体积比较定理，表明Q-曲率的逐点控制可推出体积控制。通过Q-临界度量框架与线性化Q-曲率算子的谱分析，证明了在Q-曲率约束下里奇平坦流形的局部刚性，展示了不存在具有正Q-曲率的邻近度量。

ABSTRACT

This is the second article of a sequence of research on deformations of Q-curvature. In the previous one, we studied local stability and rigidity phenomena of Q-curvature. In this article, we mainly investigate the volume comparison with respect to Q-curvature. In particular, we show that volume comparison theorem holds for metrics close to strictly stable positive Einstein metrics. This result shows that Q-curvature can still control the volume of manifolds under certain conditions, which provides a fundamental geometric characterization of Q-curvature. Applying the same technique, we derive the local rigidity of strictly stable Ricci-flat manifolds with respect to Q-curvature, which shows the non-existence of metrics with positive Q-curvature near the reference metric.

研究动机与目标

• 在四维黎曼流形上严格稳定正爱因斯坦度量附近建立Q-曲率的体积比较定理。
• 研究Q-曲率是否能以类似于经典体积比较定理中里奇曲率控制体积的方式控制流形的体积。
• 证明严格稳定里奇平坦流形在Q-曲率约束下的局部刚性，即不存在具有正Q-曲率的邻近度量。
• 扩展对Q-曲率作为高阶曲率不变量的几何理解，其具有标量曲率类似的性质。

提出的方法

• 将Q-临界度量定义为体积比较的模型空间，其中Q-曲率的线性化满足涉及Q-曲率微分的L²-伴随算子的特定微分方程。
• 引入J-爱因斯坦度量作为Q-临界度量的一个子类，其中J-张量与度量成比例，并证明爱因斯坦度量属于J-爱因斯坦度量。
• 应用爱因斯坦算子Δ_E^ḡ的谱理论分析稳定性，依赖于严格稳定爱因斯坦度量的首特征值为正。
• 在参考度量附近的度量空间上构造泛函F_M,ḡ，结合体积与Q-曲率积分，通过变分法推导体积比较。
• 在四维情形下使用高斯-博内-陈公式，将总Q-曲率与Weyl张量范数关联到欧拉示性数，从而在共形平坦情形实现全局比较。
• 在C^4黎曼度量空间中运用摄动理论与隐函数定理，证明在小扰动下实现局部体积控制与刚性。

实验结果

研究问题

• RQ1 能否在类似于里奇曲率有界下的经典体积比较定理中，为Q-曲率建立类似的体积比较定理？
• RQ2 在何种几何条件下，Q-曲率可主导流形的体积？
• RQ3 严格稳定正爱因斯坦度量是否可作为Q-曲率体积比较的自然模型空间？
• RQ4 能否证明在Q-曲率约束下里奇平坦流形的局部刚性，即不存在具有正Q-曲率的邻近度量？
• RQ5 四维双曲与球面流形的全局体积比较结果是否可推广至更高维度？

主要发现

• 在四维流形中，对于充分接近严格稳定正爱因斯坦度量的度量，若Q_g ≥ Q_ḡ，则有V_M(g) ≤ V_M(ḡ)。
• 对于四维局部共形平坦流形，若Q-曲率为正，则体积满足V_M(g) ≤ V_M(ḡ) − (1/(4Q_ḡ))||W_g||²_{L²}，等号成立当且仅当g为局部共形平坦。
• 在四维球面或紧致双曲四维流形的情形下，若Q_g ≥ Q_ḡ，则有V_M(g) ≤ V_M(ḡ)，等号成立当且仅当g与标准度量等距。
• 严格稳定的里奇平坦流形在Q-曲率下具有局部刚性：由于泛函F_M,ḡ在参考度量处为零，故不存在具有正Q-曲率的邻近度量。
• 稳定性条件是必要的；在不稳定爱因斯坦流形（如S²×S²×S²）上存在反例，其中Q_g > Q_ḡ但V_M(g) > V_M(ḡ)。
• 本文猜想对n≥3维双曲n-流形存在全局体积比较，即若Q_g ≥ Q_ḡ，则V_M(g) ≤ V_M(ḡ)，该猜想有待对算子L_ḡ进行谱分析后验证。