[论文解读] Lifting shadings on symmetrically self-dual subfactor planar algebras

Zhengwei Liu, Scott Morrison+1 more|arXiv (Cornell University)|Sep 15, 2017

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

一句话总结

本文提出了一种方法，将对称自对偶子因子平面代数上的着色提升，以构造 ${\mathbb{Z}}/2{\mathbb{Z}}$-分次单位正则融合范畴。通过证明此类平面代数存在满足 $\Phi_{\mp} \circ \Phi_{\pm} = \mathbf{1}_{\pm}$ 的自对偶同构，作者完成了对融合图 4442 和 3333 的单位正则融合范畴的构造，解决了该类范畴分类中的一个关键空白。

ABSTRACT

In this note, we discuss the notion of symmetric self-duality of shaded planar algebras, which allows us to lift shadings on subfactor planar algebras to obtain Z/2Z-graded unitary fusion categories. This finishes the proof that there are unitary fusion categories with fusion graphs 4442 and 3333.

研究动机与目标

• 完成从具有融合图 4442 和 3333 的子因子平面代数构造 ${\mathbb{Z}}/2{\mathbb{Z}}$-分次单位正则融合范畴。
• 证明对着色平面代数的对称自对偶性允许将着色提升至无着色因子平面代数。
• 通过完成先前声称的构造，确立具有融合图 4442 和 3333 的单位正则融合范畴的存在性。
• 验证提升构造能产生一个定义良好的 ${\mathbb{Z}}/2{\mathbb{Z}}$-分次张量范畴，其偶部与奇部正确。

提出的方法

• 通过平面代数同构 $\Phi$ 定义着色平面代数 $\mathcal{P}_\bullet = (\mathcal{P}_+, \mathcal{P}_-)$ 到其对偶 $\overline{\mathcal{P}}_\bullet = (\mathcal{P}_-, \mathcal{P}_+)$ 的对称自对偶性，满足 $\Phi_{\mp} \circ \Phi_{\pm} = \mathbf{1}_{\pm}$。
• 利用同构 $\Phi$ 将子因子平面代数上的着色提升至无着色因子平面代数，从而构造出 ${\mathbb{Z}}/2{\mathbb{Z}}$-分次单位正则融合范畴。
• 通过涉及 $\mathfrak{F}_S$ 和 $\Phi_{-}$ 的迹恒等式，证明 $\Phi^2 = 1$ 当且仅当关联的双特征标 $\chi$ 是对称的。
• 证明 $\chi(g,h)$ 是对称的当且仅当 $(\Phi_{-}\mathfrak{F}_S)^2 = \mathfrak{F}_S^2$，将代数条件与双特征标的对称性联系起来。
• 验证所得的无着色平面代数 $\mathcal{P}^A_\bullet$ 是对称自对偶的，确保分次的一致性。
• 确认所得范畴是一个单位正则融合范畴，其偶部为 $\mathcal{P}_+$，奇部为 $\mathcal{P}_-$，与期望的融合图一致。

实验结果

研究问题

• RQ1 能否将对称自对偶子因子平面代数上的着色提升，以生成一个 ${\mathbb{Z}}/2{\mathbb{Z}}$-分次单位正则融合范畴？
• RQ2 同构 $\Phi$ 满足 $\Phi^2 = 1$ 的条件是什么？
• RQ3 与平面代数相关的双特征标 $\chi(g,h)$ 是对称的当且仅当 $\Phi^2 = 1$ 吗？
• RQ4 该提升构造是否能产生一个定义良好的单位正则融合范畴，其融合图为 4442 或 3333？
• RQ5 当基群为阿贝尔群时，所得的 ${\mathbb{Z}}/2{\mathbb{Z}}$-分次融合范畴是否同构于 Tambara-Yamagami 范畴？

主要发现

• 对称自对偶子因子平面代数上着色的提升至无着色因子平面代数的过程已得到充分证明，完成了先前声称的构造。
• 通过涉及 $\mathfrak{F}_S$ 和 $\Phi_{-}$ 的迹恒等式，证明 $\Phi^2 = 1$ 当且仅当关联的双特征标 $\chi$ 是对称的。
• 对于有限阿贝尔群 $A$ 和非退化的对称双特征标 $\chi$，所得的 ${\mathbb{Z}}/2{\mathbb{Z}}$-分次融合范畴即为 Tambara-Yamagami 范畴。
• 该构造确认了具有融合图 4442 和 3333 的单位正则融合范畴的存在性，解决了该类范畴分类中的一个关键开放问题。
• 无着色平面代数 $\mathcal{P}^A_\bullet$ 是对称自对偶的，确保了 ${\mathbb{Z}}/2{\mathbb{Z}}$-分次的一致性。
• 所得融合范畴的偶部与奇部恰好分别为 $\mathcal{P}_+$ 和 $\mathcal{P}_-$，符合提升过程保持原始子因子数据的要求。