[论文解读] On the Guionnet-Jones-Shlyakhtenko construction for graphs

Vijay Kodiyalam, V. S. Sunder|arXiv (Cornell University)|Nov 11, 2009

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

一句话总结

本文将Guionnet-Jones-Shlyakhtenko（GJS）构造推广至有限加权二分图，证明对于任意有限深度的子因子平面代数，其对应的冯诺依曼代数同构于具有有限参数的插值自由群因子。关键结果表明，将GJS构造应用于此类平面代数时，可得到一个包含关系 $LF(r) \subseteq LF(s)$，其中 $1 < r,s < \infty$，从而为有限深度平面代数的普遍性提供了新证明。

ABSTRACT

Using an analogue of the Guionnet-Jones-Shlaykhtenko construction for graphs we show that their construction applied to any subfactor planar algebra of finite depth yields an inclusion of interpolated free group factors with finite parameter, thereby giving another proof of their universality for finite depth planar algebras.

研究动机与目标

• 将Guionnet-Jones-Shlyakhtenko构造从平面代数推广至有限加权二分图的设定。
• 建立与连通图 $\Gamma$（其深度有限）相关的冯诺依曼代数 $M(\Gamma)$ 同构于具有有限参数的插值自由群因子。
• 为具有有限参数的插值自由群因子在有限深度子因子平面代数中的普遍性提供新证明。
• 证明GJS构造代数的角落同构于 $M(\Gamma,0)$ 和 $M(\Gamma,1)$，它们是较简单代数的 amalgamated 自由积。
• 证明将GJS构造应用于有限深度子因子平面代数时，可得到包含关系 $LF(r) \subseteq LF(s)$，其中 $1 < r,s < \infty$。

提出的方法

• 从有限加权二分图 $\Gamma$ 构造一个分次、迹态、忠实的 $*$-概率空间 $Gr(\Gamma)$，利用路径及其连接运算。
• 通过 Temperley-Lieb 等价关系上的求和定义 $Gr(\Gamma)$ 上的迹 $\tau$，推广GJS迹。
• 建立 $Gr(\Gamma)$ 与一个过滤 $*$-概率空间 $F(\Gamma)$ 之间的同构，从而实现代数控制。
• 证明当 $\Gamma$ 连通且包含多条边时，与 $\Gamma$ 相关的冯诺依曼代数 $M(\Gamma)$ 同构于一个 $II_1$ 因子与一个有限维交换代数的直和。
• 利用 $Gr(\Gamma,0)$ 与 $M(\Gamma,0)$ 的 amalgamated 自由积分解，通过仅含一个奇顶点的子图分析 $M(\Gamma,0)$ 的结构。
• 对有限深度子因子平面代数 $P$ 的对偶平面代数 $^{-}P$ 应用GJS构造，并利用 $^{-}Gr_1(Q)$ 与 $Gr_1(P)$ 之间的同构，证明所得代数为插值自由群因子。

实验结果

研究问题

• RQ1 Guionnet-Jones-Shlyakhtenko 构造能否从平面代数推广至有限加权二分图的设定？
• RQ2 将GJS构造应用于有限深度子因子平面代数时，是否会产生具有有限参数的插值自由群因子的包含关系？
• RQ3 与连通图 $\Gamma$（其深度有限）相关的冯诺依曼代数 $M(\Gamma)$ 是否同构于具有有限参数的插值自由群因子？
• RQ4 如何通过仅含一个奇顶点的子图，利用 amalgamated 自由积分解 $M(\Gamma,0)$ 的结构？
• RQ5 从 $\Gamma$ 中的偶顶点与奇顶点导出的角落代数 $M(\Gamma,0)$ 与 $M(\Gamma,1)$ 的精确同构类型为何？

主要发现

• 对于任意有限深度子因子平面代数 $P$（其模数 $\delta > 1$），GJS构造产生一个子因子包含关系 $N \subseteq M$，其中 $N \cong LF(r)$ 且 $M \cong LF(s)$，$1 < r,s < \infty$，从而证明了有限深度代数的普遍性。
• 与连通图 $\Gamma$（包含多条边）相关的冯诺依曼代数 $M(\Gamma)$ 同构于一个 $II_1$ 因子与一个有限维交换代数的直和。
• 当 $\Gamma$ 配备其Perron-Frobenius加权时，$M(\Gamma)$ 同构于具有有限参数的插值自由群因子。
• 与偶顶点相关的角落代数 $M(\Gamma,0)$ 同构于对应于仅含一个奇顶点的子图的代数的 amalgamated 自由积。
• 对于仅含一个奇顶点的图 $\Lambda$，$M(\Lambda,0)$ 同构于具有有限参数的插值自由群因子。
• 将GJS构造应用于对偶平面代数 $^{-}P$，可得到 $^{-}Gr_1(Q)$ 与 $Gr_1(P)$ 之间的同构，从而得出 $M_1$ 的某个角落同构于 $M(\overline{\Gamma},v)$，即一个具有有限参数的插值自由群因子。