[논문 리뷰] Cantor systems, piecewise translations and simple amenable groups

Kate Juschenko, Nicolas Monod|arXiv (Cornell University)|2012. 04. 10.

Advanced Operator Algebra Research참고 문헌 2인용 수 4

한 줄 요약

이 논문은 유한 생성된 무한 단순군 중에서 아메vable인 예를 처음으로 구성하며, 오랫동안 남아있던 열린 문제를 해결한다. 베르누이 이동 공간 위에 $L^2$-함수의 가족을 도입하고 $ℤ$에 대한 조각별 이동에 대한 불변성을 분석함으로써, $W(ℤ)$에 대한 불변 평균이 0을 포함하는 집합에 집중됨을 증명한다. 이는 최소 칸토어 시스템의 위상적 전체군의 아메vable성을 암시하며, 기껏해야 비가산 수의 서로 동형이 아닌 아메vable 단순군을 제공한다.

ABSTRACT

We provide the first examples of finitely generated simple groups that are amenable (and infinite). This follows from a general existence result on invariant states for piecewise-translations of the integers. The states are obtained by constructing a suitable family of densities on the classical Bernoulli space.

연구 동기 및 목표

• 유한 생성된 무한 단순군이 아메vable한지 여부에 대한 열린 문제를 해결하기 위해.
• 모든 최소 칸토어 시스템의 위상적 전체군이 아메vable한지 증명하기 위해.
• 베르누이 공간 $\{0,1\}^\mathbb{Z}$ 위에 조각별 이동에 대해 특정한 불변성 조건을 만족하는 $L^2$-함수의 가족을 구성하기 위해.
• 0을 포함하는 집합에 전체 무게를 할당하는 $W(\mathbb{Z})$에 대한 불변 평균의 존재를 확립하여 전체군의 아메vable성을 증명하기 위해.

제안 방법

• 원점에서의 거리에 기반한 지수 감쇠 가중치를 사용하여 베르누이 공간 $\{0,1\}^\mathbb{Z}$ 위에 $L^2$-함수 $f_n$의 가족을 정의한다.
• $g \in W(\mathbb{Z})$에 의한 $f_n$의 불변성을 측정하기 위해 내적 $\langle g(f_n), f_n \rangle / \|f_n\|^2$를 사용하며, $n \to \infty$일 때 1로 수렴함을 보인다.
• 이동 행동의 부호가 붙은 편차를 정량화하기 위해 함수 $F_n(g)$를 도입하고, 모든 $g \in W(\mathbb{Z})$에 대해 $F_n(g) \to 0$임을 증명한다.
• 군의 부분군에 대해 $W(\mathbb{Z})$에서의 '보편 패턴 성질'을 확립하여, 국소적 군 작용이 $\mathbb{Z}$ 전역에 조밀하게 반복됨을 보장한다.
• 이 성질 하에 $\mathbb{N}$과의 유한 대칭차이를 갖는 원소의 안정자군이 국소적으로 유한함을 증명하며, 이는 아메vable성을 암시한다.
• $W(\mathbb{Z})$에 임베딩된 최소 칸토어 시스템의 위상적 전체군 $[[T]]$에 불변 평균 구성 방법을 적용하여 아메vable성을 결론짓는다.

실험 결과

연구 질문

• RQ1 이전에 알려진 모든 예들이 비단순하거나 비아메vable였기 때문에, 유한 생성된 무한 단순군이 아메vable한지 여부는 가능한가?
• RQ2 최소 칸토어 시스템의 위상적 전체군이 불변 평균을 갖는가? 이는 그리고치크-메디네티스의 아메vable성 추측을 확인하는가?
• RQ3 베르누이 이동 공간 위에 조각별 이동에 대해 불변성이 $n \to \infty$일 때 1로 수렴하는 $L^2$-함수의 가족을 구성할 수 있는가?
• RQ4 $W(\mathbb{Z})$에 대해 0을 포함하는 유한 부분집합의 집합에 전체 측도를 할당하는 불변 평균이 존재하는가?
• RQ5 $W(\mathbb{Z})$에서의 보편 패턴 성질이 안정자군이 국소적으로 유한함을 암시하는가? 이는 아메vable성을 이끌어내는가?

주요 결과

• 모든 최소 칸토어 시스템의 위상적 전체군은 아메vable하며, 그리고치크-메디네티스의 추측을 확인한다.
• 기껏해야 비가산 수의 서로 동형이 아닌 유한 생성된 무한 단순 아메vable 군이 존재한다. 특히 $2^{\aleph_0}$개의 그러한 군이 존재한다.
• $W(\mathbb{Z})$-작용은 $\mathbb{Z}$의 유한 부분집합 공간 위에 0을 포함하는 집합에 전체 무게를 할당하는 불변 평균을 갖는다.
• 모든 $g \in W(\mathbb{Z})$에 대해 $n \to \infty$일 때 내적 $\langle g(f_n), f_n \rangle / \|f_n\|^2 \to 1$로 수렴하며, 이는 함수 가족의 점근적 불변성을 보여준다.
• $F_n(g) \to 0$ for all $g \in W(\mathbb{Z})$임을 증명하였으며, 이는 내적 수렴을 증명하는 데 필수적이다.
• 보편 패턴 성질을 갖는 $W(\mathbb{Z})$의 부분군에서 $E \triangle \mathbb{N}$의 안정자군은 국소적으로 유한하며, 이는 전체군의 아메vable성을 암시한다.