[论文解读] Relative Property (T) for the Subequivalence Relations Induced by the Action of SL$_2(\Bbb Z)$ on $\Bbb T^2$

Adrian Ioana|ArXiv.org|Jan 13, 2009

Advanced Operator Algebra Research参考文献 19被引用 6

一句话总结

本文建立了 SL₂(ℤ) 在 2-环面 𝕋² 上作用的遍历子等价关系的二分法：每种此类关系要么是超有限的，要么是刚性的。通过遍历理论与冯诺依曼代数技术，作者证明了非超有限的子等价关系会从群作用中继承刚性，从而首次给出了不具有群论起源的刚性示例，解决了波帕与加比欧之间长期悬而未决的问题。

ABSTRACT

Let $\Cal S$ be the equivalence relation induced by the action SL$_2(\Bbb Z)\curvearrowright (\Bbb T^2,λ^2)$, where $λ^2$ denotes the Haar measure on the 2-torus, $\Bbb T^2$. We prove that any ergodic subequivalence relation $\Cal R$ of $\Cal S$ is either hyperfinite or rigid in the sense of S. Popa ([Po06]). The proof uses an ergodic-theoretic criterion for rigidity of countable, ergodic, probability measure preserving equivalence relations. Moreover, we give a purely ergodic-theoretic formulation of rigidity for free, ergodic, probability measure preserving actions of countable groups.

研究动机与目标

• 为长期悬而未决的问题提供解答：SL₂(ℤ) 在 𝕋² 上作用的非超有限遍历子等价关系是否全部为刚性。
• 建立一类新的刚性等价关系，其来源并非群对的相对 (T) 性质。
• 为 SL₂(ℤ) 在 2-环面上的作用的子等价关系提供结构性二分法。
• 表明等价关系中的刚性可源于动力学与测度论性质，而非群论刚性。

提出的方法

• 利用等价关系刚性与冯诺依曼代数上希尔伯特双模中非零中心向量存在的等价性。
• 将有限冯诺依曼代数包含关系的相对 (T) 性质概念应用于子等价关系的分析。
• 运用遍历理论，通过反证法证明：若非超有限子等价关系不具刚性，则必为超有限。
• 借助奥扎瓦等人关于强遍历性与超有限性的结果，约束子等价关系的结构。
• 利用 SL₂(ℤ) 在 𝕡¹(ℝ) 上博雷尔概率测度空间上的作用，构造一个超有限的极限作用。
• 应用康奈斯-费尔德曼-韦克斯定理，当某测度的稳定子为阿贝尔群时，可推出超有限性。

实验结果

研究问题

• RQ1 SL₂(ℤ) 在 𝕋² 上作用的每个非超有限遍历子等价关系是否都是刚性的？
• RQ2 等价关系中的刚性是否可能不依赖于群论起源，例如群对的相对 (T) 性质？
• RQ3 若子等价关系不具超有限性，是否意味着其在冯诺依曼代数意义下为刚性？
• RQ4 SL₂(ℤ) 在 𝕋² 上作用的所有遍历子等价关系中，是否存在一种结构性二分法——即要么超有限，要么刚性？
• RQ5 刚性是否蕴含强遍历性？这一性质能否用于重新证明奥扎瓦的结果？

主要发现

• SL₂(ℤ) 在 𝕋² 上作用的每个遍历子等价关系，要么是超有限的，要么是刚性的，从而确立了完整的二分法。
• 本文首次构造出不源于群对相对 (T) 性质的等价关系刚性示例。
• 任何非超有限子等价关系的代价大于 1，这表明其非超有限性。
• SL₂(ℤ) 在 𝕡¹(ℝ) 上博雷尔概率测度空间上的作用诱导出一个超有限等价关系。
• 若子等价关系非超有限，则其为强遍历的，如奥扎瓦所证明，且该结果与刚性结论一致。
• 在 𝕡¹(ℝ) 上博雷尔概率测度空间中，典型测度的稳定子为阿贝尔群，这表明其关联作用为超有限。