[论文解读] Classification of 4d N=2 gauge theories

Lakshya Bhardwaj, Tachikawa, Yuji|arXiv (Cornell University)|Sep 20, 2013

Black Holes and Theoretical Physics参考文献 20被引用 38

一句话总结

本文对具有半单规范群和超多重态的四维 $χ=2$ 超对称紫外完备规范理论进行了分类，表明它们可归为三类：简单规范群、具有三重fundamental物质的 $\mathrm{SU}(2)^n$，或图结构为树或单环的奎弗理论。关键结果是一个有限且可算法枚举的分类，给出了 Seiberg-Witten 解的显式判据，并列出了截至 2017 年 7 月已知的解的参考文献。

ABSTRACT

We classify all possible four-dimensional N=2 supersymmetric UV-complete gauge theories composed of semi-simple gauge groups and hypermultiplets. We also give appropriate references for all theories with known Seiberg-Witten solutions.

研究动机与目标

• 提供由半单规范群和超多重态构成的 4d $\mathcal{N}=2$ 紫外完备规范理论的完整分类。
• 确定这些理论中哪些具有已知的 Seiberg-Witten 解，并整理截至 2017 年 7 月的参考文献。
• 识别相关奎弗图（节点代表规范群，边代表超多重态）的结构约束，表明其必须为树或单环。
• 开发一种系统性算法以枚举所有此类理论，并提供 Mathematica 实现代码。
• 通过识别尚未解决的案例，阐明现有解法（如 class S、可积系统、brane 构造）的局限性。

提出的方法

• 构建一个奎弗图，其中节点代表单个规范群或 $\mathrm{SO}(4)$，边代表在恰好两个规范群下变换的不可约超多重态。
• 基于表示理论和异常抵消，将可能的图结构分类为单环或具有主干与分支的树。
• 应用紫外有限性条件（渐近自由或超共形性）以限制允许的表示和规范群组合。
• 利用 Dynkin 图及其推广的分类，识别图何时对应有限或仿射 Dynkin 图，以及何时为例外情况。
• 利用已知的解法——如 6d $\mathcal{N}=(2,0)$ 理论的紧化、可积系统和 brane 网构造——来确定哪些理论已被解决。
• 实现一种递归算法以生成所有允许的奎弗构型，并提供作为补充材料的 Mathematica 文件。

实验结果

研究问题

• RQ1 哪些具有半单规范群和超多重态的 4d $\mathcal{N}=2$ 规范理论是紫外完备的？
• RQ2 此类理论的奎弗图具有何种结构约束？是否可以实现完全枚举？
• RQ3 这些理论中哪些具有已知的 Seiberg-Witten 解，哪些仍为未解？
• RQ4 现有解法（如 class S、可积系统）在多大程度上覆盖了全部紫外完备 $\mathcal{N}=2$ 理论？
• RQ5 是否存在有限且可算法枚举的理论族，其图结构既非有限也非仿射 Dynkin 图？

主要发现

• 所有具有半单规范群和超多重态的紫外完备 $\mathcal{N}=2$ 规范理论恰好属于三类：简单规范群、具有三重fundamental物质的 $\mathrm{SU}(2)^n$，或图结构为树或单环的奎弗理论。
• 任何此类理论的相关奎弗图必须为单环或具有主干与分支的树，且允许的主干与分支类型已完全分类。
• 其关联图既非有限也非仿射 Dynkin 图的理论数量有限，且可算法枚举。
• 该分类包含了所有通过 6d $\mathcal{N}=(2,0)$ 理论在带 puncture 的黎曼曲面上紧化构造的已知 $\mathcal{N}=2$ 理论（即 class S 理论），以及线性 $\mathrm{SO}$–$\mathrm{USp}$ 奎弗理论。
• 对于每种理论，本文在 2017 年 7 月已知 Seiberg-Witten 解的情况下提供了文献参考；其余未解案例——特别是具有非 Dynkin 图或例外 $\mathrm{SO}$–$\mathrm{USp}$ 群的理论——仍处于未解状态。
• 作者提供了实现枚举算法的 Mathematica 文件，使系统性探索所有此类理论成为可能。