[论文解读] Un th\\'eor\\`eme de la masse positive pour le probl\\`eme de Yamabe en dimension paire

Pierre Jammes|arXiv (Cornell University)|Jul 21, 2008

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

一句话总结

本文提出了一种关于偶数维、紧致、共形平坦流形上Yamabe问题的正质量定理的初等证明，使用微分形式而非旋量。该证明表明，格林函数展开中的质量项 $ A_P $ 严格为正，除非流形共形等价于标准球面，从而在偶数维中消除了对旋量或可定向性的假设。

ABSTRACT

Let $(M,g)$ be a compact conformally flat manifold of dimension $n\\geq4$ with positive scalar curvature. According to a positive mass theorem by Schoen and Yau, the constant term in the development of the Green function of the conformal Laplacian is positive if $(M,g)$ is not conformally equivalent to the sphere. On spin manifolds, there is an elementary proof of this fact by Ammann and Humbert, based on a proof of Witten. Using differential forms instead of spinors, we give an elementary proof on even dimensional manifolds, without any other topological assumption.

研究动机与目标

• 为偶数维紧致共形平坦流形上具有正数量曲率的Yamabe问题提供正质量定理的初等证明。
• 消除以往Witten型证明中所需的拓扑假设——特别是旋量条件。
• 用微分形式替代基于旋量的方法，利用偶数维中中间次数形式的Weitzenböck公式。
• 证明格林函数展开中的质量项 $ A_P $ 为正，除非流形共形等价于标准球面。
• 在仅使用黎曼几何和微分形式分析的基础上，建立结果，无需可定向性或其他拓扑约束。

提出的方法

• 利用共形拉普拉斯算子的格林函数诱导的共形变换，在 $ M \setminus \{P\} $ 上构造一个渐近欧氏度量。
• 在偶数维流形上研究 $ \frac{n}{2} $-形式，其中Hodge星算子 $ * $ 具有共形不变性，使得调和性在共形变换下保持不变。
• 通过从 $ \mathbb{R}^n $ 拉回常值形式，在渐近欧氏端上定义一个 $ \frac{n}{2} $-形式 $ \varphi $，确保其光滑且适当衰减。
• 应用 $ \frac{n}{2} $-形式的Bochner公式和Weitzenböck恒等式，将梯度的 $ L^2 $-范数与曲率项关联起来。
• 通过分部积分和在小球面 $ S_P(r) $ 上的边界估计，将 $ \nabla \varphi $ 的 $ L^2 $-范数与质量项 $ A_P $ 关联，得到 $ \int |\nabla \varphi|_{\tilde{g}}^2 \, dv_{\tilde{g}} = 4n(n-1)\omega_{n-1}^2 A + o(1) $。
• 由梯度的 $ L^2 $-范数非负性导出 $ A \geq 0 $，并证明 $ A = 0 $ 意味着所有 $ \frac{n}{2} $-形式平行，从而推出平坦性，故流形共形等价于球面。

实验结果

研究问题

• RQ1 在不假设流形为旋量流形的前提下，能否在偶数维中证明Yamabe问题的正质量定理？
• RQ2 是否可以将正质量定理证明中的旋量方法替换为微分形式？
• RQ3 在偶数维中，Hodge星算子在 $ \frac{n}{2} $-形式上的共形不变性在简化证明中起到什么作用？
• RQ4 质量项 $ A_P $ 在何种条件下消失，这对其底层几何意味着什么？
• RQ5 能否使证明更加初等且拓扑上普遍，而无需可定向性或其他拓扑限制？

主要发现

• 对于任意维度 $ n \geq 4 $ 的紧致、共形平坦、偶数维流形，若其具有正数量曲率，则其共形拉普拉斯算子格林函数展开中的质量项 $ A_P $ 严格为正，除非该流形共形等价于标准球面。
• 通过在渐近欧氏端上对一个精心构造的 $ \frac{n}{2} $-形式的梯度的 $ L^2 $-范数进行积分，该证明建立了 $ A_P \geq 0 $。
• 当且仅当流形共形等价于标准 $ n $-维球面时，等式 $ A_P = 0 $ 成立，因为此时渐近欧氏度量为平坦。
• 该方法依赖于偶数维中 $ \frac{n}{2} $-形式的Weitzenböck公式，其中Hodge星算子具有共形不变性，使得调和性在共形变换下保持不变。
• 该结果无需任何拓扑假设——既不要求可定向性，也不要求旋量结构——使得该证明适用于更广泛的流形类。
• 关键估计 $ \int_{M \setminus B_P(r)} \! |\nabla \varphi|_{\tilde{g}}^2 \, dv_{\tilde{g}} = 4n(n-1)\omega_{n-1}^2 A + o(1) $ 导出结论 $ A \geq 0 $，且仅在平坦情形下取等。