Discrete gauge symmetries by Higgsing in four-dimensional F-theory compactifications

We study F-theory compactifications to four dimensions that exhibit discrete gauge symmetries. Geometrically these arise by deforming elliptic fibrations with two sections to a genus-one fibration with a bi-section. From a four-dimensional field theory perspective they are remnant symmetries from a Higgsed U(1) gauge symmetry. We implement such symmetries in the presence of an additional SU(5) symmetry and associated matter fields, giving a geometric prescription for calculating the induced discrete charge for the matter curves and showing the absence of Yukawa couplings that are forbidden by this charge. We present a detailed map between the field theory and the geometry, including an identification of the Higgs field and the massless states before and after the Higgsing. Finally we show that the Higgsing of the U(1) induces a G-flux which precisely accounts for the change in the Calabi-Yau Euler number so as to leave the D3 tadpole invariant

Non-perturbative selection rules in F-theory

We discuss the structure of charged matter couplings in 4-dimensional F-theory compactifications. Charged matter is known to arise from M2-branes wrapping fibral curves on an elliptic or genus-one fibration Y . If a set of fibral curves satisfies a homological relation in the fibre homology, a coupling involving the states can arise without exponential volume suppression due to a splitting and joining of the M2-branes. If the fibral curves only sum to zero in the integral homology of the full fibration, no such coupling is possible. In this case an M2-instanton wrapping a 3-chain bounded by the fibral matter curves can induce a D-term which is volume suppressed. We elucidate the consequences of this pattern for the appearance of massive U(1) symmetries in F-theory and analyse the structure of discrete selection rules in the coupling sector. The weakly coupled analogue of said M2-instantons is worked out to be given by D1-F1 instantons. The generation of an exponentially suppressed F-term requires the formation of half-BPS bound states of M2 and M5-instantons. This effect and its description in terms of fluxed M5-instantons is discussed in a companion paper