[论文解读] On Discrete Symmetries and Torsion Homology in F-Theory

Christoph Mayrhofer, Eran Palti+2 more|arXiv (Cornell University)|Oct 28, 2014

Black Holes and Theoretical Physics被引用 8

一句话总结

本文建立了F-theory紧化中离散 gauge 对称性与Calabi-Yau流形中挠性同调类之间精确的几何对应关系。聚焦于$Χ_2$对称性，研究发现：尽管无截面的椭圆纤维化（非雅可比）不支持挠性同调，但其对应的雅可比纤维化（具有有理截面）却表现出一个$Χ_2$-挠性2-循环。该挠性循环源于两个纤维分量之差（$B_{II,1} - B_{II,2}$），对应于在有效理论中实现离散对称性的卷绕M2-膜。

ABSTRACT

We study the relation between discrete gauge symmetries in F-theory compactifications and torsion homology on the associated Calabi-Yau manifold. Focusing on the simplest example of a $\mathbb Z_2$ symmetry, we show that there are two physically distinct ways that such a discrete gauge symmetry can arise. First, compactifications of M-Theory on Calabi-Yau threefolds which support a genus-one fibration with a bi-section are known to be dual to six-dimensional F-theory vacua with a $\mathbb Z_2$ gauge symmetry. We show that the resulting five-dimensional theories do not have a $\mathbb Z_2$ symmetry but that the latter emerges only in the F-theory decompactification limit. Accordingly the genus-one fibred Calabi-Yau manifolds do not exhibit discrete torsion. Associated to the bi-section fibration is a Jacobian fibration which does support a section. Compactifying on these related but distinct varieties does lead to a $\mathbb Z_2$ symmetry in five dimensions and, accordingly, we find explicitly an associated discrete torsion. We identify the expected particle and membrane system of the discrete symmetry in terms of wrapped M2 and M5 branes and present a field-theory description of the physics for both cases in terms of circle reductions of six-dimensional theories. Our results and methods generalise straightforwardly to larger discrete symmetries and to four-dimensional compactifications.

研究动机与目标

• 阐明F-theory紧化中离散 gauge 对称性的几何起源，特别是$Χ_2$对称性。
• 解决一个谜题：为何F-theory在相同几何结构下具有离散对称性，而M-theory在非雅可比椭圆纤维化上的紧化却不显现该$Χ_2$对称性。
• 明确与雅可比纤维化中$Χ_2$对称性相关的精确挠性同调类。
• 将场论中离散对称性的实现与M-theory紧化中卷绕的M2-和M5-膜联系起来。
• 将该机制推广至更高阶的离散对称性和更高维度的紧化。

提出的方法

• 分析具有截面与不具有截面的椭圆纤维化上的M-theory紧化，区分非雅可比（$P_Q$）与雅可比（$P_W$）纤维化。
• 使用局部解析方法研究奇异点（特别是$ \hat{C}_{II}$）处的纤维结构，通过求解纤维化的定义方程。
• 在$SU(2)$奇异点位置通过坐标变换并引入新的例外除子$R$，执行爆破解析。
• 计算截面（$U$, $S$）与纤维分量（$A_{II}, B_{II,1}, B_{II,2}$）之间的交点数，以识别挠性循环。
• 通过六维F-theory理论的圆维约化推导有效场论描述，识别出受质量的$U(1)$及其$Χ_2$离散剩余对称性。
• 利用关系式$k\alpha = d\omega$，将挠性3-形式$\alpha$与有效作用量中受质量的$U(1)$规范势$A$联系起来。

实验结果

研究问题

• RQ1 为何在无截面的椭圆纤维化（非雅可比）上进行M-theory紧化时，无法显现$Χ_2$离散对称性，尽管F-theory在相同几何结构下具有该对称性？
• RQ2 F-theory在椭圆纤维化上的$Χ_2$离散 gauge 对称性的几何起源是什么？
• RQ3 雅可比纤维化中的挠性同调类如何与通过膜卷绕实现的物理对称性相关联？
• RQ4 雅可比纤维化在实现离散对称性中扮演什么角色？其在同调与膜内容方面与非雅可比纤维化有何不同？
• RQ5 该$Χ_2$对称性机制能否推广至更大的离散群以及四维紧化？

主要发现

• 非雅可比椭圆纤维化$P_Q$不支持挠性同调，因此在$P_Q$上的M-theory紧化中不会出现$Χ_2$对称性。
• 雅可比纤维化$P_W$确实支持一个$Χ_2$-挠性2-循环，其明确识别为$I_3$点上两个纤维分量之差$B_{II,1} - B_{II,2}$。
• 交点数$S \cdot B_{II,1} = 1$，$S \cdot B_{II,2} = 0$，以及$R \cdot B_{II,1} = -1$确认了循环$B_{II,1} - B_{II,2}$是挠性且在同调中非平凡的。
• $Χ_2$对称性通过M2-膜卷绕该挠性2-循环，以及M5-膜卷绕其对应的5-循环而被物理实现，这些膜在离散对称性下带电。
• 有效场论描述表明，受质量的$U(1)$规范势$A$源自RR 3-形式$C_3 = A \wedge \omega + \dots$的维约化，其中关系式$k\alpha = d\omega$确保了$Χ_k$剩余对称性。
• 该机制可通过高阶多截面纤维化及其关联雅可比纤维化推广至$Χ_k$对称性，其中$H_2$与$H_3$中的挠性对应于离散 gauge 群。