Categorical spin-networks: state-sum invariants of 4-manifolds from higher-gauge theory

技术摘要：范畴化自旋网络与 4-流形的状态和不变量

问题陈述
高维（高于 $(2+1)$ 维）拓扑量子场论（TQFTs）的构建及其格点实现一直是一个重大挑战。虽然基于球面融合范畴的 $(2+1)$ 维 Turaev-Viro-Barrett-Westbury TQFT 和 Levin-Wen 弦网模型已经非常成熟，但 $(3+1)$ 维的显式构造仍然十分罕见。之前的尝试（例如 Douglas-Reutter 的构造）依赖于融合 2-范畴，但其对应的微观格点模型（类似于 Levin-Wen 模型）以及散射振幅（状态和）的显式计算尚未得到完全解决。此外，这些代数构造与高阶规范理论（特别是基于 2-群的规范理论）之间的关系需要一个能够将自旋网络方法范畴化的统一框架。

方法论
作者提出了一个利用枢 kind 融合 2-范畴（具体为配备了“阴影迹”的预半单局部融合枢 kind 张量 2-范畴）来定义 $(3+1)$ 维 TQFTs 及其格点实现的框架。该方法通过以下步骤进行：

1. 输入数据： 该理论构建于线性张量 2-范畴 $\mathcal{C}$ 之上（例如，若 $\mathcal{H}$ 是一个 Hopf 范畴，则 $\mathcal{C} = 2\text{Rep}(\mathcal{H})$）。该范畴被假定为是刚性的、枢 kind 的，并配备了 dagger 结构和一个阴影迹（一个到目标范畴 $\mathcal{T}$ 的局部纤维函子）。
2. C-装饰单纯形： 作者定义了对三角剖分流形的装饰：
   • 顶点被分配对象 $U \in \mathcal{C}$。
   • 边被分配 1-态射 $F: U \to V$。
   • 面（2-单纯形）被分配 2-态射 $\eta: F \circ G \to H$。
     这种结构被解释为一种“2-全纯态”，推广了在离散规范理论中向边分配群元素的方法。
3. 四面体状态： 对于一个四面体，作者通过收缩其边界面的 2-态射来构造 2-态射的希尔伯特空间。这些状态被证明同构于输入范畴中的 2-拦截子空间。
4. 4-单纯形散射振幅（20j-符号）： 构造的核心涉及定义 4-单纯形（五胞体）的振幅。通过沿着共享的面粘合五个四面体，作者构造了一个散射态 $\psi_K$。利用环面迹（一种涉及阴影函子和循环算子的更高维度的迹的推广），作者对该状态进行求值，从而产生标量振幅。
   • 求值过程涉及 20j-符号，它取决于 4-单纯形的 10 个面和 10 条边的装饰。
   • 该构造利用了 $\theta$-网 和 $\dagger$-网（thorn nets），并隐式地结合了五角形算子（pentagonators，即 2-范畴的结合子），这些算子出现在这些网的重结合过程中。
5. 格点哈密顿量： 作者在三角剖分的对偶上构造了一个 $(3+1)$ 维格点模型（“膜网模型”）。该模型具有：
   • 位于边和顶点上的局部希尔伯特空间。
   • 顶点投影算子（$A_v$），用于强制执行装饰一致性。
   • 单元算子（$B_c$），用于插入装饰的 3-球，从而有效地执行局部移动（类似于弦网中的 $F$-移动）。
     该哈密顿量的基态被证明对应于状态和不变量。

主要贡献与结果

• 20j-符号的定义： 本文显式地定义并计算了用于 4-单纯形散射振幅的 20j-符号。这些符号推广了 Crane-Yetter 模型中的 15j-符号和 Turaev-Viro 模型中的 6j-符号。其求值依赖于阴影函子的环面迹，这允许计算在嵌入在 4-单纯形边界上的装饰 2-环面上的振幅。
• 拓扑不变性： 作者证明了状态和不变量 $Z_{\mathcal{C}}(M^4)$ 与三角剖分无关。这是通过证明 20j-符号的求和在 4 维 Pachner 移动（3-3, 4-2, 和 5-1 移动）下是不变的来实现的。该证明依赖于“delta-重结合”恒等式和 4-单纯形求和的可逆性。
• 高阶规范理论的联系： 该框架与高阶规范理论有明确的联系。当 $\mathcal{C} = 2\text{Rep}(G)$ 为一个 2-群 $G$ 时，该构造产生 Yetter-Dijkgraaf-Witten TQFT。论文讨论了特定的情形，包括：
  • 有限 2-群（产生离散高阶规范理论）。
  • 紧致李 2-群（产生 2-Chern-Simons 理论）。
  • 可以恢复 4d BF 理论、Walker-Wang 模型和 Crane-Yetter TQFT 的特殊极限。
• 格点实现： 本文提供了一个显式的 3 维膜网格哈密顿量 构造，其基态实现了状态和不变量。这作为 Levin-Wen 弦网模型的更高维度类比。作者证明了三角剖分希尔伯特空间与膜网希尔伯特空间之间存在同构。
• 反射正定性： 作者确立了散射振幅满足反射正定性的条件，从而确保了所得 TQFT 的物理一致性（特别是状态的范数是非负的）。

意义与主张
本文声称实现了 Turaev-Viro 状态和与 Levin-Wen 格点模型向 $(3+1)$ 维的范畴化。其意义在于：

1. 统一性： 它将基于融合 2-范畴的代数方法（状态和）与物理方法（高阶规范理论和格点模型）统一起来。
2. 显式构造： 不同于以往可能仅抽象定义 TQFT 的工作，本文提供了计算不变量和模拟相所需的显式“20j-符号”形式体系以及微观哈密顿量。
3. 推广： 它将已知不变量的范围扩展到了非分裂 2-群和连续李 2-群，为计算 2-Chern-Simons 理论的不变量提供了路径。
4. 对偶性： 该构造暗示了所提议的 TQFT $Z_{\mathcal{C}}$ 与 Douglas-Reutter 构造 $Z_{\mathcal{D}}$ 之间的 Morita 对偶（其中 $\mathcal{C}$ 与 $\mathcal{D}$ 是 Morita 对偶的），类似于低维中 Kitaev 量子倍增子与 Levin-Wen 模型之间的对偶。

作者指出，尽管该构造具有通用性，但对于非分裂李 2-群进行 20j-符号的显式求值仍是一个开放性的计算任务。这项工作为研究具有高阶群对称性的 $(3+1)$ 维系统的拓扑相、边界条件和纠缠特性奠定了基础。