[论文解读] On the normalizing algebra of a MASA in a II$_1$ Factor

Ionuţ Chifan|ArXiv.org|Jun 9, 2006

Advanced Operator Algebra Research参考文献 16被引用 14

一句话总结

该论文证明了任意II$_1$因子中极大阿贝尔子代数（MASA）的正规化代数必然满足相对弱渐近同态性质（相对WAHP），这是Popa引入的关键分析条件。作为推论，该文证明了MASA张量积的正规化代数等于该张量积MASA的正规化代数，从而实现了在张量积与半直积构造中对正规化代数的精确计算。

ABSTRACT

Let $A$ be a maximal abelian subalgebra (MASA) in a \II1 factor $M$. Sorin Popa introduced an analytic condition that can be used to identify the normalizing algebra of $A$ in $M$ and which we call \emph{the relative weak asymptotic homomorphism property}. In this paper we show this property is always satisfied by the normalizing algebra of $A$ in $M$ and as a consequence we obtain that $\bar{\bigotimes}_{i\in I}(\mathcal{N}_{M_{i}}(A_{i})^{\prime\prime})= (\mathcal{N}_{\bar{\bigotimes}_{i\in I}M_{i}}(\bar{\otimes}%_{i\in I} A_{i}))^{\prime\prime}$ .

研究动机与目标

• 证明任意II$_1$因子$M$中的MASA$A$，其三重关系$A \subseteq \mathcal{N}_M(A)^{\prime\prime} \subseteq M$满足相对弱渐近同态性质（相对WAHP）。
• 将此前针对奇异MASA的弱渐近同态结果推广至II$_1$因子中任意MASA的情形。
• 为计算II$_1$因子张量积与半直积中MASA的正规化代数提供一个通用工具。
• 将Sinclair-Smith不等式从强奇异性的范畴推广至正规化代数层面，给出一个涉及正规化代数投影的改进估计。

提出的方法

• 利用Popa的通过评价实现的交织技术，结合基本构造$\langle M, e_A \rangle$，分析正规化元素的结构。
• 依赖于基本构造中有限迹投影与正规化代数$N = \mathcal{N}_M(A)^{\prime\prime}$的Jones投影$e_N$之间的联系。
• 应用条件期望$E_B$、$E_N$以及$L^2$-范数，验证有限个算子集合的相对WAHP条件。
• 构造$\mathcal{U}(A)$中的酉算子，通过利用相对交换子与半直积中的群作用来逼近所需的范数界。
• 在$L(H)$中的酉算子上采用有限逼近论证，并利用半直积代数中的交换正方形性质来控制误差项。
• 通过利用相对交换子结构与正规化子的作用，将相对WAHP的验证问题转化为有限维逼近问题。

实验结果

研究问题

• RQ1 任意II$_1$因子中MASA的正规化代数是否满足相对弱渐近同态性质（相对WAHP）？
• RQ2 相对WAHP能否用于计算II$_1$因子中MASA张量积的正规化代数？
• RQ3 广义的Sinclair-Smith不等式是否在以正规化代数为目标投影时依然成立，而非仅针对MASA本身？
• RQ4 在何种群论条件下，三重关系$L(F) \subseteq L(H) \subseteq L(G)$满足相对WAHP？
• RQ5 相对WAHP能否用于重新获得或改进自由积与弱混合作用中已知的正规化代数结果？

主要发现

• 对于任意II$_1$因子$M$中的MASA$A$，三重关系$A \subseteq \mathcal{N}_M(A)^{\prime\prime} \subseteq M$满足相对弱渐近同态性质。
• MASA张量积的正规化代数满足$\overline{\bigotimes}_{i\in I}(\mathcal{N}_{M_i}(A_i))^{\prime\prime} = \left(\mathcal{N}_{\overline{\bigotimes}_{i\in I}M_i}(\overline{\otimes}_{i\in I}A_i)\right)^{\prime\prime}$。
• 广义的Sinclair-Smith不等式成立：对所有$u \in \mathcal{U}(M)$，有$\|E_{uAu^*} - E_A\|_{\infty,2} \geq \|u - E_{\mathcal{N}_M(A)^{\prime\prime}}(u)\|_2$。
• 对于作用在冯诺依曼代数$A$上的群作用$\alpha$，若$F \leq H \leq G$满足条件(P)，则$L(F) \subseteq L(H) \subseteq L(G)$满足相对WAHP。
• 当$F \unlhd H$为正规子群时，$L(F)$在$L(G)$中的正规化代数恰好为$L(H)$，通过相对WAHP重新获得一个结构性结果。
• 相对WAHP提供了一个统一的框架，能够重新获得并推广自由积与半直积中关于正规化代数的结果。