[论文解读] On braided near-group categories

Josiah E. Thornton|arXiv (Cornell University)|Feb 22, 2011

Algebraic structures and combinatorial models参考文献 6被引用 5

一句话总结

本文证明了所有复数域上的近群融合范畴均为球面对称的，并对具有一个非可逆简单对象的有 braided 近群范畴进行了分类。研究发现，非对称的有 braided 近群范畴仅在群 G 为平凡群、ℤ/2ℤ 或 ℤ/3ℤ 时存在，其中当 G 为平凡群时有四个此类范畴，当 G=ℤ/2ℤ 时有两个，当 G=ℤ/3ℤ 时有一个，这些分类均在有 braided 张量等价意义下成立。

ABSTRACT

We prove that any fusion category over $\mathbb{C}$ with exactly one non-invertible simple object is spherical. Furthermore, we classify all such categories that come equipped with a braiding.

研究动机与目标

• 证明所有复数域上的近群融合范畴均为球面对称的，为所有融合范畴均允许球面对称结构的猜想提供正面证据。
• 对具有恰好一个非可逆简单对象的所有有 braided 近群范畴进行分类，完成此类范畴的分类工作。
• 确定有限群 G 和非负整数 k 的可能取值，使得非对称的有 braided 近群范畴存在。
• 通过度量群和群作用，利用非退化的二次型，刻画范畴的 pointed 部分的结构。
• 建立当 k≠0 时对称近群范畴等价于 Rep(𝔽_{p^l} ⋊ 𝔽_{p^l}^*) 的结论，其中 p^l ≠ 2。

提出的方法

• 利用近群范畴的 Grothendieck 环结构，该结构由有限群 G 和整数 k 参数化，从而定义近群融合规则 (G,k)。
• 应用 Deligne 和 Seitz 关于有限群表示的结果，推导出球面对称性和伪单位结构。
• 采用 ENO 提出的球面对称化构造，在任意融合范畴上定义一个典范的球面对称结构。
• 通过度量群 (A,q) 分析范畴的 pointed 有 braided 部分，其中 A 为有限阿贝尔群，q 为非退化的二次型。
• 利用群作用对度量群进行分类，通过非平凡群作用下的固定点范畴，实现对非对称有 braided 近群范畴的分类。
• 应用条件 |∑_{a∈A} q(a)|² = |A| 以限制可能的群阶和二次型，从而将 A 限制为 ℤ/2ℤ⊕ℤ/2ℤ 或 ℤ/3ℤ。

实验结果

研究问题

• RQ1 哪些复数域上的近群融合范畴允许球面对称结构？
• RQ2 对于哪些有限群 G 和整数 k，存在具有融合规则 (G,k) 的非对称有 braided 近群范畴？
• RQ3 具有一个非可逆简单对象的有 braided 近群范畴的完整分类结果是什么？
• RQ4 群作用在度量群上如何对非对称有 braided 近群范畴进行分类？
• RQ5 当 k≠0 时，有 braided 近群范畴的 pointed 部分具有何种结构约束？

主要发现

• 所有复数域上的近群融合范畴均为球面对称的，并且对某个 ℂ 的域自同构 φ，均具有 φ-伪单位结构。
• 当 k≠0 时，非对称的有 braided 近群范畴仅在群 G 为平凡群、ℤ/2ℤ 或 ℤ/3ℤ 时存在。
• 当 G 为平凡群时，在有 braided 张量等价意义下，存在四个具有融合规则 (1,1) 的有 braided 近群范畴。
• 当 G=ℤ/2ℤ 时，在有 braided 张量等价意义下，存在两个具有融合规则 (ℤ/2ℤ,1) 的有 braided 近群范畴。
• 当 G=ℤ/3ℤ 时，存在且仅存在一个具有融合规则 (ℤ/3ℤ,2) 的有 braided 近群范畴。
• 结合 Siehler 对 (G,0) 情况的分类以及对称范畴的结果，该分类已完整覆盖所有有 braided 近群范畴。