[论文解读] Positive mass theorem for the Yamabe problem on spin manifolds

Bernd Ammann, Emmanuel Humbert|arXiv (Cornell University)|Apr 3, 2003

Advanced Mathematical Modeling in Engineering参考文献 7被引用 4

一句话总结

本文提供了在紧致自旋流形上，当其 Yamabe 不变量为正且满足局部共形平坦性或维度为 3–5 时，共形拉普拉斯算子格林函数展开中常数项正性的简洁旋量证明。该证明利用狄拉克算子的格林函数构造测试旋量，通过仅依赖紧致流形分析避免了渐近平坦性分析，从而简化了温特定原论证。

ABSTRACT

Let $(M,g)$ be a compact connected spin manifold of dimension $n\geq 3$ whose Yamabe invariant is positive. We assume that $(M,g)$ is locally conformally flat or that $n \in \{3,4,5\}$. According to a positive mass theorem of Witten, the constant term in the asymptotic development of the Green's function of the conformal Laplacian is positive if $(M,g)$ is not conformally equivalent to the sphere. In the present article, we will give a proof for this fact which is considerably shorter than previous proofs. Our proof is a modification of Witten's argument, but no analysis on asymtotically flat spaces is needed.

研究动机与目标

• 建立紧致自旋流形上共形拉普拉斯算子格林函数展开中常数项的正性，其 Yamabe 不变量为正。
• 在不使用渐近平坦几何的前提下，为 Yamabe 问题背景下的正质量定理提供简化证明。
• 通过狄拉克算子格林函数构造调和测试旋量，将温特定原的旋量方法推广至紧致自旋流形。
• 统一处理维度 3、4 和 5 的情形，并在高维中补充估计。

提出的方法

• 利用狄拉克算子的格林函数在 $M \setminus \{P\}$ 上构造一个旋量场，使其行为类似于渐近常数。
• 在点 $P$ 的穿孔邻域上定义测试旋量 $\psi$，形式为 $\psi = \frac{x}{r^n} \cdot \psi_0 + \theta(x)$，其中 $\theta$ 光滑，确保在分布意义下有 $D\psi = -\omega_{n-1} \delta_P \psi_0$。
• 利用狄拉克算子的格林函数对旋量进行校正，构造一个调和旋量 $\varphi$，满足 $\overline{D}\varphi \in C^{0,1}(M)$。
• 应用正则性理论与 Sobolev 嵌入，确保 $\varphi$ 是 Hölder 连续的，且其梯度通过 $r^{1+\varepsilon}|\nabla \varphi| \in C^0$ 实现适当衰减。
• 推导维度相关的估计：当 $n=3$ 时，$\gamma + \gamma' \in L^q$ 对所有 $q>1$；当 $n=4$ 时，$\gamma + \gamma' = O(1/r)$；当 $n=5$ 时，将 $\gamma$ 分解为齐次阶 $-1$ 项，$\gamma'$ 为 $O(1/r)$。
• 通过狄拉克算子的基本解构造校正旋量 $\Theta$，以消除误差项，确保在 $P$ 附近有 $\overline{D}\Theta = \gamma + \gamma'$。

实验结果

研究问题

• RQ1 能否在不依赖渐近平坦几何的前提下，建立共形拉普拉斯算子格林函数中常数项的正性？
• RQ2 如何仅通过内在分析将温特定原的旋量方法适配至紧致自旋流形？
• RQ3 在维度 4 和 5 时，旋量构造需作何修改以控制格林函数的误差项？
• RQ4 当 $M$ 为自旋、紧致且 Yamabe 不变量为正时，格林函数展开中的常数项 $A$ 是否为正？

主要发现

• 若 $(M,g)$ 为紧致自旋流形，Yamabe 不变量为正，且局部共形平坦或维度 $n \in \{3,4,5\}$，则共形拉普拉斯算子格林函数渐近展开中的常数项 $A$ 为正。
• 该证明避免使用渐近平坦流形，完全依赖紧致流形分析，显著缩短了温特定原的原始论证。
• 当 $n=3$ 时，误差旋量 $\gamma + \gamma'$ 属于所有 $q>1$ 的 $L^q$ 空间，确保在 $H^1_q$ 中存在校正旋量且具有 Hölder 连续性。
• 当 $n=4$ 时，校正旋量 $\Theta$ 满足 $r^\varepsilon \Theta \in C^0$ 且 $r^{1+\varepsilon}|\nabla \Theta| \in C^0$，确保充分衰减。
• 当 $n=5$ 时，误差被分解为齐次部分 $\gamma$（阶 $-1$）与余项 $\gamma'$，二者均通过狄拉克格林函数校正，得到 $C^{1,a}$ 旋量。
• 最终旋量 $\Psi(\psi_0) = \varphi - \varphi'$ 在 $M \setminus \{P\}$ 上光滑，且属于 $C^{1,a}(M)$，证明了具有可控衰减的调和测试旋量的存在性。