[论文解读] The centre of the extended Haagerup subfactor has 22 simple objects

Scott Morrison, Kevin Walker|arXiv (Cornell University)|Apr 15, 2014

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

一句话总结

本文提出一种计算方法，仅基于融合环和维数函数，确定融合范畴中心中简单对象的数量及其诱导函子的组合结构。该方法应用于扩展Haagerup子因子，确认其中心恰好包含22个简单对象，且给出了从其偶部到中心的诱导函子的显式矩阵，首次完整计算了扩展Haagerup范畴的该类数据。

ABSTRACT

We explain a technique for discovering the number of simple objects in $Z(C)$, the center of a fusion category $C$, as well as the combinatorial data of the induction and restriction functors at the level of Grothendieck rings. The only input is the fusion ring $K(C)$ and the dimension function $K(C) o \mathbb{C}$. The method is not guaranteed to succeed (it may give spurious answers besides the correct one, or it may simply take too much computer time), but it seems it often does. We illustrate by showing that there are 22 simple objects in the center of the extended Haagerup subfactor [arXiv:0909.4099].

研究动机与目标

• 开发一种计算技术，仅基于融合环和维数函数，确定融合范畴中心中简单对象的数量及诱导函子数据。
• 将该方法应用于扩展Haagerup子因子，这是子因子理论中长期悬而未决的开放问题。
• 验证扩展Haagerup子因子中心的结构，特别是简单对象的数量以及其偶部到中心的诱导函子行为。
• 在已知子因子（包括Haagerup和Asaeda-Haagerup）上展示该方法的可行性和局限性。
• 提供一种系统化、算法化的途径来计算 $ Z(\mathcal{C}) $ 的Grothendieck环数据，尽管无法获得完整的 $ S $ 和 $ T $ 矩阵。

提出的方法

• 该方法使用方程 $ \mathcal{M} = \mathcal{A} \mathcal{A}^T $，其中 $ \mathcal{M} $ 是诱导对象之间Hom空间维数的矩阵，$ \mathcal{A} $ 是诱导函子在Grothendieck环上的矩阵。
• 其依赖于代数数论，特别要求 $ \mathcal{A} $ 的列与固定向量的内积为整除给定代数整数的 $ d $-数，如Ostrik所定义。
• 该算法对一个对称的非负整数矩阵 $ \mathcal{M} $ 进行分解，表示为 $ \mathcal{A} \mathcal{A}^T $，并施加来自内积的代数整数约束。
• 采用启发式行与列置换策略，以找到一个非奇异子式，从而应用定理2.2实现代数分解。
• 该方法通过计算实现，通过字典序排序和在检测到唯一性时提前终止进行优化。
• 该方法在已知子因子（包括扩展Haagerup、Haagerup和Asaeda-Haagerup）上进行了测试，在前两个案例中均取得成功。

实验结果

研究问题

• RQ1 扩展Haagerup子因子的中心中存在多少个简单对象？
• RQ2 从扩展Haagerup子因子的偶部到其中心的诱导函子的组合结构是什么？
• RQ3 能否仅通过融合环和维数函数，结合代数数论约束，重构融合范畴的中心？
• RQ4 该方法是否足够稳健，能够唯一确定具有复杂主图的子因子的中心结构？
• RQ5 当应用于具有更大或更高对称性的融合环的子因子时，该方法的局限性是什么？

主要发现

• 扩展Haagerup子因子的中心恰好包含22个简单对象，通过所提计算方法得以确认。
• 从6个对象的偶部出发的诱导函子由一个6×22的整数矩阵表示，该矩阵已显式计算并列于论文中。
• 从8个对象的偶部出发的诱导函子由一个8×22的矩阵表示，同样已显式计算并提供。
• 两个诱导矩阵的第五列对应于单位对象 $ \mathbf{1} \in Z(\mathcal{C}) $，确认了标签的一致性。
• 在 $ Z(\mathcal{C}) $ 中，四组各四个对象在6个对象和8个对象的融合范畴上具有相同的限制，表明存在共享的表示论结构。
• 该方法能唯一确定Haagerup和Asaeda-Haagerup子因子的组合数据，但在4442子因子上运行超过一天仍未收敛，表明存在计算极限。