Local Models in F-Theory and M-Theory with Three Generations
Jacob L. Bourjaily
TL;DR
The paper develops a framework for geometrically engineering local, phenomenological models in F-theory and M-theory using ALE-fibrations, arguing that three generations arise generically from the $E_8$ adjoint branching and that triple-intersections (F-theory) correspond to supersymmetric three-cycles (M-theory). It provides an explicit $\widehat{E_7}$-fiber example realizing $SU_5$ with three generations and discusses how Yukawa couplings and chirality are controlled differently in F-theory via flux and in M-theory via instantons, including mechanisms to achieve on-diagonal Yukawas and realistic superpotentials. The work then constructs concrete local models—the Diamond Ring in F-theory and a local MSSM in M-theory—by unfolding $\widehat{E_8}$ through $E_6$ and $SO_{10}$ down to $SU_5$ or directly to the Standard Model gauge group, using flux choices and moduli constraints to manage exotics and coupling structure. Overall, the results show that purely local, highly structured geometries can produce realistic three-generation phenomenology, offering predictive, testable features while acknowledging global embedding challenges and future directions toward global compactifications and phenomenological constraints.
Abstract
We describe a general framework that can be used to geometrically engineer local, phenomenological models in F-theory and M-theory based on ALE-fibrations, and we present several concrete examples of such models that feature three generations of matter with semi-realistic phenomenology. We show that the geometric structures required for generating interactions--triple-intersections of matter-curves in F-theory and supersymmetric three-cycles supporting multiple conical singularities in M-theory--are generic in such ALE-fibred manifolds, and that they can be understood in correspondence with one another. The models we can construct in this way are strictly limited in complexity by the maximality of the E8-ALE space, but turn out to be just complex enough to accommodate some of the most realistic string models to date.
