[论文解读] Random matrices, free probability, planar algebras and subfactors

Alice Guionnet, Vaughan F. R. Jones+1 more|ArXiv.org|Dec 18, 2007

Random Matrices and Applications参考文献 2被引用 69

一句话总结

本文通过格化代数结构和源自随机矩阵理论的迹，从任意给定的子因子平面代数构造出一个 II₁ 子因子。通过利用大 N 矩阵模型定义一族迹，并应用 GNS 构造，将平面代数实现为子因子的高阶相对交换子系统，从而为 Popa 的结果提供了新证明：每个平面代数均可作为 II₁ 子因子的标准不变量出现。

ABSTRACT

Using a family of graded algebra structures on a planar algebra and a family of traces coming from random matrix theory, we obtain a tower of non-commutative probability spaces, naturally associated to a given planar algebra. The associated von Neumann algebras are II$_{1}$ factors whose inclusions realize the given planar algebra as a system of higher relative commutants. We thus give an alternative proof to a result of Popa that every planar algebra can be realized by a subfactor.

研究动机与目标

• 建立从任意子因子平面代数构造 II₁ 子因子的新方法。
• 通过平面代数将随机矩阵理论、自由概率与子因子理论联系起来。
• 为 Popa 定理提供替代证明：每个平面代数均可实现为 II₁ 子因子的标准不变量。
• 利用格化代数和随机矩阵渐近迹，定义一族非交换概率空间。

提出的方法

• 利用平面代数的辫子乘法定义格化代数结构 $Gr_kP = \bigoplus_{n \neq k} P_n$。
• 通过求和于 Temperley-Lieb 辫子，基于大 N 随机矩阵渐近性，构造 $Gr_kP$ 上的一族迹 $Tr_k$。
• 将 $Tr_0$ 实现为 Fock 空间上的真空期望，与 Voiculescu 的自由概率迹一致。
• 对 $Tr_k$ 应用 GNS 构造，当 $\delta > 1$ 时得到 II₁ 因子 $M_k$，其中 $\delta$ 为指标参数。
• 建立 $Gr_kP \subset Gr_{k+1}P$ 的单位包含关系，并将其延拓为 $M_k \subset M_{k+1}$，其中投影 $\mathbf{e}_k$ 构成基本构造塔。
• 将相对交换子 $M_0' \cap M_k$ 与 $P_k$ 作为平面 $*$-代数进行典范同构。

实验结果

研究问题

• RQ1 能否通过构造性方法，将每个子因子平面代数实现为 II₁ 子因子的高阶相对交换子系统？
• RQ2 如何系统性地利用随机矩阵理论中的迹，在平面代数上定义非交换概率结构？
• RQ3 从平面代数导出的格化代数在子因子构造中起什么作用？
• RQ4 所构造子因子的高阶相对交换子与原始平面代数之间有何关系？
• RQ5 能否通过统一的代数结构，形式化自由概率、随机矩阵与子因子之间的联系？

主要发现

• 对每个 $k$，$Gr_kP$ 上的迹 $Tr_k$ 是忠实的迹态，当 $\delta > 1$ 时，GNS 完备化产生 II₁ 因子 $M_k$。
• 包含关系 $Gr_kP \subset Gr_{k+1}P$ 延拓为单位包含关系 $M_k \subset M_{k+1}$，形成 II₁ 因子塔。
• 投影 $\mathbf{e}_k \in Gr_{k+1}P$ 满足基本构造关系，使得 $(M_{k+1}, \mathbf{e}_k)$ 为 $M_0 \subset M_1$ 的基本构造。
• 相对交换子 $M_0' \cap M_k$ 作为平面 $*$-代数，与 $P_k$ 之间存在典范同构。
• $Gr_0P$ 上的迹 $Tr_0$ 与 Voiculescu 在 $p$ 个自伴变量的非交换多项式上的自由概率迹一致。
• 该构造为 Popa 的结果提供了新证明：每个子因子平面代数均可作为 II₁ 子因子的标准不变量出现。