[论文解读] The index quasi-periodicity and multiplicity of closed geodesics

Huagui Duan, Yiming Long|arXiv (Cornell University)|Aug 9, 2010

Advanced Differential Geometry Research参考文献 36被引用 7

一句话总结

本文证明了在任意维度至少为2的紧致单连通Finsler（包括黎曼）流形中，无论度量是否可逆，都至少存在两条不同的原生闭测地线。通过在自由环路空间上应用指标准周期性与Morse理论，作者在假设少于两条测地线的前提下导出矛盾，利用线性化Poincaré映射的谱不变量与辛标准型，证明其重数超过1。

ABSTRACT

In this paper, we prove the existence of at least two distinct closed geodesics on every compact simply connected irreversible or reversible Finsler (including Riemannian) manifold of dimension not less than 2.

研究动机与目标

• 解决关于紧致单连通流形（维度≥2）上至少存在两条几何上不同的闭测地线的长期猜想。
• 将此前针对球面和低维流形的结果推广至所有紧致单连通Finsler与黎曼流形。
• 通过指标准周期性与线性化Poincaré映射的谱不变量，建立一般性的重数结果。
• 在闭测地线重数的语境下，区分不可逆与可逆Finsler度量的作用。
• 证明仅存在一条闭测地线的假设将导致Morse理论与辛不变量结构中的矛盾。

提出的方法

• 根据线性化Poincaré映射作为辛矩阵的正规型分解，将闭测地线分类为有理型与无理型。
• 应用指标准周期性性质，分析闭测地线迭代过程中Morse指标与亏格的变化。
• 在可逆情形下，利用能量泛函的对称性，将 $ c^m $ 与 $ c^{-m} $ 的临界模等同，确保Morse数据一致。
• 通过假设仅存在一条几何上不同的闭测地线，导出贝蒂数或谱不变量的过度计数，从而产生矛盾。
• 使用公式 $ \epsilon_{d,h}(i(c^T)+\mu) = \epsilon(2\eta) $ 并分析其上下界，证明 $ \epsilon(2\eta) < \frac{dh-(d-2)}{dh+(d-2)} $，与先前估计矛盾。
• 利用有理上同调代数结构 $ H^*(M;\mathbb{Q}) \cong \mathbb{Q}[x]/(x^{h+1}=0) $ 约束流形拓扑，并应用定理B（Vigué-Poirrier–Sullivan）于贝蒂数增长。

实验结果

研究问题

• RQ1 每个维度至少为2的紧致单连通Finsler流形是否都至少存在两条不同的原生闭测地线？
• RQ2 线性化Poincaré映射的指标准周期性如何影响闭测地线的重数？
• RQ3 该重数结果能否从球面和低维流形推广至所有紧致单连通流形？
• RQ4 Finsler度量的可逆性在几何上不同的闭测地线的存在性与分类中起何种作用？
• RQ5 在何种条件下，假设仅存在一条闭测地线，会在自由环路空间的Morse理论与谱结构中导致矛盾？

主要发现

• 在任意维度 $ \geq 2 $ 的紧致单连通流形上，对每种不可逆Finsler度量，都至少存在两条不同的原生闭测地线。
• 在该类流形上，对每种可逆Finsler度量（包括黎曼度量），都至少存在两条几何上不同的闭测地线。
• 矛盾源于假设仅存在一条闭测地线，导致谱不变量 $ \epsilon_{d,h}(i(c^T)+\mu) $ 过度计数，违反了不等式 $ \epsilon(2\eta) < \frac{dh-(d-2)}{dh+(d-2)} $。
• 证明依赖于：若仅存在一条原生闭测地线，则在可逆情形下，其迭代的临界模将被重复计算，从而导致贝蒂数之和与定理5.5不一致。
• 指标准周期性与Poincaré映射正规型分解的结构，对奇数与偶数维情形下的矛盾推导均至关重要。
• 该结果推广了此前对 $ S^2 $、$ S^3 $ 与 $ S^4 $ 的结论，证实了所有维度 $ \geq 2 $ 的紧致单连通流形上重数猜想的成立。