[논문 리뷰] Cusped spaces and quasi-isometries of relatively hyperbolic groups

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

Geometric and Algebraic Topology참고 문헌 35인용 수 5

한 줄 요약

이 논문은 상대적으로 허블리우스 군이 일정한 수평면 왜곡을 갖는 쿠스피드 공간을 지닐 때, 그의 Bowditch 경계에 자연스러운 쿼시스임메트릭 구조가 존재함을 증명한다. 이는 이러한 공간들이 오직 그 군이 음의 곡률을 갖는 대칭 공간에서의 격자일 때에만 쿼시-이sov메트릭임을 보이며, 균일하게 완전한 경계를 갖는 $δ$-허블리우스 공간에서 이상 삼각형을 통해 원형 한계점의 특성을 기술한다.

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.

연구 동기 및 목표

• 상대적으로 허블리우스 군의 쿠스피드 공간의 쿼시-이sov메트릭 불변성을 보장하는 기하 조건—일정한 수평면 왜곡—을 규명하는 것.
• 이 조건이 Groves–Manning의 쿠스피드 카일리 그래프와 모든 음의 곡률을 갖는 대칭 공간에서 성립함을 보여, Bowditch 경계에 자연스럽게 쿼시스임메트릭 구조를 도입하는 것.
• 랭크 1 대칭 공간에서의 격자들이 오직 그들의 쿠스피드 공간이 그 대칭 공간과 쿼시-이sov메트릭일 때에만 상대적으로 허블리우스 군임을 특성화하는 것.
• 균일하게 완전한 경계를 갖는 $δ$-허블리우스 공간에서 이상 삼각형 기반으로 원형 한계점의 특성을 기술하는 것.
• 특히 수렴 군 작용과 쿼시-행동에 관련된 여러 문헌의 정리들을 통합하고 증명하는 것.

제안 방법

• 각 포화된 수평구가 일정한 수평면 왜곡을 갖는, 즉 동일한 기반을 갖는 균일한 지수 왜곡 한계로 정의되는 약한 쿠스피드 공간의 개념을 도입한다.
• 일정한 수평면 왜곡의 쿼시-이sov메트릭 불변성을 이용하여, 주어진 상대적으로 허블리우스 쌍에 대해 두 쿠스피드 공간이 항상 쿼시-이sov메트릭임을 보인다.
• 경계의 역학을 기하학적 성질과 연결하기 위해 삼중 공간 구성 $Θ(∂X) = ⌈(∂X)^3 \setminus \{\text{비동일한 삼중항}\}$ 을 사용하고, 기하선으로의 사영 $\pi$ 를 통해 연결한다.
• Ahlfors–Cheeger 구성의 $\pi$ 를 활용하여 기하선으로부터의 유한한 거리와 쿼시-행동 하에서의 원형 한계점 행동을 연결한다.
• 쿼시-이sov메트리에 대한 $\pi$ 의 쿼시-등변성 특성을 이용하여 경계 수렴성을 공간 내부 기하학과 연결한다.
• 점 $\zeta \in \partial X$ 가 원형 한계점임은 오직 그와 동시에 수열 $g_i$ 가 존재하여 $\pi(g_i(\xi_0,\xi_1,\xi_2)) \to \zeta$ 이고, 기하선 $c$ 가 $\zeta$ 로 향할 때 $d(\pi(g_i(\xi_0,\xi_1,\xi_2)), c)$ 가 유계임을 보여, 이를 증명한다.

실험 결과

연구 질문

• RQ1 쿠스피드 공간에 어떤 기하 조건이 성립할 경우 상대적으로 허블리우스 군의 Bowditch 경계에 자연스러운 쿼시스임메트릭 구조가 부여되는가?
• RQ2 상대적으로 허블리우스 군의 쿠스피드 공간이 음의 곡률을 갖는 대칭 공간과 쿼시-이sov메트릭이 되는 조건은 무엇인가?
• RQ3 균일하게 완전한 경계를 갖는 $δ$-허블리우스 공간에서 이상 삼각형 기하학을 통해 원형 한계점은 어떻게 특성화되는가?
• RQ4 문헌에서 다양한 정의된 원형 한계점의 정의들 사이의 관계는 어떻게 되며, 상호 동치인가?
• RQ5 일정한 수평면 왜곡이 쿠스피드 공간의 쿼시-이sov메트릭 안정성 보장에 어느 정도 기여하는가?

주요 결과

• 상대적으로 허블리우스 군 쌍 $(\Gamma, \mathbb{P})$ 에 대해 일정한 수평면 왜곡을 갖는 임의의 두 쿠스피드 공간은 쿼시-이sov메트릭이다.
• 쿠스피드 공간이 일정한 수평면 왜곡을 갖는 상대적으로 허블리우스 군의 Bowditch 경계는 자연스러운 쿼시스임메트릭 구조를 갖는다.
• 군 $\Gamma$ 가 랭크 1 대칭 공간 $X$ 의 격자임은 오직 그와 동시에 $\Gamma$ 의 쿠스피드 공간이 $X$ 와 쿼시-이sov메트릭임과 동치이다.
• 모든 음의 곡률을 갖는 대칭 공간은 수평구가 일정한 수평면 왜곡을 갖는다; 본 논문에서 이 사실을 명시적으로 기술하였으며, 이는 Schwartz (1995) 에서 암묵적으로 사용된 바가 있다.
• 점 $\zeta \in \partial X$ 는 오직 그와 동시에 수열 $g_i$ 가 존재하여 $\pi(g_i(\xi_0,\xi_1,\xi_2)) \to \zeta$ 이고, 기하선 $c$ 가 $\zeta$ 로 향할 때 $d(\pi(g_i(\xi_0,\xi_1,\xi_2)), c)$ 가 일관되게 유계임을 보여, 이를 증명한다.
• 수렴 군 작용과 쿼시-행동에 기반한 다양한 원형 한계점 정의들 간의 동치성은 삼중 공간과 사영 $\pi$ 를 통해 통합적으로 증명된다.