[論文レビュー] 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

ひとこと要約

本稿では、クライン群の3つの不変量である臨界指数δ、極限集合のハウスドルフ次元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(Λ(G))内に一様に分布する集合X上で定義される拡張されたポincare級数の臨界指数として、凸コアエントロピーh_cを定義する。
• h_cが極限集合の上部ボックスカウント次元（上部ミンコフスキー次元）に等しいことを証明し、文献における新しい等式を確立する。
• 任意の点が境界から距離ℓ以内にあるというℓ-タイト性の概念を用い、h_cの上界としてs(n,ℓ) < nとなる定数を導出する。
• 粗等長写像の技法と準等長写像の議論を用い、グラフから構成された特定の双曲的表面が、凸コンact表面の通常被覆と準等長写像でないことを示す。
• 普遍被覆上に一様な粗等長写像fが存在し、一様に分布する集合Xと群作用を保存する場合、Xは有界型であることを証明する。
• ケイリー図と幾何的群論の構造を用い、凸コアが無限直径のグラフと準等長写像であり、有限指数部分群を持たない場合、追加の対称性がない限り、群は有界型でないことを示す。

実験結果

リサーチクエスチョン

• RQ1 不等式δ < dim_Hが成立するのはいつか？ どのような幾何的・力学的条件がこの厳密不等式を引き起こすか？
• RQ2 dim_H < h_cが成立するのはどのような条件下か？ 凸コアの幾何がこの不等式にどのように影響を与えるか？
• RQ3 凸コアエントロピーh_cがnより厳密に小さいのはいつか？ ℓ-タイト性はこの現象にどのように関与するか？
• RQ4 有界型条件を幾何的に特徴づけることは可能か？ また、凸コア内に対称的構造が存在するのとどのように関係するか？
• RQ5 3次元双曲空間内の有限生成クライン群において、不変量δ、dim_H、h_cがどの程度一致するか？

主な発見

• 凸コアエントロピーh_cが極限集合の上部ボックスカウント次元に等しいことが証明され、これは2つの従来別個の概念を統合する画期的な結果である。
• 任意の非自明なクライン群に対して、δ ≤ dim_H ≤ h_cが成り立ち、最初の不等式は古典的であり、2番目の不等式は新たな一般的境界である。
• ℓ-タイトクライン群に対しては、h_c < s(n,ℓ)となる定数s(n,ℓ) < nが存在し、群が第一種でない場合でもh_c < nであることを示している。
• 本稿では、幾何的にタイトな群に対してh_c = dim_Bが成り立つことを証明し、幾何的に有限群に関する既知の結果を拡張している。
• k-正則グラフから構成された双曲的表面Sについて、Sは任意の凸コンパクト表面の通常被覆と準等長写像でないことが示され、したがってその基本群は、対称性が強制しない限り有界型でない。
• 普遍被覆上に一様な粗等長写像fが存在し、一様に分布する集合Xと群作用を保存する場合、Xは有界型である。この事実から、発散型のℓ-タイト群は有界型であると予想される。