[論文レビュー] The Geometry and Arithmetic of Kleinian Groups

Colin M. MacLachlan|arXiv (Cornell University)|Nov 11, 2013

Geometric and Algebraic Topology参考文献 77被引用数 3

ひとこと要約

本稿は、双曲的3次元空間における離散等距変換群であるクライン群の幾何学的・算術的性質を調査し、特に2生成子群および算術的一般化三角形群に焦点を当てる。パラメータ空間の詳細な解析、離散性の条件、およびコボリュームの最小化を扱い、算術的格子の分類およびマーグリス定数の境界に関する結果に至る。主な貢献は、シーゲルの最小コボリューム問題および3次元双曲幾何におけるヨルゲンセンの不等式に関するものである。

ABSTRACT

In this article we survey and describe various aspects of the geometry and arithmetic of Kleinian groups - discrete nonelementary groups of isometries of hyperbolic $3$-space. In particular we make a detailed study of two-generator groups and discuss the classification of the arithmetic generalised triangle groups (and their near relatives). This work is mainly based around my collaborations over the last two decades with Fred Gehring and Colin Maclachlan, both of whom passed away in 2012. There are many others involved as well. Over the last few decades the theory of Kleinian groups has flourished because of its intimate connections with low dimensional topology and geometry. We give little of the general theory and its connections with $3$-manifold theory here, but focus on two main problems: Siegel's problem of identifying the minimal covolume hyperbolic lattice and the Margulis constant problem. These are both "universal constraints" on Kleinian groups -- a feature of discrete isometry groups in negative curvature and include results such as Jørgensen's inequality, the higher dimensional version of Hurwitz's $84g-84$ theorem and a number of other things. We will see that big part of the work necessary to obtain these results is in getting concrete descriptions of various analytic spaces of two-generator Kleinian groups, somewhat akin to the Riley slice.

研究の動機と目的

• 双曲的3次元空間における算術的一般化三角形群およびその類縁群を、特に高次のねじれを有する群について分類すること。
• 3次元双曲空間における最小コボリューム双曲格子を特定するシーゲルの問題に取り組むこと。
• 特に2生成子群および三角形生成群の文脈において、離散クライン群のマーガリス定数を調査すること。
• 2生成子クライン群のパラメータ空間の明確な解析的記述を提供し、リリー・スライスに類似した記述を行うこと。
• 負の曲率における離散群の普遍的な幾何的制約を確立すること。これにはヨルゲンセンの不等式およびハーウィッツの84(g−1)定理の高次元版が含まれる。

提案手法

• 特にパラメータ (γ, β, −4) への射影を用いて、幾何的性質を分析する2生成子クライン群を複素数パラメータ空間で記述する。
• トレースの恒等式および不等式（特にヨルゲンセンの不等式）を用い、高次のねじれおよび非自明な群に適応した修正を加える。
• 極限集合および群の離散性を調べるために、厚さ-薄さ分解およびコラーや定理を含む幾何的分解技法を用いる。
• 反射群および二面角を分析し、角度がπの真の部分乗数である場合とそうでない場合を区別することで、離散群を分類する。
• トレースおよびホロノミーに関する算術的条件を活用し、特に2つの放物型等距変換によって生成される算術的クライン群を特定する。
• 特定の二面角を持つ単体的反射群の計算的列挙と表形式の整理を用い、コボリュームの境界を設定し、極値例を同定する。

実験結果

リサーチクエスチョン

• RQ1 3次元双曲空間における共コンパクトな双曲格子の最小コボリュームは何か。また、どの群がそれを達成するか。
• RQ2 2生成子クライン群が離散であるための必要十分条件は何か。特にトレースパラメータおよび幾何的制約の観点から。
• RQ3 双曲的3次元空間において、非部分乗数の二面角を持つ許容可能な三角形によって生成される群のマーガリス定数はどのように振る舞うか。
• RQ4 p, q ≥ 6 を満たす算術的一般化三角形群で離散となるものは何か。それらのコボリュームおよび幾何的不変量は何か。
• RQ5 2つの放物型等距変換によって生成される算術的クライン群の完全な分類は何か。また、それらのトレース体に適用される次数の上限は何か。

主な発見

• 本稿は、(2,3,7) 三角形群が双曲平面における一意な最小面積格子であることを特定し、2次元におけるシーゲルの予想を裏付けるとともに、3次元の類似問題の基盤を提供する。
• 3次元双曲格子において、最小コボリュームは正の下界により有界であり、具体的な候補として (2,3,7) コンmutator平面群および単体的反射群が挙げられる。
• 許容可能な三角形によって生成される群のマーガリス定数は有界であり、特に n ≥ 7 の (2,2,n) および (p,q,r) の構成に対して明示的な値が計算されている。
• 二面角がπの部分乗数である32個の古典的単体的反射群の完全なリストが提示されており、コボリュームは 0.035885 から 1.014941 の範囲にわたる。
• p, q ≥ 6 を満たす算術的一般化三角形群は、トレースの恒等式およびホロノミー条件を用いて分類され、次数の上限および可能なγ値が明示的にリストアップされている。
• 本稿は、2つの放物型等距変換によって生成される算術的クライン群の詳細な分類を提供しており、可能なγ値および関連するオビホルド不変量のリストを含む。