[论文解读] The Gauss-Bonnet-Chern Theorem on Riemannian Manifolds

Yin Li|arXiv (Cornell University)|Nov 21, 2011

Advanced Operator Algebra Research参考文献 40被引用 4

一句话总结

这篇综述性论文展示了在偶数维黎曼流形上高斯-博内-陈定理的四种不同证明，包括陈省人的内在证明、基于特征类的拓扑方法、Mathai-Quillen的陈类形式形式主义，以及基于McKean-Singer猜想的热核方法。其主要贡献在于统一这些多样化的技术，揭示曲率、拓扑与整体微分几何之间深刻的相互作用，核心结果为积分恒等式 ∫ₘ Ψ(z) dvol_z = χ(M)，其中 Ψ 为曲率形式的Pfaffian，χ(M) 为欧拉示性数。

ABSTRACT

This expository paper contains a detailed introduction to some important works concerning the Gauss-Bonnet-Chern theorem. The study of this theorem has a long history dating back to Gauss's Theorema Egregium (Latin: Remarkable Theorem) and culminated in Chern's groundbreaking work [14] in 1944, which is a deep and wonderful application of Elie Cartan's formalism. The idea and tools in [14] have a great generalization and continue to produce important results till today. In this paper, we give four different proofs of the Gauss-Bonnet-Chern theorem on Riemannian manifolds, namely Chern's simple intrinsic proof, a topological proof, Mathai-Quillen's Thom form proof and McKean-Singer-Patodi's heat equation proof. These proofs are related with remarkable developments in differential geometry such as the Chern-Weil theory, theory of characteristic classes, Mathai-Quillen's formalism and the Atiyah-Singer index theorem. It is through these brilliant achievements the great importance and influence of Chern's insights and ideas are shown. Our purpose here is to use the Gauss- Bonnet-Chern theorem as a guide to expose the reader to some advanced topics in modern differential geometry.

研究动机与目标

• 通过多种不同的证明方式，全面阐述高斯-博内-陈定理，突出其在现代微分几何中的基础性作用。
• 展示陈省人1944年的内在证明如何通过引入传递（transgression）和纤维丛技术，彻底革新了整体微分几何。
• 将高斯-博内-陈定理与更广泛的发展联系起来，包括Chern-Weil理论、特征类，以及Atiyah-Singer指标定理。
• 为研究人员和学生提供一本教育性指南，以该定理为入口，探索微分几何中的高级主题。

提出的方法

• 陈省人的简洁内在证明利用曲率形式与传递技术，无需嵌入即可推导出高斯-博内-陈定理，依赖于Cartan的结构方程。
• 拓扑证明采用陈类、欧拉类和Berezin积分，通过特征类和欧拉类作为基本拓扑不变量，推广该定理。
• Mathai-Quillen的陈类形式证明通过在向量丛的全空间上构造一个超联络与高斯型形式，构建一个表示陈类的微分形式。
• 热核方法利用McKean-Singer猜想，将热核 e^(-tΔ) 的超迹与解析指标联系起来，并通过渐近展开与超迹恒等式证明该定理。
• 论文推导出曲率形式 Ψ(z) 为黎曼曲率张量的Pfaffian，通过排列与符号表示，并证明 ∫ₘ Ψ(z) dvol_z = χ(M)。
• 通过归纳法与热核超迹的迹恒等式，利用恒等式 ∑ₚ (-1)ᵖ trₓ(𝒟ᵖRᵧ ∘ … ∘ 𝒟ᵖRᵧ u⁰ᵖ(x,y)) = (1/n!) (𝒟ᵖRᵧ)^{d/2} u⁰ᵖ(x,x) 计算指标。

实验结果

研究问题

• RQ1 陈省人对高斯-博内-陈定理的内在证明与基于等距嵌入的早期外在方法在本质上有什么不同？
• RQ2 Mathai-Quillen形式主义如何通过微分形式几何实现陈类与欧拉类？
• RQ3 McKean-Singer猜想如何将热核的超迹与解析指标联系起来，从而导出高斯-博内-陈定理？
• RQ4 Chern-Weil理论在从曲率形式构造特征类中起什么作用？它如何推广高斯-博内定理？
• RQ5 四种证明——陈省人的内在证明、拓扑方法、Mathai-Quillen形式主义与热核方法——之间有何关联？它们如何共同揭示高斯-博内-陈定理的深层结构？

主要发现

• 高斯-博内-陈定理被确立为 ∫ₘ Ψ(z) dvol_z = χ(M)，其中 Ψ(z) 为曲率形式的Pfaffian，χ(M) 为闭合、定向、偶数维黎曼流形 M 的欧拉示性数。
• 陈省人的内在证明基于传递与Cartan的结构方程，提供了一种无需坐标、几何自然的推导，避免了等距嵌入的需要。
• 热核证明验证了McKean-Singer猜想，表明热核 e^(-tΔ) 的超迹等于解析指标，并在 d+δ 情形下，作为推论得出高斯-博内-陈定理。
• Mathai-Quillen形式主义通过超联络与高斯型形式构造一个表示陈类的微分形式，使欧拉类的积分计算成为可能。
• 拓扑证明表明，由陈类形式表示的欧拉类在流形上积分后等于欧拉示性数，证实了曲率积分的拓扑不变性。
• 通过归纳法与迹恒等式，论文推导出关键恒等式 ∑ₚ (-1)ᵖ trₓ(𝒟ᵖRᵧ)^{d/2} u⁰ᵖ(x,x) = (1/n!) (𝒟ᵖRᵧ)^{d/2} u⁰ᵖ(x,x)，从而在高斯-博内情形下确认了指标定理。