[论文解读] Stable orbit equivalence of Bernoulli actions of free groups and isomorphism of some of their factor actions

Niels Meesschaert, Sven Raum+1 more|arXiv (Cornell University)|Jul 7, 2011

Advanced Operator Algebra Research参考文献 22被引用 16

一句话总结

本文为自由群的伯努利作用的刘易斯·鲍文稳定轨道等价定理提供了初等证明，表明任意两个自由群的伯努利作用在压缩常数 $(n-1)/(m-1)$ 下是稳定轨道等价的。此外，本文还证明，对于无限可约群的自由积 $Γ = Λ_1 * Λ_2 * ··· * Λ_n$，其因子作用 $Γ \curvearrowright K^\u0393 / K$ 同构于一个伯努利作用，从而对该类群的猜想作出了否定性回答。

ABSTRACT

We give an elementary proof for Lewis Bowen's theorem saying that two Bernoulli actions of two free groups, each having arbitrary base probability spaces, are stably orbit equivalent. Our methods also show that for all compact groups K and every free product \\Gamma of n infinite amenable groups, the factor K^{\\Gamma}/K of the Bernoulli action of \\Gamma on K^{\\Gamma} by the diagonal action of K, is isomorphic with a Bernoulli action of \\Gamma.

研究动机与目标

• 为自由群的伯努利作用的刘易斯·鲍文稳定轨道等价定理提供一个初等且自包含的证明。
• 证明对于无限可约群的自由积 $\Gamma$，因子作用 $\Gamma \curvearrowright K^\Gamma / K$ 同构于 $\Gamma$ 的一个伯努利作用，从而否定关于非同构 $K$ 的此类作用非轨道等价的推测。
• 阐明伯努利型作用的因子作用同构于伯努利作用的条件，从而推进群作用在同构与轨道等价意义下的分类研究。

提出的方法

• 构造 $\mathbb{F}_n$ 和 $\mathbb{F}_m$ 在同一空间上的作用，使得它们的轨道重合，并满足伯努利作用的抽象刻画，避免显式构造稳定轨道等价映射。
• 基于自由群中长度有界的元素上索引的随机变量的独立性，采用组合与概率论证。
• 将引理 4 应用于一族精心选择的映射 $\omega_{i,\varepsilon,g}$，定义在 $K^{\mathcal{I}_k} \times K^{\mathcal{I}_{k+1} \setminus \mathcal{I}_k}$ 上，以证明某些坐标差是独立的，并生成模零测集的完整 $\sigma$-代数。
• 利用可约群自由积的结构，通过词长归纳法和独立性性质，将同构结果从 $\mathbb{F}_n$ 推广到一般 $\Gamma = \Lambda_1 * \cdots * \Lambda_n$。
• 利用关于紧致群本质自由作用的 folklore 引理，构造一个 Borel 同胚 $\theta: G \times Y_0 \to X_0$，满足等变性与测度保持性，从而将因子空间识别为伯努利位移。
• 证明随机变量族 $x \mapsto x_g^{-1} x_{a_i^\varepsilon g}$ 对于长度为 $k$ 的 $g$，$i=1,\dots,n$，$\varepsilon=\pm1$，构成一组独立的随机变量，并生成 $K^{\mathbb{F}_n}/K$ 的完整 $\sigma$-代数（模零测集）。

实验结果

研究问题

• RQ1 两个不同自由群 $\mathbb{F}_n$ 和 $\mathbb{F}_m$ 的伯努利作用是否稳定轨道等价？若是，压缩常数是多少？
• RQ2 对于无限可约群的自由积 $\Gamma = \Lambda_1 * \cdots * \Lambda_n$，因子作用 $\Gamma \curvearrowright K^\Gamma / K$ 是否同构于 $\Gamma$ 的一个伯努利作用？
• RQ3 对于 $\Gamma = \mathbb{F}_n$，关于 $K$ 非同构时作用 $\Gamma \curvearrowright K^\Gamma / K$ 非轨道等价的猜想是否成立？
• RQ4 能否不通过显式公式构造，而仅通过结构与独立性论证来证明自由群伯努利作用之间的稳定轨道等价性？
• RQ5 哪些可数群 $\Gamma$ 满足对所有紧致第二可数群 $K$，都有 $\Gamma \curvearrowright K^\Gamma / K$ 同构于一个伯努利作用？

主要发现

• 本文为鲍文的稳定轨道等价定理提供了新的初等证明，表明 $\mathbb{F}_n$ 与 $\mathbb{F}_m$ 的伯努利作用在压缩常数 $(n-1)/(m-1)$ 下是稳定轨道等价的。
• 对于任意无限可约群的自由积 $\Gamma = \Lambda_1 * \cdots * \Lambda_n$，对每个紧致第二可数群 $K$，因子作用 $\Gamma \curvearrowright K^\Gamma / K$ 同构于 $\Gamma$ 的一个伯努利作用，从而否定了关于非轨道等价性的推测。
• 随机变量族 $x \mapsto x_g^{-1} x_{a_i^\varepsilon g}$ 对于长度为 $k$ 的 $g$ 以及 $i=1,\dots,n$，$\varepsilon=\pm1$，构成一组独立的随机变量，并生成 $K^{\mathbb{F}_n}/K$ 的完整 $\sigma$-代数（模零测集）。
• 该证明表明，即使 $\Gamma$ 是无限可约群的自由积，作用 $\Gamma \curvearrowright K^\Gamma / K$ 仍同构于一个伯努利作用，将此前针对 $\Gamma = \mathbb{F}_2$ 和 $K = \mathbb{Z}/2\mathbb{Z}$ 的结果推广至更广情形。
• $\Gamma$ 满足 $\Gamma \curvearrowright K^\Gamma / K$ 同构于伯努利作用的群类 $\mathcal{G}$ 关于自由积封闭，且包含所有无限可约群。
• 该结果表明 $\mathcal{G}$ 不包含具有无限正规子群且具有相对 (T) 性质的群，也不包含无限群与非可约群的直积群，凸显了刚性与灵活性之间的鲜明对比。