[论文解读] Universal curvature identities

P. Gilkey, J. H. Park+1 more|arXiv (Cornell University)|Apr 11, 2011

Advanced Differential Geometry Research被引用 5

一句话总结

本文通过分析度量的 jets 的标量和对称 2-形式不变量，建立了黎曼几何中的普遍曲率恒等式。利用热迹渐近展开和外尔的正交不变量理论，证明了 m 阶不变量上限制映射的核是一维的，且由 Pfaffian $ E_{m,m} $ 张成，从而给出了高斯-博内定理的新证明，并推导出如 Euh-Park-Sekigawa 恒等式等普遍关系。

ABSTRACT

We study scalar and symmetric 2-form valued universal curvature identities. We use this to establish the Gauss-Bonnet theorem using heat equation methods, to give a new proof of a result of Kuz'mina and Labbi concerning the Euler-Lagrange equations of the Gauss-Bonnet integral, and to give a new derivation of the Euh-Park-Sekigawa identity.

研究动机与目标

• 建立黎曼几何中关于标量和对称 2-形式不变量的普遍曲率恒等式。
• 利用热方程方法，通过热核的超迹渐近展开重新推导高斯-博内定理。
• 证明限制映射 $ r: \mathcal{I}_{m,m} \to \mathcal{I}_{m-1,m} $ 的核是一维的，且由 Pfaffian $ E_{m,m} $ 张成，从而确定所有 m 阶的普遍曲率关系。
• 作为普遍曲率关系的推论，提供 Euh-Park-Sekigawa 恒等式的全新推导。

提出的方法

• 定义 $ \mathcal{I}_{m,n} $ 为在 m 维黎曼流形上，度量的 jets 的 n 次齐次标量不变量空间。
• 利用 p-形式上拉普拉斯算子的热迹渐近展开，将超迹 $ a_{m,n} $ 表示为 $ \mathcal{I}_{m,n} $ 中的局部不变量，其中 $ a_{m,m} $ 与欧拉示性数相关。
• 应用 Bott 的消去论证，证明 $ r(a_{m,n}) = 0 $，意味着限制映射 $ r: \mathcal{I}_{m,n} \to \mathcal{I}_{m-1,n} $ 在超迹不变量上恒为零。
• 利用 H. Weyl 的正交不变量理论分析映射 $ r: \mathcal{I}_{m,m} \to \mathcal{I}_{m-1,m} $ 的核，证明其为一维的，且由 Pfaffian $ E_{m,m} $ 张成。
• 通过曲率分量的缩并和楔积表达核，利用对称性与反对称性将其约化为标准形式。
• 证明 $ E_{m,m} $ 生成所有 m 阶的普遍曲率恒等式，并利用此结果推导出如 Euh-Park-Sekigawa 恒等式等已知恒等式。

实验结果

研究问题

• RQ1 在 m 维流形中，m 阶普遍标量曲率不变量空间的结构是什么？
• RQ2 如何利用热核渐近展开和普遍曲率恒等式推导高斯-博内定理？
• RQ3 限制映射 $ r: \mathcal{I}_{m,m} \to \mathcal{I}_{m-1,m} $ 的核的维数是多少？它由什么生成？
• RQ4 普遍曲率恒等式与高斯-博内积分的欧拉-拉格朗日方程有何关系？
• RQ5 Euh-Park-Sekigawa 恒等式能否作为普遍曲率关系的推论得出？

主要发现

• 限制映射 $ r: \mathcal{I}_{m,m} \to \mathcal{I}_{m-1,m} $ 的核是一维的，且由 Pfaffian $ E_{m,m} $ 张成，证明了当 m 为偶数时 $ \ker(r) = \mathbb{R} \cdot E_{m,m} $。
• 通过热方程方法重新推导出高斯-博内定理，表明 $ \chi(M) = \int_M a_{m,m} d\nu $，其中 $ a_{m,m} = c_m E_{m,m} $，$ c_m $ 为某通用常数。
• Euh-Park-Sekigawa 恒等式作为曲率张量及其导数缩并的普遍曲率关系被推导出来。
• 当 $ m=3 $ 时，恒等式 $ 0 = R_{ijji}R_{kllk} - 4R_{aija}R_{bijb} + R_{ijkl}R_{ijkl} $ 普遍成立。
• 当 $ m=5 $ 时，存在一个涉及三个曲率缩并乘积的更复杂的普遍恒等式，其恒为零。
• 对所有 $ m,n $，限制映射 $ r: \mathcal{I}_{m,n} \to \mathcal{I}_{m-1,n} $ 是满射的，且当 $ m > n $ 且 $ n $ 为偶数时是双射的。