[论文解读] Maximal injective and mixing masas in group factors

Paul Jolissaint|arXiv (Cornell University)|Apr 1, 2010

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

一句话总结

本文证明了在由 amalgamated free 产物和 free 产物导出的群因子中，某些极大阿贝尔自伴子代数（masas）是极大可乘的，利用了强混合与渐近正交性性质。通过推广 Popa 的方法，证明了若群 $ G $ 的阿贝尔子群 $ H $ 满足条件 (ST)，则 $ L(H) $ 在 $ L(G) $ 中是强混合且极大可乘的，从而将结果推广至更广泛的群因子类别。

ABSTRACT

We present families of pairs of finite von Neumann algebras $A\subset M$ where $A$ is a maximal injective masa in the type $\mathrm{II}_1$ factor $M$ with separable predual. Our results make use of the strong mixing and the asymptotic orthogonality properties of $A$ in $M$ and are borrowed from ideas of S. Popa who proved that if $G$ is a non abelian free group and if $a$ is one of its generators, then the von Neumann algebra generated by $a$ is maximal injective in the factor $L(G)$. Our results apply to pairs $H

研究动机与目标

• 将 Popa 在自由群因子中关于极大可乘 masas 的结果推广至更一般的群因子。
• 通过混合与正交性条件，刻画 $ L(G) $ 中的 masa $ L(H) $ 何时为极大可乘。
• 通过中间代数的中心分解，证明强混合性蕴含群因子中的极大可乘性。
• 将关于极大可乘 masas 的结果推广至 amalgamated free 产物群和具有非平凡因子的自由产物。

提出的方法

• 利用通过 $ \|\mathbb{E}_A(xu_n y)\|_2 $ 的消失性定义的 masas 的强混合性质，其中单位元 $ u_n \to 0 $ 弱收敛。
• 在超乘积代数 $ M^\omega $ 中应用渐近正交性性质，以确保中间代数的中心分解。
• 采用群论条件 (ST) 以实现强混合：对每个有限集 $ C \subset G\setminus H $，存在 $ E \subset H $，使得对所有 $ h \notin E $，$ g_1 h g_2 \notin H $，其中 $ g_1,g_2 \in C $。
• 构造显式序列 $ (W_m) $ 满足 (H1)–(H3)，以验证在 amalgamated 产物 $ H_1 *_Z H_2 $ 中的混合与正交性。
• 应用中心分解定理，表明任意满足 $ L(H) \subset N \subset L(G) $ 的中间冯诺依曼代数 $ N $ 可分解为 $ Ne_0 = L(H)e_0 $ 和 $ Ne_k $（$ k \geq 1 $）为全因子。
• 利用强混合性蕴含极大可乘性的事实，即在 $ M^\omega $ 中 $ N $ 的相对交换子中不存在非平凡中心投影。

实验结果

研究问题

• RQ1 在何种群论条件下，$ L(H) \subset L(G) $ 是群因子 $ L(G) $ 中的极大可乘 masa？
• RQ2 在超乘积代数 $ M^\omega $ 中，强混合与渐近正交性性质如何确保 masa 的极大可乘性？
• RQ3 Popa 在自由群因子中的原始结果能否推广至 amalgamated free 产物群？
• RQ4 中间代数 $ N $（满足 $ L(H) \subset N \subset L(G) $）的何种结构性质可蕴含 $ L(H) $ 的极大可乘性？
• RQ5 子集 $ W_m \subset G\setminus H $ 上的条件 (H1)–(H3) 如何确保实现所需混合与正交性以达成极大可乘性？

主要发现

• 若 $ H < G $ 满足条件 (ST)，则 $ L(H) $ 在 $ L(G) $ 中是强混合的，因此是极大可乘的。
• 对于 $ G = H_1 *_Z H_2 $，其中 $ H_1, H_2 $ 为阿贝尔群且 $ Z $ 为中心，若 $ H_1 $ 满足 (ST)，则 $ L(H_1) $ 在 $ L(G) $ 中是极大可乘的。
• 在自由积 $ G = K*L $ 中，若 $ |K| \geq 2 $ 且 $ L $ 包含阶 $ \geq 3 $ 的元素，则循环 masa $ L(\langle \alpha\beta \rangle) $ 在 $ L(G) $ 中是极大可乘的。
• 任意满足 $ L(H) \subset N \subset L(G) $ 的中间冯诺依曼代数 $ N $ 均可进行中心分解，形式为 $ Ne_0 = L(H)e_0 $ 和 $ Ne_k $（$ k \geq 1 $）为全因子，从而蕴含极大可乘性。
• 在 $ M^\omega $ 中的渐近正交性性质，结合强混合性，可确保 $ A $ 在 $ M $ 中为极大可乘，推广了文献 [1] 的结果。
• 构造满足 (H1)–(H3) 的 $ W_m $ 和 $ W_m' $ 确认了在自由与 amalgamated 产物中混合与正交性条件的有效性。