[论文解读] Rigidity results for wreath product II$_1$ factors

Adrian Ioana|ArXiv.org|Jun 22, 2006

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

一句话总结

本文通过一种弱化的波帕(malleability)形式——称为'弱马勒布拉比性'(weak malleability)，建立关于半直积II$_1$因子的刚性结果，以分析相对刚性子代数。它证明了一个二分法：此类子代数要么嵌入到群子代数$L(G)$中，要么嵌入到有限子积$\bigotimes_F B$中，从而得出关于半直积因子之间同构的分类结果，并证明了某些非超有限半直积因子的平凡基本群。

ABSTRACT

We consider II$_1$ factors of the form $M=\bar{\bigotimes}_{G}N times G$, where either i) $N$ is a non-hyperfinite II$_1$ factor and $G$ is an ICC amenable group or ii) $N$ is a weakly rigid II$_1$ factor and $G$ is ICC group and where $G$ acts on $\bar{\bigotimes}_{G}N$ by Bernoulli shifts. We prove that isomorphism of two such factors implies cocycle conjugacy of the corresponding Bernoulli shift actions. In particular, the groups acting are isomorphic. As a consequence, we can distinguish between certain classes of group von Neumann algebras associated to wreath product groups.

研究动机与目标

• 将波帕的变形/刚性框架扩展至任意有限基代数的半直积冯诺依曼代数，而不仅限于阿贝尔或超有限因子。
• 为$B\wr G$中的相对刚性扩散子代数建立一个二分法，表明它们要么嵌入到$L(G)$中，要么嵌入到有限子积$\bigotimes_F B$中。
• 证明半直积因子$N\wr G$与$P\wr H$之间的同构必须保持基子因子$\bigotimes_G N$与$\bigotimes_H P$，至多相差酉共轭。
• 证明若$G$是可约的且$N$是非超有限的，则$N\wr G$具有平凡基本群。
• 利用中心序列与Rokhlin型构造，在可约群情形下建立嵌入结果。

提出的方法

• 引入'弱马勒布拉比性'作为$\overline{\bigotimes}_G [B*L(\mathbb{Z})]$上伯努利作用的一种形变性质，其强度弱于完整马勒布拉比性，但足以支持刚性分析。
• 通过$\mathbb{Z}$上的自同构的张量积，在放大代数$\tilde{M} = M \overline{\otimes} M$上构造一个连续作用$\theta_t$，满足$\theta_1(M\otimes 1) \perp M\otimes 1$。
• 应用波帕的双模间断检测技术，以识别$\overline{\bigotimes}_G B$的角落嵌入到相对刚性子代数中的情况。
• 利用$M^\omega$中的中心序列，分析当$G$可约且$N$非超有限时，$M = N\wr G$的结构。
• 借助康奈斯(Connes)对可乘性的刻画以及Ornstein-Weiss Rokhlin引理，证明$M^\omega$中的中心序列渐近地位于$\bigotimes_G N$中。
• 结合中心序列与正规子代数的结果，证明在适当条件下，$\overline{\bigotimes}_G N$可嵌入到正规子代数$Q$中。

实验结果

研究问题

• RQ1 波帕的相对刚性检测方法能否被扩展至一般半直积II$_1$因子（基代数为任意有限因子）而不仅限于马勒布拉比作用？
• RQ2 在$B\wr G$中，一个相对刚性的扩散子代数$Q$是否要么嵌入到$L(G)$中，要么嵌入到有限子积$\bigotimes_F B$中？
• RQ3 若$\theta: N\wr G \to P\wr H$是半直积因子之间的同构，是否必须满足$\theta$保持基子因子$\bigotimes_G N$与$\bigotimes_H P$，至多相差酉共轭？
• RQ4 当$N$是非超有限的且$G$是可约时，$N\wr G$的基本群是否变为平凡？
• RQ5 当$G$可约时，$M^\omega$中的中心序列能否用于检测$\bigotimes_G N$在$M = N\wr G$中的位置？

主要发现

• 对于任意相对刚性的扩散子代数$Q \subset B\wr G$，要么存在某个酉算子$u$使得$uQu^* \subset L(G)$，要么存在某个有限$F \subset G$，使得$Q$的一个角落嵌入到$\bigotimes_F B$中。
• 若$B$是因子，则$Q$的某个酉共轭可嵌入到$\bigotimes_F B$中，且其正规化代数$P$的某个酉共轭可嵌入到有限个群型元素的群张量中。
• 任意同构$\theta: N\wr G \to P\wr H$（其中$N,P$为非超有限因子，$G,H$为可约群）必须满足$\theta(\bigotimes_G N) = u(\bigotimes_H P)u^*$（$u$为某个酉算子），从而推出$G \simeq H$。
• 当$N$为非超有限因子且$G$为可约群时，$N\wr G$的基本群为平凡（$\mathcal{F}(N\wr G) = \{1\}$）。
• 对于可约$G$，包含关系$\bigotimes_G N \subset N\wr G$在任意$t>0$下同构于$\bigotimes_H Q \subset Q\wr H$，表明其在放大下保持稳定。
• 当$G$可约且$N$非超有限时，有$M^\prime \cap M^\omega \subset (\bigotimes_G N)^\omega$；若$Q$为正规子代数且满足$M^\prime \cap M^\omega \subset Q^\omega$，则$\bigotimes_G N$的一个角落可嵌入到$Q$中。