[论文解读] 0-Form, 1-Form and 2-Group Symmetries via Cutting and Gluing of Orbifolds

Mirjam Cvetič, Jonathan J. Heckman+2 more|arXiv (Cornell University)|Mar 18, 2022

Black Holes and Theoretical Physics被引用 7

一句话总结

本文通过分析M理论紧化中轨道丛奇点的切割与粘合，建立了一个几何框架，用于推导5D和4D超对称量子场论（SQFT）中的0-形式、1-形式及2-群全局对称性。结果表明，边界几何的同调——特别是奇点边界的轨道丛同调——编码了全局对称性结构，包括与轨道丛群的阿贝尔化相关的2-群异常，从而提供了一种无需显式解析奇点的拓扑方法来提取对称性数据。

ABSTRACT

Orbifold singularities of M-theory constitute the building blocks of a broad class of supersymmetric quantum field theories (SQFTs). In this paper we show how the local data of these geometries determines global data on the resulting higher symmetries of these systems. In particular, via a process of cutting and gluing, we show how local orbifold singularities encode the 0-form, 1-form and 2-group symmetries of the resulting SQFTs. Geometrically, this is obtained from the possible singularities which extend to the boundary of the non-compact geometry. The resulting category of boundary conditions then captures these symmetries, and is equivalently specified by the orbifold homology of the boundary geometry. We illustrate these general points in the context of a number of examples, including 5D superconformal field theories engineered via orbifold singularities, 5D gauge theories engineered via singular elliptically fibered Calabi-Yau threefolds, as well as 4D SQCD-like theories engineered via M-theory on non-compact $G_2$ spaces.

研究动机与目标

• 理解全局对称性（尤其是1-形式和2-群对称性）如何从具有轨道丛奇点的非紧致M理论紧化几何中涌现出来。
• 开发一种绕过奇点显式解析的方法，利用边界几何的拓扑不变量来提取对称性数据。
• 建立边界轨道丛同调与所得SQFT的缺陷群或对称性结构之间的直接对应关系。
• 证明2-群结构编码于轨道丛群Γ的阿贝尔化中，特别是在5D超规范场论（SCFT）和4D SQCD类理论的背景下。
• 通过基于奇点切割与粘合的统一几何框架，整合描述不同M理论紧化中味、1-形式及2-群对称性。

提出的方法

• 本文将Mayer-Vietoris正合序列应用于非紧致几何X的边界，先移除交线K的管状邻域，以提取与对称性相关的同调数据。
• 它将∂X° = ∂X \ T(K)上的边界条件类别识别为边界轨道丛同调，后者捕捉了全局对称性结构。
• 该方法依赖于对SU(3)的有限阿贝尔子群及其在C³上的作用的固定点流形的分析，特别关注保持2-平面的子群结构（如A_{n-1}奇点）。
• 通过坐标上的相位条件推导出生成元，计算出固定给定2-平面的子群H ⊂ Γ = ℤ_n × ℤ_m，并由此推导商群Γ/H以确定对称性电荷。
• 对于通过ℂ³/Γ实现的5D SCFT，1-形式对称性由基本群π₁(S⁵/Γ)提取，而2-群结构则与Γ的阿贝尔化相关联。
• 该框架被应用于椭圆纤维化的卡拉比-丘三fold产生的5D共形物质以及G₂空间上M理论紧化产生的4D SQCD类理论，展示了在不同类型紧化下的统一性。

实验结果

研究问题

• RQ1 如何在不解析奇点的前提下，从M理论紧化中轨道丛奇点的几何结构中提取0-形式、1-形式及2-群对称性？
• RQ2 边界几何的何种精确拓扑不变量编码了全局对称性结构，包括2-群异常？
• RQ3 轨道丛群Γ的阿贝尔化如何与5D和4D SQFT中2-群对称性的结构相关联？
• RQ4 能否从边界轨道丛同调中重构扩展对象（如M2膜）的缺陷群？
• RQ5 切割与粘合过程在多大程度上能统一描述不同类M理论紧化（如产生5D SCFT和4D SQCD类理论的紧化）中的对称性？

主要发现

• 通过ℂ³/Γ实现的5D SCFT的1-形式对称性由基本群π₁(S⁵/Γ)决定，其结果与边界几何的同调一致。
• 这些理论中的2-群结构与轨道丛群Γ的阿贝尔化相关联，支持了先前研究中的猜想，并通过几何计算得到证实。
• 对于阿贝尔群Γ = ℤ_n × ℤ_m，边界上的固定点流形对应于A_{gcd(n,k_i)-1}奇点，且保持2-平面的子群H ⊂ Γ被显式计算为ℤ_{m·gcd(m',k_i)}（对每个平面）。
• 商群Γ/H同构于ℤ_{m'/gcd(m',k₁)gcd(m',k₂)gcd(m',k₃)}，该结果确定了2-群结构中的全局0-形式对称性因子。
• 在M理论紧化于G₂空间产生的4D SQCD类理论中，该方法通过分析Acharya-Witten圆锥的粘合及其边界同调，重现了已知的味对称性和1-形式对称性。
• 边界几何的轨道丛同调提供了缺陷群与对称性结构的完整且等价的描述，统一了不同紧化类型下的处理方式。