[论文解读] An Introduction to Harmonic Manifolds and the Lichnerowicz Conjecture

Peter Kreyssig|arXiv (Cornell University)|Jul 3, 2010

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

一句话总结

本文提供了对调和流形的自包含介绍，并确立了 Z. I. Szabó 对紧致单连通流形上 Lichnerowicz 猜想的证明，表明此类流形要么是平坦的，要么是秩一局部对称的。该研究基于黎曼几何、拉普拉斯方程性质以及常微分方程技术，证明全局调和性蕴含强烈的结构约束，从而解决了该类流形中长期存在的一个猜想。

ABSTRACT

The title is self-explanatory. We aim to give an easy to read and self-contained introduction to the field of harmonic manifolds. Only basic knowledge of Riemannian geometry is required. After we gave the definition of harmonicity and derived some properties, we concentrate on Z. I. Szabó's proof of Lichnerowicz's conjecture in the class of compact simply connected manifolds.

研究动机与目标

• 使用基本黎曼几何，提供一个自包含且易于理解的调和流形导论。
• 在完备性和拓扑条件之下，阐明各种调和性概念（无穷小、局部、全局和强）之间的等价性。
• 呈现并解释 Z. I. Szabó 对紧致单连通流形类中 Lichnerowicz 猜想的证明。
• 强调该猜想在连接调和性质与局部对称性及常曲率方面的重要性。
• 讨论近期进展，包括在维度 ≥7 中存在的非对称全局调和流形，以及维度 6 中的开放问题。

提出的方法

• 通过存在非平凡径向对称调和函数来定义调和性，并将其与小测地球面的平均曲率联系起来。
• 利用 Willmore 的结果，将调和性等价于平均值定理的有效性。
• 应用 Kazdan-DeTurck 定理，将完备流形中局部、全局和无穷小调和性等同起来。
• 运用常微分方程技术，证明调和流形的密度函数满足具有常系数的线性常微分方程，从而推出其平移在有限维空间中生成。
• 利用傅里叶分析和三角多项式结构，推导出周期解必为整数频率的有限余弦和。
• 应用 Gauss-Lucas 定理分析常微分方程特征多项式的根，将其与曲率约束和对称性联系起来。

实验结果

研究问题

• RQ1 在何种条件下，调和流形必然是局部对称或平坦的？
• RQ2 在完备黎曼流形中，不同形式的调和性（局部、全局、强）之间有何关系？
• RQ3 全局调和性对密度函数和曲率张量施加了哪些结构约束？
• RQ4 Lichnerowicz 猜想能否超越紧致单连通流形，特别是在维度 6 中？
• RQ5 在每个维度 ≥7 中是否存在非对称的全局调和流形，以及何种条件会强制对称性？

主要发现

• Z. I. Szabó 证明了每个紧致单连通的全局调和流形要么是平坦的，要么是秩一局部对称的，从而在该类中证实了 Lichnerowicz 猜想。
• 调和流形的密度函数满足具有常系数的线性常微分方程，这意味着其平移张成的空间是有限维的。
• 对于光滑、$2\pi$-周期、偶函数且其平移张成空间为有限维的函数，该函数必为整数频率的有限余弦和。
• 5 维局部调和流形的曲率张量是平行的，根据 Ledger 的公式，这意味着具有常截面曲率。
• 在维度 ≥7 中存在非局部对称的全局调和流形，其构造方式为 Heisenberg 型群的一维扩展。
• 在齐次情形下，单连通的全局调和空间要么是平坦的，要么是秩一对称的，要么与非对称的 Damek-Ricci 空间等距。