[论文解读] The Geometry and Arithmetic of Kleinian Groups

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

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

一句话总结

本文研究了克萊因群——雙曲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維空間中的算術廣義三角形群及其近親進行分類，特別是具有高階扭轉的群。
• 解決希爾伯特問題：在三維雙曲空間中識別最小體積的雙曲格點。
• 研究離散克萊因群的馬爾古利斯常數，特別是在雙生成元與三角形生成群的背景下。
• 提供雙生成元克萊因群參數空間的具體解析描述，類比於里利切片。
• 建立負曲率空間中離散群的普遍幾何約束，包括約根森不等式與赫爾維茨定理84(g−1)的高維類似形式。

提出的方法

• 使用複參數空間描述雙生成元克萊因群，特別是將其投影至參數(γ, β, −4)以分析其幾何性質。
• 應用跡恆等式與不等式——特別是針對高階扭轉與非初等群修改過的約根森不等式。
• 採用幾何分解技術，包括厚-薄分解與套疊定理，以研究極限集與群的離散性。
• 分析反射群與二面角，區分二面角為π的真分數倍與非真分數倍的情形，以分類離散群。
• 利用跡與旋轉數的算術條件識別算術克萊因群，特別是兩個拋物等距生成的群。
• 透過計算枚舉與分類具有特定二面角的正四面體反射群，以界定體積並識別極值情形。

实验结果

研究问题

• RQ1 三維雙曲空間中共compact雙曲格點的最小可能體積是多少？哪個群達到了該體積？
• RQ2 雙生成元克萊因群離散的必要與充分條件是什麼？特別是關於跡參數與幾何約束的條件？
• RQ3 在雙曲3維空間中，對於二面角非π的真分數倍的可接受三角形生成的群，馬爾古利斯常數如何表現？
• RQ4 哪些具有p, q ≥ 6的算術廣義三角形群是離散的？它們的體積與幾何不變量為何？
• RQ5 由兩個拋物等距生成的算術克萊因群的完整分類為何？其跡域的次數界為何？

主要发现

• 本文識別出(2,3,7)三角形群為雙曲平面上唯一的最小面積格點，確認了希爾伯特在2維情形的猜想，並為3維類似結果奠定基礎。
• 對於三維雙曲格點，最小體積有正下界，具體候選者包括(2,3,7)換位平面群與正四面體反射群。
• 由可接受三角形生成的群的馬爾古利斯常數有界，對(2,2,n)與(p,q,r)配置已計算出明確數值，特別是當n ≥ 7時。
• 完整列出了32個二面角為π的真分數倍的經典正四面體反射群，其體積範圍從0.035885至1.014941。
• 具有p, q ≥ 6的算術廣義三角形群透過跡恆等式與旋轉數條件進行分類，明確列出了次數界與可能的γ值。
• 本文提供了由兩個拋物等距生成的算術克萊因群的詳細分類，包括可能的γ值列表與相關的軌物不變量。