[논문 리뷰] Schreier graphs of actions of Thompson's group F on the unit interval and on the Cantor set

Dmytro Savchuk|arXiv (Cornell University)|2011. 05. 20.

Mathematical Dynamics and Fractals인용 수 5

한 줄 요약

이 논문은 단위 구간과 칸토어 집합 위에서 테오페르의 군 F의 표준 생성자 {x₀, x₁}를 사용하여 슈라이어 그래프를 구성한다. (0,1) 내 점들의 슈라이어 그래프는 애먼성, 무한한 끝을 가지며, 상호간에 이sovom르피가 아니며, 비점이 있는 그래프는 점들이 동일한 궤도에 있을 때에만 서로 이sovom르피이다. 슈라이어 동역학계의 완전핵은 F의 칸토어 집합 위 표준 작용과 위상적으로 동형이다.

ABSTRACT

Schreier graphs of the actions of Thompson's group $F$ on the orbits of all points of the unit interval and of the Cantor set with respect to the standard generating set $\\{x_0,x_1\\}$ are explicitly constructed. The closure of the space of pointed Schreier graphs of the action of $F$ on the orbits of dyadic rational numbers and corresponding Schreier dynamical system are described. In particular, we answer the question of Grigorchuk on the Cantor-Bendixson rank of the underlying space of the Schreier dynamical system in the context of $F$. As applications we prove that the pointed Schreier graphs of points from $(0,1)$ are amenable, have infinitely many ends, and are pairwise non-isomorphic. Moreover, we prove that points $x,y\\in(0,1)$ have isomorphic non-pointed Schreier graphs if and only if they belong to the same orbit of $F$.

연구 동기 및 목표

• 단위 구간과 칸토어 집합 위에서 점들의 궤도에 작용하는 테오페르의 군 F에 대한 슈라이어 그래프를 명시적으로 구성하는 것.
• 이진 유리수의 지점에 대한 지정된 슈라이어 그래프 공간의 폐쇄를 기술하고, 관련된 슈라이어 동역학계를 분석하는 것.
• 그리고치크의 질문, 즉 F에 대한 슈라이어 동역학계의 기저 공간의 칸토어-벤디크슨 계수를 해결하는 것.
• 슈라이어 그래프의 이sovom르피 기준을 확립하고, 애먼성과 끝의 수와 같은 구조적 성질을 특성화하는 것.
• 단일 궤도로부터 구성된 슈라이어 동역학계가 칸토어 집합 위에서 F의 전체 작용을 복원하는가를 보여주는 것.

제안 방법

• 테오페르의 군 F의 표준 생성집합 {x₀, x₁}을 사용하여 슈라이어 그래프를 구성한다.
• F의 이진 유리수와 칸토어 집합 위의 작용을 이용하여 궤도와 그에 상응하는 슈라이어 그래프를 정의한다.
• 이진 전개로 표현된 정점 레이블링과 재귀적 트리 구조를 통한 슈라이어 그래프의 구조를 분석한다.
• 위상적 동형성 논증을 적용하여 슈라이어 동역학계의 완전핵이 칸토어 집합 위의 표준 작용과 관련이 있음을 규명한다.
• 이웃 이sovom르피 논증과 경로 끌올림 기법을 사용하여 서로 다른 점들에 대한 지정된 그래프가 이sovom르피가 아님을 증명한다.
• 반복 단일주기군과 슈라이어 그래프의 줄리 집합 수렴에 관한 결과를 활용하여 구조적 통찰을 확보한다.

실험 결과

연구 질문

• RQ1 테오페르의 군 F가 (0,1) 내 점들과 칸토어 집합의 궤도에 작용할 때 슈라이어 그래프의 구조는 어떠한가?
• RQ2 F에 대한 슈라이어 동역학계에서 지정된 슈라이어 그래프 공간의 칸토어-벤디크슨 계수는 무엇인가?
• RQ3 두 점 (0,1) 내에서 지정된 슈라이어 그래프가 언제 이sovom르피인가?
• RQ4 두 점 (0,1) 내에서 비지정된 슈라이어 그래프가 언제 이sovom르피인가?
• RQ5 단일 궤도로부터 구성된 슈라이어 동역학계가 칸토어 집합 위에서 F의 전체 작용을 복원하는가?

주요 결과

• (0,1) 내 점들의 슈라이어 그래프는 애먼성, 무한한 끝을 가지며, 지정된 그래프로서 상호간에 이sovom르피가 아니다.
• 이진 유리수 궤도에 대한 지정된 슈라이어 그래프 공간의 폐쇄의 완전핵은 F의 칸토어 집합 위 표준 작용과 위상적으로 동형이다.
• (0,1) 내 점 x와 y에 대한 비지정 슈라이어 그래프가 이sovom르피임은 F에 의한 x와 y가 동일한 궤도에 있을 때에 한하여 성립한다.
• 어느 x ∈ (0,1)의 궤도로부터 구성된 슈라이어 동역학계는 완전핵이 {0,1}^ω 위에서 F의 표준 작용과 위상적으로 동형이다.
• 칸토어 집합의 유한 부분집합의 안정자에 대한 슈라이어 그래프는 임의로 긴 선분이 존재하고 경계 크기가 2이므로 애먼성이다.
• 비지정 슈라이어 그래프의 이sovom르피류는 점의 궤도에만 의존하며, 이는 이진 전개의 尾 등가성에 의해 결정된다.