Lifts of symmetries to minimal nondegenerate extensions are unique up to fermion attachment

技术摘要：对称性向极小非退化扩张的提升

问题陈述
本文研究了将全局对称性从 (2+1) 维费米子拓扑序提升到通过规范化费米子宇称得到的其玻色子对应物的过程。在数学上，费米子拓扑序由一个略退化的编织融合范畴 $\mathcal{C}$（一个超模范畴）描述，该范畴由一个透明费米子 $\psi$ 表征。规范化费米子宇称会产生一个极小非退化扩张 $\mathcal{E}$（一个模范畴），其中包含 $\mathcal{C}$ 作为其子范畴，且在此过程中 $\psi$ 不再是透明的。

核心问题在于考察局部保持（locality-respecting, LR）编织自等价群，记作 $\text{Aut}_{LR}(\mathcal{C})$ 和 $\text{Aut}_{LR}(\mathcal{E})$。这些群分类了在局部费米子融合空间上作用平凡且尊重费米子标记的对称性。作者研究了限制同态 $r: \text{Aut}_{LR}(\mathcal{E}) \to \text{Aut}_{LR}(\mathcal{C})$。具体而言，他们旨在确定该映射的核，并证明其满射性。先前的研究曾推测其核恰好为 $\mathbb{Z}/2$，由“费米子附着”（将 $\psi$ 附着到每个涡旋上）生成，但缺乏针对任意略退化范畴的一般性证明。

方法论
作者采用了直接的张量范畴方法，避免了对幺正性或特定黎曼结构的依赖，尽管在幺正情形下这些结构会被恢复。证明策略包含三个主要技术组成部分：

1. 归一化与模分类：
   $r$ 的核中的元素由对 $(\Phi, \text{id}_\psi)$ 表示，其中 $\Phi$ 在 $\mathcal{C}$ 上限制为恒等映射。范畴 $\mathcal{E}$ 具有 $\mathbb{Z}/2$-分次 $\mathcal{E} = \mathcal{C} \oplus \mathcal{V}$，其中 $\mathcal{V}$ 是涡旋扇区。利用分次 Morita 理论，作者表明此类 $\Phi$ 在涡旋扇区 $\mathcal{V}$ 上的限制（视为左 $\mathcal{C}$-模函子）必须同构于由 $\mathcal{C}$ 中的对象 $a$ 进行右乘的算子 $R_a = -\otimes a$。由于中心由 $\psi$ 生成，因此只有两种可能：$a \cong \mathbf{1}$（恒等作用）或 $a \cong \psi$（费米子附着）。

2. 相对刚性：
   为了区分同一模类型内的不同代表元，作者证明了一个相对刚性引理。他们表明，如果一个编织自等价在 $\mathcal{C}$ 上表现为恒等，且在 $\mathcal{V}$ 上表现为恒等模函子，那么它通过一个在 $\mathcal{C}$ 上为恒等映射的同构与 $\mathcal{E}$ 上的恒等函子是单模同构的。这意味着涡旋扇区的“自由度”被简化为一个单一的标量相位，只要模类型是平凡的，该相位可以通过对涡旋进行重相位化来消除。

3. 费米子附着与满射性：
   作者显式构造了费米子附着函子 $\alpha$，它在 $\mathcal{C}$ 上表现为恒等，并将 $X \in \mathcal{V}$ 映射为 $X \otimes \psi$。他们证明了 $\alpha$ 是核中的非平凡元素，因为其张量结构涉及费米子自编织 $c_{\psi,\psi} = -\text{id}$，这使得它无法通过一个固定 $\psi$ 的同构与恒等函子同构。
   对于满射性，他们利用了图代数（graph algebras）。给定 $\mathcal{C}$ 的一个对称性 $F$，他们在 $\mathcal{E}^{\text{rev}} \boxtimes \mathcal{E}$ 中构造一个图代数，将其凝聚为一个局部模范畴（识别为托里科码/toric code），然后凝聚一个玻色子以形成拉格朗日代数。该代数被证明是 $\mathcal{E}$ 上 $F$ 的提升 $H$ 的图。

主要贡献与结果
本文确立了主定理，即对于给定的略退化编织融合范畴 $\mathcal{C}$ 和固定的极小非退化扩张 $\mathcal{E}$，限制同态构成一个中心短正合序列：
$$1 \longrightarrow \mathbb{Z}/2 \xrightarrow{[\alpha_\psi]} \text{Aut}_{LR}(\mathcal{E}) \xrightarrow{r} \text{Aut}_{LR}(\mathcal{C}) \longrightarrow 1$$
其中 $[\alpha_\psi]$ 是费米子附着的类。

关键特定结果包括：

• 满射性： $\mathcal{C}$ 中的每个对称性类都可提升至 $\mathcal{E}$。
• 核结构： 核恰好为 $\mathbb{Z}/2$，由费米子附着生成。核中不存在其他隐藏对称性。
• 在费米子附着下的唯一性： $\mathcal{C}$ 中的每个对称性类在 $\mathcal{E}$ 中恰好有两个提升。这两个提升的区别精确在于将费米子 $\psi$ 附着到每个涡旋上。
• 区分特征： 即使两个提升诱导相同的简单对象标签置换，它们也通过其张量结构中出现的费米子自编织符号 ($c_{\psi,\psi} = -\text{id}$) 来相互区分。
• 泛化性： 证明对非幺正范畴同样成立，且不需要黎曼结构，仅依赖于编织融合范畴公理。

意义与主张
作者声称提供了第一个直接张量范畴证明，证明了对于所有略退化编织融合范畴，限制映射的核均为 $\mathbb{Z}/2$ 的猜想，此前结果仅限于超阿贝尔（super-Abelian）情形或依赖于高阶范畴工具。

本文强调，这一结果阐明了费米子拓扑相中对称性提升的结构。物理上，它确认了在提升到玻色子理论时，唯一的歧义在于是否将局部费米子与涡旋结合。这对于计算费米子系统的 't Hooft 反常具有直接意义，因为将群作用提升至玻色子理论的障碍受此 $\mathbb{Z}/2$ 核的支配。作者还将他们的发现与分次扩张及编织 Picard 2-群联系起来，将该核识别为极小非退化扩张群组中扩张的自同构群。

研究结果通过三个物理实例进行了说明：Laughlin 态 ($U(1)_k$)、$SO(3)_3$ 理论和 Ising 拓扑序，展示了抽象张量范畴工具如何在具体的任何子模型中体现。