[논문 리뷰] Non-abelian free groups admit non-essentially free actions on rooted trees

Miklós Abért, Gábor Elek|ArXiv.org|2007. 07. 06.

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

한 줄 요약

이 논문은 임의의 유한 생성된 비아벨 자유군에 대해 구조적 전이성(영역에서의 전이성)이면서 본질적으로 자유가 아닌 작용을 루트를 가진 트리 위에 구성한다. 이는 이러한 군들이 일반적인 측도론적 궤도가 트리가 아닌 슈라이어 그래프를 유도하는 경계 표현을 갖는다는 것을 보여주며, 반면 바이어-유형 궤도는 카일리 트리가 된다. 이는 그리고치크, 네크라셰비치, 숨찬스키가 제기한 바, 슈라이어 그래프에서 바이어와 측도론적 궤도의 구조적 차이에 관한 문제를 해결한다.

ABSTRACT

We show that every countable non-abelian free group $Γ$ admits a spherically transitive action on a rooted tree $T$ such that the action of $Γ$ on the boundary of $T$ is not essentially free. This reproves a result of Bergeron and Gaboriau. The existence of such an action answers a question of Grigorchuk, Nekrashevich and Sushchanskii.

연구 동기 및 목표

• 비아벨 자유군의 루트를 가진 트리 위에 충실하고 구조적 전이성 작용을 구성하며, 그 경계 표현이 본질적으로 자유가 아니게 하기.
• 그리고치크, 네크라셰비치, 숨천스키의 문제 7.3.3을 해결하기: 루트를 가진 트리 위의 군 작용에서 바이어-유형과 측도론적 궤도의 슈라이어 그래프의 차이에 대해.
• 베르지오와 가보리오의 결과를 다른 방법을 사용하여 재증명하기: 자유군에 대해 본질적으로 자유가 아닌 경계 표현이 존재함을 보여주기.
• 자유군의 계수 ≥2일 때, 교차가 자명한 부분군의 사슬이 존재함을 보여주며, 경계 위의 작용에서 비자명한 정 stabilizer 가 양측도를 갖는다.

제안 방법

• 단어 $w_i$ 를 사용하여 유한 집합 $V_i$ 위에 기저 정점 $x_i$ 를 가진 $X$-라벨링된 그래프 $G_i$ 를 구성하며, $x_i$ 에서 비자명하게 작용하는 $w_i$ 를 선택한다.
• 그래프 $G_i$ 를 통해 자유군 $F_X$ 의 작용 $\Phi_i$ 를 정의하며, $x_i \Phi_i(w_i) \neq x_i$ 임을 보장한다.
• 불연속합 $U_n = \bigoplus_{i=1}^n V_i$ 를 구성하며, 기저 점 $o_n = \bigoplus_{i=1}^n x_i$ 를 정의하고, 작용 $\Psi_n = \bigoplus_{i=1}^n \Phi_i$ 를 정의한다.
• $H_n$ 을 $\Psi_n$ 에서 $o_n$ 의 정 stabilizer 로 정의하며, $F_X$ 내의 사슬 $(H_n)$ 을 형성하고 $\cap H_n = 1$ 이며, 비자명한 원소 $a$ 에 대해 $\mathrm{fixr}(a, \Gamma/H_n) > \alpha > 0$ 임을 보여, 파르버 조건을 위반함을 증명한다.
• 경계 표현이 충실하고 위상적으로 자유임을 이용하여, $(H_i)$ 와 공轭인 새로운 사슬 $(\Gamma_i)$ 를 구성하며, 경계 작용이 여전히 본질적으로 자유가 아니게 한다.
• $(H_n)$ 과 $(\Gamma_i)$ 의 경계 작용 간의 동형을 이용하여, 새로운 작용이 본질적으로 자유가 아니라는 결론을 이끌어낸다.

실험 결과

연구 질문

• RQ1 비아벨 자유군이 루트를 가진 트리 위에 구조적 전이성 작용을 갖는가? 이 때 바이어-유형 궤도의 슈라이어 그래프가 측도론적 궤도의 슈라이어 그래프와 다를 수 있는가?
• RQ2 비아벨 자유군이 충실하지만 본질적으로 자유가 아닌 경계 표현을 가질 수 있는가?
• RQ3 자유군의 루트를 가진 트리 위의 작용에서, 측도론적 궤도의 슈라이어 그래프가 트리가 아니게 되는 것이 가능한가? 반면 바이어-유형 궤도는 트리가 되는가?
• RQ4 비아벨 자유군의 경계 표현을 통해 바이어와 측도론적 궤도의 구조적 차이를 슈라이어 그래프에서 실현할 수 있는가?
• RQ5 자유군 내에 교차가 자명한 부분군의 사슬이 존재하는가? 이 때 경계 작용에서 비자명한 정 stabilizer 가 양측도를 갖는가?

주요 결과

• 논문은 $F_d$ ($d \geq 2$) 에서 사슬 $(\Gamma_n)$ 을 구성하며, $\cap \Gamma_n = 1$ 이고 경계 작용이 본질적으로 자유가 아니라는 것을 보여준다.
• 경계 표현은 충실하고, 구조적 전이성, 위상적으로 자유이며, 이는 바이어-유형 점이 자명한 정 stabilizer 를 가짐을 보장한다.
• 측도론적 유형 점에 대해서는 궤도의 슈라이어 그래프는 $2d$-정규이지만 트리가 아니며, 양측도 집합에서 비자명한 정 stabilizer 가 존재하기 때문이다.
• 바이어-유형 궤도의 슈라이어 그래프는 카일리 그래프 $\mathrm{Cay}(F_d, X)$ 와 동형이며, 이는 $2d$-정규 트리이다.
• 작용은 본질적으로 자유가 아니며, 비자명한 원소 $a \in F_d$ 에 대해 $\lim_{n \to \infty} \mathrm{fixr}(a, \Gamma/\Gamma_n) > 0$ 이므로 파르버 조건을 위반한다.
• 결과적으로 그리고치크, 네크라셰비치, 숨천스키의 문제 7.3.3을 해결하며, 바이어-유형과 측도론적 궤도의 슈라이어 그래프에서 비이sov모르피즘일 수 있음을 보여준다.