[논문 리뷰] The Choquet-Deny theorem and distal properties of totally disconnected locally compact groups of polynomial growth

Wojciech Jaworski, Raja, C. R. E.|ArXiv.org|2007. 02. 14.

Geometric and Algebraic Topology참고 문헌 30인용 수 17

한 줄 요약

이 논문은 다항성장하는 컴팩트리 생성된 전적으로 분리된 국소 콪 pact 군과 일반화된 $\overline{FC}$-군에 대해 콜레트-디니 정리의 타당성에 대한 동치 조건을 수립한다. 이는 정리가 성립함과 동시에 내부 자명변환이 거리적으로 작용함과 동치이며, 이는 자명한 수축 부분군과 SIN 성질과도 동치이며, 조화 해석학과 군의 구조 및 동역학을 연결한다.

ABSTRACT

We obtain sufficient and necessary conditions for the Choquet-Deny theorem to hold in the class of compactly generated totally disconnected locally compact groups of polynomial growth, and in a larger class of totally disconnected generalized $\ov{FC}$-groups. The following conditions turn out to be equivalent when $G$ is a metrizable compactly generated totally disconnected locally compact group of polynomial growth: (i) the Choquet-Deny theorem holds for $G$; (ii) the group of inner automorphisms of $G$ acts distally on $G$; (iii) every inner automorphism of $G$ is distal; (iv) the contraction subgroup of every inner automorphism of $G$ is trivial; (v) $G$ is a SIN group. We also show that for every probability measure $μ$ on a totally disconnected compactly generated locally compact second countable group of polynomial growth, the Poisson boundary is a homogeneous space of $G$, and that it is a compact homogeneous space when the support of $μ$ generates $G$.

연구 동기 및 목표

• 컴팩트리 생성된 전적으로 분리된 국소 콩 pact 군의 다항성장에서 콜레트-디니 정리가 성립하기 위한 필요 및 충분 조건을 규명하는 것.
• 분석을 다항성장 군에 더 넓은 범주인 전적으로 분리된 일반화된 $\overline{FC}$-군으로 확장하는 것.
• 이러한 군에서의 랜덤 워크에 대한 포아송 경계의 구조를 특성화하는 것.
• 비아벨 설정에서 거리적 군 작용, 수축 부분군, 조화 함수 이론 간의 관계를 명확히 하는 것.

제안 방법

• 내부 자명변환의 군 작용을 분석하고, 궤도 폐쇄가 항등원을 포함하지 않는 방식으로 거리성을 정의한다.
• 요소 $ g $의 수축 부분군 $ C(g) $를 $ \{ x \in G \mid \lim_{n \to \infty} g^n x g^{-n} = e \} $ 로 정의하고, 그 자명성에 대해 연구한다.
• 거리적 내부 자명변환이 자명한 수축 부분군과 동치임을 이용해 군의 구조적 조건을 도출한다.
• 특히 포아송 경계와 $ \mu $-경계 이론을 포함한 위상적 동역학 및 조화 해석학의 결과를 적용한다.
• 메트릭성, 컴팩트리 생성, 전적으로 분리, 다항성장 군의 경우, $ \operatorname{Inn}(G) $의 거리성이 군이 SIN 군임을 이끌어내는 사실을 활용한다.
• 포아송 경계의 실현을 동차 공간 $ G/H $ 로 구성하며, 특히 $ \mu $의 지지가 $ G $ 를 생성할 경우를 중심으로 다룬다.

실험 결과

연구 질문

• RQ1 컴팩트리 생성된 전적으로 분리된 국소 콩 pact 군의 다항성장에서 콜레트-디니 정리는 언제 성립하는가?
• RQ2 이러한 군에서 거리적 군 작용과 수축 부분군의 구조 간의 정확한 관계는 무엇인가?
• RQ3 이러한 군에서 랜덤 워크의 포아송 경계가 컴팩트한 동차 공간이 되는 조건은 무엇인가?
• RQ4 이러한 군에서 내부 자명변환의 성질(거리성, 자명한 수축 부분군)이 SIN 성질과 어떻게 관련되는가?
• RQ5 만약 $ \mu $ 가 적합하고 지지가 $ G $ 를 생성한다면, $ \mu $-경계는 명시적으로 동차 공간으로 실현될 수 있는가?

주요 결과

• 메트릭성, 컴팩트리 생성, 전적으로 분리, 국소 콩 pact 군 $ G $ 가 다항성장일 때, 콜레트-디니 정리는 $ \operatorname{Inn}(G) $ 가 $ G $ 에서 거리적으로 작용할 때에만 성립한다.
• 다음 다섯 조건은 이러한 군에서 서로 동치이다: (i) 콜레트-디니 정리가 성립함; (ii) $ \operatorname{Inn}(G) $ 가 거리적으로 작용함; (iii) 모든 내부 자명변환이 거리적임; (iv) 모든 $ g \in G $ 의 수축 부분군이 자명함; (v) $ G $ 가 SIN 군임.
• 이러한 군에 대해 모든 확률 측도 $ \mu $ 에 대해 포아송 경계는 $ G $ 의 동차 공간이며, $ \mu $ 가 적합하고 지지가 $ G $ 를 생성할 경우 컴팩트하다.
• 특히 군 $ G = \mathbb{Z}_2^{\mathbb{Z}} \rtimes_\tau \mathbb{Z} $ 에서, $ \mu $-경계는 $ \mathbb{Z}_2^{\mathbb{Z}} / T $ 로 실현될 수 있으며, 여기서 $ T $ 는 닫힌 $ \tau $-불변 부분군이다.
• 군 $ \mathbb{Z}_2^{\mathbb{Z}} \rtimes_\tau \mathbb{Z} $ 의 경우, $ \operatorname{Inn}(G) $ 가 정규부분군 $ \mathbb{Z}_2^{\mathbb{Z}} \times \{0\} $ 에서 거리적으로 작용하지 않기 때문에 콜레트-디니 정리는 실패한다. 이는 $ C(\tau) $ 가 자명하지 않기 때문이다.
• 모든 닫힌 $ \tau $-불변 부분군 $ T $ 에 대해, $ \mu_T $-경계가 $ \mathbb{Z}_2^{\mathbb{Z}} / T $ 와 동형이며, 이들은 $ G $-공간으로서 상호 비동형이다.