[论文解读] A class of groups for which every action is W*-superrigid

Cyril Houdayer, Sorin Popa+1 more|arXiv (Cornell University)|Oct 25, 2010

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

一句话总结

本文建立了某些楔形自由积群的 W*-超刚性，特别是当 Γ = SL(3,ℤ)*ΣSL(3,ℤ)，其中 Σ 为固定第三行的子群时，其自由遍历保测度作用具有 W*-超刚性。本文证明了当 Γ 拥有一个具有相对 (T) 性质的无限子群，且 Σ 允许具有 Haagerup 商的正规塔时，交叉积 A⋊Γ 中的群测度空间 Cartan 子代数具有唯一性。关键结果是此类作用的稳定 W*-超刚性，将先前仅限于阿贝尔情形的结果推广至非阿贝尔情形。

ABSTRACT

We prove the uniqueness of the group measure space Cartan subalgebra in crossed products A times Γcovering certain cases where Γis an amalgamated free product over a non-amenable subgroup. In combination with Kida's work we deduce that if Σ< SL(3,\Z) denotes the subgroup of matrices g with g_31 = g_32 = 0, then any free ergodic probability measure preserving action of Γ= SL(3,\Z) *_ΣSL(3,\Z) is stably W*-superrigid. In the second part we settle a technical issue about the unitary conjugacy of group measure space Cartan subalgebras.

研究动机与目标

• 将 W*-超刚性适用于所有自由遍历保测度作用的群类，推广至阿贝尔情形之外。
• 在楔形自由积 Γ = Γ₁*ΣΓ₂ 且 Σ 非阿贝尔时，建立交叉积 A⋊Γ 中群测度空间 Cartan 子代数的唯一性。
• 通过详细证明单位化共轭性在 Cartan 子代数嵌入 A⋊Σ 且 Σ < Γ 足够非正规时成立，填补 [PV09] 中的技术空白。
• 将 W*-超刚性推广至无需对 Σ 的有限指数子群施加遍历性假设的情形。
• 证明在 II₁ 因子 A⋊Γ 中，若 Cartan 子代数 B 嵌入 A⋊Σ，且 Σ 为足够非正规的子群，则 B 与 A 单位化共轭。

提出的方法

• 使用新的刚性传递引理（引理 4），将 Cartan 子代数的唯一性推广至非阿贝尔楔形子群 Σ。
• 应用 Kida 的轨道等价超刚性定理 [Ki09, 定理 9.11]，推导出当 Γ = SL(3,ℤ)*ΣSL(3,ℤ) 且 Σ 为第三行稳定子群时的 W*-超刚性。
• 利用存在正规塔 {e} = Σ₀ ⊲ Σ₁ ⊲ ⋯ ⊲ Σₙ = Σ 且商群具有 Haagerup 性质的结构，控制 Σ 的整体结构。
• 使用双模交错技术 (A ≺ₘ B) 分析 Cartan 子代数及其在相对交换子中的投影的相对位置。
• 证明若拟正规子代数 B 满足 B ≺ₘ A⋊Σ，则在 M 为因子时，相对交换子中的投影 z(Σ) 必须为 1。
• 利用 HNN 扩张与楔形自由积结构，证明 z(Σ) 与所有群元素可交换，因此位于 M 的中心。

实验结果

研究问题

• RQ1 当 Σ 非阿贝尔时，是否可对楔形自由积 Γ = Γ₁*ΣΓ₂ 建立群测度空间 Cartan 子代数的唯一性？
• RQ2 若 Γ 中存在具有相对 (T) 性质的子群，是否可保证 Γ 的所有自由遍历保测度作用均具有 W*-超刚性？
• RQ3 是否可利用嵌入与投影技术，完全填补 [PV09] 中关于 Cartan 子代数单位化共轭性的技术空白？
• RQ4 在不假设 Σ 的有限指数子群遍历的条件下，Γ = SL(3,ℤ)*ΣSL(3,ℤ) 的作用是否仍具有 W*-超刚性？
• RQ5 在何种条件下，若 Cartan 子代数 B 嵌入 A⋊Σ，则可推出 B 在 A⋊Γ 中与 A 单位化共轭？

主要发现

• 本文证明，当 Γ = Γ₁*ΣΓ₂ 且 Σ 允许具有 Haagerup 商的正规塔，且 Γ 拥有一个具有相对 (T) 性质的无限子群时，A⋊Γ 中的群测度空间 Cartan 子代数在单位化共轭意义下唯一。
• 当 Γ = SL(3,ℤ)*ΣSL(3,ℤ)，其中 Σ 为固定第三行的子群（即 g₃₁ = g₃₂ = 0）时，其所有自由遍历保测度作用均为稳定 W*-超刚性。
• 该结果无需假设 Σ 的有限指数子群作用遍历，与早期结果不同。
• 本文证明，若 Cartan 子代数 B ⊂ pMp 满足 B ≺ₘ A⋊Σ，且 Σ < Γ 为足够非正规的子群，则在 M 的中心中必有 z(Σ) = 1，从而推出 B 与 A 单位化共轭。
• 对于楔形自由积与 HNN 扩张，均证明了与子群 Σ 关联的投影 z(Σ) 位于 M 的中心，这对共轭结果至关重要。
• 通过证明 z(Σ) = 1 蕴含对所有 g₁,…,gₙ ∈ Γ 有 z(g₁Σg₁⁻¹ ∩ ⋯ ∩ gₙΣgₙ⁻¹) = 1，完成单位化共轭性的证明，确保了强相对刚性。