[论文解读] Non-abelian free groups admit non-essentially free actions on rooted trees

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

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 的自由群，存在一個子群鏈，其交集為平凡，且在邊界上的作用具有正測度的非平凡穩定子群。

提出的方法

• 在有限集 $V_i$ 上構造一個以 $X$ 為標籤的圖 $G_i$，並指定基點 $x_i$，使用一個在 $x_i$ 上作用非平凡的字 $w_i$。
• 透過圖 $G_i$ 定義自由群 $F_X$ 在 $V_i$ 上的作用 $\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$ 的穩定子群，形成 $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 在自由群中是否存在交集為平凡的子群鏈，使得邊界作用具有正測度的非平凡穩定子群？

主要发现

• 本文構造了 $F_d$ ($d \geq 2$) 中的一條鏈 $(\Gamma_n)$，滿足 $\cap \Gamma_n = 1$，且邊界作用非本質自由。
• 邊界表示忠實、球對稱傳播且拓撲自由，確保貝瑞典型點的穩定子群為平凡。
• 對測度典型點而言，其軌道的施萊徹圖為 $2d$-正則但非樹，這是因為在正測度集上存在非平凡穩定子群。
• 貝瑞典型軌道的施萊徹圖同構於凱萊圖 $\mathrm{Cay}(F_d, X)$，即一 $2d$-正則樹。
• 此作用非本質自由，因為對某非平凡元素 $a \in F_d$ 有 $\lim_{n \to \infty} \mathrm{fixr}(a, \Gamma/\Gamma_n) > 0$，違反法伯條件。
• 本結果透過證明施萊徹圖中貝瑞與測度典型軌道結構可非同構，解決了格里戈爾奇克、涅克拉謝維奇與蘇什昌斯基的問題7.3.3。