[论文解读] Structure of bicentralizer algebras and inclusions of type III factors

Hiroshi Ando, Uffe Haagerup+2 more|University of Southern Denmark Research Portal (University of Southern Denmark)|Apr 16, 2018

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

一句话总结

本文引入了在具有正规期望的 III₁ 因子包含下相对双中心化代数上的规范流，证明了其与忠实态选择的无关性。它建立了该流的遍历性、超有限子因子的存在性以及 Powers 因子结构之间的深刻联系，解决了可约情形下的 Kadison 问题，并推进了 III 型算子代数中双中心化问题的研究。

ABSTRACT

We investigate the structure of the relative bicentralizer algebra ${ m B}(N \subset M, φ)$ for inclusions of von Neumann algebras with normal expectation where $N$ is a type ${ m III_1}$ subfactor and $φ\in N_*$ is a faithful state. We first construct a canonical flow $β^φ: \mathbf R^*_+ \curvearrowright { m B}(N \subset M, φ)$ on the relative bicentralizer algebra and we show that the W$^*$-dynamical system $({ m B}(N \subset M, φ), β^φ)$ is independent of the choice of $φ$ up to a canonical isomorphism. In the case when $N=M$, we deduce new results on the structure of the automorphism group of ${ m B}(M,φ)$ and we relate the period of the flow $β^φ$ to the tensorial absorption of Powers factors. For general irreducible inclusions $N \subset M$, we relate the ergodicity of the flow $β^φ$ to the existence of irreducible hyperfinite subfactors in $M$ that sit with normal expectation in $N$. When the inclusion $N \subset M$ is discrete, we prove a relative bicentralizer theorem and we use it to solve Kadison's problem when $N$ is amenable.

研究动机与目标

• 为包含 $N\subset M$ 构造一个相对双中心化代数上的规范流，其中 $N$ 是 III₁ 型因子。
• 证明该流在忠实态 $\varphi$ 的选择下至多通过典范同构是无关的。
• 将该流的遍历性与 $M$ 中存在具有 $N$ 中正规期望的不可约超有限子因子联系起来。
• 在 $N$ 可约时，利用离散包含的相对双中心化定理，解决 Kadison 问题。
• 推进对 Connes 双中心化问题在 III 型因子背景下的理解。

提出的方法

• 将相对双中心化代数 $\mathord{\text{B}}(N\subset M,\varphi)$ 定义为 $M$ 中所有与 $N$ 中 $\varphi$ 的渐近中心化序列强交换的元素集合。
• 构造不同忠实态 $\varphi, \psi \in N_*$ 对应的双中心化代数之间的典范同构 $\beta_{\psi,\varphi}$，保持强算子收敛性。
• 通过渐近中心化序列上的缩放作用，定义 $\mathbb{R}^*_+$ 上的规范流 $\beta^\varphi: \mathbb{R}^*_+ \curvearrowright \mathord{\text{B}}(N\subset M,\varphi)$。
• 利用超乘积技术和 $L^2(N)$ 上的谱理论分析双中心化代数与流作用的结构。
• 应用 Popa 的形变/刚性理论与超乘积理论的结果，推导流与双中心化代数的结构性质。
• 证明离散包含的相对双中心化定理，从而在 $N$ 可约时解决 Kadison 问题。

实验结果

研究问题

• RQ1 相对双中心化代数 $\mathord{\text{B}}(N\subset M,\varphi)$ 是否在至多通过典范同构的意义下与 $N$ 上忠实态 $\varphi$ 的选择无关？
• RQ2 是否可以对 $\mathord{\text{B}}(N\subset M,\varphi)$ 上规范地定义 $\mathbb{R}^*_+$-作用（流），且该流是否与 $\varphi$ 无关？
• RQ3 规范流 $\beta^\varphi$ 的遍历性如何与 $M$ 中存在具有 $N$ 中正规期望的不可约超有限子因子相关？
• RQ4 当 $N$ 可约时，流 $\beta^\varphi$ 具有哪些结构性后果，特别是与 Kadison 问题的关系？
• RQ5 流 $\beta^\varphi$ 在多大程度上反映了 $M$ 中 Powers 因子的张量吸收性质？

主要发现

• 相对双中心化代数 $\mathord{\text{B}}(N\subset M,\varphi)$ 允许一个与 $N$ 上忠实态 $\varphi$ 的选择无关的典范 $\mathbb{R}^*_+$-作用 $\beta^\varphi$，至多通过典范同构。
• 流 $\beta^\varphi$ 是遍历的，当且仅当存在一个不可约超有限子因子嵌入于 $M$ 中，且其在 $N$ 中具有正规期望。
• 当 $N = M$ 时，流 $\beta^\varphi$ 的周期与 Powers 因子的张量吸收相关，且 $\mathord{\text{B}}(M,\varphi)$ 的双中心化平凡当且仅当该流是平凡的。
• 对于离散包含 $N\subset M$，证明了相对双中心化定理，从而在 $N$ 可约时解决了 Kadison 问题。
• 双中心化代数之间的典范同构 $\beta_{\psi,\varphi}$ 由强算子收敛性刻画：若 $\|a_n\varphi - \psi a_n\| \to 0$，则 $a_n x - \beta_{\psi,\varphi}(x) a_n \to 0$ 在 $\ast$-强拓扑中成立。
• 证明依赖于模算子的谱分解与超乘积技术，表明若 $\|a_n\varphi - \lambda \varphi a_n\| \to 0$，则 $a_n x - \beta_\lambda^\varphi(x) a_n \to 0$ 在 $\ast$-强拓扑中成立。