[論文レビュー] Free subgroups in groups acting on rooted trees

Volodymyr Nekrashevych|ArXiv.org|Feb 18, 2008

Stochastic processes and statistical mechanics参考文献 7被引用数 3

ひとこと要約

この論文は、根付き木上で作用する群の構造的二分法を確立する。群が非可換な自由部分群を含むならば、境界点で自由に作用するか、あるいはある境界点の任意に小さな近傍上で忠実に作用する自由部分群を含む必要がある。主な貢献は、収縮群や拡張写像の反復モノドロミー群における自由部分群の不在を示す新しい証明を可能にする一般定理である。

ABSTRACT

We show that if a group $G$ acting faithfully on a rooted tree $T$ has a free subgroup, then either there exists a point $w$ of the boundary $\partial T$ and a free subgroup of $G$ with trivial stabilizer of $w$, or there exists $w\in\partial T$ and a free subgroup of $G$ fixing $w$ and acting faithfully on arbitrarily small neighborhoods of $w$. This can be used to prove absence of free subgroups for different known classes of groups. For instance, we prove that iterated monodromy groups of expanding coverings have no free subgroups and give another proof of a theorem by S. Sidki.

研究の動機と目的

• 根付き木上で作用する群における自由部分群の存在に関する構造的基準を確立すること。
• 収縮群や反復モノドロミー群などの木上で作用する群のクラスにおける自由部分群の不在を統一的に証明する枠組みを提供すること。
• 位相的・幾何学的アプローチを用いて、自己相似群や有界自己同型に関する既知の結果を一般化し、再証明すること。
• 境界における『小さな』作用グラフが自由部分群の存在を妨げるという直観を形式化すること。

提案手法

• 群 $ G $ が根付き木 $ T $ に作用する様子を分析し、境界点 $ w \in \partial T $ における安定化部分群と芽（germ）に注目する。
• 群 $ G $ の芽群 $ G_{(w)} $ を定義する。これは、$ w $ の近傍で自明に作用する部分群を安定化部分群 $ G_w $ で割った商群である。
• クラス $ P_d(\mathsf{X}) $ に属する自己同型の深さ $ d $ についての帰納的議論を適用し、ほとんどすべての $ v $ に対して $ g|_v \in P_{d-1}(\mathsf{X}) $ であることに着目する。
• 局所作用が非自明な点（$ g $-特異点）の概念を導入し、それが高々可算集合であることを証明する。これにより、測度ゼロの集合であることが示される。
• シュライエル図とアメニタリティの結果を応用する。特異点集合が高々可算であれば、シュライエル図はアメニタリティを示し、これが自由部分群の存在を妨げる。
• 単射準同型 $ \phi: \tilde{F} \to (P_{d-1}(\mathsf{X}))^U $ を用いた背理法を用いる。$ \tilde{F} $ が自由であれば、核が自明でないことが示され、自由性に矛盾する。

実験結果

リサーチクエスチョン

• RQ1 根付き木上で作用する群が非可換な自由部分群を含む条件は何か？
• RQ2 境界ダイナミクスを用いて、収縮自己相似群における自由部分群の不在を形式的に証明できるか？
• RQ3 境界点付近での局所作用は、自由部分群の存在をどのように制約するか？
• RQ4 反復モノドロミー群の構造は、自由部分群の不在を推論するために利用できるか？
• RQ5 境界点における芽群が、自由部分群の存在を妨げる役割を果たすか？

主な発見

• 局所的に有限な根付き木 $ T $ に忠実に作用する群 $ G $ は、自由非可換部分群を持たない、あるいは境界点 $ w \in \partial T $ が存在して、自由部分群が $ w $ で自由に作用する、あるいは $ w $ の近傍上で忠実に作用する。
• 収縮自己相似群には自由部分群が存在せず、これは古くからの予想を裏付ける。
• 後期的有限な有理関数や他の拡張ダイナミカルシステムの反復モノドロミー群には自由部分群が存在しない。
• 多項式成長の自己同型群 $ P_d(\mathsf{X}) $ には自由部分群が存在せず、これは S. Sidki の結果を一般化する。
• 有界自己同型が生成する根付き木の群には自由部分群が存在せず、本研究で初めて完全な一般性において証明された。
• $ g $-特異点の集合が高々可算であれば、$ \partial T $ への作用のシュライエル図はアメニタリティを示し、自由部分群の存在を妨げる。