Non-invertible symmetries of two-dimensional Non-Linear Sigma Models

技术摘要：二维非线性 $\sigma$ 模型中的不可逆对称性

问题陈述
本文研究了在带有 Wess-Zumino (WZ) 项的二维非线性 $\sigma$ 模型 (NLSM) 中构建不可逆对称性的问题。虽然由拓扑缺陷生成的非可逆对称性在共形场论 (CFT) 中（特别是通过半空间规范化构造自由紧致玻色子）已有深入研究，但在更一般的 NLSM 中——特别是那些缺乏非平凡 1-圈或不具备共形不变性的模型——其存在性与显式构造仍是一个悬而未决的问题。作者旨在将已知的自对偶缺陷（产生于理论在经过离散规范化后进行对偶变换的情形）的构造方法推广到一类广泛的带有 WZ 项的 NLSM 中，并确定此类缺陷存在的精确条件。

方法论
作者采用了“半空间规范化”程序，这是一种仅在时空流形的其中一半 ($\Gamma_+$) 对全局对称性进行规范化，而另一半 ($\Gamma_-$) 保持不被规范化的技术。两者之间的界面 ($\gamma$) 成为一个拓扑缺陷，前提是 $\Gamma_+$ 上的规范化理论与 $\Gamma_-$ 上的原始理论是对偶的。

该方法论通过以下技术步骤进行：

1. 双重规范化 NLSM：作者利用了 NLSM 的“双重” T-对偶表述。他们引入了一个目标空间 $\hat{M}$，它是基空间 $N$ 之上的 $T^{2d}$ 丛，通过在规范化的作用量中加入拉格朗日乘子场来构造。这使得 T-对偶的几何推导能够透明地处理全局拓扑障碍（如非平凡丛和 $H$-通量）。
2. 离散规范化：作者并未对整个连续等距群进行规范化，而是对离散子群 $\prod Z_{p(m)} \subset U(1)^d$ 进行规范化。这是通过修改双重作用量中的拉格朗日乘子项来实现的，以强制执行具有 $Z_p$ 霍洛诺米性的平坦规范场。
3. 边界分析：一个关键的技术组成部分是处理由半空间分割引入的世界面边界 $\gamma$。作者仔细分析了在带边界流形上维持 WZ 项规范不变性所需的边界项。他们证明了在 $\Gamma_+$ 上的规范化过程会产生一个定域在 $\gamma$ 上的特定拓扑边界项，该项作为一个拓扑量子场论 (TQFT) 存在。
4. 自对偶条件：通过对规范场进行积分，作者导出了规范化理论的有效作用量。随后，他们施加条件，使得规范化理论的度规和 $H$-通量与原始理论在 $\Gamma_-$ 上的度规和 $H$-通量相匹配（在坐标重定义下），从而识别出使界面成为单一理论内拓扑缺陷的参数。

主要贡献与结果
本文确立了一类广泛 NLSM 中非可逆缺陷的存在性，并提供了其构造的显式公式：

• 广义自对偶条件：作者导出了具有 $U(1)^d$ 等距对称性的 NLSM 承载非可逆缺陷的充分必要条件。这些条件将原始模型的拓扑数据与规范化模型联系起来：
  • 拓扑约束：原始理论与对偶理论的 Chern 类 ($F^m$) 和 $H$-类 ($\tilde{F}^m$) 必须满足 $p^{(m)} F^m = \tilde{F}^m = \tilde{f}^m$。这意味着拓扑数据会被规范化子群的阶数进行交换与缩放。
  • 模量约束：广义度规模量 $E_{mn}$ 必须满足 $E_{mn} = \frac{p^{(m)}}{2\pi} \frac{p^{(n)}}{2\pi} (E^{-1})_{mn}$。这将其从紧致玻色子的自对偶半径条件推广到了任意目标空间。
• 边界 TQFT 的角色：该构造揭示了缺陷的不可逆性源于定域在缺陷轨迹 $\gamma$ 上的一维 BF 型 TQFT。该 TQFT 的作用量为 $S_\gamma = \frac{p}{2\pi} \int_\gamma X^m d\tilde{X}_m$。该项确保了跨越界面的正确运动方程，并决定了缺陷的 Tambara-Yamagami 融合规则 ($TY(Z_p)$)。
• 实例：作者为几种目标空间显式构造了这些缺陷：
  • 球面与透镜空间：他们展示了当半径、$H$-通量与规范化参数 $p$ 满足特定关系时，$S^3$（视为 Hopf 纤维化）和透镜空间可以拥有此类缺陷。
  • Nilfolds：他们证明了具有非零 $H$-通量的 nilmanifolds（$T^2$ 之上的非平凡 $S^1$ 丛）也可以承载此类缺陷，尽管它们缺乏不可缩回的 1-圈。
  • WZW 模型：一个重要的结果是将该方法应用于 Wess-Zumino-Witten (WZW) 模型。作者发现，对等距对称性中的 $Z_p$ 子群进行离散规范化的自对偶条件，恰好与模型保持共形的量子化条件（即 WZW 模型的能级 $\kappa$）相一致。因此，$SU(N)_\kappa$ WZW 模型拥有具有 $TY(Z_\kappa)$ 融合规则的非可逆缺陷。作者指出，对于 $\kappa > 2$，这些缺陷通常不是 Verlinde 线（它们不与完整的手征代数对易）。

意义与主张
本文声称提供了一种系统性的、微观的 NLSM 中非可逆对称性的推导，且不依赖于理论是否为共形或有理的。

• 普适性：该构造适用于任何具有自由作用等距对称性的 NLSM，无论目标空间是否具有非平凡的 1-圈（缠绕模）或理论是否为共形。
• 微观起源：这项工作强调了非可逆融合规则源于定域在缺陷上的特定拓扑项（BF 理论），该项是从半空间规范化程序中的边界项中自然产生的。
• WZW 联系：将非可逆缺陷在所有能级下的 WZW 模型中识别出来是一个令人惊讶的结果，它将离散规范化构造直接与耦合的共形量子化联系了起来。
• 局限性：作者谦逊地指出，虽然他们构造了这些缺陷，但这些对称性在局部算符（序/反序算符）上的显式作用及其对 Ward 恒等式的影响仍有待进一步探索。他们还承认，该构造要求等距对称性作用时没有不动点，这是一个排除了某些几何体（如偶数维球面）的技术性限制。

总而言之，本文将非可逆对称性的框架从简单的自由理论扩展到了相互作用的、具有拓扑非平凡性的 NLSM，为如何通过 T-对偶和离散规范化生成这些奇异对称性提供了一个统一的几何图景。