Grothendieck rings of near-Tambara--Yamagami fusion categories

技术摘要：近 Tambara–Yamagari 融合范畴的 Grothendieck 环

问题陈述
融合范畴的分类仍然是处于表示论、量子拓扑学和数学物理学交汇处的中心结构问题。虽然 Grothendieck 环（融合环）使融合规则变得离散且可计算，但它并不能唯一确定结合子（associator）；五角形方程施加了极强的约束，往往使得给定的环无法进行有效的范畴化（categorification）。本文旨在对“近 Tambara–Yamagari”融合范畴进行分类：即在复数域 $\mathbb{C}$ 上，包含一个非点状（non-pointed）Tambara–Yamagari 融合子范畴 $\mathcal{D}$，且恰好包含一个额外单对象的融合范畴 $\mathcal{C}$。研究目标是确定此类范畴可能的 Grothendieck 环，并确定哪些环可以实现范畴化。

研究方法
作者结合了数值约束、伽罗瓦理论和范畴重建技术：

1. 数值分析与形式共余度（Formal Codegrees）： 研究始于对参数 $n$（其中 $|G|=n^2$ 且 $FPdim(t)=n$）和$\kappa$（$\rho$在$\rho^2$ 中的系数）的必要条件推导。利用形式共度定理和 Drinfeld 中心 $Z(\mathcal{C})$，作者分析了诱导对象 $I(X)$ 的维度。
2. 伽罗瓦反射与迹界限： 对于无理情况（即 Frobenius–Perron 维度 $d = FPdim(\rho)$ 不是整数），作者利用伽罗瓦共轭将范畴映射到伪幺正范畴。他们对 Drinfeld 中心应用伽罗瓦反射，并分析 Frobenius–Schur 指标（$\nu_j$），以导出关于单位根之和的同步约束。通过二次迹界限和循环矩论证，排除了不可能的参数值。
3. 群论实现： 对于整型情况，作者分析了由可逆对象和额外对象生成的子范畴。他们利用 Tannakian 重建理论和尖锐双传递群（sharply doubly transitive groups）理论来约束群 $G$ 和参数 $\kappa$。
4. 显式构造： 对于幸存的候选对象，作者进行了显式构造。对于 $\kappa=7$，他们将该范畴识别为 $\text{Rep}(PSU(3, 2))$。对于 $\kappa=2$，他们使用群 $L = PGL_2(\mathbb{F}_3)$、特定的 3-上圈（3-cocycle）以及子群 $H \cong C_2 \times C_2$，构造了一个幺正群论融合范畴。

核心贡献与结果

• 秩缩减与参数约束： 作者证明任何此类范畴的秩必须为 6。可逆对象组成的群 $G$ 必然同构于克莱因四元群（$C_2 \times C_2$），这意味着 $n=2$。

• 候选对象分类： 数值分析最初得出了四个候选 $\kappa$ 值：$0, 2, 7, 8$。

  • $\kappa = 8$（不存在性）： 论文证明了候选 $\kappa=8$（对应于无理维度 $d = 4 + 2\sqrt{6}$）是不可能的。这是通过构造一个源自 Drinfeld 中心扭转（twists）的单位根多重集，并证明所需的矩条件会导致矛盾（$46 \ge 48$）来实现的。
  • $\kappa = 0$（无理情况）： $\kappa=0$（即 $d=2\sqrt{2}$）的情况被证明是可实现的。每一个此类范畴都与 Choi–Lu–Sun 所分类的 $\text{Rep}(H_8)$（其中 $H_8$ 是 Kac–Paljutkin Hopf 代数）的秩为 1 奇分量扩张中的一项张量等价。
  • $\kappa = 2$（整型情况）： 作者为环 $R_2$ 构造了一个显式的幺正群论范畴化。这涉及群 $PGL_2(\mathbb{F}_3)$ 和特定的上圈数据。
  • $\kappa = 7$（整型情况）： 环 $R_7$ 由表示范畴 $\text{Rep}(PSU(3, 2))$ 实现。

• 主定理（定理 1.2）： 论文确立了对于包含非点状 Tambara–Yamagami 子范畴 $\mathcal{D}$ 且恰好有一个额外单对象的融合范畴 $\mathcal{C}$，其 Grothendieck 环 $K_0(\mathcal{C})$ 同构于 $R_\kappa$，其中 $\kappa \in \{0, 2, 7\}$。这三个基于环均是可范畴化的。

意义与主张
本文声称对这一特定类型的近整型融合范畴提供了基于环（Grothendieck 环）的完整分类。它表明，虽然数值条件（如形式共度和 Frobenius–Perron 维度）可以缩小范围，但范畴化的存在是一个更严格的条件，它排除了 $\kappa=8$ 这一候选者。

作者强调，其结果为拓扑和物理构造提供了“可靠的代数模型”。他们明确指出，对于 $\kappa=2$ 和 $\kappa=7$，研究结果涉及的是范畴化的存在性和基于环的同构性，而非声称分类了这些环所有可能的张量等价（结合子），仅说明存在特定的实现方式。这项工作凸显了利用 Drinfeld 中心和伽罗瓦对称性来排除那些满足所有基本数值约束但无法实现范畴化的潜在融合环的效用。