[论文解读] Cartan subalgebras of tensor products of free quantum group factors with arbitrary factors

Yusuke Isono|arXiv (Cornell University)|Jul 11, 2016

Advanced Operator Algebra Research参考文献 37被引用 3

一句话总结

本文证明了自由量子群因子的非阿本纳子因子与任意 $σ$-有限因子的张量积，均不具有 Cartan 子代数。通过利用算子值权和对偶量子群 $ω\widehat{\mathbb{G}}$ 的中心弱可约性，作者将 Ozawa–Popa 与 Popa–Vaes 的弱紧作用框架扩展至 $L^\infty(\mathbb{G})\overline{\otimes}B$ 的连续核心，证明了在先前仅限于有限因子结果之外，类型 III 设置下亦不存在 Cartan 子代数。

ABSTRACT

Let $\mathbb{G}$ be a free (unitary or orthogonal) quantum group. We prove that for any non-amenable subfactor $N\subset L^\infty(\mathbb{G})$, which is an image of a faithful normal conditional expectation, and for any $σ$-finite factor $B$, the tensor product $N \otimes B$ has no Cartan subalgebras. This generalizes our previous work that provides the same result when $B$ is finite. In the proof, we establish Ozawa--Popa and Popa--Vaes's weakly compact action on the continuous core of $N \otimes B$ as the one relative to B, by using an operator valued weight to B and the central weak amenability of $\mathbb{G}$.

研究动机与目标

• 将自由量子群因子张量积中 Cartan 子代数缺失的结果，从有限因子推广至任意 $σ$-有限因子。
• 通过连续核心构造，将 Ozawa–Popa 与 Popa–Vaes 的弱紧作用框架扩展至类型 III von Neumann 代数。
• 建立非阿本纳子因子 $N\subset L^\infty(\mathbb{G})$ 与任意 $σ$-有限因子 $B$ 的张量积 $N\overline{\otimes}B$ 不具有 Cartan 子代数。
• 通过去除对 $B$ 的 W$^*$-CMAP 假设，克服先前工作的局限性，并将结果扩展至类型 III 因子。

提出的方法

• 利用连续核心构造，将问题提升至配备半有限迹的半有限 von Neumann 代数。
• 从 $L^\infty(\mathbb{G})\overline{\otimes}B$ 到 $B$ 应用算子值权，以关联张量积的结构与基因子的结构。
• 借助对偶量子群 $\widehat{\mathbb{G}}$ 的中心弱可约性，确保存在合适的弱紧作用。
• 在 $L^\infty(\mathbb{G})\overline{\otimes}B$ 的连续核心上建立相对于 $B$ 的相对弱紧作用，推广有限因子框架。
• 利用双精确性与连续核心框架，在类型 III 设置下应用 Popa 的形变与互连技术。
• 在连续核心中构造一个相对于正规化子群为中心的态，表明正规化子生成一个阿本纳 von Neumann 代数。

实验结果

研究问题

• RQ1 自由群因子与有限因子张量积中 Cartan 子代数的缺失性，是否可推广至类型 III 设置下任意 $σ$-有限因子？
• RQ2 Ozawa–Popa 的弱紧作用框架能否被适配至自由量子群因子非阿本纳子因子的 $L^\infty(\mathbb{G})\overline{\otimes}B$ 连续核心？
• RQ3 对偶量子群 $\widehat{\mathbb{G}}$ 的中心弱可约性是否足以确保在 $N\overline{\otimes}B$ 中不存在 Cartan 子代数，其中 $N\subset L^\infty(\mathbb{G})$ 为非阿本纳子因子，且 $B$ 为任意 $σ$-有限因子？
• RQ4 能否通过算子值权与双精确性，将相对弱紧作用框架应用于类型 III 因子？
• RQ5 当 $N$ 为自由量子群因子的非阿本纳子因子，且 $B$ 为任意因子时，$N\overline{\otimes}B$ 的结构会受到何种约束？

主要发现

• 对于任意非阿本纳子因子 $N\subset L^\infty(\mathbb{G})$（其为忠实正规条件期望的像），以及任意 $σ$-有限因子 $B$，张量积 $N\overline{\otimes}B$ 均不具有 Cartan 子代数。
• $L^\infty(\mathbb{G})\overline{\otimes}B$ 的连续核心存在相对于 $B$ 的相对弱紧作用，该结果通过算子值权与 $\widehat{\mathbb{G}}$ 的中心弱可约性建立。
• 该证明将先前仅限于有限因子的结果推广至任意 $σ$-有限因子，去除了对 $B$ 的 W$^*$-CMAP 假设。
• $N\overline{\otimes}B$ 中 Cartan 子代数的缺失性，源于任何阿贝尔子代数的正规化子在连续核心中生成一个阿本纳 von Neumann 代数。
• 该结果适用于单位酉与正交自由量子群 $\mathbb{G}$，包括 $\mathbb{F}O_F$。
• 该框架将 Ozawa–Popa 与 Popa–Vaes 的双精确性与形变技术扩展至类型 III 设置，为检测 Cartan 子代数的缺失性提供了稳健方法。