技术摘要：QCA 表示线性化的 K-理论阻碍

1. 问题陈述

本文探讨了量子细胞自动（QCA）表示中**线性化（linearization）**的基本问题。在标准量子力学中，对称性通常由射影酉表示描述，这些表示可能可以被“线性化”（提升为真正的线性表示），也可能不行。本文将这一问题推广到多体 QCA 的情形，其中对称性被建模为从群 $G$ 到度量空间 $X$ 上量子自旋系统局部保持自同构群 $Q(X, q)$ 的同态 $\phi: G \to Q(X, q)$。

核心问题是：给定一个 QCA 表示 $\phi$，是否存在一个共轭 $\beta \in Q(X, q)$，使得共轭表示 $\beta \phi \beta^{-1}$ 可以分解为逐点广义线性群的乘积 $\prod_{x \in X} GL(F^{q(x)})$？作者区分了几种不同的线性化概念：

• 可线性化（Linearizable）： 在共轭意义下分解为 $GL$ 乘积。
• 稳定可线性化（Stably Linearizable）： 在与一个可线性化表示进行张量积后变得可线性化。
• 弱可线性化（Weakly Linearizable）： 在通过所有量子自旋系统的余极限后变得可线性化。

本文旨在构建一个系统的阻碍理论（obstruction theory），以确定这些条件何时成立，特别是对于有限群或有理无环群（rationally acyclic groups）。

2. 方法论

作者采用结合代数 K-理论和稳定同伦理论的框架，并基于其先前构建的 QCA 谱 [JY26]。

2.1. 同伦解释

核心的方法论创新是通过稳定同伦理论的视角来解释 QCA 表示。

• QCA 空间： 作者利用定义为对称单群范畴的代数 K-理论谱的基循环空间 $\Omega K(\mathcal{C}(X; F))_1$ 的空间 $Q(X; F)$。
• 稳定化： 一个 QCA 表示 $\phi: G \to Q(X, q)$ 会诱导一个映射到分类空间的映射 $\phi_{st}: BG \to K(\mathcal{C}(X; F))_1$。
• 零同伦判据： 本文确立了如果一个表示是稳定或弱可线性化的，其稳定化映射 $\phi_{st}$ 必须是**零同伦（null-homotopic）**的。这把线性化的代数问题转化为了判定一个映射是否为零同伦的拓扑问题。

2.2. 通过 Dror 塔进行的阻碍理论

为了分析 $\phi_{st}$ 的零同伦性，作者改编了 Dror 塔（Dror's tower） 构造 [Dro72]。

• 他们构造了一个序列空间 $X_n$（一个塔），其中 $X_0 = BQ$，而 $X_\infty$ 是映射 $BQ \to BQ^+$（plus-构造）的同伦纤维。
• 将映射 $BG \to BQ$ 提升到 $X_\infty$（对应于在 plus-构造后为零同伦）的阻碍由一系列上同调类给出。
• 这些类 $u_i(\phi) \in H^{i+1}(BG; \pi_i Q(X; F))$ 是利用塔空间中的通用上同调类迭代定义的。

2.3. 上同调系数

这些阻碍类的系数被识别为 QCA 谱的同伦群。对于格点 $X = \mathbb{Z}^n$，这些群与 QCA 群对电路群（circuit groups）的商（例如 $Q(\mathbb{Z}^{n-i})/C(\mathbb{Z}^{n-i})$）以及特定的代数 K-理论群（例如 Azumaya 代数的 $K_0$，$K_2$）相关。

3. 核心贡献与结果

3.1. 理论框架

• 定理 A： 对于有限或有理无环群 $G$，如果一个 QCA 表示是稳定或弱可线性化的，那么其稳定化 $\phi_{st}: BG \to K(\mathcal{C}(X; F))_1$ 必须是零同伦的。这提供了线性化的一个必要条件。
• 定理 B： 反之，如果诱导映射到 plus-构造空间是零同伦的（且该表示落在射影极限中），则该表示是弱可线性化的。如果 $G$ 是有限群，则是稳定可线性化的。这为有限群建立了反向结论，作为经典射影表示阻碍理论（定理 1.1）的稳定同伦模拟。

