[論文レビュー] 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

ひとこと要約

本論文は、1974年にD. V. Anosovが提起した長年の未解決問題を解決し、2次元球面上の任意のFinsler計量が少なくとも2つの異なる素閉じじじgeodesicを有することを証明している。Morse理論、インデックス反復公式、ホモロジー的アプローチを用いた背理法により、線形化されたPoincaré写像のシンプレクティック標準形を分析し、1つの素閉じじgeodesicしか存在しないと仮定すると、自由ループ空間上のエネルギー汎関数の臨界モジュール構造において位相的矛盾が生じることを示している。

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.

研究の動機と目的

• 1974年にD. V. Anosovが提起した、Finsler 2球面上の閉じじgeodesicの最小数に関する未解決問題を解決すること。
• 可逆でないFinsler計量でさえ、すべてのFinsler 2球面上で少なくとも2つの異なる素閉じじgeodesicが存在することを確立すること。
• リーマン計量や曲率がピンチングされている場合の既存の結果を、曲率や非退化性の仮定なしに一般のFinsler設定へと拡張すること。
• 可逆でないFinsler計量における複数被覆現象が、古典的な変形技法を妨げるという課題を克服すること。
• 1つの素閉じじgeodesicが存在すると仮定したもとで、線形化されたPoincaré写像の可能なシンプレクティック標準形を完全に分類し、その結果として矛盾を導くこと。

提案手法

• 背理法により、1つの素閉じじgeodesic $c$ をもつFinsler 2球面が存在すると仮定する。
• 自由ループ空間 $\Lambda S^2$ 上のFinslerエネルギー汎関数 $E: \Lambda S^2 \to \mathbb{R}$ を用いて、閉じじgeodesic およびその反復に対応する臨界点を研究する。
• 文献[Lon1]のインデックス反復公式を適用し、反復geodesic $c^m$ のMorse指数 $i(c^m)$ と退化度 $\nu(c^m)$ を計算する。
• geodesic の線形化されたPoincaré写像を、そのシンプレクティック標準形によって分類し、geodesic の力学的挙動に基づいて (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$ 不変量を用いて、異なるエネルギー水準間のホモロジー的データを比較し、1つのgeodesic が存在すると仮定した場合に、一貫しないBetti数の上限が生じることを示す。

実験結果

リサーチクエスチョン

• RQ1 Finsler 2球面、特に可逆でないものについて、少なくとも2つの幾何的に異なる素閉じじgeodesic が存在するか。
• RQ2 可逆でないFinsler計量における複数被覆現象は、ホモロジー的アプローチを用いることで、閉じじgeodesic の多重性を示すために克服可能か。
• RQ3 Finsler 2球面上に1つの素閉じじgeodesic が存在することは、エネルギー汎関数の臨界モジュール構造と位相的に・ホモロジカルに整合的か。
• RQ4 インデックス反復公式とPoincaré写像のシンプレクティック標準形は、1つの閉じじgeodesic の可能な力学的挙動をどのように制限するか。
• RQ5 KatokとZillerによる、正確に2つの閉じじgeodesic をもつFinsler計量の結果は、一般のFinsler 2球面において最小の数を表しているのか。

主な発見

• 本論文は、可逆性に関係なく、すべてのFinsler 2球面上で少なくとも2つの異なる素閉じじgeodesic が存在することを証明している。
• Poincaré写像のシンプレクティック標準形分類のすべてのケースにおいて、矛盾が生じており、これは1つのgeodesic が存在すると仮定した場合にMorse不等式やホモロジー的制約に違反することを示している。
• 特に、有理的非線形的退化サドル（クラスCG-7）の場合、長完全列と不等式 $\dim H_2({\Lambda}, {\Lambda}^{\kappa_\tau}) \leq \hat{k}_1(d)$ を用いることで、$\tau = n-1$ と矛盾する。
• 1つの素閉じじgeodesic が存在すると仮定した場合、Betti数の推定が一貫しないことが示されている：$\dim H_1({\Lambda}, {\Lambda}^0) = 1$ であるが、導出された不等式により $\dim H_1({\Lambda}^{{\kappa}_\tau}, {\Lambda}^0) \geq 2$ が要求され、これは矛盾である。
• geodesic が退化的または非双曲的であっても、ホモロジー的アプローチは非退化性やピンチング条件を必要としないため、この結果は依然有効である。
• Katokの例（正確に2つの閉じじgeodesic をもつ）が、$S^2$ 上のFinsler計量が2つ未満の異なる素閉じじgeodesic をもてないという意味で最適であることが確認された。