[论文解读] Geometric Invariants for Fusion Categories

Tobias Hagge, Matthew Titsworth|arXiv (Cornell University)|Sep 10, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用 4

一句话总结

该论文利用几何不变量理论导出的几何不变量，对融合范畴在规范等价与张量等价下的分类进行分类。证明了规范等价类与张量等价类完全由在五边形方程解的概形上对有限组不变正则函数的取值所决定，从而在无多重性的场合实现了快速算法。

ABSTRACT

The problem of determining gauge and monoidal equivalence classes of fusion categories is considered from the perspective of geometric invariant theory. It is shown that the gauge (or monoidal) class of a fusion category is determined by the evaluation of a finite set of gauge (or monoidal) invariant functions. In the multiplicity free case this leads to a fast algorithm for computing a classifying set of functions.

研究动机与目标

• 解决融合范畴在张量等价下的基本分类挑战，该问题因五边形方程的指数增长而难以处理。
• 通过构建可计算的不变量，克服五边形方程解中规范与自同构的模糊性。
• 利用几何不变量理论，系统地从解的代数概形中提取等价类。
• 在无多重性情形下，利用有理单项式不变量，开发一种快速计算规范与张量等价类的算法。
• 证明即使不求解完整的五边形方程，也可计算这些不变量，从而降低计算复杂度。

提出的方法

• 从基于环 $(R,B)$ 上的五边形方程构造代数概形 $X(R,B)$，表示所有可能的融合范畴结构的空间。
• 在 $X(R,B)$ 上定义群作用：规范群 $G$ 和格罗滕迪克环自同构群 $\mathrm{Aut}(R,B)$，以编码等价对称性。
• 应用几何不变量理论，在 $X(R,B)$ 上构造 $G$-不变与 $\mathrm{Aut}(R,B)\ltimes G$-不变的正则函数，以分类规范等价与张量等价类。
• 在无多重性情形下，使用结构常数 $\phi_{i,j}$ 的有理单项式（指数为整数）构造可计算的不变量，以检测等价性。
• 证明这些不变量的取值可完全确定规范与张量等价性，即使不显式求解五边形方程。
• 利用在无多重性设定下，五边形方程中非零项的比值属于不变群 $A_y$ 的事实，实现不变量的高效计算。

实验结果

研究问题

• RQ1 能否使用可计算的不变量完全分类融合范畴的规范与张量等价类？
• RQ2 是否可能在不求解完整五边形方程组的情况下计算这些不变量？
• RQ3 如何将几何不变量理论应用于五边形方程解的空间，以提取等价类？
• RQ4 融合范畴的何种结构性质（如无多重性）可支持更快的分类算法？
• RQ5 能否通过这些不变量确定等价类上的伽罗瓦作用？

主要发现

• 融合范畴的规范等价类完全由 $\mathscr{N}-1$ 个 $G$-不变正则函数在解概形 $X(R,B)$ 上的取值决定，其中 $\mathscr{N}$ 为规范类的数量。
• 张量等价类由 $\mathscr{M}-1$ 个 $\mathrm{Aut}(R,B)\ltimes G$-不变正则函数决定，其中 $\mathscr{M}$ 为张量类的数量。
• 在无多重性情形下，不变量可表示为结构常数 $\phi_{i,j}$ 的有理单项式（指数为整数），从而实现快速计算。
• 对于无多重性融合范畴，所需不变量的数量在规范类情形下受 $\binom{\mathscr{N}}{2}$ 限制，在张量类情形下受 $\binom{\mathscr{M}}{2}$ 限制。
• 这些不变量可在不求解五边形方程的情况下进行评估，因为其取值仅依赖于位于不变群 $A_y$ 中的结构常数比值。
• 概形 $X(R,B)$ 是 $\mathrm{Spec}(k)$ 上的分离仿射概形，且其结构层编码了所有关于等价类的关键信息。