Toric Construction of Global F-Theory GUTs

We systematically construct a large number of compact Calabi-Yau fourfolds which are suitable for F-theory model building. These elliptically fibered Calabi-Yaus are complete intersections of two hypersurfaces in a six dimensional ambient space. We first construct three-dimensional base manifolds that are hypersurfaces in a toric ambient space. We search for divisors which can support an F-theory GUT. The fourfolds are obtained as elliptic fibrations over these base manifolds. We find that elementary conditions which are motivated by F-theory GUTs lead to strong constraints on the geometry, which significantly reduce the number of suitable models. The complete database of models is available at http://hep.itp.tuwien.ac.at/f-theory/. We work out several examples in more detail.Comment: 35 pages, references adde

A Global SU(5) F-theory model with Wilson line breaking

We engineer compact SU(5) Grand Unified Theories in F-theory in which GUT-breaking is achieved by a discrete Wilson line. Because the internal gauge field is flat, these models avoid the high scale threshold corrections associated with hypercharge flux. Along the way, we exemplify the `local-to-global' approach in F-theory model building and demonstrate how the Tate divisor formalism can be used to address several challenges of extending local models to global ones. These include in particular the construction of G-fluxes that extend non-inherited bundles and the engineering of U(1) symmetries. We go beyond chirality computations and determine the precise (charged) massless spectrum, finding exactly three families of quarks and leptons but excessive doublet and/or triplet pairs in the Higgs sector (depending on the example) and vector-like exotics descending from the adjoint of SU(5)_{GUT}. Understanding why vector-like pairs persist in the Higgs sector without an obvious symmetry to protect them may shed light on new solutions to the mu problem in F-theory GUTs.Comment: 95 pages (71 pages + 1 Appendix); v2 references added, minor correction

Rational F-Theory GUTs without exotics

We construct F-theory GUT models without exotic matter, leading to the MSSM matter spectrum with potential singlet extensions. The interplay of engineering explicit geometric setups, absence of four-dimensional anomalies, and realistic phenomenology of the couplings places severe constraints on the allowed local models in a given geometry. In constructions based on the spectral cover we find no model satisfying all these requirements. We then provide a survey of models with additional U(1) symmetries arising from rational sections of the elliptic fibration in toric constructions and obtain phenomenologically appealing models based on SU(5) tops. Furthermore we perform a bottom-up exploration beyond the toric section constructions discussed in the literature so far and identify benchmark models passing all our criteria, which can serve as a guideline for future geometric engineering.Comment: 27 Pages, 1 Figur

Abelian Gauge Fluxes and Local Models in F-Theory

We analyze the Abelian gauge fluxes in local F-theory models with G_S=SU(6) and SO(10). For the case of G_S=SO(10), there is a no-go theorem which states that for an exotic-free spectrum, there are no solutions for U(1)^2 gauge fluxes. We explicitly construct the U(1)^2 gauge fluxes with an exotic-free bulk spectrum for the case of G_S=SU(6). We also analyze the conditions for the curves supporting the given field content and discuss non-minimal spectra of the MSSM with doublet-triplet splitting.Comment: 43 pages, 15 tables; typos corrected, reference adde

On Flux Quantization in F-Theory II: Unitary and Symplectic Gauge Groups

We study the quantization of the M-theory G-flux on elliptically fibered Calabi-Yau fourfolds with singularities giving rise to unitary and symplectic gauge groups. We seek and find its relation to the Freed-Witten quantization of worldvolume fluxes on 7-branes in type IIB orientifold compactifications on Calabi-Yau threefolds. By explicitly constructing the appropriate four-cycles on which to calculate the periods of the second Chern class of the fourfolds, we find that there is a half-integral shift in the quantization of G-flux whenever the corresponding dual 7-brane is wrapped on a non-spin submanifold. This correspondence of quantizations holds for all unitary and symplectic gauge groups, except for SU(3), which behaves mysteriously. We also perform our analysis in the case where, in addition to the aforementioned gauge groups, there is also a 'flavor' U(1)-gauge group.Comment: 33 pages, 4 figure

Lectures on F-theory compactifications and model building

These lecture notes are devoted to formal and phenomenological aspects of F-theory. We begin with a pedagogical introduction to the general concepts of F-theory, covering classic topics such as the connection to Type IIB orientifolds, the geometry of elliptic fibrations and the emergence of gauge groups, matter and Yukawa couplings. As a suitable framework for the construction of compact F-theory vacua we describe a special class of Weierstrass models called Tate models, whose local properties are captured by the spectral cover construction. Armed with this technology we proceed with a survey of F-theory GUT models, aiming at an overview of basic conceptual and phenomenological aspects, in particular in connection with GUT breaking via hypercharge flux.Comment: Invited contribution to the proceedings of the CERN Winter School on Supergravity, Strings and Gauge Theory 2010, to appear in Classical and Quantum Gravity; 63 pages; v2: references added, typos correcte

F-Theory GUT Vacua on Compact Calabi-Yau Fourfolds

We present compact three-generation F-theory GUT models meeting in particular the constraints of D3-tadpole cancellation and D-term supersymmetry. To this end we explicitly construct elliptically fibered Calabi-Yau fourfolds as complete intersections in a toric ambient space. Toric methods enable us to control the singular geometry of the SU(5) GUT model. The GUT brane wraps a non-generic del Pezzo surface admitting GUT symmetry breaking via hypercharge flux. It is contractible to a curve and we demonstrate the existence of a consistent decoupling limit. We compute the Euler characteristic of the singular Calabi-Yau fourfold to show that our three-generation flux solutions obtained via the spectral cover construction are consistent with D3-tadpole cancellation.Comment: 22+12 pages; v2: minor clarifications on decoupling limi

Flipped SU(5) GUTs from E_8 Singularities in F-theory

In this paper we construct supersymmetric flipped SU(5) GUTs from E_8 singularities in F-theory. We start from an SO(10) singularity unfolded from an E_8 singularity by using an SU(4) spectral cover. To obtain realistic models, we consider (3,1) and (2,2) factorizations of the SU(4) cover. After turning on the massless U(1)_X gauge flux, we obtain the SU(5) X U(1)_X gauge group. Based on the well-studied geometric backgrounds in the literature, we demonstrate several models and discuss their phenomenology.Comment: 46 pages, 23 tables, 1 figure, typos corrected, references added, and new examples presente

Tate Form and Weak Coupling Limits in F-theory

We consider the weak coupling limit of F-theory in the presence of non-Abelian gauge groups implemented using the traditional ansatz coming from Tate's algorithm. We classify the types of singularities that could appear in the weak coupling limit and explain their resolution. In particular, the weak coupling limit of SU(n) gauge groups leads to an orientifold theory which suffers from conifold singulaties that do not admit a crepant resolution compatible with the orientifold involution. We present a simple resolution to this problem by introducing a new weak coupling regime that admits singularities compatible with both a crepant resolution and an orientifold symmetry. We also comment on possible applications of the new limit to model building. We finally discuss other unexpected phenomena as for example the existence of several non-equivalent directions to flow from strong to weak coupling leading to different gauge groups.Comment: 34 page