[论文解读] A2-Planar Algebras II: Planar Modules

David Evans, Mathew Pugh|arXiv (Cornell University)|Jun 23, 2009

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

一句话总结

本文引入了$A_2$-平面代数上的平面模，将琼斯的平面代数框架推广至编码量子$SU(3)$表示理论的范畴。通过$SU(3)$的$\mathcal{ADE}$图及其上的细胞系统，构造了$A_2$-图平面代数，并实现了这些代数到不可约$A_2$-$PTL$-模的偏模分解，尤其通过关键算子在希尔伯特模上的特征值分析识别出其中的分量。

ABSTRACT

Generalizing Jones's notion of a planar algebra, we have previously introduced an A_2-planar algebra capturing the structure contained in the double complex pertaining to the subfactor for a finite SU(3) ADE graph with a flat cell system. We now introduce the notion of modules over an A_2-planar algebra, and describe certain irreducible Hilbert A_2-TL-modules. We construct an A_2-graph planar algebra associated to each pair (G,W) given by an SU(3) ADE graph G and a cell system W on G. A partial modular decomposition of these A_2-graph planar algebras is achieved.

研究动机与目标

• 将琼斯的平面代数框架推广至$A_2$-平面代数，以捕捉$SU(3)$子因子及其相关模不变量的结构。
• 定义并研究$A_2$-平面代数上的平面模，特别关注最低权为零的不可约希尔伯特模。
• 为每对$(\mathcal{G}, W)$构造一个$A_2$-图平面代数$P^{\mathcal{G}}$，其中$\mathcal{G}$是$SU(3)$的$\mathcal{ADE}$图，$W$是$\mathcal{G}$上的细胞系统。
• 通过$\rho_{(2,2)}$、$U_1$和$\widetilde{U}_1$等算子的谱分析，实现$P^{\mathcal{G}}$到不可约$A_2$-$PTL$-模的偏模分解。
• 通过分析正交补和特征值重数，确定$\mathcal{E}^{(8)}$和$\mathcal{D}^{(6)}$等特定图的$P^{\mathcal{G}}$结构。

提出的方法

• 将琼斯的平面代数框架推广至$A_2$-平面代数，通过$A_2$-Temperley-Lieb代数编码量子$SU(3)$的表示理论。
• 定义$A_2$-平面代数上的平面模，引入最低权概念，并构造最低权为零的不可约希尔伯特$A_2$-$PTL$-模。
• 从$SU(3)$的$\mathcal{ADE}$图$\mathcal{G}$和相容的细胞系统$W$出发，利用三价顶点图（权重为Ocneanu细胞）构造$A_2$-图平面代数$P^{\mathcal{G}}$。
• 对$P^{\mathcal{G}}$的分次分量（特别是$P^{\mathcal{G}}_{+^{2}-^{2}}$）上作用的关键算子$\rho_{(2,2)}$、$U_1$和$\widetilde{U}_1$进行谱分析。
• 利用特征值重数和对称性（如共轭不变性）识别$P^{\mathcal{G}}$中的不可约模分量，尤其在$W^\perp \cap P^{\mathcal{G}}_{+^{2}-^{2}}$中。
• 应用Verlinde代数和nimrep结构，将分解与$SU(3)$共形场论的模不变量及融合规则联系起来。

实验结果

研究问题

• RQ1 如何在$A_2$-平面代数上定义并分类平面模，特别是最低权为零的模？
• RQ2 与$SU(3)$的$\mathcal{ADE}$图$\mathcal{G}$及细胞系统$W$相关的$A_2$-图平面代数$P^{\mathcal{G}}$的结构是什么？
• RQ3 在$P^{\mathcal{G}}$的分解中，哪些不可约$A_2$-$PTL$-模出现？如何通过谱数据识别它们？
• RQ4 如何通过$P^{\mathcal{G}}$的模分解反映其底层的$SU(3)$模不变量与图对称性？
• RQ5 $\rho_{(2,2)}$、$U_1$和$\widetilde{U}_1$的特征值重数对$P^{\mathcal{G}}$可能的不可约分量施加了何种约束？

主要发现

• 在$A_2$-图平面代数$P^{\mathcal{E}^{(8)}}$中，至少包含$H^{\beta_{(0,0)}}$、$H^{\beta_{(3,0)}}$、$H^{\beta_{(0,3)}}$、$H^{\beta_{(2,2)}}$，以及两个秩$(2,2)$模$H^{(2,2),\gamma_1,\varepsilon_2 i}$和$H^{(2,2),\gamma_2,\varepsilon_3 i}$，其中$\omega = \pm i$，此外还包含$H^{(3,0),\varepsilon_1}$和$H^{(0,3),\varepsilon_1}$，$\varepsilon_1 \in \{\pm 1\}$。
• 对于$\mathcal{D}^{(6)}$，$P^{\mathcal{D}^{(6)}}$的分解包含$H^{\beta_{(0,0)}}$、$H^{0,\overline{0}}$，以及两个秩$(2,2)$模$H^{(2,2),\gamma_1,\varepsilon_1}$和$H^{(2,2),\gamma_2,\varepsilon_2}$，其中$\omega^2 = 1$，即$\omega = \pm 1$。
• $W^\perp \cap P^{\mathcal{E}^{(8)}}_{+^{2}-^{2}}$的维数为6，且$\rho_{(2,2)}$在$H^{(2,2),\gamma,\omega}_{+^{2}-^{2}}$上的特征值$\omega^2 = -1$意味着$\omega = \pm i$，从而限制了可能的模类型。
• $W^\perp \cap P^{\mathcal{D}^{(6)}}_{+^{2}-^{2}}$的维数为2，且$\rho_{(2,2)}$的特征值1具有重数2，这强制存在两个秩$(2,2)$模，而非一个$H^{(3,0),\gamma}$模。
• $U_1$和$\widetilde{U}_1$在$H^{(3,0),\pm 1}_{+^{2}-^{2}}$上的作用具有特征值$[4]\alpha\delta^{-2}$和重数为2的0；在$H^{(0,3),\pm 1}_{+^{2}-^{2}}$上也具有相同的谱行为，表明其谱特性不同。
• $P^{\mathcal{G}}$的分解受共轭对称性约束：若$\gamma_1$为复数，则$\gamma_2 = \overline{\gamma}_1$；或$\gamma_1$与$\gamma_2$均为实数，从而保证$P^{\mathcal{G}}$在复共轭下封闭。