[論文レビュー] A norm on homology of surfaces and counting simple geodesics

Greg McShane, Igor Rivin|ArXiv.org|May 23, 2000

Mathematical Dynamics and Fractals参考文献 5被引用数 6

ひとこと要約

本稿では、ホモロジー類を表すマルチカーブの最小長から導かれる、穴あきトーラスの1次ホモロジーへの新しいノルムを導入する。このノルムを用いて、長さ ≤ L の単純閉測地線の数が、c_S L² + O(L log L) のように漸近的に増加することを証明し、双曲的穴あきトーラスにおける明示的な誤差項を伴う正確な2次成長率を確立する。

ABSTRACT

We define a norm on homology of punctured tori equipped with a complete hyperbolic metric of finite volume and use it to find asymptotics on the growth of the number of simple geodesics of bounded length.

研究の動機と目的

• 長さ L が無限大に近づく際、双曲的穴あきトーラス上での単純閉測地線の数に対する正確な漸近的推定値を確立すること。
• ホモロジー類を表すマルチカーブの最小長を用いて、H₁(T, ℝ) 上の幾何的ノルムを定義すること。
• このノルムが L¹ ノルムと同値であり、ホモロジー平面にコンパクトで凸な単位球を誘導することを示すこと。
• 単純測地線の数を、この単位球のスケーリングされたバージョン内の原始的格子点の数に関連付けること。
• この手法を高(genus)1より高い曲面へ拡張することを試みるが、単純測地線の数え上げにおいては制限があること。

提案手法

• ホモロジー類 h ∈ H₁(T, ℤ) を表すマルチカーブの最小長として、評価 ℓ(h) を定義する。
• ℓ が H₁(T, ℚ) 上の擬ノルムであることを証明し、それを連続的に H₁(T, ℝ) に拡張することでノルムを得ること。
• 非ゼロの h に対して ℓ(h) が正であり、ℓ(nh) = nℓ(h) および ℓ(h + g) ≤ ℓ(h) + ℓ(g) を満たし、h と g が有理的に依存しない限り厳密な不等号が成り立つことを示すこと。
• ノルム ℓ の単位球 B_ℓ がコンパクトで凸であり、長さ ≤ L の単純測地線の数が L·B_ℓ 内の原始的格子点の数に等しいことを示すこと。
• B_ℓ の幾何的性質を用いて、拡大された凸体内の格子点数え上げにより、単純測地線の漸近的数え上げを導出すること。
• 非分離性やホモトピー類内での測地線代表の一意性といった、双曲的幾何と位相の結果を活用して、ノルムと数え上げ枠組みの妥当性を保証すること。

実験結果

リサーチクエスチョン

• RQ1 長さ L が無限大に近づく際、双曲的穴あきトーラス上での単純閉測地線の数の正確な漸近的成長率は何か？
• RQ2 曲面の1次ホモロジーに、単純測地線の数がスケーリングされた単位球内の原始的格子点の数に対応するような幾何的ノルムを構成できるか？
• RQ3 このノルムの単位球の幾何的性質は、単純測地線の数え上げにおける漸近的推定の誤差項とどのように関係するか？
• RQ4 この手法は、高(genus)1より高い双曲的曲面上での最小マルチカーブや単純測地線の数え上げにどの程度一般化できるか？
• RQ5 N_S(L) の漸近式における誤差項 O(L log L) は鋭いか？このことはノルムの単位球の構造から示唆されるか？

主な発見

• 穴あきトーラス上での長さ ≤ L の単純閉測地線の数は、c_S L² + O(L log L) のように漸近的に増加する。ここで c_S は双曲的計量に依存する定数である。
• H₁(T, ℝ) 上のノルム ℓ は、定義された正のノルムであり、L¹ ノルムと同値であり、すべての非ゼロ h に対して ℓ(h) > 0 である。
• ノルム ℓ の単位球 B_ℓ はコンパクトで凸であり、長さ ≤ L の単純測地線の数は、L·B_ℓ 内の原始的格子点の数に等しい。
• ホモロジー類 h を表す最短マルチカーブは、h が原始的であれば単純閉測地線であり、そうでなければ単純測地線の複数被覆である。
• h を表す最短マルチカーブの一意性は、穴あきトーラス上では任意の2つのホモトピー的に異なる曲線が交わらなければならないという事実から導かれる。
• 誤差項 O(L log L) は、著者らの後続研究で議論されたノルムの単位球の幾何的性質に基づき、本質的に鋭いことが示されている。