[论文解读] Toric Geometry, Enhanced non Simply laced Gauge Symmetries in Superstrings and F-theory Compactifications

A. Belhaj, El Hassan Saidi|ArXiv.org|Dec 15, 2000

Black Holes and Theoretical Physics参考文献 27被引用 14

一句话总结

本文通过运用 торическая几何，将F-theory与II型弦理论紧化中的几何工程推广至非单连通李群，利用 торическая几何引入了ADE торическая图上外自同构作用的两类解。研究提供了显式的仿射BCFG型 торическая数据与镜像几何，并发展了多价 торическая几何，推导出在$WP^4(1,1,1,1,2)$卡勒流形中具有$c_1 = 0$的$ˇ{D}_4$奇点的新标准四价解。

ABSTRACT

We study the geometric engineering of supersymmetric quantum field theories (QFT), with non simply laced gauge groups, obtained from superstring and F-theory compactifications on local Calabi-Yau manifolds. First we review the main lines of the toric method for ALE spaces with ADE singularities which we extend to non simply laced ordinary and affine singularities. Then, we develop two classes of solutions depending on the two possible realisations of the outer-automorphism group of the toric graph $Δ$(ADE). In F-theory on elliptic Calabi-Yau manifolds, we give explicit results for the affine non simply laced toric data and the corresponding BCFG mirror geometries. The latters extend known results obtained in litterature for the affine ADE cases. We also study the geometric engineering of $ N=1$ supersymmetric gauge theory in eight dimensions. In type II superstring compactifications on local Calabi-Yau threefolds, we complete the analysis for ordinary ADE singularities by giving the explict derivation of the lacking non simply ones. Finally we develop the basis of polyvalent toric geometry. The latter extends bivalent and trivalent geometries, considered in the geometric engineering method, and use it to derive a new solution for the affine $\hat D_4$ singularity. Other features are also discussed.

研究动机与目标

• 完成F-theory与II型弦理论紧化中非单连通李群（如$B_n$、$C_n$、$F_4$、$G_2$）的$N=2$与$N=1$超对称QFT的几何工程。
• 解决在II型超弦紧化中，局部卡勒三流形内非单连通普通与仿射ADE奇点缺乏显式构造的问题。
• 发展广义多价 торическая几何框架，以超越双价与三价情形，特别针对高阶顶点奇点（如四价$ˇ{D}_4$情形）。
• 为F-theory紧化于椭圆纤维化卡勒流形上的仿射非单连通BCFG奇点提供显式镜像几何。
• 通过引入基于整数格点$Z^4$的新标准四价解，解决先前基于$\mathbb{Z} \times \frac{1}{2}\mathbb{Z}^2$的有理格点构造中$ˇ{D}_4$镜像的模糊性。

提出的方法

• 通过扩展标准ADE分类，将外自同构作用于toric图$Δ$(ADE)上，应用toric几何以解决非单连通李群的ALE奇点。
• 基于toric图外自同构群的不同实现方式，构造两类不同的解，对应于不同的镜像势约束。
• 通过$\mathbb{Z}_2$外自同构折叠Dynkin图（如$D_n$、$A_n$）的方法，从单连通李代数推导出非单连通李代数（如$B_n$、$C_n$、$F_4$、$G_2$）。
• 在椭圆纤维化卡勒三流形上的F-theory紧化中，推导出仿射BCFG型的显式toric数据，包括加权射影空间中的镜像超曲面。
• 引入多价toric几何作为双价与三价几何的推广，以描述具有高阶顶点的奇点，如四价$ˇ{D}_4$情形。
• 通过在$\mathbb{Z}^4$中使用整数格点顶点，构造新的标准四价几何，得到在$\mathbb{WP}^4(1,1,1,1,2)$中的卡勒超曲面，且第一陈类为零。

实验结果

研究问题

• RQ1 ADE toric图$Δ$(ADE)的外自同构群的不同实现方式，如何导致非单连通李群几何工程中两类不同的解？
• RQ2 在F-theory紧化于椭圆纤维化卡勒流形上的仿射非单连通BCFG奇点中，其显式toric数据与镜像几何为何？
• RQ3 多价toric几何如何系统性地发展以描述超越双价与三价情形的奇点，特别是四价$ˇ{D}_4$奇点？
• RQ4 在一致的格点框架下，$ˇ{D}_4$仿射奇点的镜像几何的正确toric实现为何，能恢复卡勒条件（$c_1 = 0$）？
• RQ5 能否在整数格点$\mathbb{Z}^4$中构造一种新的、标准的四价解，以克服基于$\mathbb{Z} \times \frac{1}{2}\mathbb{Z}^2$的先前有理格点构造的局限性？

主要发现

• 本文识别出两类不同的解，用于非单连通李群的几何工程，取决于外自同构群在toric图$Δ$(ADE)上的实现方式，其中第二类解为此前未报道的新解。
• 为F-theory紧化于椭圆纤维化卡勒流形上的仿射非单连通BCFG奇点，推导出显式的toric数据与镜像几何，将已知的ADE结果扩展至包含$B_n$、$C_n$、$F_4$与$G_2$李代数。
• 通过在$\mathbb{Z}^4$中使用整数格点顶点，构造出新的标准四价几何，得到在$\mathbb{WP}^4(1,1,1,1,2)$中的卡勒超曲面，且$c_1 = 0$，解决了早期有理格点构造中的不一致性。
• 新标准四价解的镜像势为$W_3(x_1,x_2,x_3,x_4,w) = x_1^4 + x_2^4 + x_3^4 + x_4^4 + x_1x_2x_3x_4 + w^2(x_1^2 + x_2^2 + x_3^2 + x_4^2) + w^2$，定义了一个准齐次卡勒三流形。
• 当使用$W_3$时，$ˇ{D}_4$奇点的新解为奇异卡勒超曲面，但通过替换为$wP(W_3)$后，恢复了$c_1 = 0$，从而成为卡勒流形。
• 多价toric几何成功应用于四价情形，表明基于$\mathbb{Z}^4$的标准四价解相较于先前的有理格点方法，提供了更自然且一致的框架。