[論文レビュー] Counting closed geodesics on rank one manifolds

Roland Gunesch|ArXiv.org|Jun 19, 2007

Mathematical Dynamics and Fractals参考文献 27被引用数 3

ひとこと要約

本稿は、非正曲率を持つコンpakトなランク1多様体上の閉測地線のホモトピー類の数について、明確な漸近公式を確立している。これは、G. A. マルガリスの古典的結果を負曲率の設定から、非一様な双曲的状況へと拡張したものである。測度論的およびエルゴディック理論的技法を用いて、長さが $ t $ 未満のこのような測地線の数が、$ \frac{e^{ht}}{ht} $ に漸近的に増加することを証明している。ここで $ h $ は測地線フローのトポロジカルエントロピーである。

ABSTRACT

We establish a precise asymptotic formula for the number of homotopy classes of periodic orbits for the geodesic flow on rank one manifolds of nonpositive curvature. This extends a celebrated result of G. A. Margulis to the nonuniformly hyperbolic case and strengthens previous results by G. Knieper. We also establish some useful properties of the measure of maximal entropy.

研究の動機と目的

• 非正曲率のランク1多様体へ、G. A. マルガリスによる閉測地線の漸近公式を、厳密に負曲率の多様体からより広いクラスへ拡張すること。
• 非一様双曲的状況下における測地線フローの周期的軌道のホモトピー類の数に対する鋭い漸近的推定値を確立すること。
• G. クニエパーの先行結果を強化し、弱い推定ではなく明確な漸近公式を提供すること。
• 最大エントロピー測度の解析を行い、ランク1設定におけるその主要な力学的性質を確立すること。
• 閉測地線の増加率がトポロジカルエントロピー $ h $ によって支配されることを示し、明示的な指数的および多項式的補正項を含めること。

提案手法

• 非正曲率のコンパクトなランク1多様体上の測地線フローを用い、ランク剛性定理を活用して関連する力学系を特定する。
• 特に最大エントロピー測度の性質を用いたエルゴディック理論的技法を適用し、周期的軌道の分布を分析する。
• リーマン和に基づく極限過程を用いて、$ \frac{e^{hx}}{x} $ の積分を近似し、測地線の離散的数え上げと連続的な漸近的表現を結びつける。
• 測地線の部分を小さな $ \varepsilon $-区間に分割し、最大エントロピー測度に関して典型的な閉測地線が等分布することを用いる。
• 短い測地線の高次反復の寄与が漸近的に無視可能であることを示すために、クニエパーの乗法的推定式を適用する。
• リーマン和近似における誤差を精密に制御することで、$ t \to \infty $ のとき $ \frac{P_t}{e^{ht}/(ht)} \to 1 $ となる収束を導出する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトなランク1多様体に非正曲率を持つ場合、閉測地線のホモトピー類の数の正確な漸近的増加率は何か？
• RQ2 非一様双曲的状況下での周期的軌道の漸近的数え上げは、厳密に負曲率の状況におけるマーリスの結果とどのように異なるか？
• RQ3 最大エントロピー測度は、閉測地線の等分布および数え上げにおいて果たす役割は何か？
• RQ4 短い測地線の複数反復の寄与が、総数の漸近的数え上げにおいて無視可能であることを示せるか？
• RQ5 積分 $ \int \frac{e^{hx}}{x} dx $ のリーマン和近似を用いて、漸近的公式をどの程度まで導出できるか？

主な発見

• 長さが $ t $ 未満の閉測地線のホモトピー類の数 $ P_t $ は、$ t \to \infty $ のとき $ P_t \sim \frac{e^{ht}}{ht} $ を満たす。ここで $ h $ は測地線フローのトポロジカルエントロピーである。
• この漸近的公式は、マーリスの著名な結果（一様双曲的＝負曲率）を、ランク1多様体の非一様双曲的状況へと拡張している。
• 証明は、典型的な閉測地線が最大エントロピー測度に関して等分布することに依拠しており、小さな集合内の部分の数え上げが、その集合の測度に収束することを保証している。
• 短い測地線の高次反復の寄与は漸近的に無視可能であり、$ \text{const} \cdot t^2 e^{ht/2} $ で抑えられ、相対的な数え上げにおいて消える。
• 漸近的同値性は、積分 $ \int_{t_0}^t \frac{e^{hx}}{x} dx $ のリーマン和近似を通じて確立され、$ \varepsilon $ に依存しない一様な誤差項の制御がなされている。
• 最終的な漸近的公式は、$ \varepsilon $-分割の選択に依存せず、極限による議論により結果の頑健性が確認されている。