[论文解读] The critical exponent, the Hausdorff dimension of the limit set and the convex core entropy of a Kleinian group

Kurt Falk, Katsuhiko Matsuzaki|arXiv (Cornell University)|Jun 22, 2011

Mathematical Dynamics and Fractals参考文献 57被引用 8

一句话总结

本文確立了克萊因群三種不變量之間的關係：臨界指數 δ、極限集的豪斯多夫維數 dim_H，以及凸核心熵 h_c，證明 δ ≤ dim_H ≤ h_c = 上方盒計數維數。本文證明 h_c 等於上方盒計數維數，並提供這些不等式為嚴格不等式或等式的條件，特別是針對幾何緊緻群與有界類型群。

ABSTRACT

In this paper we study the relationship between three numerical invariants associated to a Kleinian group, namely the critical exponent, the Hausdorff dimension of the limit set and the convex core entropy. The Hausdorff dimension of the limit set is naturally bounded below by the critical exponent and above by the convex core entropy. We investigate when these inequalities become strict and when they are equalities.

研究动机与目标

• 釐清克萊因群的臨界指數 δ、極限集的豪斯多夫維數 dim_H，以及凸核心熵 h_c 之間的關係。
• 確立凸核心熵 h_c 與極限集的上方盒計數維數相等，此為文獻中全新的結果。
• 研究 δ ≤ dim_H ≤ h_c 不等式何時為嚴格不等式或等式，特別是在幾何緊緻群與有界類型群中。
• 特徵化 δ < dim_H 或 dim_H < h_c 成立的克萊因群類別，並基於部分結果提供例子與猜想。
• 將幾何有限與分析有限群的已知結果擴展至更廣泛的類別，包括滿足緊緻性或有界類型條件的群。

提出的方法

• 定義凸核心熵 h_c 為極限集的凸包 H(Λ(G)) 內某個均勻分佈集合 X 上的擴展皮亞諾級數的臨界指數。
• 證明 h_c 等於極限集的上方盒計數維數（上方米NKowski維數），確立文獻中全新的等式關係。
• 使用 ℓ-緊緻性概念，即凸包內每點至邊界的距離不超過 ℓ，以推導出 h_c 的上界 s(n,ℓ) < n。
• 應用粗等距技術與擬等距論證，證明由圖構造的某些雙曲曲面不與凸緊曲面的正常覆蓋擬等距。
• 利用在萬有覆蓋上存在保持均勻分佈集合 X 與群作用的均勻粗等距 f，證明 X 為有界類型。
• 利用Cayley圖的結構與幾何群論，證明若凸核心與無限直徑且無有限指數子群的圖擬等距，則該群非有界類型，除非存在額外對稱性。

实验结果

研究问题

• RQ1 何時 δ < dim_H 成立？何種幾何或動力系統條件會導致此嚴格不等式？
• RQ2 在何種條件下 dim_H < h_c 成立？凸核心的幾何形狀如何影響此關係？
• RQ3 何時凸核心熵 h_c 嚴格小於 n？ℓ-緊緻性在此中扮演何種角色？
• RQ4 有界類型條件能否以幾何方式特徵化？其與凸核心中對稱結構的存在有何關聯？
• RQ5 對於三維雙曲空間中有限生成的克萊因群，不變量 δ、dim_H 與 h_c 在多大程度上會彼此相等？

主要发现

• 證明凸核心熵 h_c 等於極限集的上方盒計數維數，此為文獻中前所未有的新結果，統合了原本分離的兩個概念。
• 對於任意非初等克萊因群，不等式 δ ≤ dim_H ≤ h_c 成立，其中第一個不等式為經典結果，第二個為新提出的普遍界。
• 對於 ℓ-緊緻克萊因群，存在常數 s(n,ℓ) < n 使得 h_c < s(n,ℓ)，顯示即使群非第一類，h_c 仍小於 n。
• 本文證明對於幾何緊緻群，有 h_c = dim_B，擴展了對幾何有限群的已知結果。
• 由 k-正則圖構造的雙曲曲面 S 表明，S 不與任何凸緊曲面的正常覆蓋擬等距，暗示其基本群非有界類型，除非對稱性迫使如此。
• 在萬有覆蓋上存在保持均勻分佈集合 X 與群作用的均勻粗等距 f，可推出 X 為有界類型，進而提出猜想：發散型的 ℓ-緊緻群為有界類型。