[论文解读] On a class of $\mathrm{II}_1$ factors with at most one Cartan subalgebra

Narutaka Ozawa, Sorin Popa|ArXiv.org|Jun 25, 2007

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

一句话总结

本文证明了在自由群因子 $L(\mathbb{F}_r)$ 中，任意非退化可约子代数的正规化子生成一个可约 von Neumann 代数，这意味着形如 $Q \mathbin{\bar{\otimes}} L(\mathbb{F}_r)$ 的因子（其中 $Q$ 是自由群因子张量积的一个子因子）没有 Cartan 子代数。此外，本文还证明了自由群的闭子群作用产生群测度空间因子，其 Cartan 子代数在酉共轭意义下唯一。

ABSTRACT

We prove that the normalizer of any diffuse amenable subalgebra of a free group factor $L(\Bbb F_r)$ generates an amenable von Neumann subalgebra. Moreover, any II$_1$ factor of the form $Q \vt L(\Bbb F_r) $, with $Q$ an arbitrary subfactor of a tensor product of free group factors, has no Cartan subalgebras. We also prove that if a free ergodic measure preserving action of a free group $\Bbb F_r$, $2\leq r \leq \infty$, on a probability space $(X,μ)$ is profinite then the group measure space factor $L^\infty(X) times \Bbb F_r$ has unique Cartan subalgebra, up to unitary conjugacy.

研究动机与目标

• 确定由自由群因子或其张量积构造的非可约 II₁ 因子是否允许存在 Cartan 子代数。
• 研究自由群因子中非退化可约子代数的正规化子及其生成子因子的结构。
• 建立自由群闭子群作用所生成的群测度空间因子中，Cartan 子代数在酉共轭意义下的唯一性。
• 通过完整度量逼近性质（c.m.a.p.）的视角，扩展 II₁ 因子的分类，分析 Cartan 分解性质。

提出的方法

• 利用自由群因子 $L(\bb{F}_r)$ 的完整度量逼近性质（c.m.a.p.），该性质蕴含 $\Lambda_{\mathrm{cb}}(M) = 1$。
• 应用相对可约性的概念：若子代数 $N \subset M$ 相对于 $Q \subset M$ 可约，则存在从基本构造到 $N$ 的范数为 1 的投影。
• 采用通过环境代数 $M$ 中的酉共轭将子代数 $P \subset M$ 嵌入 $Q \subset M$ 的方法，该方法源自 Popa 的形变/刚性理论框架。
• 分析自由群的闭子群作用下的群测度空间构造 $L^\infty(X) \rtimes \bb{F}_r$，利用谱间隙和强遍历性推导出 Cartan 子代数的唯一性。
• 应用 Popa 形变/刚性理论中的结果，包括渐近正交性以及不存在相对的 (T) 性质子代数。
• 利用 $L(\bb{F}_r)$ 具有 Haagerup 性质且为非 $\Gamma$ 的事实，排除某些子因子嵌入，并支持 Cartan 结构的唯一性。

实验结果

研究问题

• RQ1 自由群因子 $L(\bb{F}_r)$ 中任意非退化可约子代数的正规化子是否生成一个可约 von Neumann 代数？
• RQ2 形如 $Q \mathbin{\bar{\otimes}} L(\bb{F}_r)$ 的因子（其中 $Q$ 是自由群因子张量积的一个子因子）是否容许存在 Cartan 子代数？
• RQ3 若 $\bb{F}_r$ 在一个概率空间上作用为闭子群作用，则群测度空间因子 $L^\infty(X) \rtimes \bb{F}_r$ 是否在酉共轭意义下由其 Cartan 子代数唯一确定？
• RQ4 完整度量逼近性质对非可约 II₁ 因子中 Cartan 子代数的存在性与唯一性有何影响？
• RQ5 近似自由群因子 $L(\bb{F}_{1^{\rule[2.0pt]{3.0pt}{0.3pt}\rule[0.7pt]{0.3pt}{3.0pt}}}^{r,\mathcal{S}})$ 是否具有平凡基本群且满足非 $\Gamma$ 性质？

主要发现

• 在 $L(\bb{F}_r)$ 中，任意非退化可约子代数的正规化子生成一个可约 von Neumann 代数，因此由 Connes 定理可知其为 AFD。
• 形如 $Q \mathbin{\bar{\otimes}} L(\bb{F}_r)$ 的因子（其中 $Q$ 是满足 $\Lambda_{\mathrm{cb}}(Q) = 1$ 的 II₁ 因子）没有 Cartan 子代数。
• $Q \mathbin{\bar{\otimes}} L(\bb{F}_r)$ 中有限指标的子因子同样不具有 Cartan 子代数。
• 对于自由群 $\bb{F}_r$ 在概率空间上的闭子群作用，群测度空间因子 $L^\infty(X) \rtimes \bb{F}_r$ 在酉共轭意义下具有唯一的 Cartan 子代数。
• 当 $r < \infty$ 时，近似自由群因子 $L(\bb{F}_{1^{\rule[2.0pt]{3.0pt}{0.3pt}\rule[0.7pt]{0.3pt}{3.0pt}}}^{r,\mathcal{S}})$ 具有平凡基本群 $\mathcal{F}(M) = \{1\}$，若作用具有谱间隙，则其为非 $\Gamma$。
• 对每个 $2 \leq r \leq \infty$，存在不可数无穷多个非同构的近似自由群因子 $L(\bb{F}_{1^{\rule[2.0pt]{3.0pt}{0.3pt}\rule[0.7pt]{0.3pt}{3.0pt}}}^{r,\mathcal{S}})$。