[논문 리뷰] The Martin boundary of relatively hyperbolic groups with virtually abelian parabolic subgroups

Matthieu Dussaule, Ilya Gekhtman외 2명|arXiv (Cornell University)|2017. 11. 30.

Geometric and Algebraic Topology참고 문헌 14인용 수 2

한 줄 요약

이 논문은 유한 지지도를 가진 랜덤 워크에 대해 상대적으로 쌍곡군에서의 Martin 경계에 대한 완전한 위상적 특성화를 제공한다. 상대 Ancona 부등식과 Ney 및 Spitzer의 하위-마르코프 체인에 대한 결과의 일반화를 조합함으로써, 저자들은 Martin 경계가 Z-경계와 위상동형임을 보여준다. Z-경계는 콘을 씌운 공간의 Gromov 경계와 평행 부분군의 시각 경계의 합집합으로 정의된다. 특히, H³에서의 비균일 격자에 대해서는 Martin 경계가 Sierpinski 카펫과 위상동형이다.

ABSTRACT

Given a probability measure on a finitely generated group, its Martin boundary is a way to compactify the group using the Green's function of the corresponding random walk. We give a complete topological characterization of the Martin boundary of finitely supported random walks on relatively hyperbolic groups with virtually abelian parabolic subgroups. In particular, in the case of nonuniform lattices in the real hyperbolic space H n , we show that the Martin boundary coincides with the CAT (0) boundary of the truncated space, and thus when n = 3, is homeomorphic to the Sierpinski carpet.

연구 동기 및 목표

• 상대적으로 쌍곡군에서 유한 지지도를 가진 랜덤 워크에 대해 평행 부분군이 거의 아벨인 경우의 Martin 경계에 대한 완전한 위상적 기술을 제공하는 것.
• 상대 Ancona 부등식과 하위-마르코프 체인 이론을 통합함으로써 이전의 쌍곡 및 자유곱 설정에서의 Martin 경계 결과를 통합하고 확장하는 것.
• Martin 경계가 Bowditch 경계와 평행 부분군의 시각 경계를 조합한 Z-경계 구축과 일치함을 확립하는 것.
• 모든 Martin 경계의 점이 최소임을 증명함으로써 기하학적 및 확률론적 대응이 정확함을 보장하는 것.
• 비균일 격자에 대해 Hⁿ에서의 Martin 경계가 n = 3일 때 Sierpinski 카펫과 위상동형임을 보이는 것.

제안 방법

• Bowditch 경계에서 콘형 점으로 수렴하는 수열을 분석하기 위해 상대 Ancona 부등식(정리 4.3)을 사용하여 Martin 커널의 수렴성을 분석한다.
• Zᵏ × {1,…,N}에서의 하위-마르코프 체인에 대한 Ney와 Spitzer 결과의 일반화(정리 4.6)를 적용하여 평행 부분군 근처의 Martin 경계를 묘사한다.
• 콘을 씌운 공간 ˆΓ의 Gromov 경계와 평행 부분군의 쌍곡 코스에 대한 시각 경계를 조합하여 Γ의 컴acts이션으로서 Z-경계를 구성한다.
• 큰 평행 부분군 P의 이웃 영역에서 유도된 랜덤 워크가 큰 지수적 모멘트를 가지며, 이는 일반화된 Ney-Spitzer 결과의 적용을 가능하게 한다.
• Floyd 거리와 케일리 그래프의 기하적 성질을 사용하여 Martin 경계를 잘라낸 CAT(0) 공간의 시각 경계와 연결한다.
• Z-경계에서 Bowditch 경계로의 G--equivariant, 연속적, 전사 사상을 수립함으로써 Martin 경계가 Z-경계임을 보인다.

실험 결과

연구 질문

• RQ1 상대적으로 쌍곡군에서 평행 부분군이 거의 아벨인 경우의 Martin 경계는 어떻게 위상적으로 특성화할 수 있는가?
• RQ2 어떤 조건에서 Martin 경계가 수평원통을 잘라낸 CAT(0) 공간의 시각 경계와 일치하는가?
• RQ3 특히 랜덤 워크가 P 위에 유한 지지도를 가지지 않을 경우, 평행 부분군 근처의 Martin 경계의 구조는 어떠한가?
• RQ4 평행 부분군이 거의 아벨이면서 랭크가 k일 때, Bowditch 경계에서 평행 점의 역상은 차원 k−1의 구와 위상동형이 될 수 있는가?
• RQ5 Martin 경계의 모든 점이 최소인가? 이는 경계의 기하학적 구조와 어떻게 관련이 있는가?

주요 결과

• 평행 부분군이 거의 아벨인 상대적으로 쌍곡군의 Martin 경계는 Z-경계와 위상동형이며, Z-경계는 콘을 씌운 공간의 Gromov 경계와 평행 부분군의 코스에 대한 시각 경계의 합집합으로 정의된다.
• H³에서의 비균일 격자에 대해서는 Martin 경계가 잘라낸 CAT(0) 공간의 시각 경계와 일치하므로 Sierpinski 카펫과 위상동형이다.
• Bowditch 경계에서 평행 점의 역상은 평행 부분군의 랭크가 k일 때, 차원 k−1의 구와 위상동형이다.
• Martin 경계는 Z-경계이므로, Γ의 수열이 경계점으로 수렴하는 것은 Bowditch 경계의 콘형 점으로 수렴하거나, 평행 부분군의 코스에 대한 가장 가까운 점의 사영이 그 부분군의 시각 경계에서 수렴하는 경우에 국한된다.
• Martin 경계의 모든 점은 최소이며, 다른 경계점들의 수열의 극한이 될 수 없음을 의미하여 청결한 위상적 구조를 보장한다.
• Martin 경계는 Dahmani의 Z-경계 구성과 잘라낸 CAT(0) 공간의 시각 경계와 G--equivariant로 위상동형이므로, 표준적인 기하학적 모델을 확립한다.