[论文解读] Groupes pleins-topologiques [d'après Matui, Juschenko, Monod...]

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

Homotopy and Cohomology in Algebraic Topology被引用 10

一句话总结

本文综述了通过极小康托动力系统的拓扑全群构造无限、有限生成、单群及平展群的方法。当系统为拓扑Sofic移位时，证明了极小康托自同构的拓扑全群的换位子群是单群且有限生成，并通过Juschenko与Monod的近期结果证明其平展性。

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*-代数与随机游动。
• 统一并系统化Matui、Juschenko、Monod及其他学者关于拓扑全群结构与性质的研究成果。

提出的方法

• 将康托空间上极小同胚 $\varphi$ 的拓扑全群 $[\![\varphi]\!]$ 定义为局部等于 $\varphi$ 的某次幂的同胚群。
• 应用定理：当 $\varphi$ 为拓扑Sofic移位（例如康托集上的无理旋转）时，$[\![\varphi]\!]'$ 是单群且有限生成。
• 利用Juschenko与Monod（2012）的结果，确立 $[\![\varphi]\!]$ 的平展性，从而其换位子群亦为平展群。
• 借助Giordano、Putnam与Skau的同构不变量结果，表明 $[\![\varphi]\!]$ 的同构类可分类康托空间同胚群中 $\{\varphi, \varphi^{-1}\}$ 的共轭类。
• 利用与C^*-代数及Vershik的可测构造之间的联系，由Putnam与Krieger发展，从算子代数角度解释该群。
• 应用动力系统与概率论中平展性的刻画（例如几乎不变集、不变测度、随机游动）以确认该群的平展性。

实验结果

研究问题

• RQ1 极小康托同胚的拓扑全群具有哪些结构性质（有限性、单性、平展性）？
• RQ2 在何种条件下，拓扑全群的换位子群是有限生成的？
• RQ3 拓扑全群的同构类与底层同胚的共轭类之间有何关系？
• RQ4 能否独立于其代数结构建立拓扑全群的平展性？
• RQ5 拓扑全群在康托极小系统的分类中扮演何种角色？

主要发现

• 极小康托同胚 $\varphi$ 的拓扑全群的换位子群 $[\![\varphi]\!]'$ 是单群。
• 当 $\varphi$ 为拓扑Sofic移位（例如康托集上的无理旋转）时，$[\![\varphi]\!]'$ 是有限生成的。
• 拓扑全群 $[\![\varphi]\!]$ 是平展群，由Juschenko与Monod（2012）确立，因此其换位子群亦为平展群。
• $[\![\varphi]\!]$ 的同构类可分类康托空间同胚群中 $\{\varphi, \varphi^{-1}\}$ 的共轭类。
• 存在不可数无穷多个非同构的、有限生成的、单群且平展的群，作为极小但不共轭的同胚 $\varphi$ 的 $[\![\varphi]\!]'$。
• 该构造提供了一类新的有限生成、单群且平展的群的例子，其非初等平展，超越了Grigorchuk的中等增长群。