[论文解读] Commuting Squares and Index for Subfactors

John Schou|arXiv (Cornell University)|Apr 22, 2013

Advanced Operator Algebra Research参考文献 3被引用 14

一句话总结

本篇哲学博士论文研究了冯诺依曼代数中子因子的可交换平方，引入双酉条件以构造拟超有限 $II_1$-因子的不可约子因子。研究证明，$(4,5)$ 区间内的指标值可由有限图和无限图生成，关键结果表明，通过非负整数矩阵可获得的最小此类指标值为 $\frac{5+\sqrt{13}}{2} \approx 4.302$，且像 $T(1,2,\infty)$ 这类无限图可产生有限图无法实现的新指标值。

ABSTRACT

This is the 1990 Ph.D. thesis of John Kehlet Schou, advised by Uffe Haagerup at Odense University.

研究动机与目标

• 通过双酉条件表征多矩阵代数的可交换平方，推广温茨的梯子构造方法。
• 确定哪些具有非负整数元素的矩阵 $G$ 可通过可交换平方在 $(4,5)$ 区间内产生指标值。
• 将子因子构造理论从有限维推广至无限维多矩阵代数。
• 研究无限图（特别是希勒所定义的图）是否可定义可交换平方并产生新的指标值。
• 证明某些指标值（如来自 $T(1,2,\infty)$ 的指标值）无法通过有限图实现，从而扩展已知的可能子因子指标集合。

提出的方法

• 引入双酉条件 $HL^t = G^tK$ 作为从包含矩阵 $G,H,K,L$ 构造可交换平方的充要条件。
• 应用保持迹的条件数学期望条件 $E_A = E_B E_C = E_C E_B$ 以确保可交换平方的性质。
• 运用庞特里亚金-弗罗贝尼乌斯理论分析有限图和无限图的谱范数，作为可能的指标值候选。
• 基于狄尼金图 $A_l$ 和 $E_{10}$ 构造可交换平方，复现温茨已知的指标值。
• 分析谢雷所定义的无限图 $\Gamma_\lambda$ 的结构，表明其庞特里亚金-弗罗贝尼乌斯向量是可求和的，因此可能适用于无限维可交换平方。
• 采用酉矩阵扩展和向量范数约束，求解特定图基矩阵的双酉问题。

实验结果

研究问题

• RQ1 何种矩阵条件可确保多矩阵代数的可交换平方产生拟超有限 $II_1$-因子的不可约子因子，且其指标位于 $(4,5)$ 区间？
• RQ2 是否可通过有限图无法实现的无限图实现高于 4 的指标值？
• RQ3 双酉条件是否唯一表征了从包含矩阵构造可交换平方的过程？
• RQ4 在何种条件下可使用无限维多矩阵代数构造具有指定指标值的子因子？
• RQ5 图 $T(1,2,\infty)$ 是否可用于构造可交换平方，从而产生有限图无法实现的新指标值？

主要发现

• 通过非负整数矩阵可实现的 $(4,5)$ 区间内最小指标值为 $\frac{5+\sqrt{13}}{2} \approx 4.302$，该值由满足双酉条件的特定矩阵 $G$ 获得。
• 通过奥克内阿努方法构造的图 $E_{10} = S(1,2,6)$ 产生目前已知的、使用非负整数矩阵可实现的、大于 4 的最小指标值。
• 基于狄尼金图 $A_l$ 的可交换平方复现了与温茨构造相同的指标值：$\frac{\sin^2(k\pi/l)}{\sin^2(\pi/l)}$，其中 $l \geq 3$，$2 \leq k \leq l-2$。
• 像 $T(1,2,\infty)$、$T(1,3,\infty)$ 和 $T(1,4,\infty)$ 这类无限图可用于构造可交换平方，产生有限图无法实现的指标值。
• 谢雷的无限图 $\Gamma_\lambda$ 的庞特里亚金-弗罗贝尼乌斯向量在 $\lambda > \sqrt{2 + \sqrt{5}}$ 时是可求和的，表明其在无限维子因子构造中具有潜在应用。
• 通过使用具有特定范数约束的酉矩阵，为 $T(1,2,\infty)$ 构造了双酉问题的对称解，证实了该图存在可交换平方。