[论文解读] Singly generated planar algebras of small dimension, Part III

Dietmar Bisch, Vaughan F. R. Jones+1 more|arXiv (Cornell University)|Oct 10, 2014

Algebraic structures and combinatorial models参考文献 38被引用 3

一句话总结

本文对具有14维3-框的单生成子因子平面代数进行分类，证明其均为BMW型平面代数——具体而言，要么是来自量子$SO(3)$的深度3代数，要么是来自量子$Sp(4)$的一族单参数平面代数。通过维数约束与杨-巴克斯方程，作者表明整个结构均由2-框运算决定，从而将先前的分类结果扩展至维数13以上。

ABSTRACT

The first two authors classified subfactor planar algebra generated by a non-trivial 2-box subject to the condition that the dimension of 3-boxes is at most 12 in Part I; 13 in Part II of this series. They are the group planar algebra for $\mathbb{Z}_3$, the Fuss-Catalan planar algebra ; and the group/subgroup planar algebra for $\mathbb{Z}_2\subset \mathbb{Z}_5 times \mathbb{Z}_2$. In the present paper, we extend the classification to 14 dimensional 3-boxes. They are all BMW. Precisely it contains a depth 3 one from quantum $SO(3)$, and a one-parameter family from quantum $Sp(4)$.

研究动机与目标

• 将单生成子因子平面代数的分类从维数13扩展至14维3-框。
• 确定此类平面代数是否受BMW代数结构支配，而非交换关系。
• 证明在14维约束下，平面代数结构完全由2-框运算决定。
• 将所有此类代数识别为深度3量子$SO(3)$代数或来自量子$Sp(4)$的一族单参数代数。

提出的方法

• 利用3-框的维数约束，限制平面代数中生成元之间的可能关系。
• 应用杨-巴克斯方程与 Reidemeister 移动，约束生成元的代数结构。
• 利用引理2.11，证明当杨-巴克斯关系成立时，整个平面代数由2-框运算决定。
• 利用 Liu [Liu] 中特定条件下存在双投影的结论，简化计算并验证结构。
• 通过直接计算推导2-框运算的参数，包括伴随、乘积与余乘积。
• 建立参数对形变变量的有理函数依赖关系，证明生成元在所有情况下均满足BMW关系。

实验结果

研究问题

• RQ1 所有由单个2-框生成且具有14维3-框的子因子平面代数是否同构于BMW代数？
• RQ2 当3-框维数为14时，杨-巴克斯关系是否足以确定此类平面代数的完整结构？
• RQ3 此类代数的完整列表是什么？它们与$SO(3)$和$Sp(4)$等量子群有何关系？
• RQ4 在14维下缺乏交换关系时，2-框结构是否足以唯一确定整个平面代数？
• RQ5 2-框运算的参数如何与量子群形变参数相关联？

主要发现

• 所有由单个2-框生成且具有14维3-框的子因子平面代数均同构于BMW代数。
• 该分类包括来自量子$SO(3)$的深度3平面代数与来自量子$Sp(4)$的一族单参数平面代数。
• 当dim(3-框) = 14时，杨-巴克斯关系足以确定整个平面代数结构。
• 生成元$U$满足BMW二次关系与杨-巴克斯方程，确认其BMW性质。
• 参数$a$、$b$与$ ilde{q}$是有理函数形式的形变参数$q$的函数，确保在所有值下的一致性。
• 2-框结构通过引理2.11唯一确定整个平面代数，证实分类结果是完整的。