[论文解读] Skein theory for the ADE planar algebras

Stephen Bigelow|ArXiv.org|Mar 1, 2009

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

一句话总结

本文为与 $E_6$、$E_8$、$A_N$ 和 $D_{2N}$ 子因子相关的 ADE 平面代数提供了生成元与关系的表述，为每种情况建立了图示基，并给出了将任意图示表达为基元素线性组合的构造性算法。其核心贡献是一个系统化的辫子理论框架，证明了该基张成代数，并支持在这些平面代数中进行显式计算。

ABSTRACT

We give generators and relations for the planar algebras corresponding to $ADE$ subfactors. We also give a basis and an algorithm to express an arbitrary diagram as a linear combination of these basis diagrams.

研究动机与目标

• 为 $E_8$ 平面代数提供一个完整的生成元与关系表述，扩展先前对 $A_N$ 和 $D_{2N}$ 子因子的研究。
• 为 $E_8$ 平面代数定义一个规范的图示基，并证明其张成所有图示的空间。
• 开发一种算法方法，利用辫子关系与约化规则，将任意图示表达为基元素的线性组合。
• 将该框架扩展至 $E_6$、$A_N$ 和 $D_{2N}$ 情况，表明存在类似的表述与基。

提出的方法

• 通过一个生成元 $S$ 和五条关系（包括量子整数标量以及在旋转和迹映射下的特定不变性条件）来定义平面代数 $\mathcal{P}$。
• 利用已知的子因子平面代数 $\mathcal{P}'$（其主图是 $E_8$）的性质，建立同构 $\mathcal{P} \cong \mathcal{P}'$。
• 构造一个基 $\mathcal{B}_n$，其由单个生成元 $S$ 置于顶部并通过线段连接到底部的 JW-约化 Temperley-Lieb 图示组成。
• 应用归纳约化技术：使用辫子关系将图示替换为帽或扣，从而减少到字典序更小或形式更简单的图示。
• 利用 Temperley-Lieb 平面代数作为子代数，通过 Jones-Wenzl 幂等元和 $[n]$ 量子整数来定义归一化。
• 通过调整生成元与关系以匹配其各自的主图和量子参数，将该方法推广至 $A_N$、$D_{2N}$ 和 $E_6$。

实验结果

研究问题

• RQ1 能否使用辫子理论为 $E_8$ 平面代数提供一个完整的生成元与关系表述？
• RQ2 是否存在一个有限的图示基，能张成 $E_8$ 平面代数，并且可以算法化地构造？
• RQ3 与 $A_N$、$D_{2N}$ 和 $E_6$ 的辫子关系及约化规则相比，$E_8$ 的关系与规则有何异同？
• RQ4 量子整数与 Jones-Wenzl 幂等元在构造基并确保线性无关性方面起什么作用？
• RQ5 该框架能否统一应用于所有 ADE 平面代数，包括孤立的 $E_6$ 和 $E_8$ 情况？

主要发现

• 由一个生成元 $S$ 和五条关系定义的平面代数 $\mathcal{P}$ 同构于 $E_8$ 子因子平面代数 $\mathcal{P}'$，从而确立了完整的表述。
• 集合 $\mathcal{B}_n$ 构成 $\mathcal{P}_n$ 的基，其基数与已知的 $E_8$ 平面代数维数一致，证明其张成整个空间。
• 存在一种算法，可利用帽、扣和辫子关系的迭代约化，将任意图示表达为基元素的线性组合。
• 对于 $E_6$，平面代数由一个生成元 $S \in \mathcal{P}_6$ 表述，满足 $\rho(S) = e^{4\pi i/3}S$，$\tau(S) = 0$，$S^2 = S + [2]^2[3]P_3$，且 $\hat{S}P_8 = 0$，其中 $q = e^{i\pi/12}$。
• $D_{2N}$ 与 $A_N$ 情况亦以类似方式表述，其生成元与关系已确定，基由包含 $S$（若存在）和 JW-约化 Temperley-Lieb 图示的图示构成。
• 在所有 ADE 情况下，基元素的形式为 $XY$，其中 $X$ 是一组固定的图示（包括空图或 $S$），而 $Y$ 是一个 JW-约化的 Temperley-Lieb 图示，从而确保了统一且可构造的框架。