3.2. 通用阻碍类

• 定义 4.8： 作者为任何 QCA 表示定义了通用阻碍类 $u_i(\phi)$。这些类存在于以 QCA 空间同伦群为系数的群上同调中。
• 定理 C： 如果一个表示是稳定或弱可线性化的，则所有通用阻碍类 $u_i(\phi)$ 必须消失。
• 对现有结果的精炼： 本文展示了这些通用类如何精炼了物理文献中现有的低阶阻碍（例如维度 1 和 2 中的异常/anomaly）。其中，1 阶阻碍对应于 GNVW 指数（或 Brauer 指数），而高阶阻碍则捕捉了更微妙的拓扑特征。

3.3. QCA 空间的计算

在第 5 节中，作者计算了特定情形下 QCA 空间的同伦类型，表明它们等价于 Eilenberg-MacLane 空间的乘积：

• 复数情形： 对于 $n=0, 1$，$K(\mathcal{C}(\mathbb{Z}^n; \mathbb{C}))$ 及其覆盖层是 Eilenberg-MacLane 空间的乘积。
• 酉情形： 对于 $n=0, 1, 2$，酉 QCA 空间 $Q^*(\mathbb{Z}^n)$ 是 Eilenberg-MacLane 空间的乘积。
• 有限域： 提供了 $n=0, 1$ 的计算。

这些计算允许显式识别阻碍类中的系数群（总结于表 1）。例如，在 $\mathbb{Z}^n$ 上的酉情形下，对于有限群，潜在非零阻碍类仅出现在涉及诸如 $Q^*(\mathbb{Z}^{n-i})/C^*(\mathbb{Z}^{n-i})$ 的 $0 \le i \le n+1$ 阶，以及涉及 $U(1)$ 的 $n+2$ 阶。

3.4. 示例与反例

• 代数泵（Algebraic Pumps）： 本文重新审视了非电路的 QCA 示例（例如 $\mathbb{Z}$ 上的“代数泵”），表明它们对应于非平凡的 1 阶阻碍。
• 环状平移（Annular Shifts）： 作者讨论了平面（$\mathbb{Z}^2$）上的“环状平移”。他们指出，对于群 $G=\mathbb{Z}$（它不是有理无环的），阻碍理论产生的是平凡类，但该表示被怀疑是不可线性化的。这突显了当前阻碍理论对有理无环群的局限性。
• 算术阻碍： 提供了一个在有理数 $\mathbb{Q}$ 上的例子，其中 1 阶阻碍消失，但 2 阶阻碍（涉及 $\mathbb{Q}/\mathbb{Z} \otimes \mathbb{Q}^\times$）并不消失，证明了高阶类的必要性。

4. 意义与主张

本文声称提供了一个关于 QCA 线性化的统一阻碍理论，该理论是严谨的，并且适用于任意域和一般度量空间。

• 统一性： 它将物理学中此前分散的“异常（anomaly）”分类（通常针对维度 1 和 2）统一到了一个在所有维度都有效的单一 K-理论框架中。
• 普遍性： 所构建的阻碍类是“通用的”，这意味着在同一上同调群中定义的任何其他阻碍类都是其后果。如果一个通用类消失，则任何派生的阻碍也必须消失。
• 严谨基础： 通过将理论建立在 QCA 的代数 K-理论谱 [JY26] 之上，作者超越了启发式的物理论证，为线性化阻碍提供了数学上精确的定义和证明。
• 范围： 该框架成功处理了酉情形（与物理对称性相关）和代数情形（在任意域上），并识别了对于有限群而言阻碍可能存在的特定上同调阶数。

作者明确指出，他们并未处理高阶对称性的异常，并承认对于非有理无环群（如 $\mathbb{Z}$），当前的阻碍理论可能会失效，正如环状平移的例子所示。