[论文解读] A planar algebra construction of the Haagerup subfactor

Emily Peters|ArXiv.org|Feb 8, 2009

Algebraic structures and combinatorial models参考文献 12被引用 6

一句话总结

本文使用平面代数技术构建了Haagerup子因子，证明了在第12级Temperley-Lieb代数中，特定辫子不变量与内积可产生所需结构。关键结果是显式计算了对偶基向量与范数关系，通过平面代数关系与$TL_{12}$代数中量子整数$[n]$的内积恒等式，确认了子因子的存在性。该构造依赖于Jones-Wenzl幂等元及涉及$\sqrt{13}$的谱计算，确立了子因子的指标与对偶性质。

ABSTRACT

Most known examples of subfactors occur in families, coming from algebraic objects such as groups, quantum groups and rational conformal field theories. The Haagerup subfactor is the smallest index finite-depth subfactor which does not occur in one of these families. In this paper we construct the planar algebra associated to the Haagerup subfactor, which provides a new proof of the existence of the Haagerup subfactor. Our technique is to find the Haagerup planar algebra as a singly generated subfactor planar algebra, contained inside of a graph planar algebra.

研究动机与目标

• 使用平面代数方法而非传统的冯诺依曼代数技术来构造Haagerup子因子。
• 计算$TL_{12}$中涉及Jones-Wenzl幂等元与特定基元素的辫子内积，以验证对偶性与范数条件。
• 在$\rho(T) = -T$条件下，证明对偶基向量$\hat{w}_{i,i+1}(T)$与$\hat{w}_{i,i+6}(T)$分别为$\alpha_{i,i+1}(T)$与$\alpha_{i,i+6}(T)$的标量倍数。
• 通过计算关键内积如$\langle \hat{w}_{4,5}(T), \hat{w}_{10,11}(T) \rangle = \frac{17 - 5\sqrt{13}}{144}$与$\|N\|^2 = \frac{16}{351}(13 + 11\sqrt{13})$，验证平面代数结构的一致性。

提出的方法

• 构造使用Temperley-Lieb代数$TL_{12}$与量子整数$[n]$，结合Jones-Wenzl幂等元$f^{(12)}$，定义辫子不变量与内积。
• 通过在基元素$\beta \in B(TL_n)$上求和，结合来自$f^{(n)}$的系数，以图示方式评估贡献，计算内积。
• 通过对正交投影与归一化定义对偶基向量$\hat{w}_{i,i+1}(T)$与$\hat{w}_{i,i+6}(T)$，并利用关系$\hat{w}_{i,i+6}(T) = \frac{11 + \sqrt{13}}{36} \alpha_{i,i+6}(T)$。
• 通过正交分解与已知的$f^{(6)}$与$\hat{w}_{6,12}$范数，计算$N = \text{Join}_2(T,T) - \text{Proj}_{TL_6}(\text{Join}_2(T,T)) - \text{Proj}_{ATL_6(T)}(\text{Join}_2(T,T))$的范数。
• 应用球面对称性与旋转规则，简化涉及星号辫子的内积，将其约化为$Z(T^3)$与$Z((\rho^{1/2}T)^3)$的计算。
• 利用恒等式$f^{(n)} \cdot f^{(n)} = f^{(n)}$简化内积，并确认由于系数和为零，某些内积为零。

实验结果

研究问题

• RQ1 Haagerup子因子能否完全在平面代数框架下，基于$TL_{12}$与Jones-Wenzl幂等元实现构造？
• RQ2 向量$N = (1 - \text{Proj}_{TL_6} - \text{Proj}_{ATL_6(T)}) \text{Join}_2(T,T)$的精确范数是多少？它与子因子指标有何关系？
• RQ3 $\hat{w}_{i,i+6}(T)$为何是$\alpha_{i,i+6}(T)$的标量倍数？其标量精确表达式如何用$\sqrt{13}$表示？
• RQ4 内积$\langle \hat{w}_{4,5}(T), \hat{w}_{10,11}(T) \rangle$的值是多少？其计算是否基于$f^{(12)}$中特定基元素的贡献？
• RQ5 $f^{(6)}$与$f^{(12)}$中基元素的系数如何决定平面代数中内积的非零贡献？

主要发现

• 内积$\langle \alpha_{i,i+1}(T), w_{i,i+1}(T) \rangle = 76 - 20\sqrt{13}$，用于归一化$\hat{w}_{i,i+1}(T)$。
• 对偶向量$\hat{w}_{i,i+6}(T)$精确等于$\frac{11 + \sqrt{13}}{36} \alpha_{i,i+6}(T)$，证实其为标量倍数，因交叉项消失。
• 内积$\langle \hat{w}_{4,5}(T), \hat{w}_{10,11}(T) \rangle = \frac{17 - 5\sqrt{13}}{144}$，通过五个特定$TL_6$基元素的贡献求和计算得出。
• 范数$\|N\|^2 = \frac{16}{351}(13 + 11\sqrt{13})$，由正交分解与已知的$f^{(6)}$及$\hat{w}_{6,12}$范数推导得出。
• $\text{Join}_3(T,T)$在$ATL_5(T)$上的投影范数为$\left\| \text{Proj}_{ATL_5(T)}(\text{Join}_3(T,T)) \right\|^2 = \frac{[5]^2}{[6]}$，其中$[5] = \frac{\sin(5\pi/13)}{\sin(\pi/13)}$。
• 由于$f^{(6)}$在相关基元素上的系数和为零，有$\langle \alpha_{i,i+6}(T), w_{i-1,i}(T) \rangle = 0$与$\langle \alpha_{i,i+6}(T), w_{i+5,i+6}(T) \rangle = 0$。