[论文解读] HNN extensions and unique group measure space decomposition of II_1 factors

Pierre Fima, Stefaan Vaes|arXiv (Cornell University)|May 27, 2010

Advanced Operator Algebra Research参考文献 17被引用 5

一句话总结

该论文在满足相对性质(T)或存在两个可交换非阿从群的条件下，证明了由具有相对性质(T)的群或具有两个可交换非阿从子群的群所构造的HNN扩张的II₁因子中，群测度空间Cartan子代数的唯一性。此外，论文进一步证明了此类HNN扩张的广义伯努利和高斯作用的稳定W*-超刚性，表明冯诺依曼代数能完全恢复群作用的共轭类与标量余上链。

ABSTRACT

We prove that for a fairly large family of HNN extensions Γ, the group measure space II_1 factor L^\infty(X) times Γgiven by an arbitrary free ergodic probability measure preserving action of Γ, has a unique group measure space Cartan subalgebra up to unitary conjugacy. We deduce from this new examples of W^*-superrigid group actions, i.e. where the II_1 factor L^\infty(X) times Γentirely remembers the group action that it was constructed from.

研究动机与目标

• 建立与某些刚性群的HNN扩张相关的II₁因子中群测度空间Cartan子代数的唯一性。
• 将W*-超刚性群作用的类从并自由积扩展到包含HNN扩张的类。
• 通过变形/刚性技术，为检测交叉积冯诺依曼代数中的刚性提供系统性方法。
• 通过群在树上的作用，统一处理HNN扩张与并自由积中Cartan唯一性与W*-超刚性的处理。
• 验证此类HNN扩张上的可测1-余上链与群同态共轭，从而实现超刚性结果。

提出的方法

• 将[PV09]中的变形/刚性策略适配到HNN扩张，利用迹冯诺依曼代数中的长度变形与拉伸技术。
• 使用迹冯诺依曼代数的HNN扩张来构造并分析群作用在II₁因子上的变形。
• 在基群H中存在相对性质(T)或可交换非阿从子群的条件下，应用Cartan子代数的唯一性。
• 利用∩g_iΣg_i⁻¹为有限集的条件，确保作用中足够的刚性与谱间隙的控制。
• 利用[Po05, Po06a]证明H上的1-余上链与群同态共轭，并通过稳定生成元将结果推广到完整的HNN群。
• 应用[PV09, 引理6.5]，由Cartan唯一性与1-余上链的消失性推导出稳定W*-超刚性。

实验结果

研究问题

• RQ1 在何种条件下，HNN扩张Γ = HNN(H,Σ,θ)的II₁因子L∞(X)⋊Γ具有唯一群测度空间Cartan子代数（至多单位共轭）？
• RQ2 具有相对性质(T)或两个可交换非阿从子群的HNN扩张是否能产生W*-超刚性作用？
• RQ3 交集∩g_iΣg_i⁻¹的有限性是否足以确保HNN扩张中Cartan唯一性的充分刚性？
• RQ4 HNN扩张在多大程度上通过变形/刚性技术继承其基群的超刚性性质？
• RQ5 此类HNN扩张的广义伯努利与高斯作用是否具有稳定W*-超刚性？

主要发现

• 对于满足H包含具有相对性质(T)的非阿从子群，或具有两个可交换非阿从子群，且∩g_iΣg_i⁻¹为有限集的HNN扩张Γ = HNN(H,Σ,θ)，II₁因子L∞(X)⋊Γ具有唯一群测度空间Cartan子代数（至多单位共轭）。
• 该Cartan子代数的唯一性对所有此类HNN扩张的自由遍历保测p.m.p.作用均成立，与具体作用无关。
• 当H₀与Σ的稳定子在指标集上作用无限，且H₀具有相对性质(T)时，Γ的广义伯努利作用具有稳定W*-超刚性。
• 当正交表示在H₀与Σ上的限制无非零有限维子表示时，高斯作用也具有稳定W*-超刚性。
• 当H中存在可交换非阿从子群H₀与H₁，且H₀正规时，若对所有i有H₁ ∩ Stab(i)为阿从群，则广义伯努利作用具有稳定W*-超刚性。
• 通过归约到基群H并利用稳定生成元的作用，将HNN群上可测1-余上链的消失性（模同调）建立起来，从而实现全局结果。