[论文解读] Some non-braided fusion categories of rank 3

Tobias Hagge, Seung-Moon Hong|ArXiv.org|Apr 2, 2007

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

一句话总结

本文在特定非辫子融合规则集下，对具有三个简单对象的融合范畴进行了分类，证明了存在且仅存在四个单一路不等价的范畴。文章确立了其非辫子性质，验证了其为球面对称范畴，并提供了显式的结合矩阵，以及一个新颖的初等证明，表明四重对偶函子自然同构于恒等函子，从而完成了在Ostrik假设下对秩-3融合范畴的猜想分类。

ABSTRACT

We classify all fusion categories for a given set of fusion rules with three simple object types. If a conjecture of Ostrik is true, our classification completes the classification of fusion categories with three simple object types. To facilitate the discussion we describe a convenient, concrete and useful variation of graphical calculus for fusion categories, discuss pivotality and sphericity in this framework, and give a short and elementary re-proof of the fact that the quadruple dual functor is naturally isomorphic to the identity.

研究动机与目标

• 在特定非辫子融合规则集下，对具有三个简单对象的融合范畴进行分类。
• 验证这些范畴无法实现为辫子融合范畴。
• 通过显式典范结构证明这四个范畴是球面对称的。
• 提供一个全新的初等证明，表明四重对偶函子自然同构于恒等函子。
• 在Ostrik猜想下完成对秩-3融合范畴的分类。

提出的方法

• 通过骨骼化和严格化构造融合范畴的严格化骨骼模型，以简化代数计算。
• 将融合范畴的公理表示为复数域上的多项式方程组，使用严格化骨骼中的结合矩阵。
• 通过正规化和格鲁伯基（Gröbner basis）技术求解所得多项式系统，以找出所有单一路不等价的解。
• 通过显式计算对偶态射并检查其与融合规则的一致性，验证范畴的刚性。
• 通过双对偶函子在态射空间上的作用来检验球面对称性，证明双对偶矩阵的立方为单位矩阵。
• 对一个解的系数施加伽罗瓦自同构，以生成其余三个不等价的范畴。

实验结果

研究问题

• RQ1 在给定的非辫子融合规则集下，具有三个简单对象的单一路不等价融合范畴共有多少个？
• RQ2 本文分类的四个范畴能否赋予辫子结构？若不能，原因是什么？
• RQ3 在这些范畴中，四重对偶函子是否自然同构于恒等函子？能否给出初等证明？
• RQ4 这些范畴是否允许球面对称结构？在此背景下，典范性扮演何种角色？
• RQ5 缺乏辫子结构在多大程度上影响了融合范畴中球面对称结构的存在性？

主要发现

• 在给定的融合规则下，具有三个简单对象（1, x, 和 y）的单一路不等价融合范畴恰好有四个。
• 这四个范畴通过作用于结合矩阵系数的非平凡伽罗瓦自同构相互关联。
• 四个范畴均无法赋予辫子结构，这一点由六边形方程无解所证实。
• 所有四个范畴均为球面对称范畴，因为双对偶函子的立方在态射空间上作用为单位映射。
• 四重对偶函子自然同构于恒等函子的证明是初等的，其基础在于严格化骨骼的构造。
• 附录A中提供了显式的结合矩阵，包括所有融合规则的矩阵，其复数元素涉及单位根和代数数。