[论文解读] Pivotal fusion categories of rank 3 (with an Appendix written jointly with Dmitri Nikshych)

Victor Ostrik|arXiv (Cornell University)|Sep 18, 2013

Algebraic structures and combinatorial models参考文献 22被引用 15

一句话总结

本文对代数闭域上特征零的秩3关键融合范畴进行了分类，证明其等价于五类之一：ℤ/3ℤ群的指向范畴、在单位根七次单位根处的量子sl₂的偶部、伊zing范畴、S₃的表示范畴或其扭范畴，或E₆子因子范畴及其伽罗瓦共轭。该分类依赖于新的理论工具，包括可排除大多数秩3基环可范畴化的伪酉不等式。

ABSTRACT

We classify all fusion categories of rank 3 that admit a pivotal structure over an algebraically closed field of characteristic zero. Also in the Appendix (joint with D.Nikshych) we give some restrictions on Grothendieck rings of near-group categories.

研究动机与目标

• 对代数闭域上特征零的秩3融合范畴中具有关键结构的范畴进行分类。
• 填补小秩融合范畴分类的空白，扩展先前对秩1和秩2范畴的研究结果。
• 开发新的理论工具，特别是伪酉不等式，以限制基环的可范畴化。
• 通过格罗滕迪克环的限制研究近群范畴，尤其关注整数和非整数情形。
• 探讨无关键结构的融合范畴的存在性与结构，表明其必须具有较大的融合系数。

提出的方法

• 利用伪酉不等式（公式5）对具有正维度值的球面对称融合范畴的格罗滕迪克环施加非平凡约束。
• 应用定理2.13（单位对象的诱导至Drinfeld中心）以分析范畴结构与维度增长。
• 采用Drinfeld中心构造和通过Tannakian子范畴的纤维范畴，将融合范畴与群理论结构联系起来。
• 利用辫子等价与中心函子，证明某些纤维范畴等价于有限群的表示范畴。
• 应用Ng与Schauenburg关于弗罗贝尼乌斯-施瑙尔指标的结果，排除分类中的困难情形。
• 利用弱莫代塔等价与模范畴理论，通过形式𝒞(Ḡ, H̃, ω, ψ)将近群范畴与群理论范畴联系起来。

实验结果

研究问题

• RQ1 哪些代数闭域上特征零的秩3融合范畴具有关键结构？
• RQ2 伪酉不等式对秩3基环的可范畴化施加了何种限制？
• RQ3 非整数维的近群范畴能否被分类，其结构特性为何？
• RQ4 在何种条件下近群范畴是群理论的，特别是当可逆对象群的阶为2时？
• RQ5 无关键结构的秩3融合范畴是否存在，其融合系数受何种约束？

主要发现

• 所有代数闭域上特征零的秩3关键融合范畴均等价于五类已知类型之一：ℤ/3ℤ指向范畴、在七次单位根处的量子sl₂的偶部、伊zing范畴、Rep(S₃)或其扭范畴，或E₆子因子范畴及其伽罗瓦共轭。
• 伪酉不等式（公式5）足够强大，可排除绝大多数秩3基环的可范畴化，成为关键的障碍工具。
• 当0 < n < |G|−1时，近群范畴必须具有非阿贝尔群G；而当n = |G|−1时，必须具有循环群G，此结论通过维数与特征标分析得出。
• 非整数维近群范畴的格罗滕迪克环必为交换环，而整数维近群范畴为弱群理论范畴。
• 与Drinfeld中心中Tannakian子范畴相关的纤维范畴𝒟 ⨂_{𝒟′} Vec为群理论范畴，意味着存在拉格朗日子范畴。
• 当n = |G|−1时，范畴𝒞(G,n)为群理论范畴，且弱莫代塔等价于指向范畴Vec_{Ḡ}^ω，其中|Ḡ| = |G|(|G|+1)，且Ā为具有阶|G|的补子群H̃的弗罗贝尼乌斯群。