[論文レビュー] Normalizer, divergence type and Patterson measure for discrete groups of the Gromov hyperbolic space

Katsuhiko Matsuzaki, Yasuhiro Yabuki+1 more|arXiv (Cornell University)|Nov 9, 2015

Geometric and Algebraic Topology参考文献 14被引用数 7

ひとこと要約

本稿では、固有な測地的 $δ$-双曲空間上の非初等的離散等距変換群が発散型である場合、そのPatterson測度がその正規化群に関して準不変であることを確立する。この結果を用いて、二つの主要な応用を示す：(1) そのような群は真の共役をもたない、(2) 任意の非初等的正規部分群の臨界指数は、元の群の臨界指数の半分より大きい。これは、擬等長測度論とシャドウ補題の技法を用いて、古典的なKleinian群の結果をGromov双曲空間の文脈へ一般化したものである。

ABSTRACT

For a non-elementary discrete isometry group $G$ of divergence type acting on a proper geodesic $δ$-hyperbolic space, we prove that its Patterson measure is quasi-invariant under the normalizer of $G$. As applications of this result, we have: (1) under a minor assumption, such a discrete group $G$ admits no proper conjugation, that is, if the conjugate of $G$ is contained in $G$, then it coincides with $G$; (2) the critical exponent of any non-elementary normal subgroup of $G$ is strictly greater than half of that for $G$.

研究の動機と目的

• 古典的なKleinian群におけるPatterson測度の正規化群に関する不変性を、固有な測地的 $δ$-双曲空間上で作用する離散等距変換群へ一般化すること。
• このような群が真の共役をもたない条件を確立し、剛性結果をGromov双曲空間の文脈へ拡張すること。
• 非初等的正規部分群の臨界指数に対する厳密な下界を導出し、それが周囲の群の臨界指数の半分を超えることを示すこと。
• 擬等長測度論とシャドウ補題の議論を用いて、双曲的距離空間における臨界指数と自己同型測度に関する既存の結果を統合・拡張すること。

提案手法

• Gromov双曲空間におけるPatterson測度の定義に、$s$-次元の擬等長不変性の概念と擬等長測度論を用いる。
• シャドウ補題を適用して、Poincaré級数における軌道数の増加を制御し、臨界指数と関連付ける。
• 準測地線近似とGromov積の推定を用いて、軌道点と測地線間の距離を比較する。
• 発散型条件を用いて、群作用下でのPatterson測度の一意性と適切なスケーリングを保証する。
• 正規化群作用を活用し、写像 $\iota_h$ を用いた共役の議論により、群 $G$ と正規部分群 $\Gamma$ の間の軌道和を関連付ける。
• Poincaré級数の収束・発散に関する推定を組み合わせ、臨界指数の不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 Gromov双曲空間上で作用する発散型離散等距変換群のPatterson測度は、その正規化群に関して準不変のままであるか？
• RQ2 この文脈における測度論的・幾何学的技法を用いて、このような群が真の共役をもたないことを証明できるか？
• RQ3 この文脈において、非初等的正規部分群の臨界指数の最小可能な値は、親群のものに対してどの程度か？
• RQ4 発散型条件は、Poincaré級数の挙動およびそれによる臨界指数の上限にどのように影響するか？

主な発見

• 非初等的離散群が固有な測地的 $δ$-双曲空間上で発散型である場合、そのPatterson測度は正規化群に関して準不変であり、これは古典的な双曲空間における結果をGromov双曲空間へ一般化したものである。
• このような空間上で真に不連続に作用する発散型離散群は、真の共役をもたない：$\alpha G \alpha^{-1} \subset G$ ならば、$\alpha G \alpha^{-1} = G$ である。
• このような群 $G$ の任意の非初等的正規部分群 $\Gamma$ に対して、$e_a(\Gamma) > \frac{1}{2} e_a(G)$ が成り立つ。
• 証明は、シャドウ補題と共役写像を用いたPoincaré級数の精密な推定に依拠しており、$e_a(\Gamma) = \frac{1}{2} e_a(G)$ の仮定の下で、$G$ における級数の発散が、$\Gamma$ に関連する和の発散をもたらし、矛盾を引き起こすことを示している。
• この文脈における非初等的離散群の臨界指数 $e_a(G)$ は、双曲的元の存在と極限集合の真の包含関係により、正の値に厳密に上昇することが示された。
• Kleinian群における臨界指数と共役剛性に関する先行研究を、Gromov双曲空間の文脈へ拡張し、双曲群や幾何学的群論への応用を含む。