[论文解读] Measure conjugacy invariants for actions of countable sofic groups

Lewis Bowen|ArXiv.org|Apr 22, 2008

Advanced Operator Algebra Research参考文献 21被引用 4

一句话总结

本文引入了可数非阿贝尔群作用的测度共轭不变量族，推广了柯尔莫哥洛夫-西奈熵。证明了对于非阿贝尔群，伯努利位移在测度共轭下完全由其基空间的熵分类，将奥恩斯坦同构定理推广至非阿贝尔群（如自由群和线性群）。

ABSTRACT

Sofic groups were defined implicitly by Gromov in [Gr99] and explicitly by Weiss in [We00]. All residually finite groups (and hence every linear group) is sofic. The purpose of this paper is to introduce, for every countable sofic group $G$, a family of measure-conjugacy invariants for measure-preserving $G$-actions on probability spaces. These invariants generalize Kolmogorov-Sinai entropy for actions of amenable groups. They are computed exactly for Bernoulli shifts over $G$, leading to a complete classification of Bernoulli systems up to measure-conjugacy for many groups including all countable linear groups. Recent rigidity results of Y. Kida and S. Popa are utilized to classify Bernoulli shifts over mapping class groups and property T groups up to orbit equivalence and von Neumann equivalence respectively.

研究动机与目标

• 通过为可数非阿贝尔群引入测度共轭不变量，将伯努利位移的分类从阿贝尔群推广至非阿贝尔群。
• 将柯尔莫哥洛夫-西奈熵推广至非阿贝尔非阿贝尔群，为测度共轭提供完全不变量。
• 解决非阿贝尔群上伯努利位移的同构问题，包括自由群和线性群。
• 证明两个非阿贝尔群上的伯努利位移测度共轭当且仅当其基空间熵相等。
• 证明非交换自由群上无限熵伯努利位移不具有有限熵生成划分。

提出的方法

• 将非阿贝尔近似熵 $ h(\Sigma, G, X, \mu) $ 定义为使用非阿贝尔近似 $ \Sigma $ 的有限近似下归一化熵的极限。
• 利用非阿贝尔近似定义有限划分 $ \alpha $ 和有限集 $ F \subset G $ 的相对熵 $ H(\Sigma, \alpha : F, \epsilon) $，通过 $ \epsilon $ 控制误差。
• 建立熵构造的次可加性和单调性性质，以确保收敛性及在测度共轭下的不变性。
• 利用非阿贝尔群的夏农-麦克米伦型定理，证明伯努利位移的非阿贝尔熵等于基空间熵 $ H(\kappa) $。
• 应用因子映射不等式：若 $ (G,X,\mu) $ 映射到 $ (G,Y,\nu) $，则对有限熵生成划分 $ \alpha $，有 $ h(\Sigma, G, Y, \nu) \geq h(\Sigma, G, X, \mu) - H(\alpha) $。
• 利用从有限熵系统到无限熵系统的因子映射的存在性，当假设无限熵伯努利位移存在有限熵生成划分时导出矛盾。

实验结果

研究问题

• RQ1 能否为可数非阿贝尔群作用定义一个完全的测度共轭不变量，推广柯尔莫哥洛夫-西奈熵？
• RQ2 两个非阿贝尔群上的伯努利位移测度共轭当且仅当其基空间熵相等吗？
• RQ3 非交换自由群上的无限熵伯努利位移是否具有有限熵生成划分？
• RQ4 奥恩斯坦同构定理能否推广至非阿贝尔非阿贝尔群（如自由群和线性群）？
• RQ5 在非阿贝尔设定下，熵在因子映射下的行为如何，特别是当熵为无限时？

主要发现

• 对任意可数非阿贝尔群 $ G $，若 $ H(\kappa) < \infty $，则伯努利位移的非阿贝尔近似熵 $ h(\Sigma, G, K^G, \kappa^G) $ 等于基空间 $ (K, \kappa) $ 的熵 $ H(\kappa) $。
• 若 $ H(\kappa) = \infty $，则伯努利位移 $ (G, K^G, \kappa^G) $ 不具有任何有限熵生成划分。
• 对任意包含非交换自由群的非阿贝尔群 $ G $，其上的无限熵伯努利位移无法通过有限熵划分有限生成。
• 非阿贝尔熵构造在测度共轭下不变，因此是有效的测度共轭不变量。
• 因子映射不等式 $ h(\Sigma, G, Y, \nu) \geq h(\Sigma, G, X, \mu) - H(\alpha) $ 对具有有限熵生成划分的系统成立。
• 基于基空间熵的非阿贝尔群上伯努利位移的分类，通过基空间熵推广至所有可数线性群和映射类群，依据基达和波帕的近期刚性结果。