[论文解读] Tinkertoys for the Z3-twisted D4 Theory

Oscar Chacaltana, Jacques Distler+1 more|arXiv (Cornell University)|Jan 9, 2016

Black Holes and Theoretical Physics参考文献 26被引用 56

一句话总结

该论文通过在带 punctures 的黎曼曲面上对 $D_4$ (2,0) 理论进行 $ℤ_3$-扭曲紧化，构建了新的 4D $υ=2$ 超 conformal 场论（SCFTs），引入了新型扭曲 punctures 和 fixtures。关键成果是发现了一种新的孤立 rank-1 SCFT，具有 $SU(4)$ 全局对称性，且其序态分支由一个维度为 6 的算符参数化。

ABSTRACT

Among the simple Lie algebras, $D_4$ is distinguished as the unique one whose group of outer-automorphisms is bigger than $\mathbb{Z}_2$. We study the compactifications of the $D_4$ (2,0) Theory on a punctured Riemann surface, $C$, with outer-automorphism twists around cycles of $C$ lying in $\mathbb{Z}_3\subset ext{Aut}(D_4)= S_3$. The resulting 4D $\mathcal{N}=2$ SCFTs have a number of new and interesting properties. As byproduct, we discover a new rank-1 $\mathcal{N}=2$ SCFT with flavour symmetry group $SU(4)$.

研究动机与目标

• 对通过在带 punctures 的黎曼曲面上对 $D_4$ (2,0) 理论进行 $ℤ_3$-扭曲紧化而产生的 4D $υ=2$ SCFT 进行分类与构造。
• 将 $υ=2$ 类 $ℓ$ 程序扩展至非阿贝尔外自同构扭曲，聚焦于 $S_3$ 的 $ℤ_3$ 子群。
• 识别并分析新型扭曲 punctures 和 fixtures，包括相互作用型与基于规范理论的构造。
• 确定全局对称性并计算所得 SCFT 的超共形指数。
• 发现并表征一种新的孤立 rank-1 SCFT，其具有 $SU(4)$ 集群对称性，且序态分支为 1 维，对应算符维度 $\Delta(u)=6$。

提出的方法

• 利用 $υ=2$ 类 $ℓ$ 框架，将其扩展至在带 punctures 的黎曼曲面上对 $D_4$ (2,0) 理论进行 $ℤ_3$-扭曲紧化。
• 通过在不变子代数 $\mathfrak{g}^\vee \subset D_4$ 的 Langlands 对偶中的幂零轨道对扭曲 punctures 进行分类。
• 引入“tinkertoys”——组合式构建块，如三 puncture 球面和圆柱面——并指定其在 $(1,\omega,\omega^2)$ 和 $(\omega,\omega,\omega)$ 扭曲扇区中的扭曲结构。
• 在每个扭曲扇区中构建自由场和相互作用型 fixtures，使用投影矩阵和 $SO(8)$ 与 $G_2$ 的嵌入数据。
• 通过分析扭曲紧化及其导致的全局对称性增强，计算超共形指数。
• 应用 $j$-函数与模形式不变量，约束覆盖映射 $X_6 \to \overline{M}_{0,6}$ 的结构，确定分支点与极点阶数。

实验结果

研究问题

• RQ1 在 $ℤ_3$-扭曲的 $D_4$ 紧化中，会涌现出哪些新型扭曲 punctures 和 fixtures？
• RQ2 所得 4D $υ=2$ SCFT 的全局对称性和超共形指数与 $ℤ_2$-扭曲情形相比有何不同？
• RQ3 能否通过 $ℤ_3$-扭曲紧化构造出一种新的孤立 rank-1 SCFT？其关键性质是什么？
• RQ4 所得 SCFT 的模空间结构如何，特别是关于分支点和边界分量？
• RQ5 $S_3$ 的非阿贝尔性质如何影响与阿贝尔扭曲相比，tinkertoy 构造的一致性？

主要发现

• 发现一种新的孤立 rank-1 $υ=2$ SCFT，具有 $SU(4)_{14}$ 全局对称性，且其序态分支为 1 维，由一个维度为 6 的算符参数化。
• 在 $D_{12}$ 和 $D_{34}$ 上表现出 12 阶极点，表明分支指数为 6，与三个 $SU(2)$ 群体变为弱耦合一致。
• 覆盖映射 $X_6 \to \overline{M}_{0,6}$ 在 $D_{16}, D_{26}, D_{36}, D_{46}$ 上具有 6 阶极点，表明在这些除数上为无分支行为。
• 在 $D_{123}, D_{124}, D_{134}, D_{234}, D_{126}, D_{346}$ 上分支指数为 3，在 $D_{56}$ 上为 2，由 $j$-函数表达式中的极点阶数确定。
• $j$-函数乘积 $j(\tau_1)j(\tau_2)j(\tau_3)$ 表示为一个有三重零点且具有特定极点阶数的有理函数，受模形式不变性和对称性约束。
• 由于缺乏对 $j$-函数零点位置的了解，$j$-函数表达式中的常数 $s$ 仍无法确定，但其存在性由极点与零点的结构所暗示。