[论文解读] Chern's magic form and the Gauss-Bonnet-Chern mass

Guofang Wang, Jie Wu|arXiv (Cornell University)|Oct 11, 2015

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

一句话总结

本文利用陈省人的魔术形式 $\Phi_k$，为渐近平坦流形引入了一种新的质量不变量，证明其与高斯-邦内特-陈质量及内在定义的洛维尔洛克质量等价。通过微分形式与曲率恒等式，作者提供了一种简化版的广义相对论中 ADM 质量与内在质量等价性的证明，并通过陈的内在方法将已知结果推广至高阶曲率不变量。

ABSTRACT

In this note, we use Chern's magic form $Φ_k$ in his famous proof of the Gauss-Bonnet theorem to define a mass for asymptotically flat manifolds. It turns out that the new defined mass is equivalent to the one that we introduced recently by using the Gauss-Bonnet-Chern curvature $L_k$. Moreover, this equivalence implies a simple proof of the equivalence between the ADM mass and the intrinsically defined mass via the Ricci tensor, which was reconsidered by Miao-Tam \cite{MT} and Herzlich \cite{H} very recently.

研究动机与目标

• 通过陈的魔术形式 $\Phi_k$ 定义渐近平坦流形的新质量不变量。
• 建立该陈质量与先前定义的高斯-邦内特-陈质量之间的等价性。
• 通过里奇张量提供 ADM 质量与内在定义质量等价性的更简证明，扩展了缪奥-塔姆与赫兹利希的近期结果。
• 通过陈的内在微分形式方法，统一黎曼几何中高阶质量的定义。

提出的方法

• 通过将陈的魔术形式 $\Phi_k$ 拉回到无穷远处的球面，并按 $r^{n-2k}$ 缩放，定义陈质量 $m_k^C$。
• 利用恒等式 $d(r^{n-2k}\Phi_k) = (n-2k)!\,L_k \cdot \text{vol} + O(r^{-(k+1)\tau - 2k})$，将该形式与高斯-邦内特-陈曲率 $L_k$ 关联。
• 推导点态渐近展开式 $r^{n-2k}\nu^*(\Phi_k) = -2(n-2k-1)!\,\mathcal{E}^{(k)}(r\partial_r, \partial_r)\,d\sigma^g + O(r^{-(k+1)\tau - 2k + 1})$，将形式与洛维尔洛克张量 $\mathcal{E}^{(k)}$ 关联。
• 应用密度论证与渐近分析，证明在衰减条件 $\tau > \frac{n-2k}{k+1}$ 下，$m_k^C$、$m_{GBC}$ 与 $m_I^k$ 的积分收敛于同一值。
• 利用 $\Phi_k$ 与体积形式 $d\sigma^g$ 的内在几何不变性，确保质量定义的坐标无关性。
• 利用陈证明高斯-邦内特定理时已知的恒等式，将曲率不变量与微分形式联系起来。

实验结果

研究问题

• RQ1 能否利用陈的魔术形式 $\Phi_k$ 定义渐近平坦流形的几何不变质量？
• RQ2 通过 $\Phi_k$ 定义的质量是否与高斯-邦内特-陈质量 $m_{GBC}$ 等价？
• RQ3 陈质量 $m_k^C$ 是否与内在定义的洛维尔洛克质量 $m_I^k$ 一致？
• RQ4 这种基于形式的方法能否简化高阶曲率引力中 ADM 质量与内在质量等价性的证明？
• RQ5 在渐近意义上，$r^{n-2k}\nu^*(\Phi_k)$ 与洛维尔洛克张量 $\mathcal{E}^{(k)}(r\partial_r, \partial_r)$ 之间的精确关系为何？

主要发现

• 在衰减条件 $\tau > \frac{n-2k}{k+1}$ 下，陈质量 $m_k^C$ 是几何不变且定义良好的。
• 恒等式 $d(r^{n-2k}\Phi_k) = (n-2k)!\,L_k \cdot \text{vol} + O(r^{-(k+1)\tau - 2k})$ 建立了该形式与高斯-邦内特-陈曲率之间的直接联系。
• 渐近展开式 $r^{n-2k}\nu^*(\Phi_k) = -2(n-2k-1)!\,\mathcal{E}^{(k)}(r\partial_r, \partial_r)\,d\sigma^g + O(r^{-(k+1)\tau - 2k + 1})$ 证明了 $m_k^C = m_I^k$。
• 通过将赫兹利希技巧应用于曲率恒等式，可推出 $m_{GBC} = m_I^k = m_k^C$，从而得到 $m_k^C = m_{GBC}$ 的等价性。
• 当 $k=1$ 时，该结果恢复了 ADM 质量与内在质量等价的经典结果，并为此提供了新的、更简明的证明。
• 该方法通过陈的内在微分形式框架，统一了黎曼几何中高阶质量的定义。