[论文解读] Faking Gauge Coupling Unification in String Theory

James Halverson, Benjamin Sung|arXiv (Cornell University)|Nov 8, 2021

Algorithms and Data Compression参考文献 14被引用 5

一句话总结

本文研究在F-theory紧化中，是否可以通过调节Kähler模参数，使同调上不同的七brane除子体积相等，从而‘伪造’规范耦合统一。文章引入了‘强校准’（strong calibration）的概念，作为模空间中余维一子集上该等式的充分条件，表明在Tree系综中，约77.12%的相交环面除子对可实现强校准，而3.22%则无法实现——揭示了在朴素规范理论中不存在的非平凡障碍。

ABSTRACT

Gauge coupling unification misleads infrared observers if new gauge bosons do not simultaneously come into the spectrum. Though easy to engineer in gauge theory, the situation in string theory is nuanced, due to moduli dependence. We study the possibility of faking gauge coupling unification in the context of $4$d F-theory compactifications. Specifically, we formulate a sufficient condition that we call a strong calibration, under which seven-brane gauge couplings on homologically distinct divisors become equal at codimension one in Kähler moduli space. We prove that a strong calibration is preserved under appropriate topological transitions and that a pair of non-intersecting divisors each admitting a contraction can always be strongly calibrated. Within the Tree ensemble, we find that $\approx 77.12\%$ of pairs of intersecting toric divisors can be strongly calibrated and $\approx 3.22\%$ can never be calibrated. Physically, this means that gauge coupling unification can be faked in most cases that we study, but in others it cannot, which is surprising from a gauge theoretic perspective.

研究动机与目标

• 研究在弦理论中，是否可通过调节模参数实现规范耦合统一，即使不存在真正的大统一理论。
• 识别在F-theory紧化中，两个来自同调上不同的七brane除子的规范耦合在何时可变得相等。
• 确定在环面F-theory紧化背景下，此类‘伪造’统一的普遍性及其拓扑障碍。
• 分析拓扑转变与爆破（blowups）如何影响实现规范耦合相等的可能性。

提出的方法

• 作者将‘强校准’定义为在Kähler模空间的余维一子集上，两个同调上不同的七brane除子体积相等的充分条件。
• 使用代数几何工具，包括环面Mori定理与nef锥分析，以确定在爆破下除子类是否为相对nef。
• 该方法涉及分析爆破序列下除子的适当变换（proper transforms），并应用交点理论以计算体积相等的条件。
• 他们应用推论C.2与命题A.3，将nef性条件转化为对例外除子系数的线性不等式组。
• 分析在椭圆纤维化于Kähler三复形上的F-theory紧化背景下进行，规范耦合由除子体积决定。
• 使用Tree系综中的环面Calabi-Yau三复形，对相交除子对的强校准频率进行统计评估。

实验结果

研究问题

• RQ1 在F-theory中，是否可通过调节Kähler模参数使七brane除子体积相等，从而在无真正大统一理论的情况下实现规范耦合统一？
• RQ2 即使模参数被调节，何种拓扑或几何条件会阻止此类‘伪造’统一？
• RQ3 当存在各自可收缩的非相交除子时，强校准的可能性如何受到影响？
• RQ4 校准失败在多大程度上是拓扑障碍而非数值障碍？
• RQ5 在如爆破等拓扑转变下，校准的不存在性是否依然成立？

主要发现

• 在Tree系综中，约77.12%的相交环面除子对可实现强校准，意味着其规范耦合可通过模参数调节变得相等。
• 约3.22%的相交环面除子对在模空间中任何位置均无法校准，表明存在对‘伪造’统一的非平凡拓扑障碍。
• 强校准性质在适当的拓扑转变下（如建立边树的爆破序列）得以保持。
• 各自可收缩的非相交除子总可实现强校准，表明此类情况下存在稳健的‘伪造’统一机制。
• 在不与边树基曲线相交的爆破下，校准的不存在性得以保持，表明部分障碍具有拓扑上的鲁棒性。
• 该结果揭示了与朴素规范理论的惊人差异：在朴素理论中，‘伪造’统一总是余维一；而在F-theory中，某些构型在根本上受到阻碍。