[论文解读] On fundamental groups of tensor product $ m II_1$ factors

Yusuke Isono|arXiv (Cornell University)|Aug 23, 2016

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

一句话总结

该论文证明，对于任意可实现为 $ \rm II_1 $ 因子基本群的子群 $ G \leq \mathbb{R}^*_+ $，均存在一个 $ \rm II_1 $ 因子 $ M $，使得 $ \mathcal{F}(M) = G $，且对所有 $ \rm II_1 $ 因子 $ B $ 满足 $ \mathcal{F}(M \overline{\otimes} B) = \mathcal{F}(M)\mathcal{F}(B) $。这表明 $ \rm II_1 $ 因子的基本群类在群乘法与交集下是封闭的。

ABSTRACT

Let $M$ be a $ m II_1$ factor and let $\mathcal{F}(M)$ denote the fundamental group of $M$. In this article, we study the following property of $M$: for arbitrary $ m II_1$ factor $B$, we have $\mathcal{F}(M \overline{\otimes} B)=\mathcal{F}(M)\mathcal{F}(B)$. We prove that for any subgroup $G\leq \mathbb{R}^*_+$ which is realized as a fundamental group of a $ m II_1$ factor, there exists a $ m II_1$ factor $M$ which satisfies this property and whose fundamental group is $G$. Using this, we deduce that if $G,H \leq \mathbb{R}^*_+$ are realized as fundamental groups of $ m II_1$ factors (with separable predual), then so are groups $G \cdot H$ and $G \cap H$.

研究动机与目标

• 研究张量积 $ \rm II_1 $ 因子的基本群结构。
• 确定 $ \mathcal{F}(M_1 \overline{\otimes} M_2) = \mathcal{F}(M_1)\mathcal{F}(M_2) $ 是否普遍成立。
• 构造 $ \rm II_1 $ 因子 $ M $，使得对所有 $ \rm II_1 $ 因子 $ B $ 满足 $ \mathcal{F}(M \overline{\otimes} B) = \mathcal{F}(M)\mathcal{F}(B) $，此类性质称为基本群的张量分解性质（TFF）。
• 证明 $ \rm II_1 $ 因子的基本群类在乘法与交集下是封闭的。
• 通过形变/刚性技巧与放大理论扩展已知关于基本群的结果。

提出的方法

• 引入并研究基本群的张量分解性质（TFF），即对所有 $ \rm II_1 $ 因子 $ B $ 满足 $ \mathcal{F}(M \overline{\otimes} B) = \mathcal{F}(M)\mathcal{F}(B) $。
• 运用形变/刚性技巧，特别是 Ozawa 和 Popa 开发的方法，分析张量积的结构。
• 利用 ICC、非阿贝尔、弱阿贝尔、双余性的群构造具有预设基本群且满足 TFF 的 $ \rm II_1 $ 因子示例，即群 $ \rm II_1 $ 因子 $ L\Gamma $。
• 应用关于 $ \rm II_1 $ 因子自由积及其基本群的结果。
• 利用放大理论：当 $ t = \tau(p)n $ 时，有 $ M^t \simeq pMp \overline{\otimes} \mathbb{M}_n $，并利用恒等式 $ (M_1 \overline{\otimes} M_2)^{st} \simeq M_1^s \overline{\otimes} M_2^t $。
• 利用恒等式 $ \mathcal{F}(M) = \{ t \in \mathbb{R}^*_+ \mid M \simeq M^t \} $ 将同构类与基本群元素联系起来。

实验结果

研究问题

• RQ1 对于哪些 $ \rm II_1 $ 因子 $ M $，有 $ \mathcal{F}(M \overline{\otimes} B) = \mathcal{F}(M)\mathcal{F}(B) $ 对所有 $ \rm II_1 $ 因子 $ B $ 成立？
• RQ2 每个可实现为 $ \rm II_1 $ 因子基本群的子群 $ G \leq \mathbb{R}^*_+ $，是否都能实现为满足张量分解性质的 $ \rm II_1 $ 因子的基本群？
• RQ3 是否 $ \rm II_1 $ 因子的基本群类在群乘法与交集下是封闭的？
• RQ4 哪些结构性质（如弱阿贝尔性、双余性）可保证一个 $ \rm II_1 $ 因子满足张量分解性质？
• RQ5 形变/刚性技巧如何推广以证明张量积中基本群的恒等式？

主要发现

• 对于任意可实现为 $ \rm II_1 $ 因子基本群的子群 $ G \leq \mathbb{R}^*_+ $，均存在一个 $ \rm II_1 $ 因子 $ M $，使得 $ \mathcal{F}(M) = G $，且对所有 $ \rm II_1 $ 因子 $ B $ 满足 $ \mathcal{F}(M \overline{\otimes} B) = \mathcal{F}(M)\mathcal{F}(B) $。
• 所有可作为 $ \rm II_1 $ 因子基本群出现的 $ \mathbb{R}^*_+ $ 子群的类 $ \mathcal{S}_{\rm factor} $ 在乘法下封闭：若 $ G, H \in \mathcal{S}_{\rm factor} $，则 $ G \cdot H \in \mathcal{S}_{\rm factor} $。
• 该类 $ \mathcal{S}_{\rm factor} $ 同样在交集下封闭：若 $ G, H \in \mathcal{S}_{\rm factor} $，则 $ G \cap H \in \mathcal{S}_{\rm factor} $。
• 满足张量分解性质（TFF）的 $ \rm II_1 $ 因子示例包括：ICC、非阿贝尔、弱阿贝尔、双余性群的群 $ \rm II_1 $ 因子 $ L\Gamma $。
• 其他示例还包括具有 TFF 性质的 $ \rm II_1 $ 因子的自由积 $ M_1 * M_2 $。
• 该结果确认，对于此类 $ M $，张量积 $ M \overline{\otimes} B $ 的基本群恰好是基本群的乘积 $ \mathcal{F}(M) \cdot \mathcal{F}(B) $，将 Ozawa–Popa 的结果推广至任意 $ B $。