[论文解读] Toric Calabi-Yau Fourfolds, Duality Between N=1 Theories and Divisors that Contribute to the Superpotential

Volker Braun, Philip Candelas+2 more|ArXiv.org|Jan 29, 2000

Geometry and complex manifolds参考文献 21被引用 9

一句话总结

本文研究了在toric Calabi-Yau四fold上的F-theory紧化及其与在Calabi-Yau三fold上的hetereotic紧化的对偶性，建立了反射多面体与hetereotic数据之间的对应关系。本文提出了一种从四fold的多面体中提取hetereotic规范群和向量丛数据的方法，并指出只有算术亏格为1的除子才会对超势能产生贡献——这在非单连通群（如SO(odd)、Sp(n)、G₂和F₄）中尤为显著，当χ(O_D) > 1时，某些除子无法贡献。

ABSTRACT

We study issues related to F-theory on Calabi-Yau fourfolds and its duality to heterotic theory for Calabi-Yau threefolds. We discuss principally fourfolds that are described by reflexive polyhedra and show how to read off some of the data for the heterotic theory from the polyhedron. We give a procedure for constructing examples with given gauge groups and describe some of these examples in detail. Interesting features arise when the local pieces are fitted into a global manifold. An important issue is how to compute the superpotential explicitly. Witten has shown that the condition for a divisor to contribute to the superpotential is that it have arithmetic genus 1. Divisors associated with the short roots of non-simply laced gauge groups do not always satisfy this condition while the divisors associated to all other roots do. For such a `dissident' divisor we distinguish cases for which the arithmetic genus is greater than unity corresponding to an X that is not general in moduli (in the toric case this corresponds to the existence of non-toric parameters). In these cases the `dissident' divisor D does not remain an effective divisor for general complex structure. If however the arithmetic genus is less than or equal to 0, then the divisor is general in moduli and there is a genuine instability.

研究动机与目标

• 通过反射五维多面体建立F-theory在Calabi-Yau四fold上与hetereotic在Calabi-Yau三fold上紧化的对偶性。
• 开发一种系统性方法，利用toric数据构建具有指定规范群的四fold。
• 确定在F-theory紧化中哪些除子会对超势能产生贡献，尤其针对非单连通规范群。
• 阐明算术亏格及其全纯Euler示性数χ(O_D)在决定除子在模空间中是否保持有效时的作用。
• 比较F-theory超势能与hetereotic超势能，并分析其在Kähler参数依赖性上的差异。

提出的方法

• 使用反射五维多面体描述Calabi-Yau四fold，并通过其对偶多面体的投影获得对应的hetereotic三fold。
• 通过KLRY构造方法构建四fold X的扇形，扩展群作用以定义全局几何结构。
• 通过从X投影除子并保持交点数据，计算hetereotic三fold Z上的交点数。
• 应用Witten判据：当且仅当其算术亏格为1时，即χ(O_D) = 1，除子才会对超势能产生贡献。
• 区分χ(O_D) > 1（非一般模参数，非toric参数）与χ(O_D) ≤ 0（真正的不稳定性，有效贡献）的情况。
• 将F-theory超势能（关于Kähler模参数为三次）与hetereotic超势能（关于曲线体积为线性）进行比较，并通过无穷小椭圆纤维极限解决差异。

实验结果

研究问题

• RQ1 如何从描述F-theory中Calabi-Yau四fold的反射多面体中提取hetereotic在Calabi-Yau三fold上紧化的数据？
• RQ2 在F-theory紧化中，除子对超势能产生贡献的精确判据是什么？
• RQ3 为何在非单连通规范群（如SO(odd)、Sp(n)、G₂、F₄）中，与短根相关的除子有时无法对超势能产生贡献？
• RQ4 全纯Euler示性数χ(O_D)如何决定除子在一般复结构模空间中是否保持有效？
• RQ5 如何调和F-theory超势能对Kähler参数的三次依赖性与hetereotic理论中线性依赖性之间的差异？

主要发现

• 对偶的hetereotic三fold Z通过投影四fold X的对偶多面体获得，该投影对应于ℙ¹上的纤维化。
• 根据Witten判据，算术亏格为1（χ(O_D) = 1）的除子是贡献于超势能的充要条件。
• 对于非单连通规范群，若χ(O_D) > 1，则与短根相关的除子可能不贡献，表明存在非一般模参数与非toric参数。
• 当χ(O_D) ≤ 0时，除子在一般模空间中保持有效，并真正对超势能产生贡献，标志物理不稳定性。
• F-theory中的超势能对Kähler参数呈三次依赖，而hetereotic理论中为线性依赖；该差异在无穷小椭圆纤维极限下得以调和。
• 显式例子表明，对于非单连通群，混合构型——部分除子贡献，部分不贡献——是可能的，这与“全部贡献或全部不贡献”的预期相反。