in F-theory on K3 surfaces without section as double covers of Halphen surfaces
arXiv:1806.01727 · doi:10.4310/ATMP.2020.v24.n2.a5
Abstract
We investigate F-theory models with a discrete gauge symmetry and gauge symmetries. We utilize a class of rational elliptic surfaces lacking a global section, known as Halphen surfaces of index 2, to yield genus-one fibered K3 surfaces with a bisection, but lacking a global section. We consider F-theory compactifications on these K3 surfaces times a K3 surface to build such models. We construct Halphen surfaces of index 2 with type fibers, and we take double covers of these surfaces to obtain K3 surfaces without a section with two type fibers, and K3 surfaces without a section with a type fiber. We study these models to advance the understanding of gauge groups that form in F-theory compactifications on the moduli of bisection geometries. Our results also show that the Halphen surfaces of index 2 can have type fibers up to . We construct an example of such a surface and determine the complex structure of the Jacobian of this surface. This allows us to precisely determine the non-Abelian gauge groups that arise in F-theory compactifications on genus-one fibered K3 surfaces obtained as double covers of this Halphen surface of index 2, with a type fiber times a K3 surface. We also determine the gauge symmetries for compactifications when K3 surfaces as double covers of Halphen surfaces with type fiber are ramified over a smooth fiber.
arXiv comment29 pages