[论文解读] Minimal modular extensions for super-Tannakian categories

César F. Venegas-Ramírez|arXiv (Cornell University)|Aug 20, 2019

Algebraic structures and combinatorial models被引用 1

一句话总结

本文通过费米子作用和上同调数据，对超-Tannakian范畴的极小模扩展进行分类，建立了此类扩展与2-群取值的2-同态之间的对应关系。通过障碍理论，提供了极小模扩展的上同调描述，并计算了特定超群（如 $\mathbb{Z}/m\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$，其中 $m$ 为奇数）的阶，结果为 $16m$。主要贡献是将 [ENO10, 定理 7.12] 的费米子版本推广至超-Tannakian范畴设定。

ABSTRACT

In this paper, we continue with the ideas presented in [GVR17]. In this opportunity, we apply the fermionic action concept to classify in cohomology terms the minimal modular extensions of a super-Tannakian category. For this goal, we study some properties of equivariantization and de-equivariantization processes and cohomology data for the fermionic case.

研究动机与目标

• 通过上同调数据对超-Tannakian范畴的极小模扩展进行分类。
• 将 [ENO10, 定理 7.12] 的框架推广至费米子（超-Tannakian）情形。
• 建立极小模扩展与取值于具有费米子作用的Picard范畴的2-同态之间的对应关系。
• 计算特定超群（如 $\mathbb{Z}/m\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$，其中 $m$ 为奇数）的极小模扩展群的阶。
• 利用群上同调分析控制此类扩展存在的障碍与主齐性空间。

提出的方法

• 利用费米子作用的概念，将极小模扩展与具有2-群作用的辫子交叉扩张联系起来。
• 应用等变化与去等变化技术，分析扩展的结构。
• 构造群同态 $D: \mathrm{Mext}(\mathrm{Rep}(\widehat{G}, z)) \to \mathrm{Mext}(\mathrm{SVec})$，并通过上同调数据研究其像与核。
• 利用障碍理论，通过 $O_3(\rho, \alpha)$ 与 $O_4(\rho, \mu)$ 的消失条件，参数化2-同态 $\widehat{\rho}: G \to \mathrm{Pic}(C, f)$。
• 使用阿贝尔上同调 $H^3(G, \mathbb{C}^\times)$、$H^2(G, \widehat{K_0(C)})$ 及限制映射 $r^*$，对参数化扩展的数据进行分类。
• 将结果应用于计算 $\mathrm{Mext}(\mathrm{Rep}(\mathbb{Z}/m\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}, ([0], [1]))) = 16m$，其中 $m$ 为奇数。

实验结果

研究问题

• RQ1 如何通过上同调数据与费米子作用对超-Tannakian范畴的极小模扩展进行分类？
• RQ2 对于超群 $\widehat{G} = G \times \mathbb{Z}/2\mathbb{Z}$，群 $\mathrm{Mext}(\mathrm{Rep}(\widehat{G}, z))$ 的结构是什么？
• RQ3 在何种条件下，费米子作用可提升为2-同态 $\widehat{\rho}: G \to \mathrm{Pic}(C, f)$？
• RQ4 当 $m$ 为奇数时，$\mathrm{Rep}(\mathbb{Z}/m\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}, ([0], [1]))$ 的极小模扩展群的阶是多少？
• RQ5 同态 $D: \mathrm{Mext}(\mathrm{Rep}(\widehat{G}, z)) \to \mathrm{Mext}(\mathrm{SVec})$ 的像中出现哪些点状模范畴？

主要发现

• 当 $m$ 为奇数时，群 $\mathrm{Mext}(\mathrm{Rep}(\mathbb{Z}/m\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}, ([0], [1])))$ 的阶为 $16m$。
• 同态 $D: \mathrm{Mext}(\mathrm{Rep}(\widehat{G}, z)) \to \mathrm{Mext}(\mathrm{SVec})$ 的核由三元组 $(\rho, \mu, \phi)$ 参数化，其中 $\rho$ 平凡，$\mu \in H^2_\rho(G, \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}) = 0$，且 $\phi$ 属于 $H^3(G, \mathbb{C}^\times)$ 上的主齐性空间，当 $G = \mathbb{Z}/m\mathbb{Z}$ 时，共含 $m$ 个元素。
• 对于 $\mathrm{Rep}(\mathbb{Z}/6\mathbb{Z}, [3])$，极小模扩展群的阶为 48，与先前结果一致。
• 同态 $D$ 的像包含所有具有融合规则 $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$ 的点状模范畴，且 $D$ 非平凡，其像至少包含 4 个元素。
• 对于 $\mathrm{Rep}(\mathbb{Z}/4\mathbb{Z}, [2])$，同态 $D$ 的核的阶为 4，其像包含所有具有融合规则 $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$ 的 $\mathrm{SVec}$ 的点状模扩展。
• 2-同态 $\widehat{\rho}: G \to \mathrm{Pic}(C, f)$ 存在的必要条件是障碍 $O_4(\rho, \mu)$ 消失，该条件在分类中至关重要。