[论文解读] Unique Cartan decomposition for II_1 factors arising from arbitrary actions of hyperbolic groups

Sorin Popa, Stefaan Vaes|arXiv (Cornell University)|Jan 12, 2012

Advanced Operator Algebra Research参考文献 52被引用 15

一句话总结

该论文证明，对于任意非初等双曲群或在秩一单李群中的格的自由遍历概率测度保持作用，其关联的群测度空间II₁因子具有唯一的Cartan子代数——即阿贝尔代数L∞(X)——在酉共轭意义下唯一。证明结合了由弱殆群性导出的相对弱紧致性与双精确性，以排除其他Cartan子代数的存在，将先前关于C-刚性结果的适用范围扩展至更广泛的非阿贝尔群类。

ABSTRACT

We prove that for any free ergodic probability measure preserving action $Γ\actson (X,μ)$ of a non-elementary hyperbolic group, or a lattice in a rank one simple Lie group, the associated group measure space II_1 factor $L^\infty(X) times Γ$ has L^\infty(X) as its unique Cartan subalgebra, up to unitary conjugacy.

研究动机与目标

• 建立任意非阿贝尔群的自由遍历pmp作用所生成的II₁因子中Cartan子代数的唯一性。
• 将C-刚性结果从具有合适1-余胞的弱殆群类扩展至更广泛的双精确、弱殆群类。
• 证明非初等双曲群及秩一格的群测度空间因子在酉共轭意义下具有唯一的Cartan子代数。
• 统一并推广先前关于轨道等价性与II₁因子中Cartan子代数唯一性的结果。

提出的方法

• 利用由群Γ的弱殆性导出的Cartan子代数正规化子的相对弱紧致性。
• 应用Γ的双精确性构造一种可变形形变，灵感来自[Si10]和[BO08]中的技术。
• 采用适用于Cartan子代数及其在交叉积代数中正规化子的相对弱紧致性版本。
• 利用L¹(G)中几乎不变序列的存在性，通过不变均值推导出某些子群的阿贝尔性。
• 应用Zimmer的阿贝尔作用概念以及群边界上不变均值的存在性，推导出结构约束。
• 结合相对弱紧致性与双精确性，证明任何Cartan子代数必须酉共轭于L∞(X)，若不然则导致非阿贝尔性矛盾。

实验结果

研究问题

• RQ1 非初等双曲群Γ的自由遍历pmp作用所关联的群测度空间II₁因子是否具有唯一的Cartan子代数？
• RQ2 C-刚性性质是否可扩展至弱殆且双精确的群，而无需要求其具有取值于非阿贝尔表示的合适1-余胞？
• RQ3 双精确性与弱殆性共同作用时，是否足以推出交叉积II₁因子中Cartan子代数的唯一性？
• RQ4 此类作用的轨道等价类是否足以确定其关联II₁因子的同构类？

主要发现

• 对于任意非初等双曲群Γ的自由遍历pmp作用，II₁因子L∞(X) ⋊ Γ在酉共轭意义下以L∞(X)为唯一的Cartan子代数。
• 该唯一性结果同样适用于在概率空间上自由且遍历作用的秩一单李群中的格。
• 证明表明，此类交叉积中任何Cartan子代数必须酉共轭于L∞(X)，其关键在于：若不共轭，则其正规化子生成的代数为阿贝尔代数。
• 双精确性与弱殆性共同蕴含C-刚性，扩展了先前需依赖取值于非阿贝尔表示的合适1-余胞结果。
• 该结果意味着此类作用的轨道等价性蕴含共轭性，从而也蕴含群同构性，适用于非初等双曲群乘积类群的作用。