[论文解读] Equivalences of Graded Categories

Cain Edie-Michell|arXiv (Cornell University)|Nov 2, 2017

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

一句话总结

本文通过引入一种实用方法，确定此类扩展之间的张量等价性，从而细化了融合范畴 𝒞 的 G-graded 扩展的分类。它证明了群 Aut⊗(𝒞) × Aut(G) 作用于 G-graded 扩展的集合上，且处于同一轨道中的扩展是张量等价的——这为分类问题中减少重复计数提供了计算上可行的标准。

ABSTRACT

We further the techniques developed by Etingof, Nikshych, and Ostrik in order to classify the $\mathcal{C}$-based equivalences between two $G$-graded extensions of $\mathcal{C}$. The main result of this paper (which follows from this classification) shows that there is an action of the group $\operatorname{Aut}(G) imes \operatorname{Aut}_\otimes(\mathcal{C})$ on the set of all $G$-graded extensions of $\mathcal{C}$, and further, any two extensions in the same orbit of this action are monoidally equivalent. As a warm up for the proof of our classification result we reprove the classification of graded extensions of a fusion category, making extensive use of graphical calculus. Aside from our main result, we provide several other practical applications of our classification of $\mathcal{C}$-based equivalences.

研究动机与目标

• 为解决 ENO 对 G-graded 扩展分类中的过计数问题，该分类基于扩展等价性而非张量等价性。
• 将 G-graded 扩展的分类细化，以适用于按张量等价性对融合范畴进行分类。
• 开发工具以判断两个 G-graded 扩展何时为张量等价，重点研究保持平凡分量不变的基于 C 的等价性。
• 通过分析 Aut⊗(𝒞) × Aut(G) 对扩展数据的作用，提供一种计算上可行的张量等价性判据。
• 使用图解演算重新证明扩展的分类，为主要结果提供更直观、更易理解的基础。

提出的方法

• 通过图解演算重新表述 G-graded 扩展的分类，以增强几何直观性和可及性。
• 定义并分析基于 C 的等价性——保持分量分度中平凡部分不变的张量等价性——其范围超越了扩展等价性。
• 通过详细分析 3-群 Brauer-Picard 不变量 BrPic(𝒞)，对两个 G-graded 扩展之间的基于 C 的等价性进行分类，特别关注 H³(G, ℂ×) 中的障碍。
• 引入 Aut⊗(𝒞) × Aut(G) 对集合 Ext_G(𝒞) 的作用，表明同一轨道中的扩展是张量等价的。
• 利用对分类扩展的三元组 (c, M, A) 的作用，推导出一个实用判据：等价性由自同构和内自同构下的预复合与后复合决定。
• 将分类应用于推导一个推论，即为将张量等价类的搜索范围缩小，只需考虑 c 关于 G 的自同构和 BrPic(𝒞) 的内自同构。

实验结果

研究问题

• RQ1 如何将融合范畴的 G-graded 扩展的分类进行细化，以实现按张量等价性而非仅扩展等价性对范畴进行分类？
• RQ2 两个融合范畴 𝒞 的 G-graded 扩展之间的基于 C 的等价群的结构是什么？
• RQ3 如何利用 Aut⊗(𝒞) × Aut(G) 对 G-graded 扩展集合的作用来确定张量等价性？
• RQ4 使用 H³(G, ℂ×) 中的障碍理论来确定张量等价性的计算可行性如何？是否可以绕过此方法？
• RQ5 是否可以通过商掉保持张量等价性的群作用来简化扩展的分类？

主要发现

• 群 Aut⊗(𝒞) × Aut(G) 作用于 𝒞 的 G-graded 扩展集合 Ext_G(𝒞)，且同一轨道中的任意两个扩展是张量等价的。
• 主要结果提供了一个实用的张量等价性判据：若两个扩展的分类三元组 (c, M, A) 通过 G 的自同构和 BrPic(𝒞) 的内自同构相关联，则它们是张量等价的。
• 基于 C 的等价性的分类源自 Brauer-Picard 3-范畴的高阶结构，尽管在实践中计算上不可行。
• 本文使用图解演算重新证明了 G-graded 扩展的分类，提供了更直观、更易理解的方法。
• 在完整分类基于 C 的等价性时出现的 H³(G, ℂ×) 障碍被证明难以计算，这促使了群作用方法的提出。
• 推论 1.2 指出，为在 Ext_G(𝒞) 中获得每个张量等价类的一个代表，只需考虑三元组 (c, M, A) 关于 Aut(G) 和 BrPic(𝒞) 的内自同构的作用。