[论文解读] Isomorphism invariants for actions of sofic groups

Lewis Bowen|arXiv (Cornell University)|Apr 22, 2008

Mathematical Dynamics and Fractals参考文献 15被引用 3

一句话总结

本文引入了一类保测度的可数群在概率空间上的作用的同构不变量，当群为sofic群时，对Bernoulli系统实现了精确计算。对于此类群——包括所有有限生成线性群——该研究实现了Bernoulli系统的完全分类，进一步结合Popa的刚性结果，对系统实现了冯诺依曼等价与轨道等价的分类。

ABSTRACT

For every countable group G, a family of isomorphism invariants for measure-preserving G-actions on probability spaces is defined. In the special case in which G is a countable sofic group, a special class of these invariants are computed exactly for Bernoulli systems over G. This leads to a complete classification of Bernoulli systems for many countable groups including all finitely generated linear groups. These results are combined with recent rigidity results of S. Popa to obtain classification results for Bernoulli shifts over special classes of groups G up to von Neumann equivalence and/or orbit equivalence.

研究动机与目标

• 定义可数群在概率空间上保测度作用的一类同构不变量。
• 在作用群为sofic群的情况下，精确计算这些不变量，特别是针对Bernoulli系统。
• 对sofic群上的Bernoulli系统实现完全分类，包括所有有限生成线性群。
• 将不变量与Popa的刚性定理结合，对系统实现冯诺依曼等价与轨道等价的分类。

提出的方法

• 本文利用群G的sofic逼近结构构造同构不变量。
• 将这些不变量具体应用于sofic群上的Bernoulli系统，利用其代数与测度论性质。
• 通过利用sofic群的组合与熵理论特征，精确计算这些不变量。
• 借助Popa关于余循环与轨道等价的最新刚性结果，扩展分类结果。
• 该方法依赖于sofic熵与来自群作用模型论逼近的不变量之间的相互作用。

实验结果

研究问题

• RQ1 sofic群上Bernoulli系统的完整同构不变量集合是什么？
• RQ2 这些不变量如何实现对Bernoulli系统在轨道等价与冯诺依曼等价下的分类？
• RQ3 哪些可数群可通过这些不变量实现其Bernoulli系统的完全分类？
• RQ4 Popa的刚性定理与新不变量之间的相互作用在多大程度上能产生更强的分类结果？

主要发现

• 本文对所有有限生成线性群（均为sofic群）上的Bernoulli系统实现了完全分类。
• 对于sofic群，这些不变量可实现精确计算，从而对Bernoulli移位实现完整的同构分类。
• 结合Popa的刚性定理，这些不变量能够区分轨道等价与冯诺依曼等价下的Bernoulli系统。
• 该分类不依赖于熵本身，展示了新不变量在非阿贝尔情形下的强大能力。