F型理论模型上的离散量规组属一类带纤维的CalabiYau 4倍无截面

我们确定了在类F的紧实度上产生的离散量规对称性，其中一类纤维的Calabi-Yau4倍无节。我们使用Fano流形，Fano4倍的循环3倍覆盖和射影空间乘积的Segre嵌入来构造属一纤维的Calabi-Yau4倍。在这些结构中出现了ℤ5，ℤ4，ℤ3和ℤ2对称。我们介绍了一种通用的方法来获得属一纤维Calabi-Yau流形的几种构造的多截面。在某些投影下超平面类别的回撤代表了这些属一纤维的多部分。我们通过计算纤维类别的相交数来确定这些多部分的度数。结果，我们推导了在F理论压紧过程中出现的离散量规对称性。此方法适用于各种Calabi-Yau属一纤维。