2025-11-12T08:07:09.637484

Non-invertible twisted compactification of class $\mathcal S$ theory and $(B,B,B)$ branes

Ma
We study non-invertible twisted compactification of class $\mathcal S$ theories on $S^1$: we insert a non-invertible symmetry defect at $S^1$ extending along remaining directions and then compactify on $S^1$. We show that the resulting 3d theory is 3d $\mathcal N=4$ sigma model whose target space is a hyperKähler submanifold of Hitchin moduli space, i.e. a $(B,B,B)$ brane. The $(B,B,B)$ brane is the fixed point set on Hitchin moduli space of a finite subgroup of mapping class group of underlying Riemann surface. We describe the $(B,B,B)$ branes as affine varieties and calculate concrete examples of these $(B,B,B)$ branes for type $A_1$, genus $2$ class $\mathcal S$ theory.
academic

Non-invertible twisted compactification of class S\mathcal S theory and (B,B,B)(B,B,B) branes

基本信息

  • 论文ID: 2412.06729
  • 标题: Non-invertible twisted compactification of class S\mathcal S theory and (B,B,B)(B,B,B) branes
  • 作者: Yankun Ma (Sun Yat-Sen University)
  • 分类: hep-th (High Energy Physics - Theory)
  • 提交时间: 2024年12月
  • 论文链接: https://arxiv.org/abs/2412.06729

摘要

本文研究了class S\mathcal S 理论在 S1S^1 上的非可逆扭曲紧化:在 S1S^1 上插入一个沿着剩余方向延伸的非可逆对称缺陷,然后在 S1S^1 上进行紧化。研究表明,得到的3d理论是一个3d N=4\mathcal N=4 sigma模型,其目标空间是Hitchin模空间的超Kähler子流形,即(B,B,B)(B,B,B)膜。该(B,B,B)(B,B,B)膜是底层Riemann面映射类群的有限子群在Hitchin模空间上的不动点集。文中将(B,B,B)(B,B,B)膜描述为仿射簇,并计算了A1A_1型、亏格2的class S\mathcal S理论的具体例子。

研究背景与动机

问题背景

  1. 广义全局对称性的发展: 近年来,量子场论中广义全局对称性的研究蓬勃发展,其中对称性被理解为拓扑缺陷。非可逆对称性作为一种重要的广义对称性,在2d共形场论中已经研究了几十年,但在高维量子场论中的研究相对较新。
  2. Class S理论的重要性: Class S理论是通过6d N=(2,0)\mathcal N=(2,0) SCFT在带标点的Riemann面上紧化得到的4d N=2\mathcal N=2 SCFT。这类理论具有丰富的对偶群结构,为研究非可逆对称性提供了理想的平台。
  3. 扭曲紧化的物理意义: 传统的扭曲紧化通过在紧化圆上施加扭曲边界条件来产生新的低维理论。非可逆扭曲紧化将这一概念推广到非可逆对称缺陷的情况。

研究动机

  • 探索非可逆对称性如何影响理论的紧化行为
  • 理解由此产生的3d理论的几何结构
  • 建立非可逆对称性与Hitchin模空间几何之间的联系
  • (B,B,B)(B,B,B)膜提供新的物理实现和数学描述

核心贡献

  1. 建立了非可逆扭曲紧化与(B,B,B)(B,B,B)膜的对应关系: 证明了class S理论的非可逆扭曲紧化产生的3d理论是以(B,B,B)(B,B,B)膜为目标空间的N=4\mathcal N=4 sigma模型。
  2. 给出了(B,B,B)(B,B,B)膜的群论刻画: 证明(B,B,B)(B,B,B)膜是映射类群有限子群在Hitchin模空间上的不动点集。
  3. 提供了(B,B,B)(B,B,B)膜的仿射簇描述: 首次在数学文献中给出了这类(B,B,B)(B,B,B)膜作为仿射簇的具体描述。
  4. 计算了具体例子: 详细计算了A1A_1型、亏格2情况下的(B,B,B)(B,B,B)膜,展示了其丰富的几何和代数结构。

方法详解

非可逆对称性的构造

