[论文解读] Orbit inequivalent actions for groups containing a copy of $\Bbb F_2$

Adrian Ioana|ArXiv.org|Dec 31, 2006

Advanced Operator Algebra Research被引用 7

一句话总结

本文证明了，任何包含自由群 $$\mathbb{F}_2$$ 的可数离散群，均存在不可数多个非轨道等价的自由、遍历、保测度作用。通过结合可分性论证与由相对 (T) 性质所诱导的 $$\mathbb{F}_2$$-作用在 $$\mathbb{T}^2$$ 上的刚性，作者表明：此类作用之间的轨道等价意味着其在 $$\mathbb{F}_2$$ 上的限制是共轭的，而这一情况被通过共诱导作用构造出不可数多个非共轭限制而排除。

ABSTRACT

We prove that if a countable group $Γ$ contains a copy of $\Bbb F_2$, then it admits uncountably many non orbit equivalent actions.

研究动机与目标

• 解决如下问题：是否每个包含 $$\mathbb{F}_2$$ 的非阿美能群均存在不可数多个非轨道等价的作用？
• 将已知的非阿美能群类（超出 (T) 性质、自由群与映射类群）中存在不可数多个非轨道等价作用的范围进一步扩展。
• 确立测度等价性保持“存在不可数多个非轨道等价作用”这一性质。
• 展示 $$\mathbb{F}_2$$-作用在 $$\mathbb{T}^2$$ 上的刚性可通过可分性论证被用于区分轨道等价类。

提出的方法

• 定义一类 $$\mathcal{F}$$ 的 $$\Gamma$$-作用，其在 $$\mathbb{F}_2$$ 上的限制可将 $$\mathbb{F}_2$$-作用在 $$\mathbb{T}^2$$ 上作为商。
• 利用对 $$(\mathbb{F}_2\ltimes\mathbb{Z}^2, \mathbb{Z}^2)$$ 的相对 (T) 性质，建立 $$\alpha$$-作用在 $$\mathbb{T}^2$$ 上的刚性，从而表明：对某些向量而言，近似 $$\mathbb{F}_2$$-不变性蕴含精确不变性。
• 应用受 Popa 和 Gaboriau 启发的可分性论证，表明 $$\mathcal{F}$$ 中两个 $$\Gamma$$-作用的轨道等价意味着其在 $$\mathbb{F}_2$$ 上的限制共轭。
• 利用共诱导构造，构造出不可数多个 $$\mathcal{F}$$ 中的作用，其在 $$\mathbb{F}_2$$ 上的限制彼此非共轭。
• 使用冯诺依曼代数技术：将交叉积 $$N = L^\infty(\mathbb{T}^2)\rtimes_\alpha \mathbb{F}_2$$ 嵌入到交叉积 $$M_i = L^\infty(X_i)\rtimes_{\sigma_i} \Gamma$$ 中，并利用包含关系 $$Q \subset N$$ 的刚性，若存在不可数多个同构的 $$M_i$$，则导出矛盾。

实验结果

研究问题

• RQ1 每个包含 $$\mathbb{F}_2$$ 的可数离散群是否都存在不可数多个非轨道等价的自由、遍历、保测度作用？
• RQ2 $$\mathbb{F}_2$$-作用在 $$\mathbb{T}^2$$ 上的刚性是否可被用于通过可分性论证区分 $$\Gamma$$-作用的轨道等价类？
• RQ3 “存在不可数多个非轨道等价作用”这一性质是否在测度等价下保持不变？
• RQ4 共诱导构造在类 $$\mathcal{F}$$ 中能多大程度上生成彼此非共轭的 $$\mathbb{F}_2$$-限制？

主要发现

• 任何包含 $$\mathbb{F}_2$$ 的可数离散群 $$\Gamma$$ 均存在不可数多个非轨道等价的自由、遍历、保测度作用。
• $$\mathbb{F}_2$$-作用在 $$\mathbb{T}^2$$ 上的刚性，源于对 $$(\mathbb{F}_2\ltimes\mathbb{Z}^2, \mathbb{Z}^2)$$ 的相对 (T) 性质，确保对某些向量而言，近似 $$\mathbb{F}_2$$-不变性蕴含精确不变性。
• $$\mathcal{F}$$ 中两个 $$\Gamma$$-作用的轨道等价意味着其在 $$\mathbb{F}_2$$ 上的限制共轭。
• 通过共诱导构造，构造出不可数多个 $$\mathcal{F}$$ 中的作用，其在 $$\mathbb{F}_2$$ 上的限制彼此非共轭。
• 证明表明，若存在不可数多个同构的交叉积 $$M_i = L^\infty(X_i)\rtimes_{\sigma_i}\Gamma$$，则会与包含关系 $$Q \subset N$$ 的刚性矛盾，从而通过在 $$Q$$ 的酉群上使用标准平均技巧导出矛盾。
• 该结果可推广至任意与 $$\Gamma$$ 测度等价的群 $$\Lambda$$，该群同样存在不可数多个非轨道等价作用。