[논문 리뷰] Entropy and drift for word metric on relatively hyperbolic groups

Matthieu Dussaule, Ilya Gekhtman|arXiv (Cornell University)|2018. 11. 27.

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

한 줄 요약

이 논문은 비원소적 상대적으로 하이퍼볼릭 군에서 유한 초지수적 모멘트를 가진 허용 가능한 랜덤 워크에 대해, 군이 가상 아벨 파라볼릭 부분군을 랭크 2 이상으로 가지거나, 구형 Bowditch 경계를 가지거나, 가상 니르푸트 인자와의 자유곱인 경우, Guivarc’h 부등식 $ h \leq lv $ 가 항상 엄밀하게 성립함($ h < lv $)을 증명한다. 핵심 결과는 Guivarc’h 부등식에서 등호가 성립할 경우 그린 거리가 워드 거리와 약간 유사함을 의미하며, 이는 그린 드리프트의 이산적 구조로 이어지고, 경계에서 두 점을 제거했을 때 경계가 분리되는 경우 위상적 연결성과 모순된다.

ABSTRACT

We are interested in the Guivarc'h inequality for admissible random walks on finitely generated relatively hyperbolic groups, endowed with a word metric. We show that for random walks with finite super-exponential moment, if this inequality is an equality, then the Green distance is roughly similar to the word distance, generalizing results of Blach{è}re, Ha{ï}ssinsky and Mathieu for hyperbolic groups [4]. Our main application is for relatively hyperbolic groups with respect to virtually abelian subgroups of rank at least 2. We show that for such groups, the Guivarc'h inequality with respect to a word distance and a finitely supported random walk is always strict.

연구 동기 및 목표

• 상대적으로 하이퍼볼릭 군에서 랜덤 워크에 대해 Guivarc’h 부등식 $ h \leq lv $ 가 엄밀하게 성립하는 조건을 규명하는 것.
• Guivarc’h 부등식에서 등호가 성립할 경우 기하적 의미를 조사하는 것, 특히 그린 거리와 워드 거리 간의 관계를 밝히는 것.
• 그린 드리프트가 이산적으로 되는 조건을 확립하여 경계의 위상적 구조에 모순을 초래하는 것.
• 하이퍼볼릭 군에서의 결과를 파라볼릭 부분군 또는 구형 경계를 가진 상대적으로 하이퍼볼릭 군의 더 넓은 클래스로 확장하는 것.

제안 방법

• 유한 생성된 상대적으로 하이퍼볼릭 군에서의 랜덤 워크의 渐近적 행동을 워드 거리와 그린 거리로 분석한다.
• 조건 $ h = lv $ 를 통해 그린 거리 $ d_G $ 가 워드 거리 $ d_w $ 와 약간 유사함을 유도한다. 즉, 어떤 상수 $ C $ 에 대해 $ |d_G - v d_w| \leq C $ 를 만족한다.
• 경계에서의 교차비를 적용하여, $ h = lv $ 이면 임의의 네 개의 콘형 극한 점의 교차비가 이산 집합 $ \mathrm{e}^{\alpha_G \mathbb{N}} $ 에 속함을 보인다.
• 경계의 위상적 성질을 활용: 두 개의 콘형 극한 점을 제거했을 때 경계가 유한 개의 연결 성분으로 나뉘면, 교차비의 연속성과 이산성 간의 상호작용으로 인해 모순이 발생한다.
• 로크소드로픽 원소의 경계에서의 작용을 통해 교차비가 연결 성분 내에서 일정해야 하며, 이는 값이 다를 경우(예: 1과 1 미만)에 모순을 초래함을 보인다.
• 특정 클래스에 결과를 적용: 랭크 $ \geq 2 $ 의 가상 아벨 파라볼릭 부분군을 가진 군, 구형 Bowditch 경계를 가진 군, 가상 니르푸트 인자와의 자유곱을 가진 군.

실험 결과

연구 질문

• RQ1 상대적으로 하이퍼볼릭 군의 어떤 조건에서 Guivarc’h 부등식 $ h \leq lv $ 가 엄밀하게 성립하는가?
• RQ2 Guivarc’h 부등식에서 등호 $ h = lv $ 가 성립할 경우 어떤 기하적 결과가 유도되는가?
• RQ3 경계의 구조(예: 두 점을 제거했을 때 연결성)는 그린 드리프트의 가능한 값에 어떤 제약을 가하는가?
• RQ4 Guivarc’h 부등식에서 등호일 경우 그린 드리프트의 이산성은 경계의 위상적 모순을 초래할 수 있는가?

주요 결과

• 가상 아벨 파라볼릭 부분군의 랭크가 2 이상인 상대적으로 하이퍼볼릭 군에서는 항상 엄밀한 Guivarc’h 부등식 $ h < lv $ 가 성립한다.
• 구형 Bowditch 경계(차원 $ \geq 2 $)를 가진 상대적으로 하이퍼볼릭 군에서는 경계에서 두 점을 제거했을 때의 위상적 연결성으로 인해 항상 엄밀한 Guivarc’h 부등식이 성립한다.
• 가상 니르푸트 인자를 적어도 하나 포함하는 자유곱에서는 유한 초지수적 모멘트 조건 하에 항상 엄밀한 Guivarc’h 부등식이 성립한다.
• $ h = lv $ 이면 그린 거리 $ d_G $ 는 워드 거리 $ d_w $ 와 약간 유사함을 의미한다. 즉, 어떤 상수 $ C $ 에 대해 $ |d_G - v d_w| \leq C $ 를 만족한다.
• $ h = lv $ 조건 하에서 임의의 로크소드로픽 원소 $ g $ 의 그린 드리프트 $ l^G(g) $ 는 이산 집합 $ \alpha_G \mathbb{N} $ 에 속하며, 이는 드리프트가 양자화됨을 의미한다.
• $ \partial\hat{\Gamma} \setminus \{\xi_1, \xi_2\} $ 가 유한 개의 연결 성분을 가진다는 가정은 $ h = lv $ 일 경우, 교차비의 연속성과 그 이산적 상사 간의 상호작용으로 인해 모순이 발생한다.