非可逆自对偶缺陷的构造遵循以下步骤:

  1. 对偶作用: 对于理论族 Tρ(x)T_\rho(x),其中 xx 参数化共形流形,对偶群 Γ\Gamma 通过拓扑界面实现作用: S:Tρ(x)TSρ(Sx)S: T_\rho(x) \mapsto T_{S\cdot\rho}(S\cdot x)
  2. 拓扑操作: 引入只改变全局结构的拓扑操作: σ:Tρ(x)Tσρ(x)\sigma: T_\rho(x) \mapsto T_{\sigma\cdot\rho}(x)
  3. 非可逆缺陷: 组合得到新的拓扑界面: N:=σSN := \sigma S
  4. 自对偶条件: 选择自对偶点 Sx=xS\cdot x = xσSρ=ρ\sigma S\cdot \rho = \rho,使 NN 成为对称缺陷。

Class S理论的全局结构

Class S理论的全局结构由Lagrangian子格对 (L,L)H1(Σg,0,ZN)(L,L^\perp) \subset H^1(\Sigma_{g,0}, \mathbb{Z}_N) 刻画,其中:

  • LL=H1(Σg,0,ZN)L \oplus L^\perp = H^1(\Sigma_{g,0}, \mathbb{Z}_N)
  • 辛配对为 ui,uj=Jij\langle u_i, u_j \rangle = J_{ij},其中 J=(01g×g1g×g0)J = \begin{pmatrix} 0 & -1_{g \times g} \\ 1_{g \times g} & 0 \end{pmatrix}

拓扑操作和对偶作用在全局结构上的作用为: MFMGM \rightarrow FMG 其中 FSp(2g,Z)F \in \text{Sp}(2g,\mathbb{Z}) 是对偶作用,GSp(2g,ZN)G \in \text{Sp}(2g,\mathbb{Z}_N) 是拓扑操作。

非可逆扭曲紧化

非可逆扭曲紧化的关键步骤:

  1. 缺陷插入: 在 S1S^1 上插入非可逆对称缺陷 NN
  2. 约束条件: 场构型必须满足 Np=pN \cdot p = p
  3. 模空间: 3d理论的真空模空间为: M={pMNp=p}M' = \{p \in M | N \cdot p = p\} 其中 M=MH(G~,Σg)/LM = M_H(\tilde{G}, \Sigma_g)/L 是直接紧化的模空间。

(B,B,B)(B,B,B)膜的几何性质

利用Nielsen实现定理和已知的(B,B,B)(B,B,B)膜理论:

定理: 对于亏格 g2g \geq 2 的Riemann面 Σg\Sigma_g 和作用在其上的有限群 Γ\GammaΓ\Gamma 在Hitchin模空间上的不动点集是(B,B,B)(B,B,B)膜。

结合Nielsen实现定理,映射类群的有限子群等价于:

  1. 在Teichmüller空间上有不动点
  2. 可以实现为面上的自同构

因此,非可逆扭曲紧化的目标空间确实是(B,B,B)(B,B,B)膜。

实验设置

具体计算:A1A_1型亏格2情况

特征簇的环坐标描述

对于SL(2,C)\text{SL}(2,\mathbb{C})特征簇,使用15个环坐标: (z1,z2,z3,z4,z5,z6,z12,z23,z34,z45,z56,z61,z123,z234,z345)(z_1, z_2, z_3, z_4, z_5, z_6, z_{12}, z_{23}, z_{34}, z_{45}, z_{56}, z_{61}, z_{123}, z_{234}, z_{345})

这些坐标由基本群生成元的迹给出:

  • z1=tr(Y1)z_1 = \text{tr}(Y_1), z2=tr(X1)z_2 = \text{tr}(X_1), 等等

约束关系

特征簇由19个多项式关系定义,包括:

  • 循环关系:zi+2zi+4+zi+3zi+2,i+3,i+4zi+2,i+3zi+3,i+42zi=0z_{i+2}z_{i+4} + z_{i+3}z_{i+2,i+3,i+4} - z_{i+2,i+3}z_{i+3,i+4} - 2z_i = 0
  • 复杂的四次关系等

映射类群作用

映射类群 MCG(Σ2)=Sp(4,Z)\text{MCG}(\Sigma_2) = \text{Sp}(4,\mathbb{Z}) 的生成元 IId1d_1 在环坐标上的作用:

II 的作用(6阶元素): z1z2z3z4z5z6z1z_1 \mapsto z_2 \mapsto z_3 \mapsto z_4 \mapsto z_5 \mapsto z_6 \mapsto z_1

实验结果

不动点分类

