[论文解读] Morse theory, closed geodesics, and the homology of free loop spaces

Alexandru Oancea|arXiv (Cornell University)|Jun 12, 2014

Geometric and Algebraic Topology参考文献 69被引用 9

一句话总结

本文全面综述了Morse理论在分析黎曼流形上闭测地线中的作用，重点关注能量泛函的定义域——自由环路空间。通过应用变分法、指标理论及同调计算——特别是利用$SO(2)$和$O(2)$对称性——该文通过Morse理论与辛几何技术，解决了长期存在的问题，证明了在2-球面上存在无穷多条几何上互异的原生闭测地线。

ABSTRACT

This is a survey paper on Morse theory and the existence problem for closed geodesics. The free loop space plays a central role, since closed geodesics are critical points of the energy functional. As such, they can be analyzed through variational methods. The topics that we discuss include: Riemannian background, the Lyusternik-Fet theorem, the Lyusternik-Schnirelmann principle of subordinated classes, the Gromoll-Meyer theorem, Bott's iteration of the index formulas, homological computations using Morse theory, $SO(2)$- vs. $O(2)$-symmetries, Katok's examples and Finsler metrics, relations to symplectic geometry, and a guide to the literature. The Appendix written by Umberto Hryniewicz gives an account of the problem of the existence of infinitely many closed geodesics on the $2$-sphere.

研究动机与目标

• 综述Morse理论在黎曼流形上闭测地线的存在性与多重性分析中的应用。
• 阐明自由环路空间$\Lambda M$为何是能量泛函的自然定义域，其临界点即为闭测地线。
• 阐明同调不变量（如贝蒂数与等变同调）在检测多重闭测地线中的作用。
• 展示如何利用Morse理论、曲线缩短流与Conley指标理论，解决$S^2$上无限闭测地线问题。
• 将测地线问题与哈密顿动力系统及芬斯勒几何联系起来，尤其通过Katok的例子与辛退化极大值（symplectic degenerate maxima）进行探讨。

提出的方法

• 在$\Lambda M$（即$H^1$正则自由环路的希尔伯特流形）上应用Morse理论，分析能量泛函$E(\gamma) = \int_{S^1} |\dot{\gamma}(t)|^2 dt$的临界点。
• 应用Lyusternik-Schnirelmann子类原理，检测多重临界值，从而识别多重闭测地线。
• 采用Bott的迭代公式计算迭代测地线的Morse指标与零度，这对区分几何上互异的测地线至关重要。
• 利用$SO(2)$与$O(2)$对称性的等变同调，优化同调计算并检测非平凡的临界点结构。
• 应用曲线缩短流（Grayson流）构造嵌入环路的极小极大族，识别出高指标与横截旋转数的特殊测地线。
• 借助辛退化极大值（SDM）与Conley指标理论的概念，证明当存在高指标的退化临界点时，可推出无穷多条闭测地线的存在性。

实验结果

研究问题

• RQ1 每个紧致黎曼流形是否至少包含一条闭测地线？
• RQ2 每个紧致黎曼流形，尤其是2-球面，是否包含无穷多条几何上互异的原生闭测地线？
• RQ3 自由环路空间$\Lambda M$的同调不变量如何反映闭测地线的存在性与多重性？
• RQ4 对称性（如$SO(2)$与$O(2)$）在闭测地线的同调计算中起到何种作用？
• RQ5 哈密顿动力系统与Floer理论的技术如何将Morse理论结果推广至非可逆芬斯勒度量？

主要发现

• Lyusternik-Fet定理保证了任意紧致黎曼流形上至少存在一条闭测地线。
• 对于2-球面，Bangert关于腰线的工作与Franks在环状区域面积保测映射上的结果共同确保了存在无穷多条几何上互异的闭测地线。
• Hingston通过极小极大论证结合Grayson的曲线缩短流，识别出一条特殊的简单闭测地线$\gamma_*$，其指标加零度至少为3，横截旋转数至少为1。
• 当$\gamma_*$的横截旋转数恰好为1时，其成为辛退化极大值（SDM），根据Hingston与Ginzburg的结果，这强制导致无穷多条闭测地线的存在。
• Angenent的工作表明，即使无法定义到Birkhoff环状区域的返回映射，$p/q$-卫星测地线的存在性仍可通过隔离块与Conley指标理论，推出无穷多条闭测地线。
• 这些结果可推广至非可逆芬斯勒度量，借助接触同调与Floer理论方法，展示了Morse理论框架的广泛适用性。