无截面的K3曲面作为Halphen曲面的双重覆盖和F理论的紧致化

通过考虑缺乏全局截面的特殊类别的有理椭圆形表面的双层覆盖层（称为指数2的Halphen表面），我们构造了几类没有全局截面的类K纤维表面的示例。 几何形状。 这些K3属一纤维的F-理论压实没有截面乘以K3屈服模型，该模型具有规范的对称性和离散的对称性。