[論文レビュー] Cusped spaces and quasi-isometries of relatively hyperbolic groups

Brendan Burns Healy, G. Christopher Hruska|arXiv (Cornell University)|Oct 19, 2020

Geometric and Algebraic Topology参考文献 35被引用数 5

ひとこと要約

この論文は、一定の水平面的歪みを持つカスプ付き空間を備えた相対的に双曲的群に対して、Bowditch境界に標準的な準等角構造が存在することを確立する。このような空間が負に曲がった対称空間における格子であるための必要十分条件は、それらが互いに準等長的であることである。また、一様に完璧な境界をもつδ-双曲的空間における理想三角形を用いて、錐状極限点の特徴づけがなされる。

ABSTRACT

A group $Γ$ with a family of subgroups $\mathbb{P}$ is relatively hyperbolic if $Γ$ admits a cusp-uniform action on a proper $δ$--hyperbolic space. We show that any two such spaces for a given group pair are quasi-isometric, provided the spaces have "constant horospherical distortion," a condition satisfied by Groves--Manning's cusped Cayley graph and by all negatively curved symmetric spaces. Consequently the Bowditch boundary admits a canonical quasisymmetric structure, which coincides with the "naturally occurring" quasisymmetric structure of the symmetric space when considering lattices in rank one symmetric spaces. We show that a group $Γ$ is a lattice in a negatively curved symmetric space $X$ if and only if a cusped space for $Γ$ is quasi-isometric to the symmetric space. We also prove an ideal triangle characterization of the $δ$--hyperbolic spaces with uniformly perfect boundary due to Meyer and Bourdon--Kleiner. An appendix concerns the equivalence of several definitions of conical limit point found in the literature.

研究の動機と目的

• 相対的に双曲的群のカスプ付き空間の準等長的不変性を保証する幾何的条件—一定の水平面的歪み—を同定すること。
• この条件がGroves–Manningのカスプ付きケイリー図とすべての負に曲がった対称空間において成り立つことを示し、Bowditch境界に自然な準等角構造を定義すること。
• ランク1の対称空間における格子が、そのカスプ付き空間がその対称空間と準等長的であるような相対的に双曲的群であることを特徴づけること。
• 一様に完璧な境界をもつδ-双曲的空間における理想三角形を用いて、錐状極限点の特徴づけを提供すること。
• 特に収束群作用やδ-双曲的空間における準作用に関連する、錐状極限点に関するいくつかの民話的定理を統一し、証明すること。

提案手法

• 各抛物型水平球が同じ底の指数的歪みの上限をもつ、すなわち水平面的歪みが一定である弱カスプ付き空間としてカスプ付き空間の概念を導入する。
• 一定の水平面的歪みの準等長的不変性を用いて、与えられた相対的に双曲的群対について、任意の2つのこのようなカスプ付き空間が互いに準等長的であることを示す。
• 境界の力学とX内の幾何学を結びつけるために、三重空間構成 $Θ(∂X) = ⌈(∂X)^3 \setminus \{\text{非一様な三重組}\}$ を用い、測地線への射影 $\pi$ を導入する。
• Ahlfors–Cheegerによる $\pi$ の構成を活用し、測地線からの有界距離が準作用下での錐状極限点の振る舞いと関連することを示す。
• 準等長写像の下で $\pi$ が準等長的であることを用いて、境界の収束性をX内の内在的幾何と関連付ける。
• 点 $\zeta \in \partial X$ が錐状極限点であるための必要十分条件は、ある列 $g_i$ が存在して $\pi(g_i(\xi_0,\xi_1,\xi_2)) \to \zeta$ かつ geodesic $c$ が $\zeta$ に近づくとき $d(\pi(g_i(\xi_0,\xi_1,\xi_2)), c)$ が有界であることであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 カスプ付き空間にどのような幾何的条件が成り立つと、相対的に双曲的群のBowditch境界に標準的な準等角構造が与えられるか？
• RQ2 相対的に双曲的群のカスプ付き空間が負に曲がった対称空間と準等長的であるのはいつか？
• RQ3 一様に完璧な境界をもつδ-双曲的空間における理想三角形幾何を用いて、錐状極限点をどのように特徴づけられるか？
• RQ4 文献に登場する錐状極限点のさまざまな定義どうしがどのように関係し、互いに同値であるか？
• RQ5 一定の水平面的歪みが、カスプ付き空間の準等長的安定性をどの程度保証するか？

主な発見

• 相対的に双曲的群対 $(\Gamma, \mathbb{P})$ について、水平面的歪みが一定である任意の2つのカスプ付き空間は互いに準等長的である。
• カスプ付き空間が一定の水平面的歪みを持つとき、相対的に双曲的群のBowditch境界には標準的な準等角構造が存在する。
• 群 $\Gamma$ がランク1の対称空間 $X$ の格子であるための必要十分条件は、$\Gamma$ のカスプ付き空間が $X$ と準等長的であることである。
• すべての負に曲がった対称空間は、水平球が一定の水平面的歪みを持つ。本論文ではこの事実を明示的に示し、Schwartz (1995) では暗黙のうちに示されている。
• 点 $\zeta \in \partial X$ が錐状極限点であるための必要十分条件は、ある列 $g_i$ が存在して $\pi(g_i(\xi_0,\xi_1,\xi_2)) \to \zeta$ かつ geodesic $c$ が $\zeta$ に近づくとき $d(\pi(g_i(\xi_0,\xi_1,\xi_2)), c)$ が一様に有界であることである。
• 収束群作用や準作用に基づく錐状極限点のさまざまな定義の同値性は、三重空間と射影 $\pi$ を用いて確立された。