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