[논문 리뷰] On the condensation property of the Lamplighter groups and groups of Intermediate growth

Mustafa Gökhan Benli̇, Rostislav Grigorchuk|arXiv (Cornell University)|2014. 05. 07.

Geometric and Algebraic Topology참고 문헌 4인용 수 4

한 줄 요약

이 논문은 램플라이터 군 $L = \mathbb{Z}_2 \wr \mathbb{Z}$가 최소 표기와 위상적 임bedding을 통해, 중간 성장률을 갖는 2생성자 marked 군들의 칸토어 집합 $\mathcal{L} \subset \mathcal{M}_2$에 속함을 통해, 이 군이 응축 군임을 증명한다. 군 $L$는 최소 표기와 칸토어 집합 위상동형인 완전한 핵에 위상적으로 임베드되어 응축 군으로서의 성질을 입증한다.

ABSTRACT

The aim of this short note is to revisit some old results about groups of intermediate growth and groups of the lamplighter type and to show that the Lamplighter group $L=\mathbb{Z}_2\wr \mathbb{Z}$ is a condensation group and has a minimal presentation by generators and relators. The condensation property is achieved by showing that $L$ belongs to a Cantor subset of the space $\mathcal{M}_2$ of marked 2-generated groups consisting mostly of groups of intermediate growth.

연구 동기 및 목표

• marked 2생성자 군들의 공간 $\mathcal{M}_2$에서 램플라이터 군 $L = \mathbb{Z}_2 \wr \mathbb{Z}$가 응축 부분에 속한다는 것을 보여주는 것.
• 중간 성장률을 갖는 군들과 상수 시퀀스에 대해 $L$와 동형인 군들로 이루어진, 칸토어 집합 위상동형인 비가산이고 완전한 부분집합 $\mathcal{L} \subset \mathcal{M}_2$를 구성하는 것.
• $L$가 무한 최소 표기를 갖는다는 것을 보여, 이를 통해 위상적 및 대수적 기준에 기반한 응축 성질을 확인하는 것.
• 무한 유한 생성 군의 제한된 와레인트 곱이 항상 응축 군임을 증명함으로써 기존 결과를 확장하고, $L$을 핵심 예시로 삼는 것.

제안 방법

• 근을 가진 트리의 자기동형사상을 사용하여, 무한 시퀀스 $\omega \in \{0,1,2\}^\mathbb{N}$ 에 따라 인덱싱된 marked 군의 가족 $\{(L_\omega, T_\omega) \mid \omega \in \Omega\}$ 을 구성하는 것.
• Cayley 그래프의 볼에서의 동형관계를 기반으로 초거리 위상공간을 갖는 컴act하고 완전히 분리된 공간으로서 $\mathcal{M}_2$를 정의하는 것.
• 맵 $\omega \mapsto (L_\omega, T_\omega)$ 가 컴 pact 도메인에서 연속적인 전단사함수임을 보여, 부분집합 $\mathcal{L}$ 이 칸토어 공간 $\Omega$ 와 위상동형임을 증명하는 것.
• 무한 최소 표기를 갖는 군은 완전한 핵 $\kappa(\mathcal{M}_k)$ 에 속하므로, 응축 군임을 알 수 있다.
• Bau61와 Cor11의 결과를 적용하여 $L$가 유한 생성되지 않지만 최소 무한 표기를 갖는다는 것을 보이는 것.
• 표준 표기 $\langle s,t \mid s^2, [s,s^{t^i}] \text{ for } i \geq 1 \rangle$ 의 최소성을 반증을 통해 확인하며, 어떤 관계도 다른 관계들로부터 유도될 수 없음을 보이는 것.

실험 결과

연구 질문

• RQ1 램플라이터 군 $L = \mathbb{Z}_2 \wr \mathbb{Z}$ 는 $\mathcal{M}_2$ 의 응축 부분에 속하는가?
• RQ2 모든 군이 중간 성장률을 갖는 $\mathcal{M}_2$ 의 칸토어 부분집합을 구성할 수 있는가? 이때 $L$ 는 특수한 경우로 포함된다.
• RQ3 표준 무한 표기 $L$ 는 최소인가? 이는 응축 성질을 유도하는가?
• RQ4 무한 유한 생성 군의 제한된 와레인트 곱 $H \wr G$ 는 항상 응축 군인가?
• RQ5 marked 군 공간에서 최소 표기와 응축 성질 사이의 관계는 무엇인가?

주요 결과

• 램플라이터 군 $L = \mathbb{Z}_2 \wr \mathbb{Z}$ 는 완전한 핵 $\kappa(\mathcal{M}_2)$ 에 속하므로 응축 군이다.
• 칸토어 집합 $\mathcal{L} \subset \mathcal{M}_2$ 가 구성되었으며, $\mathcal{L} \cong \Omega = \{0,1,2\}^\mathbb{N}$ 이고, $\mathcal{L}$ 의 모든 군들은 응축 군이다.
• 비최종적으로 일정하지 않은 $\omega$ 에 대해 군 $L_\omega$ 는 중간 성장률을 갖는다; 상수 $\omega$ 에 대해 $L_\omega \cong L$ 이다.
• 표준 표기 $\langle s,t \mid s^2, [s,s^{t^i}] \text{ for } i \geq 1 \rangle$ 는 최소이다. 다른 관계들로부터 어떤 관계도 유도될 수 없다.
• 이 표기의 최소성은 $L$ 가 $\mathcal{M}_2$ 의 응축 부분에 속해 있음을 의미하며, 이는 군의 응축 성질에 대한 대체 증명을 제공한다.
• 이 구성은 $L$ 이 완전한 핵에 위상적으로 임베드되어 응축 군임을 확인하며, 무한 군의 와레인트 곱이 항상 응축 군임을 보여주는 기존 결과를 확장한다.