[論文レビュー] Simple geodesics and Markoff quads

Yi Huang, Paul Norbury|arXiv (Cornell University)|Dec 26, 2013

Advanced Algebra and Geometry参考文献 1被引用数 4

ひとこと要約

本稿は、GL(2,C)表現多様体上の写像類群作用に基づくアルゴリズムを用いて、準フクシアンな3回穴あき射影平面における最短測地線長の鋭い上界を確立する。新たなMcShane恒等式を証明し、単純閉測地線長の数が2.430から2.477の間の指数をもつ非多項式的、べき則的成長を示す。これは、非可換な多様体上では多項式的成長が予想されていたことに反し、驚きの結果である。

ABSTRACT

The action of the mapping class group of the thrice-punctured projective plane on its $\mathrm{GL}(2,\mathbb{C})$ character variety produces an algorithm for generating the simple length spectra of quasi-Fuchsian thrice-punctured projective planes. We apply this algorithm to quasi-Fuchsian representations of the corresponding fundamental group to prove: a sharp upper-bound for the length of its shortest geodesic, a McShane identity and the surprising result of non-polynomial growth for the number of simple closed geodesic lengths.

研究の動機と目的

• 準フクシアンな3回穴あき射影平面における単純閉測地線およびその長さを生成するためのアルゴリズムを開発すること。
• この文脈における系統（最短測地線長）の鋭い上界を確立すること。
• 3回穴あき射影平面の準フクシアン表現に対して新たなMcShane恒等式を証明すること。
• 単純長スペクトルの漸近的成長率を調査し、非可換な多様体上では多項式的成長が成立するとされる仮定に疑問を呈すること。

提案手法

• 3回穴あき射影平面のGL(2,C)表現多様体における写像類群作用を用いて、単純測地線およびその長さを生成する。
• 4変数ディオファントス方程式の解であるMarkoff四つ組の理論を用いて、測地線長のトレース座標をモデル化する。
• Markoff四つ組に基づくBQ-Markoff写像を用い、双曲的三角法的恒等式を通じてトレース値と測地線長を関連付ける。
• 多様体の三角形分割における面関係を用いて、一様測地線のペアに関する和を導出し、McShane恒等式に至る。
• n=4のMarkoff-Hurwitz方程式の解の成長率に関するBaragarの結果を適用し、単純長スペクトルの成長を評価する。
• 一般のBQ-Markoff写像の成長を基底ケース（4,4,4,4）四つ組と比較することで、漸近的成長指数を推定する。

実験結果

リサーチクエスチョン

• RQ1 準フクシアンな3回穴あき射影平面における単純閉測地線の最短長の鋭い上界は何か？
• RQ2 3回穴あき射影平面の準フクシアン表現へのMcShane恒等式は一般化可能か？
• RQ3 非可換な双曲的多様体、例えば3回穴あき射影平面のようなものにおいて、長さがL未満の単純閉測地線の数は多項式的に増加するか？
• RQ4 準フクシアン表現における3回穴あき射影平面の単純長スペクトルの正確な漸近的成長率は何か？
• RQ5 BQ-Markoff写像はどの程度準フクシアン表現を特徴づけられるか？また、このような表現を代数的に同定するために使用可能か？

主な発見

• 本稿は、表現多様体上の写像類群作用に基づき、準フクシアンな3回穴あき射影平面の系統に対する鋭い上界を確立した。
• 新たなMcShane恒等式が証明された：すべての準フクシアン表現ρに対して ∑_{γ∈Sim₂(N₁,₃)} 1/(1 + exp(½ℓₐ(ρ))) = ½ が成り立つ。
• 長さがL未満の単純閉測地線の数は L^m に比例し、2.430 < m < 2.477 である。これは非多項式的成長を示しており、可換な多様体上では既知の多項式的成長とは対照的で、驚きの結果である。
• 成長率はn=4のMarkoff-Hurwitz方程式の解の漸近的挙動に依存し、基底ケース（4,4,4,4）四つ組が臨界的な成長指数を提供する。
• 準フクシアン表現によって誘導されるBQ-Markoff写像は、基底写像（4,4,4,4）と同程度のオーダーで成長するため、Baragarの解の成長に関する境界を適用可能である。
• この結果は、非可換な多様体、例えば3回穴あき射影平面における単純長スペクトルが、可換な多様体で観察された多項式的成長パターンに従わないことを示唆し、従来の仮定に疑問を呈する。