Discrete Wilson Lines in F-Theory

الملخص EN

F-theory models are constructed where the 7-brane has a nontrivial fundamental group.

The base manifolds used are a toric Fano variety and a smooth toric threefold coming from a reflexive polyhedron.

The discriminant locus of the elliptically fibered Calabi-Yau fourfold can be chosen such that one irreducible component is not simply connected (namely, an Enriques surface) and supports a non-Abelian gauge theory.