[论文解读] The planar algebra of diagonal subfactors

Dietmar Bisch, Paramita Das+1 more|ArXiv.org|Nov 7, 2008

Advanced Operator Algebra Research参考文献 20被引用 13

一句话总结

本文构建并描述了与一个有限生成、可数、离散群 $G$ 及其 3-上循环 $\omega \in H^3(G, \mathbb{T})$ 相关的对角子因子的平面代数。它表明平面操作符作用明确地包含了 3-上循环 $\omega$，并通过由上循环条件导出的恒等式验证了自然性，从而将已知的平凡上循环情况下的平面代数结构推广到了非平凡情形。

ABSTRACT

There is a natural construction which associates to a finitely generated, countable, discrete group $G$ and a 3-cocycle $ω$ of $G$ an inclusion of II$_1$ factors, the so-called diagonal subfactors (with cocycle). In the case when the cocycle is trivial these subfactors are well studied and their standard invariant (or planar algebra) is known. We give a description of the planar algebra of these subfactors when a cocycle is present. The action of Jones' planar operad involves the 3-cocycle $ω$ explicitly and some interesting identities for 3-cocycles appear when naturality of the action is verified.

研究动机与目标

• 将对角子因子的平面代数结构从平凡 3-上循环情形推广到具有非平凡 3-上循环 $\omega$ 的一般情形。
• 建立琼斯平面操作符在这些子因子的标准不变量上的作用明确地依赖于 3-上循环 $\omega$。
• 验证该作用的自然性，并推导出由 3-上循环条件产生的新代数恒等式。
• 为具有任意 3-上循环障碍的对角子因子提供一个具体且可计算的平面代数结构描述。

提出的方法

• 通过一个具有障碍 $[\omega] \in H^3(G, \mathbb{T})$ 的 $G$-核 $\chi: G \to \mathrm{Out}(P)$，利用 II$_1$ 因子 $P$ 的自同构 $\theta_i$ 构造对角子因子 $N \subset M$。
• 将 $G$-核提升为一个带有单位元 $u(s,t)$ 的上循环作用 $\alpha: G \to \mathrm{Aut}(P)$，满足 $u(r,s)u(rs,t) = \omega(r,s,t) \alpha_r(u(s,t)) u(r,st)$，从而扭曲结合律。
• 通过高阶相对交换子和条件期望定义平面代数，并利用平面操作符在标准不变量上的作用。
• 证明平面操作符在标准不变量上的作用明确依赖于 3-上循环 $\omega$，并通过验证与上循环恒等式的一致性来证明自然性。
• 使用映射 $\lambda^{(n)}: M_{n-1} \to \tilde{M}_{n-1} = M_{I^n} \otimes N$ 将平面代数结构与群作用及上循环联系起来。
• 证明群 $H = \langle \theta_i \rangle \leq \mathrm{Out}(N)$ 同构于 $\tilde{H} = \langle g_i^{-1}g_j \rangle \leq G$，通过一个保持上循环结构的映射 $\gamma$。

实验结果

研究问题

• RQ1 当与 $G$-核相关的 3-上循环障碍 $\omega$ 非平凡时，对角子因子的平面代数如何变化？
• RQ2 平面操作符在标准不变量上的作用能否以 3-上循环 $\omega$ 的形式明确描述？
• RQ3 当 $\omega$ 非平凡时，平面操作符作用的自然性要求会引出哪些代数恒等式？
• RQ4 具有非平凡上循环的对角子因子的标准不变量是否完全由群 $G$ 和上循环类 $[\omega]$ 决定？
• RQ5 标准不变量的同构类型与群 $G$ 及障碍 $\mathrm{Ob}(\chi) = [\omega]$ 有何关系？

主要发现

• 具有非平凡 3-上循环 $\omega$ 的对角子因子的平面代数被明确描述，推广了平凡上循环情形下的已知结果。
• 平面操作符在标准不变量上的作用明确地涉及 3-上循环 $\omega$，表明平面代数结构依赖于上同调类 $[\omega] \in H^3(G, \mathbb{T})$。
• 验证平面操作符作用的自然性导致的恒等式等价于 3-上循环条件，确认了与群上同调的一致性。
• 具有非平凡上循环的对角子因子的标准不变量完全由群 $G$ 和 3-上循环 $\omega$ 决定，其主图是关于生成元 $g_i$ 的 $G$ 的类似凯莱图。
• $H = \langle \theta_i \rangle \leq \mathrm{Out}(N)$ 同构于 $\tilde{H} = \langle g_i^{-1}g_j \rangle \leq G$，且该同构 $\gamma$ 由上循环结构诱导。
• 该构造表明，当 $G$ 有限生成且 $\omega$ 固定时，具有上循环的对角子因子的平面代数是子因子的完整不变量。