[论文解读] L^2-rigidity in von Neumann algebras

Jesse Peterson|ArXiv.org|May 1, 2006

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

一句话总结

本文引入并研究了冯诺依曼代数中的$L^2$-刚性，证明了非素数的II$_1$因子或具有性质$\Gamma$的因子是$L^2$-刚性的——即所有进入粗对应关系的余导子在代数上均消失。利用自由概率、$L^2$-上同调以及完全正映射半群的形变技术，作者证明了在自由积或具有正第一阶$L^2$-贝蒂数的$L\Gamma$因子中的非阿贝尔子因子是素数的，并通过$L^2$-哈格鲁普性质给出了奥扎瓦关于自由群因子中子因子素性的结果的新上同调证明。

ABSTRACT

We introduce the notion of L^2-rigidity for von Neumann algebras, a generalization of property (T) which can be viewed as an analogue for the vanishing of 1-cohomology into the left regular representation of a group. We show that L^2-rigidity passes to normalizers and is satisfied by nonamenable II_1 factors which are non-prime, have property $Γ$, or are weakly rigid. As a consequence we obtain that if $M$ is a free product of diffuse von Neumann algebras, or if $M = LΓ$ where $Γ$ is a finitely generated group with $b_1^{(2)}(Γ) > 0$, then any nonamenable regular subfactor of $M$ is prime and does not have properties $Γ$ or (T). In particular this gives a new approach for showing primeness of all nonamenable subfactors of a free group factor thus recovering a well known recent result of N. Ozawa.

研究动机与目标

• 通过进入粗对应关系$L^2(N)\overline{\otimes}L^2(N)$的余导子消失，定义并研究有限冯诺依曼代数包含的$L^2$-刚性。
• 在自由概率和非微状态自由熵的背景下，建立$L^2$-刚性与$L^2$-上同调型余导子消失之间的联系。
• 证明在扩散有限冯诺依曼代数的自由积或具有正第一阶$L^2$-贝蒂数的$L\Gamma$因子中的非阿贝尔子因子是素数的。
• 通过$L^2$-哈格鲁普性质，给出奥扎瓦关于自由群因子中子因子素性的结果的新上同调证明。

提出的方法

• 利用Sauvageot-Sauvageot对应关系，将闭余导子与保持单位元和迹的完全正映射半群联系起来，以分析$L^2$-形变。
• 通过要求所有进入$L^2(N)\overline{\otimes}L^2(N)$的余导子在$(B)_1$上关于$\|\cdot\|_2$-范数一致消失，将$L^2$-刚性应用于子代数$B \subset N$。
• 利用来自进入$L^2(N)^{\oplus\infty}$的余导子的$L^2$-形变，分析非阿贝尔子因子的结构。
• 通过粗对应关系的混合性以及$L^2$-哈格鲁普性质，证明当$Q'\cap N$为扩散时，余导子在$W^*(\mathcal{N}_N(Q'\cap N))$上消失。
• 应用$C^*$-代数理论和超乘积（$N^\omega$）的技术，证明对于具有性质$\Gamma$的非阿贝尔因子，包括$R\overline{\otimes}L\mathbb{F}_2$，$L^2$-刚性成立。
• 利用奥扎瓦和波帕在张量积中唯一素因子分解的结果，推导出非阿贝尔II$_1$因子张量积的新唯一因子分解例子。

实验结果

研究问题

• RQ1 在什么条件下，进入粗对应关系$L^2(N)\overline{\otimes}L^2(N)$的余导子在子代数$B \subset N$上一致消失？
• RQ2 在何种冯诺依曼代数$N$条件下，$L^2$-刚性成立，即所有此类余导子在$N$上消失？
• RQ3 在群因子$L\Gamma$中，$L^2$-刚性如何与第一阶$L^2$-贝蒂数和$L^2$-哈格鲁普性质相关联？
• RQ4 $L^2$-刚性能否用于证明自由积或II$_1$因子张量积中非阿贝尔子因子的素性？
• RQ5 在II$_1$因子张量积中，何种条件可确保非阿贝尔子因子嵌入分解中某因子的角落？

主要发现

• 若II$_1$因子$N$是非素数的或具有性质$\Gamma$，则其为$L^2$-刚性，即所有进入$L^2(N)\overline{\otimes}L^2(N)$的余导子在$(N)_1$上关于$\|\cdot\|_2$-范数一致消失。
• 对于非阿贝尔子因子$Q \subset N$，当$N$为扩散有限冯诺依曼代数的自由积或具有$b_1^{(2)}(\Gamma) > 0$的$L\Gamma$时，进入$L^2(N)^{\oplus\infty}$的余导子在$Q' \cap N$上消失，从而推出$Q$是素数的。
• 若$N$为具有性质$\Gamma$的非阿贝尔因子，则任何进入$L^2(N)^{\oplus\infty}$的余导子在$N$上消失，从而确立了此类代数的$L^2$-刚性。
• 给出了奥扎瓦结果的新证明：对于$\Gamma = \mathbb{F}_n$（$2 \leq n \leq \infty$）的自由群因子$L\Gamma$，其任意非阿贝尔子因子均为素数，该证明基于进入$\ell^2\Gamma^{\oplus\infty}$的恰当余循环的存在性。
• 对于张量积$M = M_1 \overline{\otimes} \cdots \overline{\otimes} M_m$，若每个$M_i$都允许非消失的$L^2$-形变，则任意正规非阿贝尔子因子$B \subset M$的角落可嵌入$M_k'$（对某个$k$），从而导致唯一素因子分解（至单位酉共轭与缩放）。
• 在具有非消失$L^2$-形变的非阿贝尔II$_1$因子张量积中，唯一素因子分解成立：$N_1 \overline{\otimes} \cdots \overline{\otimes} N_n \cong M_1 \overline{\otimes} \cdots \overline{\otimes} M_m$蕴含$n = m$，且经排列与单位酉共轭后，有$N_k^{t_k} \cong M_k$。