[论文解读] 1-bounded entropy and regularity problems in von Neumann algebras

Ben Hayes|arXiv (Cornell University)|May 25, 2015

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

一句话总结

本文在迹 von Neumann 代数中引入了奇异子空间 $Σ_s(N\subseteq M)$，其推广了正规化子和准正规化子，并将谱正则性定义为该子空间生成 $M$ 的条件。利用 Voiculescu 的微状态自由熵维数，作者证明了 $L(\mathbb{F}_n)$ 的任何非退化、超有限子代数都不可能是谱正则的，并将此结果推广至排除以 $L(\mathbb{F}_n)$ 结束的谱正则包含的超限链，从而解决了 $\mathrm{II}_1$-因子光滑上同调理论中的若干猜想。

ABSTRACT

We investigate the singular subspace of an inclusion of tracial von Neumann algebras. The singular subspace is a canonical N-N subbimodule of L^{2}(M) and it contains the quasinormalizer introduced by Popa, one-sided quasinormalizer introduced by Fang-Gao-Smith, and wq-normalizer introduced in Galatan-Popa (following upon work in Ioana-Peterson-Popa and Popa). We then obtain a weak notion of regularity (called spectral regularity) by demanding that the singular subspace of N in M generates M. By abstracting Voiculescu's original proof of absence of Cartan subalgebras, we show that there can be no diffuse, hyperfinite subalgebra of L(\FF_{n}) which is spectrally regular. Our techniques are robust enough to repeat this process by transfinite induction and rule out chains of spectrally regular inclusions of algebras starting from a diffuse, hyperfinite algebra and ending in L(\FF_{n}). We use this to prove some conjectures made by Galatan-Popa in their study of smooth cohomology of II_{1}-factors. Our results may be regarded as a consistency check for the possibility of existence of a "good" cohomology theory of II_{1}-factors. Lastly, we deduce nonisomorphism results for crossed products of q-deformed free group factors by Bogoliubov actions, as well as for the continuous core of q-deformed Free Araki-Woods algebras. This extends work of Houdayer-Shlyakhtenko as well as Shlyakhtenko.

研究动机与目标

• 定义并研究奇异子空间 $\mathcal{H}_s(N\subseteq M)$ 作为 $L^2(M)$ 的一个典范 $N$-$N$-子双模，其包含准正规化子和单边准正规化子。
• 引入谱正则性作为弱化正则性条件，即奇异子空间生成 $M$，从而推广经典正规化子条件。
• 将 Voiculescu 的自由熵维数论证方法扩展，以排除从非退化超有限代数到 $L(\mathbb{F}_n)$ 的谱正则包含链。
• 通过证明此类链不存在，解决 Galatan-Popa 关于 $\mathrm{II}_1$-因子光滑上同调的猜想。
• 将该框架应用于自由 Araki-Woods 因子，证明当 $U_t$ 的生成元的谱测度为奇异时，$\Gamma(\mathcal{H},U_t)''$ 不同构于 $L(\mathbb{F}_t)\overline{\otimes}B(\ell^2(\mathbb{N}))$。

提出的方法

• 将奇异子空间 $\mathcal{H}_s(N\subseteq M)$ 定义为满足准正规化条件的元素生成的 $L^2(M)$ 的闭 $N$-$N$-子双模。
• 将谱正则性定义为 $W^*(\mathcal{H}_s(N\subseteq M)) = M$ 的条件，从而弱化经典正则性条件。
• 改编 Voiculescu 的微状态自由熵维数论证，以证明若 $N\subseteq L(\mathbb{F}_n)$ 是非退化且超有限的，则 $\mathcal{H}_s(N\subseteq L(\mathbb{F}_n)) \neq L^2(L(\mathbb{F}_n))$，故 $N$ 不是谱正则的。
• 使用超限归纳法将非正则性结果推广至链 $N_0 \subseteq N_1 \subseteq \cdots \subseteq N_\alpha = L(\mathbb{F}_n)$，其中每个 $N_\beta = W^*(q^1\mathcal{N}_M(N_{\beta-1}))$，证明对所有 $\alpha$ 都有 $N_\alpha \neq L(\mathbb{F}_n)$。
• 将该框架应用于自由 Araki-Woods 因子 $\Gamma(\mathcal{H},U_t)''$，证明当 $U_t$ 的生成元的谱测度为奇异时，其非同构于 $L(\mathbb{F}_t)\overline{\otimes}B(\ell^2(\mathbb{N}))$。
• 利用 $\varepsilon$-网估计与 $L^2$-范数下的熵界，控制逼近的复杂性，从而导出熵不等式，进而推出非同构结果。

实验结果

研究问题

• RQ1 是否存在 $L(\mathbb{F}_n)$ 的非退化、超有限子代数是谱正则的，即其奇异子空间能生成整个代数？
• RQ2 是否存在从非退化超有限代数出发、以 $L(\mathbb{F}_n)$ 结束的谱正则包含的超限链？
• RQ3 奇异子空间构造是否能提供一个一致的框架，以排除此类链并解决 $\mathrm{II}_1$-因子光滑上同调理论中的猜想？
• RQ4 当 $U_t$ 的生成元的谱测度为奇异时，自由 Araki-Woods 因子 $\Gamma(\mathcal{H},U_t)''$ 的连续核心是否同构于 $L(\mathbb{F}_t)\overline{\otimes}B(\ell^2(\mathbb{N}))$？
• RQ5 用于 $L(\mathbb{F}_n)$ 的基于熵的方法能否扩展至自由 Bogoliubov 作用的半直积，以证明非同构性结果？

主要发现

• $L(\mathbb{F}_n)$ 的任何非退化、超有限子代数都不是谱正则的，因为其奇异子空间无法生成 $L(\mathbb{F}_n)$。
• 不存在从非退化超有限代数出发、以 $L(\mathbb{F}_n)$ 结束的谱正则包含的超限链，因为每一步都无法生成下一个代数。
• 当 $U_t$ 的生成元的谱测度为奇异时，自由 Araki-Woods 因子 $\Gamma(\mathcal{H},U_t)''$ 的连续核心不与 $L(\mathbb{F}_t)\overline{\otimes}B(\ell^2(\mathbb{N}))$ 同构。
• 该结果强化了先前的非同构定理，不再需要谱测度的所有卷积幂均为奇异。
• 该框架通过证明此类链不存在，解决了 Galatan-Popa 关于 $\mathrm{II}_1$-因子光滑上同调的猜想，支持了 $\mathrm{II}_1$-因子具有良好上同调理论的一致性。