[论文解读] Mirror symmetry and Exact Solution of 4D N=2 Gauge Theories I

S. D. Katz, Peter Mayr+1 more|ArXiv.org|Jun 13, 1997

Black Holes and Theoretical Physics参考文献 10被引用 22

一句话总结

本文利用卡拉比-丘三fold上的IIA型弦理论紧化中的几何工程与镜像对称，推导出具有SU规范群及双fundamental或fundamental物质的4D $N=2$规范理论的Coulomb分支模空间的精确解。结果表明，渐近自由性将 quiver 图限制为ADE或仿射ADE Dynkin图，而精确解则编码于镜像卡拉比-丘三fold的复几何中，某些情况下通过T对偶性可约化为黎曼曲面。

ABSTRACT

Using geometric engineering in the context of type II strings, we obtain exact solutions for the moduli space of the Coulomb branch of all N=2 gauge theories in four dimensions involving products of SU gauge groups with arbitrary number of bi-fundamental matter for chosen pairs, as well as an arbitrary number of fundamental matter for each factor. Asymptotic freedom restricts the possibilities to SU groups with bi-fundamental matter chosen according to ADE or affine ADE Dynkin diagrams. Many of the results can be derived in an elementary way using the self-mirror property of K3. We find that in certain cases the solution of the Coulomb branch for N=2 gauge theories is given in terms of a three dimensional complex manifold rather than a Riemann surface. We also study new stringy strong coupling fixed points arising from the compactification of higher dimensional theories with tensionless strings and consider applications to three dimensional N=4 theories.

研究动机与目标

• 推导具有SU规范群及双fundamental或fundamental物质的4D $N=2$规范理论的Coulomb分支模空间的精确解。
• 建立渐近自由性与理论quiver图中ADE或仿射ADE Dynkin图之间的对应关系。
• 证明IIA型弦理论在卡拉比-丘三fold上的镜像对称可通过对偶IIB型理论的树图级几何，给出精确的量子修正模空间。
• 将几何工程方法推广至已知对偶性之外的范围，包括非渐近自由情形及3D $N=4$理论。
• 证明S对偶群对应于椭圆曲线上平坦ADE规范场的基本群，从而将弦论起源与场论对偶性联系起来。

提出的方法

• 几何工程：通过在$\mathbb{P}^1$上具有ADE奇点的卡拉比-丘三fold纤维丛上紧化IIA型弦理论，构造4D $N=2$理论。
• 利用镜像对称将IIA几何映射到IIB模型，其中复结构模参在量子力学上未修正，因而给出精确的Coulomb分支。
• 将镜像几何识别为卡拉比-丘三fold的非紧部分，模空间编码于该空间的复结构中。
• 在某些情形下，将几何约化为黎曼曲面$\Sigma$，通过T对偶性对应于M5膜世界体积$R^4 \times \Sigma$。
• 利用$K3$的自对偶性质，对特定构型以更初等的方式推导结果。
• 将该构造应用于渐近自由与共形理论，包括影响3D对偶性的$U(1)$因子。

实验结果

研究问题

• RQ1 如何利用弦论推导具有双fundamental与fundamental物质的4D $N=2$ $SU$规范理论的Coulomb分支的精确解？
• RQ2 ADE与仿射ADE Dynkin图在约束渐近自由$N=2$规范理论允许的quiver结构中起什么作用？
• RQ3 IIA型弦理论在卡拉比-丘三fold上的镜像对称如何给出Coulomb分支的精确量子修正模空间？
• RQ4 在何种情况下镜像几何约化为黎曼曲面，这种约化的物理意义是什么？
• RQ5 在从4D $N=2$紧化得到的3D $N=4$理论中，$U(1)$规范因子如何影响对偶结构？

主要发现

• 具有双fundamental与fundamental物质的4D $N=2$ $SU$规范理论的Coulomb分支模空间的精确解，编码于镜像卡拉比-丘三fold的复结构中，该复结构在量子层面未修正。
• 四维空间中的渐近自由性将quiver图限制为ADE或仿射ADE Dynkin图，每个$SU$群的秩与对应节点的Dynkin指标相关联。
• 在仿射ADE quiver情形下，理论无需额外fundamental物质即为共形理论；而ADE quiver则需额外fundamental物质才能实现共形性。
• 该理论的S对偶群对应于椭圆曲线上平坦ADE规范场的基本群，为场论对偶性提供了弦论起源。
• 在某些构型中，镜像几何约化为黎曼曲面$\Sigma$，通过T对偶性等价于M理论实现中M5膜世界体积$R^4 \times \Sigma$。
• 该构造可推广至3D $N=4$理论，通过将4D $N=2$理论紧化于圆周并分析Higgs与Coulomb分支，揭示对偶性，例如仿射$E_8$ quiver的$\prod U(s_i)$的对偶为小$E_8$ instanton理论。