[논문 리뷰] On uniformly recurrent subgroups of finitely generated groups

Gábor Elek|arXiv (Cornell University)|2017. 02. 06.

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

한 줄 요약

이 논문은 유한 생성 군의 모든 균일 반복 하위군(URS)이 최소 동역학계의 안정성 체계로 나타남을 증명하며, 글라스너와 와이즈가 제기한 질문을 해결한다. 라보스 증명의 국소 렘 기반 색칠 기법을 사용하여, 유한 생성 소픽 군이 불변 확률 측도를 갖는 자유 베르누이 부분이진수를 갖는다는 것을 추가로 보이며, 잔여 유한성 또는 아벨린 군을 초월한 기존 결과를 확장한다.

ABSTRACT

We prove that if $G$ is a finitely generated group and $Z$ is a uniformly recurrent subgroup of $G$ then there exists a minimal system $(X,G)$ with $Z$ as its stability system. This answers a query of Glasner and Weiss \cite{GW} in the case of finitely generated groups. Using the same method (introduced by Alon, Grytczuk, Haluszczak and Riordan \cite{AGHR}) we will prove that finitely generated sofic groups have free Bernoulli-subshifts admitting an invariant probability measure.

연구 동기 및 목표

• 유한 생성 군의 모든 균일 반복 하위군(URS)이 최소 동역학계의 안정성 체계로 나타나는지에 대한 글라스너와 와이즈의 질문을 해결하기.
• 잔여 유한성 또는 아벨린 군을 초월하여, 유한 생성 소픽 군에서 불변 확률 측도를 갖는 자유 베르누이 부분이진수의 존재를 확장하기.
• 앨론 등이 제안한 라보스 국소 렘 기반 색칠 방법을 활용해, 색칠된 슈라이어 그래프 위에서 최소 작용을 구성하기.
• 반복되지 않는 색칠과 불변 측도의 약한 수렴을 활용하여, 소픽 군이 자유 베르누이 부분이진수를 지닌다는 것을 보여주기.

제안 방법

• 고정된 대칭 생성집합을 갖는 유한 생성 군에 대해, 루트가 있고 간선에 라벨이 붙고 정점에 색칠된 슈라이어 그래프의 공간을 구성한다.
• 라보스 국소 렘을 사용하여 소픽 근사 수열 내의 유한 슈라이어 그래프의 반복되지 않는 정점 색칠을 생성한다.
• 유한 그래프의 모든 정점에 대해 평균을 취해 색칠된 슈라이어 그래프 공간 위의 확률 측도 수열을 정의한다.
• 약한 컴actness를 적용하여, 무한한 색칠된 슈라이어 그래프 공간 위의 약한 극한 측도를 추출하며, 이는 군 작용에 관하여 불변이다.
• 극한 측도가 몰입된 족쇄 군의 카일리 그래프의 반복되지 않는 색칠 위에 집중되어 있음을 증명하여, 관련 작용의 자유성을 확보한다.
• 색칠된 슈라이어 그래프 공간에서 베르누이 이진수 공간 K^Γ로의 연속적, 군 호환 사상(사상)을 구성하여, 불변 측도를 갖는 자유 베르누이 부분이진수를 도출한다.

실험 결과

연구 질문

• RQ1 유한 생성 군의 모든 균일 반복 하위군(URS)이 최소 동역학계의 안정성 체계로 나타나는가?
• RQ2 유한 생성 소픽 군에서 불변 확률 측도를 갖는 자유 베르누이 부분이진수를 구성할 수 있는가?
• RQ3 라보스 국소 렘 기반 기법을 조정하여, URS 실현을 위한 색칠된 슈라이어 그래프 위에서 최소 작용을 생성할 수 있는가?
• RQ4 잔여 유한성 또는 아벨린 군을 초월하여, 소픽 군이 자유 베르누이 부분이진수를 갖는가?
• RQ5 정점 평균 측도의 약한 수렴을 통해 구성된 극한 측도는 무한 슈라이어 그래프에서 반복되지 않는 색칠 위에 집중되어 있는가?

주요 결과

• 모든 유한 생성 군과 모든 균일 반복 하위군(URS) Z에 대해, 안정성 체계가 정확히 Z인 최소 시스템 (X, Γ, α)가 존재한다.
• 이 구성은 소픽 근사 내의 유한 슈라이어 그래프의 반복되지 않는 색칠을 사용하며, 극한 측도가 반복되지 않는 색칠 위에 집중되어 있음을 보장한다.
• 색칠된 슈라이어 그래프 공간 위의 극한 측도는 군 작용에 관하여 불변이며, 반복되지 않는 색칠 위에 집중되어 있어, 관련된 동역학계의 작용이 자유임을 의미한다.
• 색칠 사상의 이미지는 K^Γ로의 베르누이 이진수 공간에서 닫혀 있고, Γ-불변인 부분집합을 형성하며, 자유 베르누이 부분이진수를 이룬다.
• 극한 측도를 색칠 사상에 따라 옮긴 결과, 자유 베르누이 부분이진수 위에 Γ-불변 확률 측도가 존재함을 보여주며, 이는 이들이 유한 생성 소픽 군에서 존재함을 확인한다.
• 이 결과는 잔여 유한성 또는 아벨린 군을 초월하여, 자유 베르누이 부분이진수를 갖는 군의 범주를 모든 유한 생성 소픽 군으로 확장한다.