[论文解读] The existence of two closed geodesics on every Finsler 2-sphere

Victor Bangert, Yiming Long|ArXiv.org|Sep 9, 2007

Advanced Differential Geometry Research参考文献 20被引用 5

一句话总结

本文证明了在2-球面上，每个Finsler度量都至少存在两条不同的原初闭测地线，从而解决了D. V. Anosov于1974年提出的长期悬而未决的问题。通过基于Morse理论、指数迭代公式和同调方法的反证法，作者分析了线性化Poincaré映射的辛正规型，并表明假设仅存在一条原初闭测地线，将在自由环路空间上能量泛函的临界模结构中导致拓扑矛盾。

ABSTRACT

In this paper, we prove that for every Finsler metric on the 2-dimensional sphere there exist at least two distinct prime closed geodesics. For the case of the two-sphere, this solves an open problem posed by D. V. Anosov in 1974.

研究动机与目标

• 为解决D. V. Anosov于1974年提出的关于Finsler 2-球面上闭测地线最小数量的开放问题。
• 确立每个Finsler度量在$S^2$上（即使不可逆的）都至少支持两条不同的原初闭测地线。
• 将现有关于黎曼情形及截面曲率pinched情况下的闭测地线结果推广至一般Finsler情形，且无需曲率或非退化性假设。
• 克服不可逆Finsler度量中多重覆盖现象带来的挑战，该现象阻碍了经典变形技术的应用。
• 在假设仅存在一条原初闭测地线的前提下，对线性化Poincaré映射的可能辛正规型进行完整分类，从而导出矛盾。

提出的方法

• 假设存在一条仅含一条原初闭测地线$c$的Finsler 2-球面，通过反证法。
• 在自由环路空间$\Lambda S^2$上使用Finsler能量泛函$E: \Lambda S^2 \to \mathbb{R}$，研究对应于闭测地线及其迭代的临界点。
• 应用[Lon1]中的指数迭代公式，计算迭代测地线$c^m$的Morse指标$i(c^m)$与亏性$\nu(c^m)$。
• 根据测地线的动力学行为，按其辛正规型将线性化Poincaré映射划分为九类（CG-1至CG-9）。
• 利用三元组$({\Lambda}, {\Lambda}^{\kappa_\tau}, {\Lambda}^0)$的相对同调长正合列，分析Betti数$b_k = \dim H_k({\Lambda}, {\Lambda}^0; \mathbb{Q})$，并通过Morse不等式导出矛盾。
• 利用临界模结构与$\hat{k}_i$不变量，比较不同能量层级上的同调数据，表明单条测地线的假设会导致Betti数界限不一致。

实验结果

研究问题

• RQ1 每个Finsler度量在$S^2$上（包括不可逆情形）是否都至少存在两条几何上不同的原初闭测地线？
• RQ2 是否能通过同调方法克服不可逆Finsler度量中多重覆盖现象，从而证明闭测地线的多重性？
• RQ3 在Finsler 2-球面上，仅存在一条原初闭测地线是否在拓扑与同调上与能量泛函的临界模结构相容？
• RQ4 指数迭代公式与Poincaré映射的辛正规型如何约束单条闭测地线的可能动力学行为？
• RQ5 Katok与Ziller关于Finsler度量恰好存在两条闭测地线的结果，在一般Finsler 2-球面上是否代表了最小可能数量？

主要发现

• 本文证明了无论是否可逆，每个Finsler 2-球面都至少存在两条不同的原初闭测地线。
• 在Poincaré映射的辛正规型分类的所有情形下均出现矛盾，表明此类配置违反了Morse不等式或同调约束。
• 特别是当测地线为有理椭圆退化鞍点（类别CG-7）时，通过长正合同调列与不等式$\dim H_2({\Lambda}, {\Lambda}^{\kappa_\tau}) \leq \hat{k}_1(d)$导出矛盾，与$\tau = n-1$冲突。
• 证明表明，假设仅存在一条原初闭测地线将导致Betti数估计不一致：$\dim H_1({\Lambda}, {\Lambda}^0) = 1$，但推导出的不等式强制$\dim H_1({\Lambda}^{{\kappa}_\tau}, {\Lambda}^0) \geq 2$，构成矛盾。
• 即使测地线是退化的或非双曲的，该结果依然成立，因为同调方法不依赖于非退化性或曲率pinching条件。
• 该证明确认了Katok的例子（恰好存在两条闭测地线）是最优的，即没有任何Finsler度量在$S^2$上能拥有少于两条不同的原初闭测地线。