[論文レビュー] Amenability of Universal 2-Grigorchuk group

Roman Muchnik|ArXiv.org|May 26, 2005

Geometric and Algebraic Topology参考文献 6被引用数 4

ひとこと要約

この論文は、4つの生成子からなる自由群の、個々のGrigorchuk 2群へのすべての準同型の核の共通部分集合による商として定義される普遍Grigorchuk 2群が、アメニタリであることを証明する。ネスト構造とKaimanovichの研究から取り入れた「Münchhausenのトリック」を用いて、著者は、2分木の自己同型群内の自己同型的表現を構成し、群上のランダムウォークのエントロピーが0に減少することを示し、これがアメニタリティを示す。

ABSTRACT

We consider the universal Grigorchuk 2-group, i.e., the group such that every Grigorchuk 2-group is a quotient. We show that this group has a nice universal representation in the group of all functions f:{0,1,2}^N --> Aut(T_2), where T_2 is a group of automorphism of the binary tree. Finally, we prove that this universal Grigorchuk 2-group is amenable. The proof is an application of the ``Munchhausen trick'' developed by V. Kaimanovich.

研究の動機と目的

• 個々のGrigorchuk 2群すべてへの準同型写像の核の共通部分集合として定義される普遍Grigorchuk 2群を定義し、その性質を研究すること。
• {0,1,2}^N から Aut(T₂) への関数群への写像の集合 {0,1,2}^N における自己同型群 Aut(T₂) 内の普遍Grigorchuk 2群の標準的表現を構成すること。
• この普遍群が、エントロピーに基づくアメニタリティ基準の適用を可能にするネスト構造を有することを確立すること。
• Münchhausenのトリックとランダムウォークのエントロピーの減少を用いて、普遍Grigorchuk 2群のアメニタリティを証明すること。

提案手法

• 自由群 F₄ を、個々の G_ω 群へのすべての準同型の核の共通部分集合で割ることで、普遍Grigorchuk 2群を定義する。
• 群を H^X ⋊ Sym(X) という自己同型群への埋め込みによりネスト構造を構築する。ここで H は {0,1,2}^N から Aut(T₂) への関数群である。
• 商空間 X = {0,1} 上の誘導されたランダムウォークを動的システムとしてモデル化し、行列値マルコフ連鎖によって遷移確率を支配する。
• 反復的にランダムウォークを部分木に誘導することで Münchhausen のトリックを適用し、測度のエントロピーが0に減少することを示す。
• 群の自己同型的性質と、各ステップで係数が少なくとも 2/3 の割合で縮小することを用いて、エントロピーの増加を抑え込む。
• 最終的に、h(μ₀) ≤ lim sup h(μₙ) ≤ lim H(μₙ) = 0 であることを示し、固定点の明示的計算なしにアメニタリティを結論づける。

実験結果

リサーチクエスチョン

• RQ1 普遍Grigorchuk 2群は、個々の G_ω 群へのすべての準同型の核の共通部分集合として定義されるが、アメニタリであるか？
• RQ2 普遍Grigorchuk 2群は、2分木への自己同型的作用をもつネスト構造として表現可能か？
• RQ3 反復的誘導の下で、普遍Grigorchuk 2群上のランダムウォークのエントロピーは0に減少するか？ その場合、アメニタリティが示唆されるか？
• RQ4 固定点のエントロピー方程式の明示的計算なしに、Münchhausenのトリックを用いてアメニタリティを証明できるか？

主な発見

• 普遍Grigorchuk 2群は、反復的誘導の下でランダムウォークのエントロピーが0に減少することにより、アメニタリであることが示された。
• 群は、{0,1,2}^N 上の関数群と Sym({0,1}) のワルフィング積内のネスト構造を有しており、ランダムウォークの再帰的解析を可能にする。
• 左部分木における誘導されたランダムウォークは、測度の係数が1ステップあたり少なくとも 2/3 の割合で縮小する測度を生成し、エントロピーの減少を保証する。
• 初期測度 μ₀ のエントロピーは h(μ₀) ≤ lim sup h(μₙ) ≤ lim H(μₙ) = 0 を満たし、固定点の明示的計算なしにアメニタリティが証明される。
• 群の自己同型的性質と誘導された測度の構造により、係数の減少に基づく明確なエントロピーの議論が可能になる。
• この結果は、指数的成長より小さい群の極限として定義される普遍Grigorchuk 2群が、その再帰的構造を通じてアメニタリティを継承することを確認する。