Generalised Symmetries, Anomalies, and Maximal Branches of 3d Chern-Simons Matter Theories

技术摘要：三维陈-西蒙斯-物质理论中的广义对称性、反常以及极大分支

问题陈述
本研究探讨了广义全局对称性（特别是 1-形式对称性和 0-形式对称性）、其 't Hooft 反常，以及具有 $\mathcal{N} \ge 3$ 超对称性的三维幺正 Chern–Simons–Matter (CSM) 拟阵（quiver）理论中极大分支几何之间的相互作用。虽然这些理论的对称性代数通常是已知的，但其全局形式、真实与非真实算符的谱，以及高阶群结构（2-群）的具体实现仍然非常微妙。此外，通过对 1-形式对称性进行规范化对模空间（极大分支）及相应磁拟阵描述的影响仍需进一步澄清。研究重点在于不含基本超多重态的线性幺正 CSM 拟阵，这些理论是通过将 D3-膜悬挂在 NS5 和 $(1, \kappa)$ 5-膜之间的 Type IIB 膜构型来实现的。

方法论
作者采用了一种结合场论分析与 Type IIB 膜构型的双重方法。

1. 膜相（Brane Phases）： 分析利用了两个通过 Giveon–Kutasov (GK) 对偶性（或 Hanany–Witten 膜创建）相关的互补相：
   • 分解相（Factorised Phase）：隔离连通的 0-形式对称性因子，并使单极电荷显现。
   • 极大分支相（Maximal Branch Phase）：隔离特定分支的模与残余拓扑扇区，揭示“冻结”的 D3-膜段。
2. 对称性提取：
   • 1-形式对称性 ($\Gamma^{(1)}$)：通过 Wilson 线筛选（要求 $g = \gcd(k_i)$）以及通过分析 $(p,q)$-弦格点与结束在可用 5-膜上的弦之间的商来独立确定。
   • 生成元与反常：该 1-形式对称性的生成元被实现为一个分数阶中心 Gukov–Witten 缺陷。其自反常和混合反常通过检查该缺陷的分数单极端点来提取。具体而言，通过检查将这些分数单极用物质场进行“着装”（dressing）以形成规范不变算符的障碍，从而确定反常标签。
   • 0-形式与 2-群对称性：通过分析整数单极算符（真实与非真实）的中心电荷，确定忠实的 0-形式对称群 $\mathcal{F}$ 及其连通覆盖 $\tilde{\mathcal{F}}$。通过检查 1-形式对称性线的端点是否在不被其全局形式所允许的 $\mathcal{F}$ 表示中变换，来识别 2-群结构的出现（通过 Postnikov 类进行编码）。
3. 极大分支分析：通过追踪“冻结” D3-膜段的命运，分析对 1-形式对称性无反常子群进行规范化的影响。这些段在红外端流向 Chern–Simons 拓扑量子场论 (TQFT)。

核心贡献与结果

• 1-形式对称性与自反常：

  • 确立了 1-形式对称性群为 $\Gamma^{(1)} = \mathbb{Z}_g^{(1)}$，其中 $g = \gcd(\kappa_i)$。
  • 推导出自反常标签 $p = \sum_i N_i k_i / g$。
  • 识别出最大无反常（可规范化）子群为 $\mathbb{Z}_h^{(1)}$，其中 $h = \gcd(g, p)$。若 $h=1$，则该对称性是完全无反常的；否则，仍会存在一个子群。

• 全局形式与 2-群：

  • 针对 $\mathcal{N}=4$ 和 $\mathcal{N}=3$ 的情况，明确确定了忠实的 0-形式对称群 $\mathcal{F}$ 及其覆盖 $\tilde{\mathcal{F}}$。
  • $\mathcal{N}=4$ 情况：当 1-形式对称性生成元的端点（一个着装单极）在 $\mathcal{F}$ 的非阿贝尔因子中以其全局形式不允许的表示进行变换时，会出现非平凡的 2-群结构。这发生在 CS-节点处的探测单极的中心电荷非平凡时。
  • $\mathcal{N}=3$ 情况：0-形式对称性包含来自所有极大分支的因子。如果探测单极携带非平凡中心电荷，则非平凡 2-群可以同时涉及所有非阿贝尔因子。
  • 反常抵消：在所考虑的线性幺正理论中，1-形式对称性与非阿贝尔 0-形式因子之间的混合 't Hooft 反常被发现是抵消的。这归因于拟阵节点的平衡条件以及正确的 UV 到 IR 对称性映射。混合反常仅在与阿贝尔 0-形式因子之间存在时才会持续。

• 极大分支与冻结 TQFT：

  • 建立了一个直接准则，用于判断一个极大分支是否受 1-形式对称性规范化的影响。一个分支受影响当且仅当：
    1. 该分支相中不包含可在其他分支间自由移动的 D3 模。
    2. 不存在非平凡冻结 TQFT（即不存在不同类型 5-膜之间的冻结 D3 段）。
  • 如果存在冻结 D3，它们将流向带有任意子 Wilson 线的 CS-TQFT。1-形式生成元变为 $\sigma$-模型涡旋与这些任意子线的对角组合。由于任意子线没有端点，因此 1-形式生成元无法结束在极大分支上，从而防止了在规范化过程中产生新的算符。
  • 受影响分支的约束：通过膜移动论证表明，给定理论中最多只能有两个极大分支同时受到 1-形式规范化的影响。

• 磁拟阵扩展：

  • 对于受 1-形式规范化影响的分支，标准的磁拟阵描述是不充分的。作者提出了一个涉及**非简单李型边（non-simply laced edges）**的扩展。
  • 具体而言，一叠 $(1, \kappa_i)$ 5-膜被表示为一个通过 $\kappa_i$ 条非简单李型边连接的单一味（flavor）节点。
  • 该扩展成功地重现了 1-形式对称性 $\mathbb{Z}_g^{(1)}$ 以及 1-形式对称性与极大分支等距（isometry）之间的混合 't Hooft 反常。

意义与主张
本文声称为线性幺正 $\mathcal{N} \ge 3$ CSM 理论提供了对称性数据与极大分支几何的统一处理方法。

• 它建立了 1-形式对称性、其反常与模空间几何之间的具体字典，特别是将规范化的障碍与冻结 TQFT 扇区的存在联系起来。
• 它通过利用单极算符作为探测器，解决了 0-形式对称性的全局形式和 2-群结构，并区分了真实与非真实算符。
• 它引入了一种特定的磁拟阵形式修改（非简单李型边），以在极大分支的背景下解释 1-形式对称性和其反常。
• 所获结果是从拉格朗日理论中推导出的，但基于膜的论证也被扩展到了在可行情况下非拉格朗日的 $\mathcal{N}=3$ 理论中，并指出了在没有显式端点算符的情况下确定自反常和 2-群结构的局限性。

该工作并非提出新的实验应用，而是旨在完善超对称规范理论中真空结构与对称性实现的理论理解，特别是在 3d-3d 对应以及膜工程的背景下。