[論文レビュー] Groupes pleins-topologiques [d'après Matui, Juschenko, Monod...]

Yves Cornulier|arXiv (Cornell University)|Feb 21, 2020

Homotopy and Cohomology in Algebraic Topology被引用数 10

ひとこと要約

この論文は、最小的カントール力学系の位相的フル群を通じて、無限、有限生成、単純、アメーブルな群の構成を調査する。系が位相的ソフィックシフトであるとき、最小的カントール自己同型の位相的フル群の導来部分群が単純かつ有限生成であることが示され、最近のジュシュケンコとモノドの結果によりそのアメーブル性が証明される。

ABSTRACT

This is the written version of the Bourbaki seminar given in January 2013 and published in 2014 (modulo an additional early reference added subsequently). It describes the first construction of infinite, finitely generated amenable simple groups. It starts with a general study of topological-full groups, along with indications on the first appearances of such groups. Then the theorem is proved, namely that the derived subgroup of the topological-full group of an infinite minimal subshift is both simple and finitely generated (Matui 2006) and amenable (Juschenko-Monod 2013, after being conjectured by Grigorchuk-Medynets). Some other properties of these groups are discussed. None of the numerous subsequent developments since 2013 are mentioned.

研究の動機と目的

• 最小的カントール力学系の位相的フル群を用いた、無限、有限生成、単純、アメーブルな群の構成を提示・分析すること。
• 位相的フル群がカントール最小系の分類における群の同型不変量として果たす役割を明確化すること。
• このような群の導来部分群が、有限生成単純群の新しい例の源としての意義を強調すること。
• これらの群のアメーブル性を、C*-代数やランダムウォークを含む、より広範な力学的および作用素代数的枠組みと結びつけること。
• マトゥイ、ジュシュケンコ、モノド、および他の研究者の結果を統合し、位相的フル群の構造と性質を体系化すること。

提案手法

• カントール空間上の最小的ホメオモルフィズム $\varphi$ の位相的フル群 $[\![\varphi]\!]$ を、$\varphi$ のあるべき乗に局所的に等しいホメオモルフィズムの群として定義する。
• 系が位相的ソフィックシフト（例：カントール集合上の無理数回転）であるとき、$[\![\varphi]\!]'$ が単純かつ有限生成であるという定理を適用する。
• ジュシュケンコとモノド（2012）の結果を用いて、$[\![\varphi]\!]$ のアメーブル性、そしてしたがってその導来部分群のアメーブル性を確立する。
• ギオルダーノ、パットナム、スコウの結果を活用し、$[\![\varphi]\!]$ の同型類が、ホメオモルフィズム群内での $\{\varphi, \varphi^{-1}\}$ の共役類を分類することを示す。
• パットナムとクリエッジが開発したC*-代数およびヴェルシクの測度論的構成との関係を活用し、群を作用素代数的観点から解釈する。
• アメーブル性の動的および確率的特徴づけ（例：ほとんど不変集合、不変測度、ランダムウォーク）を応用し、群のアメーブル性を確認する。

実験結果

リサーチクエスチョン

• RQ1 最小的カントールホメオモルフィズムの位相的フル群は、どのような構造的性質（有限性、単純性、アメーブル性）を有するか？
• RQ2 位相的フル群の導来部分群が有限生成であるのはどのような条件下か？
• RQ3 位相的フル群の同型類は、もとのホメオモルフィズムの共役類とどのように関係するか？
• RQ4 群の代数的構造に依存せずに、位相的フル群のアメーブル性を独立に確立できるか？
• RQ5 位相的フル群は、カントール最小系の分類において果たす役割は何か？

主な発見

• 最小的カントールホメオモルフィズム $\varphi$ の位相的フル群の導来部分群 $[\![\varphi]\!]'$ は単純である。
• 系 $\varphi$ が位相的ソフィックシフト（例：カントール集合上の無理数回転）であるとき、$[\![\varphi]\!]'$ は有限生成である。
• ジュシュケンコとモノド（2012）の結果により、位相的フル群 $[\![\varphi]\!]$ はアメーブルであり、したがってその導来部分群に対してもアメーブルである。
• $[\![\varphi]\!]$ の同型類は、カントール空間のホメオモルフィズム群内での $\{\varphi, \varphi^{-1}\}$ の共役類を分類する。
• 最小的で共役でないホメオモルフィズム $\varphi$ に対して、$[\![\varphi]\!]'$ として得られる、非同型で有限生成、単純、アメーブルな群が連続的無限個存在する。
• この構成により、中間成長のグリゴリッチ群を超えて、非可解的アメーブルでない有限生成単純アメーブル群の新しい例が得られる。