[論文レビュー] 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以上の任意のコンパクトで単連結なフィン슬ァー（特にリーマン空間を含む）多様体が、可逆性にかかわらず、少なくとも2つの異なる素性の閉じた測地線をもつことを証明している。インデックス準周期性と自由ループ空間上のモース理論を用いて、2つ未満の測地線を仮定した場合に矛盾を導き出し、線形化されたポアンカレ写像のスペクトル不変量とシンプレクティック標準形を駆使して、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以上のコンパクトで単連結な多様体に、少なくとも2本の幾何的に異なる閉じた測地線が存在するという長年の予想を解決すること。
• 球面や低次元多様体に関する先行研究を、すべてのコンパクトで単連結なフィン슬ァーおよびリーマン多様体へと拡張すること。
• 線形化されたポアンカレ写像のスペクトル不変量を用いて、一般の重複度結果を確立すること。
• 非可逆的および可逆的フィン슬ァー計量の文脈において、閉じた測地線の重複度に与える影響を区別すること。
• 1本の閉じた測地線しか存在しないという仮定が、モース理論的およびシンプレクティック不変量の観点から矛盾を引き起こすことを証明すること。

提案手法

• 線形化されたポアンカレ写像のシンプレクティック行列としての正規形分解に基づき、閉じた測地線を有理的および無理的タイプに分類する。
• インデックス準周期性の性質を応用し、閉じた測地線の反復におけるモース指数および零空間次元の挙動を解析する。
• 可逆の場合にエネルギー汎関数の対称性を用いて、$ c^m $ と $ c^{-m} $ の臨界モジュールを等しくし、同一のモースデータを保証する。
• 1本の幾何的に異なる閉じた測地線しか存在しないと仮定し、ベッチ数またはスペクトル不変量における過剰数え上げを引き起こすことで矛盾を導く。
• 式 $ \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（ヴィグー＝プワリエ–サリヴァン）を適用する。

実験結果

リサーチクエスチョン

• RQ1 次元が2以上の任意のコンパクトで単連結なフィン슬ァー多様体は、少なくとも2本の異なる素性の閉じた測地線をもつか？
• RQ2 線形化されたポアンカレ写像のインデックス準周期性は、閉じた測地線の重複度にどのように影響するか？
• RQ3 重複度に関する結果を、球面や低次元多様体から、すべてのコンパクトで単連結な多様体へと拡張可能か？
• RQ4 フィン슬ァー計量の可逆性は、幾何的に異なる閉じた測地線の存在および分類に、どのような役割を果たすか？
• RQ5 1本の閉じた測地線しか存在しないという仮定が、自由ループ空間のモース理論的およびスペクトル構造において、どのような条件下で矛盾を引き起こすか？

主な発見

• 次元 $ \geq 2 $ のコンパクトで単連結な多様体に、非可逆的フィン슬ァー計量が与えられたとき、少なくとも2本の異なる素性の閉じた測地線が存在する。
• 同様の多様体に可逆的フィン슬ァー計量（特にリーマン計量を含む）が与えられたとき、少なくとも2本の幾何的に異なる閉じた測地線が存在する。
• 1本の閉じた測地線しか存在しないと仮定した場合、スペクトル不変量 $ \epsilon_{d,h}(i(c^T)+\mu) $ における過剰数え上げが生じ、不等式 $ \epsilon(2\eta) < \frac{dh-(d-2)}{dh+(d-2)} $ を満たさないため、矛盾が生じる。
• 証明は、1本の素測地線しか存在しないと仮定した場合、可逆の場合にその反復の臨界モジュールが二重に数えられ、これは定理5.5と整合しないベッチ数の和の挙動を引き起こすという事実に依拠している。
• インデックス準周期性およびポアンカレ写像の正規形分解の構造は、奇数次元および偶数次元の両方において矛盾を導くために不可欠である。
• この結果は、$ S^2 $、$ S^3 $、$ S^4 $ における先行結果を一般化し、次元 $ \geq 2 $ のすべてのコンパクトで単連結な多様体において、重複度予想が正当化されることを確認している。