[논문 리뷰] Invariant random subgroups of the lamplighter group

Lewis Bowen, Rostislav Grigorchuk외 1명|arXiv (Cornell University)|2012. 06. 28.

Advanced Topology and Set Theory참고 문헌 16인용 수 17

한 줄 요약

이 논문은 램플라이터 군 $\mathcal{L}_{n,p} = (\mathbb{Z}/p\mathbb{Z})^n \wr \mathbb{Z}$ 에서의 불변 무작위 부분군 (IRS)을 연구하며, 군의 부분군 공간 $\mathrm{Sub}(G)$ 의 캔터-벤딕스턴 등수와 완전 핵을 규명한다. 이는 $\mathrm{Sub}(G)$ 에 대한 공액성에 의존하는 측도 공간이 단체를 이룬다는 것을 보이며, 자연스러운 파울렌즈 부분단체를 포함하며, 이의 보완의 극단점들이 가산적임을 보인다. 또한, 유한 $F$ 와 성질 $(T)$ 를 갖지 않는 무한 $Γ$ 에 대해, $F\wr\Gamma$ 에서 $\bigoplus_\Gamma F$ 에 지지된 IRS 측도 공간 역시 파울렌즈 단체임을 보인다.

ABSTRACT

Let $G$ be one of the lamplighter groups $({\mathbb{Z}/p\bz})^n\wr\mathbb{Z}$ and $\Sub(G)$ the space of all subgroups of $G$. We determine the perfect kernel and Cantor-Bendixson rank of $\Sub(G)$. The space of all conjugation-invariant Borel probability measures on $\Sub(G)$ is a simplex. We show that this simplex has a canonical Poulsen subsimplex whose complement has only a countable number of extreme points. If $F$ is a finite group and $Γ$ an infinite group which does not have property $(T)$ then the conjugation-invariant probability measures on $\Sub(F\wrΓ)$ supported on $\oplus_ΓF$ also form a Poulsen simplex.

연구 동기 및 목표

• 람플라이터 군 $\mathcal{L}_{n,p} = (\mathbb{Z}/p\mathbb{Z})^n \wr \mathbb{Z}$ 에서의 불변 무작위 부분군 (IRS)의 구조를 분류하는 것.
• 군 $G$ 의 모든 부분군 공간 $\mathrm{Sub}(G)$ 의 캔터-벤딕스턴 등수와 완전 핵을 규명하는 것.
• $\mathrm{Sub}(G)$ 에 대한 공액성에 의존하는 Borel 확률 측도 공간의 위상수학적 및 측도론적 구조를 분석하는 것.
• 이 공간이 단체를 이루며, 자연스러운 파울렌즈 부분단체를 포함하며, 그 보완의 극단점들을 특성화하는 것.
• 성질 $(T)$ 를 갖지 않는 유한 $F$ 와 무한 $Γ$ 에 대해, $F\wr\Gamma$ 에서의 이러한 결과를 확장하는 것.

제안 방법

• 저자들은 $\{0,1\}^G$ 의 티히코노프 위상에 의해 유도된 $\mathrm{Sub}(G)$ 에 대한 위상을 사용하며, 부분군을 그 특성 함수로 식별한다.
• 그들은 $G$ 가 $\mathrm{Sub}(G)$ 에 작용하는 공액성 작용을 분석하고, 약한*-위상 하에서 $\mathrm{IRS}(G)$ 라고 하는 공액성에 의존하는 Borel 확률 측도 공간을 연구한다.
• 캔터-벤딕스턴 도함수를 $\mathrm{Sub}(G)$ 에 반복적으로 적용하여 등수를 계산하고 완전 핵 $\mathcal{K}(G)$ 를 추출한다.
• 세부 사항 $(t, r)$ 의 공간 $\mathcal{Z}$ 에서 $\mathrm{Sub}(G)$ 로의 사상 $\Phi$ 를 구성하며, 이는 $t_{V}$ 와 $r_{V}$ 라는 불변량을 통해 부분군의 자료를 암호화한다.
• 공간 $\mathcal{Z}$ 에서의 수렴을 분석하여, $\Phi$ 가 극한을 보존하고 주어진 부분군으로 수렴하는 부분군의 수열을 구성할 수 있음을 보인다.
• 모듈 $\mathbb{Z}[x]/(x^t - 1)$ 에서의 부분군 성장과 등수에 관한 보조정리들을 사용하여, 원하는 불변량과 수렴 행동을 갖는 부분군을 구성한다.

실험 결과

연구 질문

• RQ1 람플라이터 군에 대해 $\mathrm{Sub}(\mathcal{L}_{n,p})$ 의 캔터-벤딕스턴 등수는 무엇인가?
• RQ2 군 $G = \mathcal{L}_{n,p}$ 에 대해 $\mathrm{Sub}(G)$ 내의 완전 핵 $\mathcal{K}(G)$ 의 구조는 어떠한가?
• RQ3 공액성에 의존하는 측도 공간이 파울렌즈 단체를 이룬다. 그 극단점의 성격은 어떠한가?
• RQ4 $F$ 가 유한하고 $Γ$ 가 성질 $(T)$ 를 갖지 않는 무한일 때, $\mathrm{IRS}(F\wr\Gamma)$ 의 구조는 어떻게 되는가?
• RQ5 부분군의 수렴이 불변량 $t_V$ 와 $r_V$ 를 통해 특성화될 수 있는가?

주요 결과

• $\mathrm{Sub}(\mathcal{L}_{n,p})$ 의 캔터-벤딕스턴 등수는 유한하며 명시적으로 결정되며, 완전 핵 $\mathcal{K}(G)$ 는 비가산적이며 캔터 집합과 위상동형이다.
• $\mathrm{IRS}(G)$ 는 단체를 이루며, 그 안에 자연스러운 파울렌즈 부분단체를 포함하며, 이의 보완은 유한한 수의 극단점만을 갖는다.
• 유한 $F$ 와 성질 $(T)$ 를 갖지 않는 무한 $Γ$ 에 대해, $F\wr\Gamma$ 에서 $\bigoplus_\Gamma F$ 에 지지된 IRS 측도 공간은 파울렌즈 단체이다.
• $\Phi: \mathcal{Z} \to \mathrm{Sub}(G)$ 는 완전 핵으로부터 연속적이고 전사적이며, 부분군의 수렴 수열을 구성하는 데 유용하다.
• 부분군 $V_m \to V$ 가 $\mathrm{Sub}(G)$ 에서 수렴할 때, 이는 불변량의 수렴 $t_{V_m} \to t_V$ 와 $r_{V_m} \to r_V$ 와 동치이며, 비정체되지 않는 경우 곱 $t_{V_m} r_{V_m} < t_V r_V$ 에서 엄밀한 부등식이 성립한다.
• 모듈 이론적 구성에 의해, 임의의 $t_{V_m} = t'$ 과 $r_{V_m} = r'$ 를 갖는 부분군이 존재하며, 이때 $t'r' < tr$ 이고 $V_m \to V$ 가 성립함을 보였다.