根据Table 1,亏格2情况下的不动点按复维数分类:

  1. 复维数0(孤立点):
    • 10阶群:Ω=(εε+ε2ε+ε2ε1)\Omega = \begin{pmatrix} \varepsilon & \varepsilon + \varepsilon^{-2} \\ \varepsilon + \varepsilon^{-2} & -\varepsilon^{-1} \end{pmatrix}
    • 24阶、32阶、48阶、72阶群的各种情况
  2. 复维数1(曲线):
    • 8阶、12阶群的情况,涉及对角形式和非对角形式
  3. 复维数2(曲面):
    • 4阶群的情况,主要是对角情况和置换对称情况

(B,B,B)(B,B,B)膜的仿射簇描述

II生成的Z6\mathbb{Z}_6子群为例,不动点集由以下条件确定:

z_1 = z_2 = z_3 = z_4 = z_5 = z_6 \\ z_{12} = z_{23} = z_{34} = z_{45} = z_{56} = z_{61} \\ z_{123} = z_{234} = z_{345} \end{cases}$$ 结合特征簇的19个约束关系,这定义了一个仿射簇。 ## 相关工作 ### 非可逆对称性研究 - 2d RCFT中的拓扑缺陷线研究(Verlinde, Frohlich等) - 高维QFT中非可逆对称性的最新发展(Kaidi、Choi、Cordova等) - Class S理论中非可逆对称性的具体构造(Bashmakov、Del Zotto等) ### Hitchin模空间和$(B,B,B)$膜 - Hitchin系统的经典理论(Hitchin, 1987) - 超Kähler几何和积分系统 - 有限群作用产生的$(B,B,B)$膜(Heller-Schaposnik等) ### 扭曲紧化理论 - 4d $\mathcal N=4$ SYM的S-对偶扭曲紧化(Ganor-Hong等) - Class S理论的圆紧化(Gaiotto-Moore-Neitzke) ## 结论与讨论 ### 主要结论 1. **建立了新的物理-几何对应**: 非可逆扭曲紧化与$(B,B,B)$膜之间的精确对应关系。 2. **提供了$(B,B,B)$膜的新描述**: 首次给出了这类膜作为仿射簇的具体数学描述。 3. **展示了丰富的代数结构**: 计算显示$(B,B,B)$膜具有非常丰富的几何和代数结构。 ### 局限性 1. **计算复杂性**: 目前的计算主要限于$A_1$型和低亏格情况。 2. **一般性**: 对于更一般的Lie群和更高亏格的情况,计算变得极其复杂。 3. **物理解释**: 某些数学结构的物理意义还需要进一步探索。 ### 未来方向 1. **Higgs分支研究**: 研究结果3d理论的Higgs分支和3d镜像对称性。 2. **Rozansky-Witten理论**: 研究相应的3d拓扑场论。 3. **推广到一般情况**: 扩展到更一般的4d $\mathcal N=2$ SCFT。 4. **数学结构深入研究**: 进一步理解$(B,B,B)$膜的数学结构。 ## 深度评价 ### 优点 1. **理论创新性**: 首次系统研究了class S理论的非可逆扭曲紧化,建立了与$(B,B,B)$膜的对应关系。 2. **数学严谨性**: 利用Nielsen实现定理等深刻数学结果,给出了严格的证明。 3. **计算完整性**: 提供了具体的计算例子,展示了理论的可操作性。 4. **跨学科意义**: 连接了量子场论、代数几何和拓扑学的多个分支。 ### 不足 1. **计算局限性**: 具体计算仅限于简单情况,更复杂情况的计算挑战巨大。 2. **物理直觉**: 某些数学结构缺乏清晰的物理解释。 3. **实验验证**: 作为理论物理工作,缺乏直接的实验验证手段。 ### 影响力 1. **学术价值**: 为非可逆对称性和Hitchin模空间的研究提供了新视角。 2. **方法论贡献**: 建立了研究非可逆扭曲紧化的一般框架。 3. **后续研究**: 为相关领域的进一步研究奠定了基础。 ### 适用场景 - 理论物理中的对称性研究 - 代数几何中的模空间理论 - 拓扑量子场论的构造和分类 - 弦理论中的紧化问题 ## 参考文献 论文引用了58篇相关文献,涵盖了从经典的Hitchin理论到最新的非可逆对称性研究,体现了该工作的广泛理论基础和前沿性质。