F-theory and all things rational: surveying U(1) symmetries with rational sections

We study elliptic fibrations for F-theory compactifications realizing 4d and 6d supersymmetric gauge theories with abelian gauge factors. In the fibration these U(1) symmetries are realized in terms of additional rational section. We obtain a universal characterization of all the possible U(1) charges of matter fields by determining the corresponding codimension two fibers with rational sections. In view of modelling supersymmetric Grand Unified Theories, one of the main examples that we analyze are U(1) symmetries for SU(5) gauge theories with 5¯\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \overline{\mathbf{5}} $$\end{document} and 10 matter. We use a combination of constraints on the normal bundle of rational curves in Calabi-Yau three- and four-folds, as well as the splitting of rational curves in the fibers in codimension two, to determine the possible configurations of smooth rational sections. This analysis straightforwardly generalizes to multiple U(1)s. We study the flops of such fibers, as well as some of the Yukawa couplings in codimension three. Furthermore, we carry out a universal study of the U(1)-charged GUT singlets, including their KK-charges, and determine all realizations of singlet fibers. By giving vacuum expectation values to these singlets, we propose a systematic way to analyze the Higgsing of U(1)s to discrete gauge symmetries in F-theory.


Introduction
Recent years have seen much progress towards refining F-theory compactifications, including the realization of symmetries of the low energy effective theory that allow more realistic model building. These developments have been fuelled by increasingly sophisticated mathematical techniques that are required to construct the geometries underlying such F-theory compactifications. In lockstep with this, there has been a definite trend towards characterizing universal aspects of string compactifications, with a view to going beyond an example-driven approach. One of the areas where a universal characterization would be particularly bountiful is that of additional symmetries, such as abelian and discrete gauge symmetries, due to the direct phenomenological impact.
The main result of this paper is to provide such a universal characterization of possible U(1) symmetries and associated matter charges in F-theory. Furthermore, we obtain a characterization of U(1)-charged singlets, which in turn can be used to Higgs abelian gauge groups to discrete symmetries.
The framework we are working within is F-theory compactifications on elliptically fibered Calabi-Yau three-and four-folds, where non-abelian gauge groups are modelled in terms of singularities above codimension one loci in the base of the fibration [1]. Applications include the modelling of six-dimensional N = (1, 0) or four-dimensional N = 1 supersymmetric gauge theories, whose gauge group is determined by the Kodaira type of the singularity [2,3]. Matter is engineered from codimension two singularities, whose fibers are characterized in terms of representation theoretic data, associated to the representation graph of the matter multiplet [4]. Abelian symmetries, which for instance are important model building tools for four-dimensional GUT models in F-theory [5][6][7], are realized mathematically in terms of rational sections of the elliptic fibrations, i.e. maps from the base to the fiber [8]. The rational sections, under the elliptic curve group law, form an abelian -1 -

JHEP09(2015)144
transversally intersect a single rational curve in the fiber, however, in addition, it can also contain components of the fiber. This effect has been referred to in the existing literature as the section wrapping the fiber component. This phenomenon was first observed in [9], where these fibers were shown to produce U(1) charges distinct from fibers where both the zero-section and the additional section intersect transversally.
For each section σ there are two configurations that can occur in codimension two. Either the section intersects a single component transversally, or it contains (i.e. wraps) fiber components. The wrapping is highly constrained by the requirement that the intersection of σ with the fiber remains one, which we shall see translates into conditions on the normal bundle degrees of the wrapped curves. Concretely, we consider smooth elliptic Calabi-Yau varieties Y of dimension three and four and, subject to the following constraint, we determine the possible section configurations: intersections of σ with fiber components in codimension one are preserved in codimension two, in particular, they are consistent with the splitting as dictated by the box graphs.
For purposes of F-theory model building our main focus will be on SU(n) gauge theories with fundamental and anti-symmetric matter, and in fact large parts of this paper will focus on n = 5 with the view to realize SU(5) GUT models in F-theory with additional U(1) symmetries. We determine all possible section configurations in codimension two fibers for these matter representations, and thereby the U(1) charges. For SU (5) with one U (1) there are three distinct codimension one configurations of the zero-section σ 0 , relative to the additional rational section σ 1 , where they intersect transversally the same P 1 I  This result holds for both three-and four-folds alike, which we will carefully derive using the constraints on the normal bundles of rational curves in Calabi-Yau varieties. For four-folds we also discuss some extension to Yukawa couplings, which arise in codimension three, and show how the box graph analysis generalizes as well as how the U(1) charges of the interacting matter representations are consistent with the section configuration in codimension three fibers.
At this juncture we should clarify an important point regarding the normalization of the charges. The rational section, σ 1 , gives rise to a Q-divisor that is suitably orthogonal to the divisors associated to the SU(5) singular fibers, using the homomorphism between -3 -

JHEP09(2015)144
We then argue at the beginning of section 4 that the constraints on the rational curves contained in a rational section, turn out to be identical in elliptic three-and four-folds, 2 thus allowing us in the remainder of this section to perform full classification of the codimension two fibers for both dimensions simultaneously. The case of fundamental matter for SU(n) is discussed in the second half of section 4 and the anti-symmetric matter for n = 5 is discussed in section 5 and appendix A. The latter can of course also be generalized to n > 5, however we leave this for the enterprising reader. Flops among these fibers are discussed in section 6. Singlets are discussed in section 7 and multiple U(1)s, as well as Higgsing to discrete subgroups are the subject of section 9. For four-folds we generalize our results to codimension three, and describe some of the Yukawa couplings and section compatibility conditions in section 8. We close with discussions and future directions in section 10.
To summarize the applicability of our results to three-and four-folds: sections 4 and 5 on charges of fundamental and anti-symmetric matter apply to both three-and four-folds. The section on flops is applicable to three-folds, the section on singlets 7.2 to three-folds and section 7.3 to four-folds. Finally, the section on codimension three to four-folds, only.

Coulomb phases and fibers
Before discussing rational sections we will review the results in [4], which give a comprehensive characterization of the singular fibers in codimension two of an elliptic fibration. The main idea is that the classical Coulomb phases of a 5d or 3d N = 2 supersymmetric gauge theory with matter obtained by compactifying M-theory on an elliptically fibered Calabi-Yau three-or four-fold, encode the information about the structure of singular fibers in codimensions one, two, and three. Distinct Coulomb phases, which are separated by walls characterized by additional light matter, correspond to distinct smooth Calabi-Yau varieties, which are related by flop transitions.
For this paper, the main case of interest is su(5), 3 and we shall restrict our attention in section 2.1 to explaining the correspondence between singular fibers, gauge theory phases, and box graphs to the case of su (5) with matter in the 5 and 10 representations, respectively. For more general results see [4]. In addition, in section 2.3 we will also extend the analysis of Coulomb phases to su(5) ⊕ u(1).

Box graphs and Coulomb phases
Our main interest regarding the results in [4] is the characterization of the fibers in codimension two in an elliptically fibered Calabi-Yau variety of dimension three or four. We will assume that any such fibration has at least one section. The generic codimension one fibers in such a variety are either smooth elliptic curves, or singular fibers, which are collections of rational curves, i.e. smooth P 1 s, intersecting in an affine Dynkin diagram of JHEP09(2015)144 an ADE Lie algebra g. This classification, due to Kodaira and Néron [2,3], holds true in codimension one, however fibers in higher codimension can deviate from this. The main result in [4], is to map the problem of determining the codimension two fibers to the problem of characterizing the Coulomb branch phases of a 3d or 5d N = 2 supersymmetric gauge theory with matter in a representation R of the gauge algebra g [30][31][32][33][34].
Let us first discuss briefly the connection between Coulomb phases and resolutions of singular elliptic Calabi-Yau varieties. The topologically distinct crepant resolutions, i.e. resolutions preserve keep the Calabi-Yau condition, of a singular Calabi-Yau variety are parameterised by the phases of the classical Coulomb branch of the 3d N = 2 gauge theory 4 obtained from the compactification of M-theory on the four-fold [4,34,35].
The 3d N = 2 vector multiplet V in the adjoint of the gauge algebra g has bosonic components given by the vector potential A and a real scalar φ. We are interested in the theory with additional chirals Q, transforming in a representation R of g. The classical Coulomb branch is characterized by giving the scalars φ a vacuum expectation value, which breaks the gauge algebra g to the Cartan subalgebra, where φ is such that φ, α k ≥ 0 , (2.1) and α k are the simple roots of g. The Coulomb branch is therefore characterized by the Weyl chamber of the gauge algebra g.
The presence of the chiral multiplets Q in a representation R of g adds a substructure to the Coulomb branch. The vevs of φ give rise to a real mass term for the chiral multiplets, where λ is a weight of the representation R. The mass term vanishes along walls φ, λ = 0 .

(2.3)
A classical Coulomb phase of the 3d gauge theory is then one of the subwedges of the Weyl chamber delineated by the walls where chiral multiplets become massless. A phase associated to the representation R is then specified by a map λ → ε(λ) , (2.4) such that φ, λ has a definite sign ε(λ), i.e. ε(λ) φ, λ > 0 . (2.5) Solutions for φ will not exist for every possible sign assignment ε, i.e. the phases are the nonempty subwedges of the Weyl chamber satisfying (2.5). In particular the condition (2.5) means that the weight ε(λ)λ is in this subwedge that characterizes the corresponding phase.
In [4] the phases for g of ADE type were determined with various representations R, and

JHEP09(2015)144
shown to be characterized in terms of sign-decorated representation graphs, so-called box graphs, of R, which are essentially a graphical depiction of the maps ε. It was shown that there are simple, combinatorial rules for determining the box graphs corresponding to non-empty subwedges, and that furthermore these encode vital information about the elliptic Calabi-Yau geometry (the intersection ring and relative cone of effective curves in the elliptic fiber). For our purposes g = su(5) and R = 5 or 10. We denote the weights of these representations in terms of the fundamental weights L i 5 : λ ∈ {L 1 , L 2 , L 3 , L 4 , L 5 } , 10 : λ ∈ {L i + L j | i < j; i, j = 1, · · · , 5} , (2.6) where i L i = 0. The simple roots of su (5) in this basis are The result of [4] applied to g = su(5) with R = 5 can be summarized as follows: each consistent phase Φ ε is characterized by a map ε as in (2.4), subject to the constraint that it satisfies 5 flow rules : ε(L i ) = + ⇒ ε(L j ) = + for all j < i ε(L i ) = − ⇒ ε(L j ) = − for all j > i . (2.8) This results in phases that also include all + or all − sign assignments to the weights. These are in fact phases of the su(5) ⊕ u(1) theory. The phases for the su(5) theory need to satisfy an additional constraint, which ensures that the sum of all the L i vanishes (trace condition) [4]. In this paper we are interested in the phases for the theory with additional abelian factors. It is a priori not clear that all phases of any su(5) ⊕ u(1) theory can be characterized in terms of the phases above, and we will prove this fact in section 2.3. Likewise, for R = 10 a sign assignment ε gives rise to a phase, if and only if 10 flow rules : ε(L i +L j ) = + ⇒ ε(L k +L l ) = + for all (k, l), k ≤ i , l ≤ j ε(L i +L j ) = − ⇒ ε(L k +L l ) = − for all (k, l), k ≥ i , l ≥ j . (2.9) Again for su (5) there is an additional trace condition, which however we do not impose as we are interested in theories with u(1) factors. The connection between Coulomb phases and box graphs is then formulated as follows (see [4] and section 2.3): Fact 2.1. The classical Coulomb phases for 3d N = 2 supersymmetric su(5) ⊕ u(1) gauge theories with matter in the R = 5 or 10 representation are in one-to-one correspondence with maps ε as in (2.4), satisfying the flow rules (2.8) or (2.9), respectively. We will denote these by Φ R ε . Each phase Φ R ε associated to such a map ε can be represented graphically in terms of a box graph B R ε . Definition 2.1. A box graph B R ε for a Coulomb phase Φ R ε is given in terms of the representation graph of R, i.e. a graph where each weight λ of R is represented by a box, and two weights are adjacent if they are mapped into each other by the action of a simple root, together with a sign assignment/coloring, given by ε(λ).   Figure 1. The 5 and 10 representation of SU (5). Each box represents a weight L i (L i + L j ) of the fundamental (anti-symmetric) representation and the walls inbetween each box correspond to the action of the simple roots α k = L k − L k+1 on the weights as indicated by the arrows. The direction of the arrow indicates the addition of the corresponding simple root.
Generically we will draw these by coloring + as blue and − as yellow. The representation graphs for 5 and 10 of su(5) are shown in figure 1. The phases/box graphs for 5 are shown in figure 2, for 10 in appendix A.

Box graphs and singular fibers
The Coulomb phases encode information about the effective curves of the elliptic fibration in codimension two. Let us begin with a few useful definitions. In the following Y is a smooth elliptic Calabi-Yau variety of dimension at least three with a section, which guarantees the existence of a Weierstrass model for this fibration. The information about the Coulomb phases can be reformulated in terms of the geometric data of a certain relative subcone inside the cone of effective curves. A curve is defined to be effective if it can be written in terms of a positive integral linear combination of integral curves (i.e. actual complex one-dimensional subspaces) of Y . The cone of effective curves in Y is denoted by N E(Y ). 5 For an elliptic fibration, the notion of relative cone of curves is of particular importance. Let W be the singular Weierstrass model, associated to Y . In fact, for a given singular Weierstrass model there are generically several, topologically distinct smooth models, Y i . The singular limit corresponds, in codimension one, to the maps such that all rational curves in the singular Kodaira fibers, which do not meet the section, are contracted [40]. Associated to this, there is the notion of a relative cone of effective curves (see e.g. [41]): Definition 2.2. The relative cone of curves N E(π i ) of the morphism π i in (2.10) is the convex subcone of the cone of effective curves N E(Y i ) generated by the curves that are contracted by π i .
The phases/box graphs are in one-to-one correspondence with pairs (Y i , π i ), specified in the following way: each fiber in codimension one is characterized by rational curves F k associated to the simple roots of the gauge group G. In codimension two some of the F k become reducible and split into a collection of rational curves  where each C j is associated to ε(λ)λ for λ a weight of the representation R, or to a simple root. The main result in [4] can then be stated as follows: There is a one-to-one correspondence between consistent phases or box graphs B R ε i characterized by the sign assignments ε i satisfying the conditions in Fact 2.1 and crepant resolution of W , (Y i , π i ). In particular, the box graphs determine the relative cone of effective curves for the maps π i as The extremal generators of this cone are 1. The rational curves F k , that remain irreducible in codimension two.
there is another consistent box graph or phase, such that the only sign change occurs in the weight λ.
From the box graphs we can determine which F k remain irreducible: F k , associated to the simple roote α k , remains irreducible, if any weight λ, for which λ + α k is another weight in the representation R, the weight λ + α k has the same sign assignment, i.e. 6 ε(λ) = ε(λ + α k ) . (2.13) for some weight λ. I.e. they correspond to single box changes of signs, which map one extremal generator to minus itself.
In the remainder of this paper, it will be very important to understand the degrees of normal bundles of curves in the fibers of elliptic Calabi-Yau varieties. The description of JHEP09(2015)144 the codimension two fibers in terms of box graphs allows us to determine the intersections of the extremal generators with the so-called Cartan divisors, D F k , which are F k fibered over the codimension one discriminant locus. They are dual to the rational curves F k , with which they intersect in the Calabi-Yau Y in the negative Cartan matrix −C kl of the gauge algebra Consider now a codimension two fiber where F k splits as in (2.11). Then i.e. it intersects with the rational curves C a in a weight λ (a) of the representation R. Which weight this is, i.e. the intersections of the fiber components with the Cartan divisors, and with which sign assignment it occurs can be determined from the box graphs.
Fact 2.4. Let C be an extremal generator of the cone N E(π i ) for a pair (Y i , π i ), associated to the box graph B R ε i as in Fact 2.2, associated to a weight λ of the representation R. The Dynkin labels ε i (λ)λ m = D Fm · Y C can be computed from the box graph B R ε i as follows: if λ ± α m is not a weight in the representation then D Fm · Y C = 0. Else: This fact together with D Fm · Y F m = −2, will be used quite regularly in the analysis of the normal bundles in sections 4 and 5.
Finally, let us note that the number N Rq of phases, i.e. pairs (Y i , π i ), with matter in the representation R and u(1) charge q under the gauge algebra g ⊕ u(1) is given in terms of the quotiented Weyl group: Fact 2.5. The number N R q of classical Coulomb phases for gauge algebras g ⊕ u(1) and representation R with u(1) charge q is where g is the Lie algebra characterizing the local enhancement in codimension two, i.e. decomposing its adjoint into representations of the gauge algebra contains the representation R q and its conjugate as follows For g = su(5) and R = 5 or 10, g = su(6) or so (10) and N 5 = 6 and N 10 = 16. For su(5) with 5 we summarized the phases in figure 2, including which of the F k split. The components into which they split are precisely those adjacent to the sign change, which is clear from the statements in Fact 2.2. The curves C ± i correspond to the weights ±L i , which -10 -

JHEP09(2015)144
are generators of the cone defined by Φ R ε . Note that the 5 representation can also arise from a higher rank enhancement e.g. to su(n), n > 6. Such enhancements when realized in the geometry would require very special tuning of the complex structure, with the fibers corresponding to monodromy-reduced I n fibers. These will not be considered here, but the reader is referred to [42]. The structure of splittings in codimension two for 10 matter are listed in appendix A, tables 7 and 8, which include all the information about the splitting in codimension two, the extremal generators of the relative cone of effective curves, and the associated box graphs.

U(1)-extended Coulomb phases
In [4] the phases for the su(5) ⊕ u(1) theory were determined in the case where the u(1) corresponds to 5 i=1 L i , where the L i are the fundamental weights introduced in the previous section, i.e. this u(1) corresponds to the trace of the u (5). In this section we show that the analysis there holds more generally for the classical Coulomb phases of su(5) ⊕ u(1), where the U(1) does not necessarily have this origin. 7 Note that the phases for the su(5) ⊕ u(1) theory are one-to-one with the elements of the quotiented Weyl group W g /W su (5) , as summarized in Fact 2.5, which is strictly larger than the number of phases for the theory without an abelian factor.
Let R q be a representation R of su(5) with charge q under the u(1). Let us consider the maps ε : R q → {±1} corresponding to a consistent, non-empty, subwedge of the fundamental Weyl chamber. The walls of these subwedges are characterized by where φ u is the additional component of φ along the u(1) generator. Consider the 5 q representation of su(5) ⊕ u(1). The fundamental weights of su(5), the L i , in the Cartan-Weyl basis take the form λ 1 : (1, 0, 0, 0) (2.20) In the same basis the simple roots of the su(5) are To reiterate, to determine the maps ε which correspond to non-empty phases it is needed to find the maps ε : have integral solutions for φ. 7 There can corrections to the classical Coulomb phase analysis with additional abelian factors, as discussed in 6d in [43,44], which will not play a role here.

JHEP09(2015)144
Similarly to the derivation of the flow rules alluded to in the earlier parts of this section one can show that if ε((λ i ; q)) = −1 and ε((λ i+1 ; q)) = +1 then there would be no such solutions: for such an ε it would be the case that However, the simple roots are α i = λ i − λ i+1 and the first of the inequalities in (2.22 Obviously there is no such φ which solves these inequalities: all subwedges of the fundamental Weyl chamber defined by this map ε are empty. This leads to the same flow rules as listed in (2.8).
Again there are six phases, of which two have all positive or all negative signs, and are only non-empty in the theory with a u(1) symmetry in addition to the su(5), indeed these extra phases occur precisely for matter charged under the additional u(1). Consider now the phase associated to the map ε((λ i ; q)) = +1 for all i. Then, using that λ i = 0, as can be seen explicitly above from the presentation in the Cartan-Weyl basis, Such inequalities can only be solved if q = 0, and similiarly for the all negative phase. These are the two additional phases for charged matter. One can also consider the 10 q representation of su(5) ⊕ u(1) in the same way. Similarly to the case when of the 5 q representation one finds an augmented set of maps ε when q is non-zero. There are sixteen phases when q = 0 and eight when q = 0. These sets of phases correspond to the different sets of phases in [4], except here there is no assumption that the generator of the u(1) symmetry is necessarily that in the u (5).
To summarize if the matter is charged under the u(1) symmetry then there are additional phases of the classical Coulomb branch for the su(5) ⊕ u(1) theory with fundamental or anti-symmetric matter. The additional phases imply that there are additional distinct resolved geometries associated to the singular Calabi-Yau four-fold, induced by the specialisation of complex structure necessary to produce matter charged under the additional u(1), i.e. geometrically, the existence of additional rational sections.

Rational curves in Calabi-Yau varieties
The goal of this paper is to constrain the possible U(1) charges of matter in 4d and 6d Ftheory compactifications, by determining the possible codimension two fibers with rational sections. The relevant characteristic of the codimension two fibers that determine the U(1) charge are the intersection numbers between the rational curves in the fiber and the section. We constrain these by combining the input from the box graphs on the codimension two fibers with general constraints on the normal bundles of rational curves in projective varieties. From section 2 we obtain the information about the relative cone of effective curves N E(π i ), for each resolution (Y i , π i ) of a singular Weierstrass model W . All curves in N E(π i ) are rational, i.e. they are smooth P 1 s in Y i . In the following we will summarize -12 -

JHEP09(2015)144
several Theorems that we use in the later sections to constain the fibers with rational sections for Calabi-Yau three-and four-folds. The protagonist in this discussion is the normal bundle of rational curves in Calabi-Yau varieties.

Rational curves and normal bundles
In this section we collect useful results about rational curves in Calabi-Yau varieties, in particular related to the normal bundle, which will allow us to constrain the fibers with rational sections. Unless otherwise stated Y is a smooth Calabi-Yau variety.
The first theorem constrains the degree of the normal bundle of a rational curve in a Calabi-Yau variety.
Theorem 3.1. Let Y be a smooth Calabi-Yau variety of dimension n and C a smooth rational curve in Y . Then the normal bundle of C in Y , N C/Y , is Proof. E.g. for n = 3 see [45]. Let Y be of dimension n, then N C/Y is defined by the short exact sequence where T denotes the respective tangent bundles. This implies that N C/Y is a rank n − 1 vector bundle on C which, by the Birkhoff-Grothendieck Theorem [46], can be written uniquely up to permutations, as a direct sum of line bundles on C, By the Calabi-Yau condition on Y , the canonical bundle is trivial and thus, c 1 (T Y | C ) = 0. Combining this with c 1 (T C ) = 2 the exact sequence gives that c 1 (N C/Y ) = −2. Thus a i = −2.
In the following we will encounter rational curves which are contained within divisors, for instance, Cartan divisors associated to the elliptic fibration, which we introduced in (2.15). They are ruled by the rational curves F k associated to simple roots of the gauge algebra, above the codimension one discriminant locus. Likewise we will see that the section, which we will assume to be a smooth divisor in the Calabi-Yau, can contain rational curves in the fiber that occur above codimension two. In all such instances it will be crucial to relate the normal bundle of the curve in the Calabi-Yau to the normal bundle in the divisor. This is achieved using the following exact sequence of normal bundles: Theorem 3.2. Let Y be a smooth projective variety, D a non-singular divisor in Y , and C a smooth rational curve contained in D. Then there is a short exact sequence of normal bundles Proof. [47], 19.1.5.

JHEP09(2015)144
One of the goals in later sections will be to determine the intersection of the rational section with various curves in the fiber. In particular, when these rational curves are contained in the section, this intersection is determined by the degree of the normal bundle of the divisor as follows -here C does not necessarily have to be a rational curve: Proof. [48], Theorem 15.1.
Combining these properties, we can in fact relate the intersection of any non-singular divisor and a smooth rational curve contained inside it in terms of the degree of the normal bundle of the curve inside the divisor.
Corollary 3.4. Let Y be a smooth Calabi-Yau n-fold and C a rational curve contained inside a smooth divisor D in Y . Then Proof. By Theorem 3.1 the degree of N C/Y is −2, which by Theorem 3.2 has to be the sum of the degrees −2 = deg( With these general results we now turn to determining the possible degrees of normal bundles of rational curves in Calabi-Yau three-folds and four-folds in the next two sections, respectively. In particular we will constrain the normal bundles of rational curves in divisors, for instance rational sections, which by the above corollary will imply constraints on the intersections and thereby U(1) charges.

Calabi-Yau three-folds
In this section, let Y be a smooth Calabi-Yau three-fold. Some results in rational curves in elliptically fibered three-folds (not necessarily Calabi-Yau varieties) can be found in Miranda [49], which however does not discuss rational sections, or the generalization to higher dimensional varieties, which we will be important for us. Let D be a smooth divisor in Y , and C a smooth rational curve contained in D. Then it follows directly from We will often encounter the following situation: consider a rational curve C in a smooth elliptic Calabi-Yau variety Y . From the box graph analysis, we know its normal bundle in Y . We can then ask what normal bundles the curve can have in a divisor D -for instance the section. By the Corollary 3.4, the degree of the normal bundle N C/D is linked directly to the intersection in Y of the divisor with the curve, which in the case when D is a section determine the U(1) charge. Thus, constraining the normal bundles of C in the rational

JHEP09(2015)144
section results in constraints on the possible charges. The following theorem determines what the possible normal bundles of rational curves in divisors can be, given the normal bundle of the curve in Y . We furthermore summarize the bounds that are then implied upon the intersection of the divisor with the curve.
Theorem 3.5. Let Y be a smooth Calabi-Yau three-fold, D a non-singular divisor in Y , and C a rational curve contained in D.
If k ≥ −1 the short exact sequence of normal bundles in Theorem 3.2 splits and . If D is a smooth divisor containing C, then

7)
and there exists a non-trivial embedding

8)
and . If D is a smooth divisor containing C, then

10)
and there exists a non-trivial embedding

11)
and (3.12) (iv) More generally, there is an embedding (without loss of generality m ≥ −1) Finally, the following theorem, which we will only make use of in our analysis of singlets, determines the normal bundles of contractible curves in three-folds: Theorem 3.6. Let C be a smooth, rational curve that can be contracted in a smooth three-fold Y . Then the normal bundle is Such a curve is referred to as a (−2)−curve.

Calabi-Yau four-folds
For applications to 4d F-theory compactifications, including GUT model building, it is crucial to determine constraints for Calabi-Yau four-folds. In the following section, let Y be a smooth Calabi-Yau four-fold, and C a rational curve, contained in a smooth divisor D.
For elliptic fibrations, we will in fact be interested in a slightly more specialized situation, where inside the divisor D there is a surface S which is ruled by C. Specifically, we have in mind what is usually referred to as matter surface, which is a P 1 -fibration, i.e. a ruled surface, over the matter curve (the codimension two locus in the base). These matter surfaces are contained within the Cartan divisors, which are dual to the rational cuves F i in the notation of section 2. In this setup, we will now show that the classification for three-folds will in fact carry over directly to four-folds in codimension two. 9 Again, the goal is to connect the intersection of divisors (in particular the section) with a rational curve C in Y to the degrees of the normal bundle of C in Y . Recall the short exact sequence of normal bundles from Theorem 3.2 [47] 0 (3.15) By Theorem 3.1, the normal bundle is a direct sum of line bundles, where the sum of degrees needs to add up to −2 To determine the degrees a and b, there are two cases of interest when C is a rational curve in a codimension two fiber in an elliptic Calabi-Yau four-fold: either the rational curve C corresponds to one of the curves that split in codimension two, or it remains irreducible. From the box graphs, we can determine the intersection of the Cartan divisors with the curves, D · Y C, which in turn by Theorem 3.3, constrain N D/Y | C . The following theorem determines the normal bundle N C/Y given the information about N D/Y | C : Theorem 3.7. Let C be a smooth rational curve, contained in a smooth divisor D in a smooth Calabi-Yau four-fold Y . 9 It would appear that in fact it holds in codimension two for any elliptic Calabi-Yau n-fold.
and D contains a surface S, which is ruled by C, then (3.17) and the short exact sequence (3.15) splits and D is ruled by C then 19) and Proof. (i) If there is a surface in D which is ruled by C then there is an embedding and given that the degrees in N C/Y sum to −2, it follows that For σ a rational section, which contains curves in the fiber, we can now constrain the possible normal bundle degrees of C in σ. The last theorem provides us with the information about the normal bundles N C/Y . As in Theorem 3.5, we now determine the constraints on the intersection numbers σ· Y C (where σ will be now be a rational section) by constraining the degrees of the normal bundle of C in σ, which are related by Corollary 3.4.
Theorem 3.8. Let σ be a smooth divisor in Y , a smooth Calabi-Yau four-fold, and C ⊂ σ a rational curve.
, then there is an embedding The values for a and b are constrained to be (wlog a ≥ b) , then there is an injection The values for a and b are constrained to be 29) which implies that Proof. This follows directly from the short exact sequence (3.15) and Corollary 3.4.
This concludes our summary of properties of rational curves. We now turn to combining these constraints on the intersection numbers and normal bundles, with the constraints from the box graphs that specify how codimension one fibers split in codimension two. The next two sections will discuss this in the case of SU(n) with various matter representations.

SU(5) × U(1) with 5 matter
The ultimate physics application of our analysis of codimension two fibers is the case of SU(5) GUTs with additional U(1) symmetries. The constraints on the section and codimension two fiber structure provide a systematic way to obtain a comprehensive list of all possible U(1) charges for matter in the 5 and 10 representation of the GUT group SU (5). In this section we will first focus on fundamental matter.
Throughout this section let Y be an elliptically fibered Calabi-Yau variety. The zero section of the fibration will be denoted by σ 0 , and the additional rational section needed for there to be a U(1) symmetry as σ 1 .

Setup and scope
There are a few assumptions that go into this analysis, and to make it clear what the scope of the results in this paper are, we will now list them.
(1.) We assume that each section in codimension one intersects exactly one fiber component transversally once, i.e. the sections do not contain components of codimension one fibers. 10 (2.) The rational sections, as divisors in Y , will always be assumed to be smooth. 10 This in fact seems to not be a real constraint, as wrapping in codimension one would imply that the section is either ruled by rational curves in the fiber (and thereby would contract to a curve in the singular limit) or not be irreducible.

JHEP09(2015)144
(3.) The codimension one locus in the base of the fibration, above which there are singular fibers I 5 , is smooth.
Within the setup outlined above, the following can be regarded as complete classification of codimension two fibers for both Calabi-Yau three-and four-folds with one extra rational section, and thereby the possible matter charges.

Codimension one fibers with rational sections
The codimension one fibers for SU(5) GUTs realized in F-theory are fibers of Kodaira type I 5 . These fibers consist of a ring of five smooth rational curves, F i for i = 0, · · · , 4. Further, as these curves are the components of the fiber over generic points above a codimension one locus in the base, S GU T , one can define divisors in Y , which are ruled by the curves F i over S GU T . These divisors, D F i , are called the Cartan divisors, and satisfy where C ij is the Cartan matrix of affine SU (5). Let σ be a rational section of the elliptic fibration, i.e. it has to satisfy Throughout this paper it shall be assumed, see section 4.1, that this condition is satisfied by σ having exactly one transversal intersection with one of the components of the generic codimension one fiber and having no intersection with the other components. The section thus intersects, say, the mth component of the fiber It shall always be supposed, without loss of generality, that one section, the zero-section, shall intersect the component F 0 . Up to inverting the order of the simple roots there are three distinct codimension one fiber types once this information about the additional rational section is included. These are, using the notation introduced in [28],  , respectively. associated to the F i , which ensures that the non-abelian SU(5) gauge bosons are uncharged under the U(1) [9]. In order to compute U(1) charges of matter, we are interested in the intersection of the Shioda map with curves in the fiber, for which the subtractions from contributions of horizontal divisors are not relevant, and we therefore define S(σ 1 ) to be such that the charge under the U(1). In this way the Shioda map is specified by the codimension one data of the fibration. For SU (5) with Mordell-Weil group rank one the Shioda divisors are To arrive at the specific forms above some further assumptions need to be made for the divisor S(σ 1 ) that generates the U(1) symmetry from the Shioda map. Imposing orthogonality to the SU(5) Cartan divisors specifies the above up to a multiplicative constant. This constant is fixed by the requirement that S(σ 1 ) should be integral, and that there should be no other integral divisor D such that S(σ 1 ) = m D for some |m | > 1. The last condition is required for the U(1) symmetry to be normalized appropriately. Assumption (4.) in section 4.1 is precisely that there does not exist such an integral divisor D.

Normal bundles in elliptic Calabi-Yau varieties
We start with an I 5 fiber, with components F i , intersecting in the affine Dynkin diagram of SU (5). Along codimension two enhancement loci, some fiber components become reducible. The resulting codimension two fibers, which give rise to matter in the fundamental representation, were determined in section 2, from the Coulomb phases/box graphs, where one of the F j curves splits as follows In the case of SU(5) with 5 these are shown in figure 4, including the fibers that split, shown as dashed lines.
In this analysis we allow for a non-holomorphic zero section [11,15] which means that over codimension two σ 0 can also contain curves in the fiber. Let σ denote either  σ 0 or σ 1 . We will now determine the fibers including the rational sections in codimension two. In addition to intersecting the components of the codimension two fiber transversally, the section can contain entire fiber components C ⊂ σ, which in the existing literature is refered to as wrapping. In addition to consistency of the embedding of the rational curves into the divisors σ, we will use two constraints to determine all possible fibers: 1. If σ · Y F i = 0 or 1, then this holds also in codimension two, in particular when the curve F i splits it is necessary that the sum of the two curves, C + and C − , intersects with the section as F i did.
Denote by F p the codimension one fiber component that splits From the box graph analysis it is known that the intersection with D Fp of these curves is For the case where a curve F i in the fiber remains irreducible, again from the box graph analysis, we have that (4.10) We will now determine, using (4.9) and (4.10), the normal bundles of the curves C ± and F i in Y , which will in turn fix the possible intersection of these curves with the section.

Three-folds
First consider the case where Y is a Calabi-Yau three-fold. Then by Theorem 3.5 (i), (4.9) fixes the normal bundles to be If a curve C = C ± is contained in the divisor σ, C ⊂ σ, then from Theorem 3.5 (ii) it follows that -21 -

JHEP09(2015)144
and this in turn bounds the intesection of the curve with the section On the other hand, if σ does not contain one of the curves C = C ± , then σ · Y C ≥ 0. In summary we can conclude that the intersection number of σ with the two curves C ± is always bounded below as follows σ · Y C ± ≥ −1 . (4.14) If F i is irreducible and F i ⊂ σ then its normal bundle in Y is given by and by (4.10) and Theorem 3.5 (iii) (4.17)

Four-folds
Likewise we can consider the case when Y is a smooth Calabi-Yau four-fold. We will now show that the constraints on the intersections of the section with the fiber components in this case are the same as the ones we derived for three-folds. In section 4.3 we started by considering a rational F p in the fiber, which in codimension two splits and Let S ± be the surfaces ruled by C ± over the codimension two locus in the base. Then S ± ⊂ D Fp which implies by Theorem 3.7 (i), that and that the normal bundle to these curves in the four-fold is Consider now the situation that S = S ± is contained in σ, and thereby C = C ± ⊂ σ.
There is a normal bundle exact sequence As S is ruled by C we know that N C/S = O. On the other hand, we know that by the normal bundle exact sequence for This proves that the conditions on the normal bundle degrees of N C/σ for four-folds are exactly the same as the ones we derived in the case of three-folds (4.13) resulting in the same bounds on σ · Y C ± as in (4.14). Likewise, when F i ⊂ S i is contained in the section, where S i is the surface ruled by F i over the codimension two locus in the base, then D F i · Y F i = −2 and by Theorem 3.7 (ii) Again applying the normal bundle exact sequences to which again is identical to the constraints that we had on the normal bundle degree for F i ⊂ σ in the three-fold case in (4.16) and thus the bound on σ · Y F i is also identical to that case and depends only on k.
It seems that similar arguments will hold for elliptic Calabi-Yau n-folds in codimension two, quite generally for n ≥ 3, where instead of a ruled surface S ± , there is a ruled n − 2 dimensional sub-variety, which is ruled by the rational curves in the fiber. This seems to only add additional O summands to the normal bundle, and the constraints on the intersections would appear to be the same as the ones we derived for n = 3 and n = 4.

Codimension two fibers with rational sections
In the last section we have shown that the conditions on the normal bundle degrees for rational curves in the elliptic fibration which are contained in the section, are characterized, for both three-and four-folds by one integer, namely, the degree of the normal bundle N C/σ = O(k) for three-folds, and N C/σ = O ⊕ O(k), for four-folds, respectively, where k is bounded as described in the previous section. The happy fact, that the degrees in three-and four-folds (in this specifc context), are constrained in the same way, allows us to carry out a full classification simultaneously for both cases. The only important input is the degree of the normal bundles deg(N C/σ ) = k, upon which the charges will depend. One last word of caution before we start our analysis: in the case of four-folds, whenever a rational curve C in the fiber is contained in σ, we mean this to imply always, that there is a surface S, which is ruled by C over the codimension two locus, which is also contained in σ (i.e. in compliance with the general discussion in section 4.3.2).
The two cases to consider now separately are There are three solutions to σ · Y F p = 0: There are several ways that each of these intersections can be realized: σ · Y C + = −1 implies C + ⊂ σ and the degree of the normal bundle of C + in σ is deg( On the other hand the intersections for C − can be realized as follows: σ · Y C − = 1 implies either, that C − ⊂ σ, and intersects σ transversally once, or C − ⊂ σ and deg(N C − /σ ) = −3. The case for σ · Y C + = 1 proceeds in the same fashion, by swapping C + and C − . The intersection σ · Y C − = 0 implies either, that C − ⊂ σ, and does not intersects σ, or C − ⊂ σ and deg(N C − /σ ) = −2.
In the last case, it is important to note that by the structure of the codimension two fiber the two curves C ± , which are both contained in the divisor D Fp , intersect where S − is the matter surface, which is ruled by C − in the case of four-folds, and is equal to C − for three-folds. I.e. if one of the curves is contained in the section, then the other curve will automatically acquire an intersection with the section. Thus the In summary we obtain the following configurations: Making use again of the bound (4.13), the solutions to σ · Y (C + + C − ) = 1 are The only new configuration that has not already appeared in case (a) is σ · Y C − = 2. One configuration that realizes this is C − ⊂ σ, but C − has two transverse intersection points with σ. Note that in this case C + is contained in σ, and thus contributes an intersection by (4.28).
Note that for each value of σ · Y C ± there are two realizations in terms of different configurations, and in the following we will only consider one of these.
Furthermore, we need to discuss the remaining fiber components. From the box graphs, we know that the intersection of rational curves in the fiber in codimension two is that of an I 6 Kodaira fiber. Thus, if a component C ± is contained in σ it induces intersections of the section with the adjacent fiber components. Depending on the position of the section in codimension one, there are two cases again to consider: let F q be such that it remains an irreducible fiber component in codimension two. Then (a) σ · Y F q = 0: either F q ⊂ σ and has no transverse intersections, or F q ⊂ σ then deg(N Fq/σ ) = −2.
We can now determine the complete set of fibers in codimension two with a rational section σ. Again, F p → C + + C − is the rational curve that becomes reducible in codimension two: it follows from table (4.29) that the only configuration is The section does not intersect either of the split components, indeed it must merely remain on the component that it originally intersected in codimension one, F m . Figures 5 and 10 (i) represent this configuration. 11 We will see that the intersection configurations with ( * ) in fact do not have a realization in an I6 fiber.  Figure 5. I 5 fiber with rational section σ, shown intersecting F 1 in codimension one. The left hand side shows the case F 2 → C + + C − in codimension two and all the the section configurations that are consistent, which correspond to all case (a) in the main text. The fiber components that are contained in σ are colored red, and the numbers next to it refer to the degree of the normal bundle of the curves inside σ. Furthermore, in each row the two configurations give rise to the same intersection of σ · Y C ± , and are thus, from the point of view of U(1) charges, identical. Note that for one of these configurations the entire fiber is contained in the section. The right hand side shows the case when the fiber component F 1 , which intersects the section in codimension one, becomes reducible in codimension two. Again, for each pair (σ · Y C + , σ · Y C − ) there are two configurations realizing those intersection numbers.
from table (4.31) the only two solutions are In this case the section intersects one of the split components transversally, and does not contain any curves in the fiber. This is shown in figure 5, and more generally, in figures 11, (i) and (ii), respectively.
The positive intersection of σ with C − arises from the single point of intersection between the curves C + and C − . Any fiber components, F i , which are positioned in the ring between C + and F m must also be contained in σ, so that σ · Y F i = 0. This can be seen by considering first the intersection point of C + with the curve F i , which is adjacent to it in the ring. Clearly this would have σ · Y F i = 1, which would be inconsistent with codimension one unless i = m. Therefore F i must be contained in σ, with F i · σ D F i = −2, so that it has zero intersection number in Y . This is consistent with Theorems 3.5 and 3.8. Identically, such wrapping must continue until the section meets the fiber component that it intersects in codimension one. This configuration is depicted in figure 5 and, more generally, for I n , in figure 10 (ii).
there are two solutions in this case from table (4.31), however we will see only the following gives rise to a consistent fiber: The second solution characterized by C + ⊂ σ , deg(N C + /σ ) = −2 and C − ⊂ σ , σ · Y C − = 1 would imply that the section wraps C + , and thus by the argument in the last paragraph, would gain a non-trivial intersection with all F i between C + and C − unless, all of these curves are contained in σ with normal bundle degree −2, so that σ · Y F i = 0. However, then C − would be the only not contained fiber component, and would have intersection 2 with the section, which would be in contradiction. Thus we are left with the only configuration (4.35). Again, by the same arguments as given in the previous paragraph the section must contain all the F i between C + and C − . If there were to be some F i which was not contained in σ then it would have a strictly positive intersection number with σ from its neighbour in the ring, contradicting codimension one. C − then has one intersection point with σ from the intersection with C + and one from the intersection with the F i on its other side, giving the required intersection number of +2. The fiber is represented in figure 5 and for I n in figure 11 (iv).
(iii) C − ⊂ σ, C + ⊂ σ: the analysis in the case is essentially identical to the analysis in case (ii), by exchanging the roles of C + and C − , and we do not repeat it here. (iv) C + , C − ⊂ σ: (4.29) there are three configurations, corresponding to degree of the normal bundle of the curves in σ In all of these cases, all F i need to be contained in σ, which again follows by noting that if only C ± were contained in σ, then both F p−1 and F p+1 gain an intersection from the wrapping of C ± . Thus in order for all but F m to have zero intersection with σ, the entire fiber needs to be contained in σ with The degree of deg(N Fm/σ ) ensures that this component has, consistently with codimension one, intersection +1 with σ. See figure 5 and figure 10 parts (iv)-(vi).
Again, just as in the last paragraph, the entire fiber needs to be contained in σ with This completes the analysis of what fiber configurations in codimension two are possible with one rational section.

Compilation of fibers
The analysis in the last section allows us now to characterize all possible fibers in codimension two for an SU(5) model with one rational section. There are in total three distinct codimension one configurations for the section, up to inverting the order of the curves F i in codimension one. For each of these, we now determine the fibers with rational section in codimension two. As shown in tables (4.29) and (4.31), for each value of (σ · Y C + , σ · Y C − ) there are two realizations in terms of fibers, see e.g. figure 5. As these are indistinguishable from the point of view of U(1) charges, in the following, we will only consider the fibers with minimal wrapping. The different configurations are drawn for each phase of each codimension one fiber type in figure 6. These tables contain information about • Phase: given in terms of the box graph as well as the splitting F i = C + + C − for each phase. • Codimension two fiber: in the present case for fundamental matter, the enhancement is to an I 6 fiber, i.e. SU (6). The intersection of the exceptional P 1 s is shown, including the curves C ± that arise from the splitting are marked by dashed lines.
• All possible codimension two fibers with section: a dot on one of the P 1 s corresponds to a section intersecting the fiber component transversally in +1. If a fiber component is contained in the section σ, then it is colored (blue or red). The "wrapped" components carry a numerical label, which indicates the normal bundle degree of the curve inside the section σ.
• Matter intersections: finally, the table contains the information about the intersection of the section σ with the curves C ± , which will then be used to compute the U(1) charges.
Knowing the various configurations one can read off the values of σ · Y C ± in each case. It is these values which determine the U(1) charges, after the application of the Shioda map, as shall be seen in the subsequent section. In the phase where the codimension one component F p splits the possible values of σ · Y C ± are These values are the contributions to the U(1) charges from the rational sections. One sees that there is an additional value for σ · Y C when the codimension one curve that splits, F p , had the rational section intersecting it in codimension one. We should then anticipate seeing additional U(1) charges in those phases where such a component of the I 5 fiber splits. Indeed we will see this in the next section.

U(1) charges
The U(1) charges of the curves C ± , which are labelled by the weights of the fundamental representation, are obtained by intersecting them with the Shioda map of the section σ 1 where σ 0 is the zero-section.
Here, S f depends on the codimension one fibers and is determined by requiring that for all i In particular, if F i → C + + C − splits then (C + + C − ) · Y S(σ 1 ) = 0 is required. The U(1) charges of C + and C − is given by S(σ 1 ) · Y C + and S(σ 1 ) · Y C − respectively, and are always conjugate. For I (01) 5 , S f is trivial, and for the remaining codimension one fiber types they are listed in tables 1 and 2.

JHEP09(2015)144
Phase Phase In the section 4.4 we determined a comprehensive list of possible fibers in codimension two, given that a rational section σ intersects either F 0 , F 1 , or F 2 in codimension one, respectively. In a model with one U(1), we apply this analysis to the zero-section σ 0 and additional section σ 1 . Without loss of generality, σ 0 · Y F 0 = 1, and thus the possible codimension two fibers are listed in figure 6. Depending on which codimension one fiber type (4.4) we start with, in addition the section σ 1 can be in one of the configurations in figures 6. Obviously, only fiber types in the same phase can be combined. • The phase, specified by the box graph, and the fiber in codimension two that results, without the section information.
• The horizontal (vertical) axis shows the different configurations for curves of the fiber in the section σ 1 (σ 0 ).
• The entries of the tables contain the U(1) charges (a, −a) determined by S(σ 1 ) · Y C + and S(σ 1 ) · Y C − respectively.

JHEP09(2015)144
• The lines between the phases, that is, connecting the six large boxes, denote that there exist flop transitions between those linked phases. 12 The coloring of the charges is related these flops and will be discussed later.
In summary the charges for5 (and negative of these for the conjugate 5) that we find are:  This concludes the analysis of possible U(1) charges for an SU(5) gauge theory in Ftheory with fundamental matter, for one additional abelian gauge factor. Note that all known charges from explicit realizations of the fiber in various toric tops as well as Tate models, including the individual U(1) charges from models with multiple U(1) factors, are a (strict) subset. We discuss the relation to the embedding into E 8 , as discussed in [24], in appendix B.

SU(n) × U(1) with fundamental matter
In our discussion of fiber configurations in section 4.4 it was in fact of no particular importance that we started with an I n fiber with n = 5. Indeed the situation is very similar and easily generalizes, to SU(n) with fundamental (i.e. the n representation) matter, where the fiber enhances from an I n to an I n+1 . Each section in codimension one intersects one of the rational curves F i , i = 0, 1, · · · , n − 1, which intersect in an affine SU(n) Dynkin diagram. In codimension two, one of the F i splits, as shown in [4]. For an elliptic fibration with sections σ 0 and σ 1 , we again use the notation Let F p be the component that splits in codimension two. Then there are two cases to consider: either σ · Y F p = 0 or 1, which are shown in figures 10 and 11, respectively. The reasoning is entirely as in section 4.4, with the only difference being the length of the chain of rational curves F i that are located between C + and C − . The distinct cases of intersections (σ · Y C + , σ · Y C − ) are also analogous to the SU(5) case. The Shioda map can be constructed for an I (0| m 1) n fiber and the U(1) charges of a fibration with a specified wrapping configuration can be written in terms of m and n. The Shioda map for an I n fiber with separation m between the sections is determined by the mth row of the inverse Cartan matrix associated to the codimension one singularity type [9]. The inverse Cartan matrix of SU(n) is an (n − 1) × (n − 1) matrix with elements  12 These are the flops that exist generically, as explained in [4]. This will be discussed later on.    ignoring contributions from the base. For ease of notation we will allow c p to denote the coefficient of the term D Fp in the Shioda map, that is C mp . The Shioda map excepting the term n(σ 1 − σ 0 ) will be denoted by S f as before. The conjugate U(1) charges are obtained from the intersection numbers Such an intersection can be broken into two parts, contributions from (σ 1 − σ 0 ) · Y C ± , which were enumerated for each section in (4.40), (4.41), and contributions from S f · Y C ± , which are determined here. Let us consider the phase where F p → C + + C − , and we shall content ourselves with only obtaining the U(1) charge of C + , as the charge for C − is simply its negative. From the resulting fiber it is observed that the only contributions from S f · Y C + come from c p and c p−1 , as these are the coefficients in the Shioda map of the divisors D F i , which C + intersects, i.e.
Given (4.47) this can be expanded explicitly in terms of m and n (importantly the dependence on the phase is minimal) (4.51) In the above we considered only the so-called SU(n)-phases, where p = 1, · · · , n − 1. What remains is to consider the phases with an additional U(1), where F 0 → C + + C − . In this case the only contribution to S f · Y C + comes from c n−1 , which is m. In the previous section the possible values of σ i · Y C + were determined from the possible consistent wrapping scenarios to be such that (4.52) Combining this information with (4.51) tables can be constructed for all possible charges in each phase. The two tables which cover all the phases for I (0| m 1) n are given in table 3. It can be seen that the possible charges are S(σ 1 ) · Y C + = m − 3n , m − 2n , · · · , m + 2n . (4.53) The subset of charges that exist in every phase is S(σ 1 ) · Y C + = m − 2n , m − n , · · · , m + n . There are charges, which do not appear in every phase within the framework of fibers satisfying the setup outlined in section 4.1. This has in particular to do with the flops of configurations of the type shown in (iii) and (iv) of figure 11, which we will elaborate on in section 6. A red node indicates that the section intersects that component transversally.  Table 3. The U(1) charges of all the possible wrapping combinations of the codimension one I (0| m 1) n fiber enhancing to an I n+1 fiber. On the left are the charges in phase where F p splits for p = 1, · · · , m, and on the right are the charges for the phases where p = m + 1, · · · , n − 1 or p = 0. In each configuration, the cases σ · Y C + = 2 only appear in the p = m or p = 0 phases.  Figure 12. The three abstract splittings for I 5 to I * 1 enhancements. The colored loops indicate that there exists a root that splits into the encircled curves in codimension two.

SU(5) × U(1) with 10 matter
In this section we find the possible charges for 10 matter by analysing how the sections can behave under an I 5 to I * 1 enhancement. The codimension one I 5 fibers and Shioda maps are the same as those given in section 4.2.

Codimension two Fibers with Rational sections
The fibers of the 10 representation are obtained from the box graphs in tables 7 and 8 in appendix A. The resulting fibers are all I * 1 , consistent with the local enhancement to so(10), with the correct multiplicities. To find the charges of the 10 representation we employ the same method as before, solving for the possible configurations under the constraints of consistency with codimension one, σ · Y Fiber = 1. The multiplicity of each component in the I * 1 fiber must be taken into account when imposing the latter condition.
There are three classes of splitting types that can occur in the enhancement to I * 1 , shown in figure 12. They are one of the following, In each of the three cases there are different subcases to consider depending on which of the components of the fiber the section intersects in codimension one. There are five -38 -

JHEP09(2015)144
different options corresponding to the number of components in codimension one, however the reflection symmetry of the intersection graphs allows one to consider only eleven different configurations, instead of fifteen. The configurations will be termed the "splitting types" and will be denoted as For each splitting type one can determine the values of the intersection numbers, from the intersection of the section with the split curves, that are consistent with the constraints from codimension one and the requirement that the normal bundles of subspaces embed as subbundles of the total normal bundle. Each possible set of intersection numbers may have multiple realizations in terms of configurations of the curves inside the section. The intersection numbers with σ are all that is necessary to determine U(1) charges via the Shioda map. In this section splitting type A.2 will be detailed explicitly and the tables of results for all the other ten splitting types will be relegated to appendix A.
Consider then splitting type A.2, defined as the splitting with σ · Y F i = 1, and the intersection of the section with all other codimension one fiber components being zero. As such the constraints from the split curves become Any one of the intersection numbers σ · Y C for any curve C determines all the other intersection numbers with the Cs. As the normal bundle to the curves C that come from the splitting of the curves F i in codimension two is O(−1) ⊕ O(−1) for three-folds and O ⊕ O(−1) ⊕ O(−1) for four-folds it is known by Theorems 3.5 and 3.8 that σ · Y C ≥ −1 for all such C. Solving the constraints (5.2) subject to these inequalities leads to the three solutions Each of these solutions has in addition that σ · Y F l = σ · Y F m = 0 from consistency of the curves which do not split with codimension one. It remains to ask whether there are any -39 - possible realizations of these intersection numbers. All the configurations realizing each of these three solutions are shown in figure 13. If a curve is such that σ · Y C = −1 then it must be contained in σ with deg(N C/σ ) = −1, else if a curve is such that σ · Y C = k ≥ 0 then the curve is either not contained in σ and has k transverse intersections with σ, or it is contained in σ with deg(N C/σ ) = −k − 2. In this way configurations of curves inside the section with particular intersection numbers can be constructed.

U(1) charges
The   Again, like for the case of fundamental matter, the known charges that occur in concrete realizations of elliptic fibrations of SU(5) GUTs are a strict subset of these. The comparison to the embedding into E 8 can be found in appendix B.

Flops and rational sections
Flops between distinct resolutions of singular elliptic Calabi-Yau fibrations have been discussed in terms of the Coulomb phases, or box graphs, in [4], and realized in terms of explicit elliptic fibrations (based on Tate models) in [35,[52][53][54]. In this section, we will study the flops for codimension two fibers with sections wrapping fiber components. For simplicity we consider here three-folds, however we expect all of the flops to generalize quite straightforwardly to four-fold flops, e.g. as discussed in [55,56].

Flops and intersections
The small resolutions of the singular fibers are related by flops along curves in the fiber in codimension two. To determine how the flops change the normal bundle degrees of C ⊂ D, which in the three-fold case is given by the self-intersections of the curves in D, it is useful to recapitulate some of the mathematical results on this for three-folds. The first important notion is that of a (−2)-curve as introduced in Theorem 3.6 (see [50] for more details). Recall that the normal bundle of the curves F i , which remain irreducible in whereas if F p → C + + C − becomes reducible in codimension two, then each of the irreducible components C ± have normal bundle in Y Consider the situation shown in figure 14, starting with the configuration in the lower left hand side. The curves C ± 1 both have normal bundles of degree (−1, −1), the curve C 2 has normal bundle (−2, 0) (i.e. it is, in our standard notation, one of the F i ). Consider blowing up along the curve C − 1 . Let D andD be divisors and π 1 :D → D the blow up of a curve C. The canonical class changes as Here the blow up affects the two divisors D 2 and D , in particular under π 1 :D 2 → D 2 the canonical class changes by the new curve, C + 2 ,

JHEP09(2015)144
The curves C 2 and C + 1 , are contained within these two divisors, and their normal bundles change in the blow up. Denoting their images under the blow up byĈ, the normal bundle degrees are (using adjunction that (6.5) The normal bundles ofĈ − 2 ,Ĉ + 1 in the divisors D , D 1 respectively, are unchanged as the canonical class of these divisors remains the same under the blow up. The resulting configuration is shown on the top of figure 14.
The flop is completed by blowing down the curveĈ − 1 . The canonical classes change again as in (6.3) for the two divisors, which contain this curve, i.e. D 1 and D under the blow down π 2 : D →Ď After the blow down, denote the curve corresponding toĈ 2 andĈ + 1 byČ − 2 andČ 1 , respectively. Then the normal bundles change as follows On the other hand,Ĉ − 1 is not inD 2 orD , so the blow down does not affect the normal bundle ofČ − 2 inD 2 or ofČ + 1 inD . Thus the flop of C − 1 , which was previously the intersection of D and D 1 , produces a new curveĈ + 2 which is no longer contained inside either D or D 1 but instead intersects them in a point.
Alternatively, one can consider first blowing down with p 2 in figure 14, and then blowing up. The advantage of the process we described here, is that the geometry in every step is smooth, whereas the lower, singular configuration would require particular care in applying the intersection calculus.
The prior analysis can now be applied to the case of SU(5) models with e.g. fundamental matter. Taking one of the divisors D or D 1 above to be one of the rational sections we see that, under a flop, a curve contained inside the section is flopped to one that intersects the section in a point and vice versa. Consider a configuration in figure 6, for example where σ · Y F 1 = 1 in codimension one, then the generic flops for fibers studied in [4] dictate how the configurations flop into each other. However for fibers with rational sections, not every configuration appears to have a flop image in the category of fiber configurations that satisfy our initial setup. This is indicated in the shading of the charges in figures 7-9, showing which charges flop into each other. The charges in blue appear in every phase whereas the charges highlighted in green only appear in certain phases. The flop of the configurations, which do not appear in all phases will be discussed in section 6.3.
These curves have the following self-intersections, i.e. normal bundle degrees, inside D F 4 , determined by the box graph for this phase. For the curves F i do not split, In the configuration shown F 2 , C + 3,4 , F 3 ⊂ σ 1 and the self intersections in σ 1 are given by the red numbers appearing next to these curves in the figure. Now consider the blow down of the curve C + 3,4 which changes the canonical class of D F 4 and σ 1 , Under the blow up π 2 of the singular geometry we reach the I * 1 fiber obtained by the splitting,

JHEP09(2015)144
The configuration in this phase, phase 8, is shown on the right in figure 15, where the flopped curve C − 3,4 ⊂ σ 1 and the canonical class of the divisorĎ F 2 is Only the normal bundle of the curve F 2 , which becomes C + 2,4 , is altered by this flop as no other curve intersected C + 3,4 in the original configuration. As the intermediate stage in this description of the flop is singular the self intersection of the curve C + 2,4 in the divisorŝ D F 4 ,σ 1 andD F 2 in phase 8 is computed by always pulling back to one of the resolved geometries, (C + 2,4 ) 2 (6.14) In the above, the second equality sign holds as the canonical class ofĎ F 4 andσ 1 is unchanged by the blow up π 2 .

Flops to singular sections
It was mentioned in section 6.1 that certain configurations do not flop into configurations within the class of fibers that we considered here. All such fibers are of the type that the entire fiber except for one curve is contained inside the section. We now briefly comment on this. Consider for instance flopping the curve C + 1 on the left hand side of figure 16. In this configuration the splitting is given by F 1 → C + 1 + C − 2 and the curve C + 1 has normal bundle (−1, −1) inside of D F 1 .
Proceeding as described above, we blow up every point along C + 1 and in doing so we obtain the exceptional divisor E. The two points at which C + 1 intersected the section become two curves contained inside the section. Under the contraction of the C + 1 ruling of the exceptional divisor E, the two curves contained in the section are identified. Thus we obtain a curve which is contained inside the section twice. The section is now singular as it meets itself along this curve. 13 This configuration is shown on the right hand side 13 We thank Dave Morrison for discussions on this point.  Figure 16. The almost fully wrapped fiber (the rational curves contained in the section σ are shown in blue) shown on the left flops via C + 1 to the fiber, which is fully contained in the section. However the section is now singular along the curve C − 1 , along which it self-intersects as shown on the far right. The numbers in black and blue denote the degree of the normal bundle of the curves inside the divisors D Fi and the section σ, respectively. of figure 16. In our analysis we assumed throughout that the section is a smooth divisor in the Calabi-Yau. Clearly, after this flop this condition ceases to hold, and it would be interesting to study such configurations, and to determine whether or not the singular section is consistent from the point of view of the F-theory compactification. We will comment on this further in the discussion section 10.

Singlets
As a final application of our method, we now turn to discuss U(1)-charged GUT singlets. Mathematically, this corresponds to analyzing the codimension two fibers with rational section for an I 1 to I 2 enhancement. Apart from the interest in the types of singlet charges that are possible, this has wide-ranging implications for Higgsing the U(1) symmetries to a discrete gauge symmetry, as in e.g. [37][38][39]. Other phenomenologically interesting implications, in particular when applied to four-folds, concern the possible Yukawa couplings of the type RR1 as well as non-renormalizable couplings, which e.g. could regenerate proton decay operators. After some general properties of singlets, we first discuss the situation in three-folds in section 7.2, and for four-folds in section 7.3.

Constraints on singlet curves
Consider a smooth Calabi-Yau three-or four-fold Y . An I 1 fiber consists of a single nodal rational curve F 0 , with arithmetic genus p a (F 0 ) = 1, such that Above a codimension two locus, the node splits where C ± are smooth rational curves, which intersect in an I 2 Kodaira fiber. Consistency with codimension one requires that As both C ± are smooth rational curves contained inside D F 0 , it follows by Corollary 3.4 that However, as these curves do not arise as complete intersections, their normal bundles in Y are not fixed by the degrees of N C ± /D F 0 . We require one of the curves in the I 2 fiber to be contractible. Without loss of generality, we take C − to be the contractible curve. In Calabi-Yau three-folds this condition is known to have three solutions, as summarized in Theorem 3.6, which will be discussed in the next section. For four-folds we are not aware of a similar result, and we will therefore conduct a survey without imposing the additional contractibility condition in section 7.3.

Singlets in three-folds
In this section, let Y be a smooth Calabi-Yau three-fold. We will first determine the possible section configurations that are consistent from the point of view of normal bundle degrees in a three-fold. Following this, we determine the possible singlet charges and fiber types.

Normal bundle constraints
We start by considering the possible normal bundle degrees for rational curves in an I 2 fiber. We assume C − to be contractible. Theorem 3.6 implies that a contractible rational curve can have the following normal bundles in Y : We do not constrain C + to be contractible therefore its normal bundle takes the general form We consider a fibration with two rational sections, σ 0 and σ 1 . In codimension one both sections intersect F 0 , therefore it is sufficient to just consider one of the sections to find the possible configurations for the fiber in codimension two. For an I 1 local enhancement to I 2 the constraint from codimension one is, For each case A−C there always exists the solution, where the section intersects transversally either C + or C − and does not contain any curves in the fiber. The two cases will differ in the possible wrapping configurations.

JHEP09(2015)144
As the normal bundle of C + is the same for cases A−C we can first derive some general statements irrespective of the normal bundle of C − . Consider C + ⊂ σ, using Theorem 3.5 (iii), there exists an embedding in the following two cases: Using Corollary 3.4 one finds that for (i) Combining (7.8) with (7.6), one obtains the intersection of C − with σ, The intersections of σ with C + (resp. C − ) will be bounded from below (resp. above) by (7.8) (resp. (7.9)). Now let us consider case A where C − has normal bundle degree (−1, −1). If C − ⊂ σ then in order for N C − /σ to embed inside N C − /Y we must have, This is a consequence of Theorem 3.5 part (ii) and as a result the intersections of σ with C ± are (σ · Y C + , σ · Y C − ) = (2, −1), (1, 0), (0, 1), (−p − 2, p + 3) . (7.11) The codimension one constraint (7.6) then specifies the upper bound for the intersection of σ with C + . The possible configurations which realize these intersections are: To obtain the correct intersection for C + with the section there are two possibilities: The correct intersections are automatic in this case as in any I 2 fiber the curves C ± intersect each other in two points, and C − is contained inside the section.
(ii) C + ⊂ σ The degree of N C + /σ is determined using Corollary 3.4, requiring σ · Y C + = 2 implies deg(N C + /σ ) = −4. This solution is only valid when N C + /Y = O(−4) can be embedded non-trivially into N C + /Y which is true for There are two configurations, which realize the above intersections. The first is given by C + ⊂ σ, but σ intersects C + transversally. In this case the section does not contain any components of the fiber. The second solution is given by C + , C − ⊂ σ and deg(N C + /σ ) = −3 and deg(N C − /σ ) = −2. One can check using Corollary 3.4 that these values give the correct intersection values for σ · Y C ± . The latter configuration can only be realized for The solutions in this case can be obtained from the solutions in A.2 by exchanging C ± . The configuration where the entire fiber is contained inside the section is a solution for As was detailed above, to achieve a negative intersection with the section, C + must be contained inside it with deg(N C + /σ ) = p. There are two possibilities for C − : The section, from the containment of C + , intersects C − in two points necessarily. In order to satisfy (7.6) C − requires p + 1 additional intersections with the section.
(ii) C − ⊂ σ In this case we require deg(N C − /σ ) = −p − 5 to satisfy σ · Y C − = p + 3. This solution is valid for p ≥ −1 as for these values of p the following embedding always exists The full set of configurations for A are summarized below. The configurations which have been marked ( * ) are only valid when p falls within the ranges specified in (7.12), (7.13) and (7.14), respectively.

JHEP09(2015)144
For case B the curve C − has normal bundle degree (0, −2). To find the lower bound for the intersection of C − with the section we need to consider C − ⊂ σ. Requiring N C − /σ to embed inside N C − /Y gives the constraint where deg(N C − /σ ) = −1. This bounds the intersection of C − with the section from below, The possible intersections are given by The intersection of C + with σ can not take the value −1 due to the constraint deg(N C − /σ ) = −1. The solutions for the last three intersection sets are the same as those given for case A therefore we shall only detail the solutions for the first set here.
The two configurations for this set of intersections must have C − ⊂ σ, deg(N C − /σ ) = 0. This is mandated by the intersection of the section with C − . There are two possibilities for C + : The containment of C − inside the section means that C + intersects the section twice through the intersection of C − and C + in the fiber. Consistency with codimension one requires an additional transverse intersection between σ and C + .

JHEP09(2015)144
Finally, in case C, the curve C − has normal bundle (1, −3). If C − ⊂ σ then the only wrapped configuration which gives negative intersections with the section is This generates the upper bound σ · Y C + ≤ 4. The set of possible intersections are Once again, the solutions for second and fourth set of intersections are the same as those given in A. Though the third set of intersections has appeared previously the solutions for this normal bundle case are more restricted and we will find only one solution.
The two solutions to this set of intersection numbers both require C − ⊂ σ, deg(N C − /σ ) = 1. To obtain the correct intersection for C + with the section there are two possibilities: (i) C + ⊂ σ In addition to the two intersections C + has with the section through the intersection of C + and C − two further intersections are required to satisfy the codimension one constraint (7.6).
(ii) C + ⊂ σ The degree of the normal bundle N C + /σ is fixed by the intersection σ · Y C + = 4 to be deg(N C + /σ ) = −6. This is a valid solution for This set of intersections has appeared in A and B however the configuration given by C + , C − ⊂ σ and deg(N C + /σ ) = −3, deg(N C − /σ ) = −2 is not a valid solution here as . The only solution is given by C + , C − ⊂ σ and σ · Y C − = 1.
The full set of solutions for case C are (with ranges of p in the (*)'ed configurations constrained as in (7.24) and (7.14))  Table 5. Consistent wrapping configurations for I 1 → I 2 for normal bundle cases A−C. The components in red are those contained inside the section with their normal bundle degrees in σ indicated by the red numbers adjacent to the component. Configurations where both components of the I 2 fiber are contained inside the section (excluding those appearing in the first column) are only valid for certain ranges of p, see main text for more details.

Compilation of fibers and U(1) charges
The solutions for each case A−C are presented in table 5 where the intersection sets appear along the horizontal axis and the different normal bundles run along vertically. The I 2 fibers are labeled as follows: • The components of the fiber coloured in red are those contained inside the section and the red numbers appearing next to these components denote the degree of the normal bundle of those components inside σ.
• Red dots on unwrapped fiber components correspond to transverse singlet intersections with σ. The red numbers next to a sequence of such dots denote the number of such transverse intersection points.
Not every set of σ · Y C ± intersections can be realized in each case A−C. Where an intersection column has been left blank there is no configuration corresponding to that set of intersections with σ. The U(1) charges of singlets can be determined by combining configurations for σ 0 and σ 1 in each case A−C. As both sections intersect F 0 in codimension one the Shioda map, S(σ 1 ), is given by Singlet charges are obtained by computing S(σ 1 ) · Y C ± . The set of possible singlet charges and the associated I 2 fibers are shown in figure 17. The fibers along the horizontal (resp. vertical) axis, coloured in red (resp. blue), are for σ 1 (resp. σ 0 ). The entries (a, −a) are the U(1) charges obtained by combining configurations for σ 1 and σ 0 . Only one representative has been chosen for each distinct set of intersections σ · Y C ± , wherefore there are more realizations of each charge than shown in the figure. The singlet charges which appear in -52 -   have appeared in [9,15,21]. The zero section in these configurations is holomorphic i.e. σ 0 does not contain curves in the fiber over codimension two. The range of possible singlet charges was extended in [18] where a singlet configuration with charge +3 was found. Comparing these fibers to those in figure 17, we find the same configurations in the following normal bundle cases: A-C when p = −1

12
A when p = −1 (7.29) Finally, we compare the singlet charges found above with those required for every5 q 1 and 5 q 2 in (4.45) to form a Yukawa coupling Generically, in the geometry all such couplings will be present for base varieties of dimension ≥ 3 and correspond to codimension three enhancements to SU (7), which will be discussed in detail in section 8. Using the set of5 charges in (4.45), the set of singlets, 1 −q 1 −q 2 , for each codimension one fiber in (4.  Comparison (after multiplication by five) yields, that the singlet charges in (7.31) fall within the charges derived from analysing I 1 → I 2 enhancements in (7.27). It would be interesting to analyze this further from the point of view of four-fold normal bundle consistencies at the Yukawa points.

Singlets in four-folds
One of the criteria for the codimension two I 2 fiber is that one of the curves needs to be contractible. In the case of three-folds discussed in the last section, the relevant criterion goes back to Theorem 3.6. A similar result, which constrains the normal bundle of contractible curves in four-folds, to our knowledge, is not known. Nevertheless, we can consider a general types of I 2 fiber, and without imposing contractibility, determine the consistent section configurations and corresponding charges. The result of this analysis is summarized in table 6. The normal bundle degrees deg(N C ± /σα ) of curves C ± that are wrapped by the sections in the I 2 fiber, represented  by r, s, m and k in the table, have been left un-constrained, i.e. we do not impose that one of the curves in the I 2 fiber is contractible. The intersections of C ± with the section are calculated using Corollary 3.4, the only input being the values of r, s, m and k. In the table, these intersections with σ 0 and σ 1 are shown below each fiber type, and the U(1) charge is again computed using the Shioda map S(σ 1 ) = σ 1 − σ 0 . It would be interesting to generalize the results of [50,51] to four-folds in order to further constraint the normal bundles and thereby the U(1) charge values in four-folds.

Codimension three fibers and Yukawa couplings
In elliptic Calabi-Yau four-folds there are codimension three points in the base of the fibration, above which the codimension two fibers can enhance further, i.e. again some of the rational curves become reducible. From an F-theory point of view, the fibers above such points in the base are of interest as they give rise to coupling of matter fields in Yukawa interactions.

Codimension three fibers and phases
The codimension three fibers for SU(5) with 5 and 10 matter were determined from the box graphs using mutual compatibility of the relative cones of effective curves in [4]. The Yukawa couplings 10 × 10 × 5 and5 ×5 × 10 occur at codimension three loci, where the fiber enhances from the I 6 and I * 1 fibers, that realize the fundamental and anti-symmetric matter, to monodromy-reduced IV * or I * 2 fibers, which correspond to a local enhancement of the symmetry to E 6 and SO (12), respectively. Physically, the Yukawas can be thought of as generated by the splitting of matter curves into other matter curves, plus, potentially, roots [57].
Here we will focus on the coupling between singlets and two fundamentals: 5 ×5 × 1. These are realized above codimension three loci with an SU(7) enhancement. This is the simplest instance in which the fibers (without the presence of additional sections) are not standard Kodaira fibers in codimension three, but are monodromy-reduced, i.e. the fiber is not I 7 , but remains I 6 . However, if there is a suitable additional section, there is an enhancement to a full I 7 fiber [58,59].
We will now explain how the box graphs can be used to determine the consistent codimension three fibers. The analysis works for general types of fibers, but we will concentrate here on SU(5) with 5 matter, i.e. the phases and fibers shown in figure 4. As before, F i are the rational curves associated to the simple roots of SU (5). First consider two codimension two I 6 fibers, which are characterized by the splitting The superscripts T op and Bottom label the curves in the two I 6 fibers in codimension two. The combined phase is obtained by stacking the box graphs for each I 6 fiber on top of each other. Representation theoretically we are looking at the decomposition su(7) → su(5) ⊕ su(2) ⊕ u(1) .

JHEP09(2015)144
Denote by F the curve associated to the simple root α of the su (2). Then in the combined box graph this acts between the two layers, from the bottom to the top layer, e.g. The combined box graphs need to satisfy both the flow rules for the SU(5), as well as compatibility with the action of this additional root. Let us first assume i = j. In this case, e.g. shown in figure 18, both F i and F j are reducible, and the extremal generators of the relative cone of curves are In particular F is not extremal. The resulting fiber is obtained applying similar rules to the standard box graph analysis, summarized in section 2 (for more details on how the fiber is determined from the graph we refer the reader to [4,52,54]) and exemplified in part (i) of figure 18. For i = j, the phases of the two I 6 fibers agree, and the extremal generators are where F remains irreducible, and the curves in the I 6 fibers, which became reducible, split as follows Note that this is the splitting from the I 6 Top and Bottom codimension two fibers respectively. The rational curves in the fiber in codimension three intersect again in an I 7 fiber, which is shown in part (ii) of figure 18. Let us reemphasize that in both these cases, it is paramount that the fiber has an Figure 18. Construction of the fiber in codimension three, where two codimension two I 6 fibers in the phases/box graphs shown on the left, collide to give a fiber of type I 7 in codimension three. The box graph for the I 7 is shown on the right of each figure. Figure (i) shows the codimension three enhancement when the two I 6 fibers are in different phases/box graphs, whereas in (ii) they are in the same phase. Note that for each of these enhancements it is necessary to have at least one extra rational section.
3. If S C ⊂ σ in codimension two, and C → C + + C − then by Corollary 3.4 Note that, obviously, a curve that is contained in the codimension two fiber continues to be contained in the codimension three fiber to which the codimension two fiber degenerates. The compatibility between codimension two and three has to be imposed for every codimension two fiber whose codimension two locus in the base passes through the codimension three point in question (i.e. all the codimension two fibers that correspond to matter that participates in the Yukawa coupling). Note also, that the constraints on the normal bundle derived for four-folds Y in section 3.3 need to be respected. The normal bundle of the rational curves in the fiber have to be such that they embed into the normal bundle N C/Y . From Theorem 3.7 observe that the normal bundles of F i in the four-fold Y are 8) and the normal bundles of the curves C ± i , obtained from the splitting F i → C + i + C − i , which correspond to weights of the fundamental representation, are

Charged singlet Yukawas
We now consider the Yukawa couplings that are realized by codimension three enhancements to I 7 involving charged singlets, i.e. 5×5×1 couplings. First consider the case of the two I 6 fibers in different phases. An example is shown in figure 19. Starting with an I (0|1) 5 model at the far left in codimension one, the next two entries correspond to the codimension two fibers. The blue/red colored fibers indicate the rational curves that are contained in the sections σ 0 and σ 1 , respectively. From figure 8 the configurations in codimension two, labeled (1) and (2), correspond to fundamental matter with U(1) charges The codimension three fiber when these two collide can be determined by imposing the requirements in section 8.2. The compatibility conditions have to be satisfied for both of the two I 6 fibers enhancing to the I 7 fiber. For instance, consider the I 6 fiber (1). We can characterize the configuration by For instance, the configurations of the I 6 fibers (1) and (2) can be characterized by The fibers split as determined by the box graphs, and applying the compatibility conditions on the sections in codimension three determines the fibers, 14 e.g. it is clear that all the components that are contained in either of the codimension two fibers have to continue to be contained in the sections. Furthermore, imposing that the intersection numbers and normal bundles are consistent, results in the configuration shown in figure 19.
From the I 7 we can obtain the I 2 fiber and thereby the singlet that participates in the Yukawa coupling. As we consider two I 6 fibers in different phases F is not extremal, see (8.4) for the configuration in figure 19, but is given in terms of 12) Figure 19. Example of a codimension three fiber with one additional rational section where the codimension two fibers are in different phases. Codimension one: I 5 fiber with two sections, σ 0 (blue) and σ 1 (red). Codimension two: I 6 fiber with sections as indicated (the configuration is described in (8.11)), corresponding to 5 matter, with charge 11 and charge 1, respectively. Here the two I 6 fibers are in different phases. The curves, C ± , into which the F i that become reducible in codimension two have split are shown by dotted lines. Colored fiber components correspond to rational curves that are contained in the respective sections. The numbers next to these indicate the degree of the normal bundle of these curves in the section. Codimension three: I 7 fiber with sections, as well as the corresponding box graph, obtained by stacking the box graphs associated to the codimension two fibers. Again, fiber components that are contained in the sections σ 0/1 are colored accordingly. The green line indicates where the I 7 fiber needs to be "cut" to determine the singlet that couples to the two fundamental matter multiplets. On the far right the I 2 fiber that realizes this singlet is shown.
which can be read off from the box graph or directly from the fiber. In figure 8.4 the component F is shown, separated from its conjugate component, by the green cut through the I 7 fiber. The combination in equation (8.12) are uncharged under the GUT group SU(5), i.e. geometrically as required for a singlet, but intersects the sections as (8.14) Likewise we can consider the conjugate field, given by the curve (so to speak the other half of the cut I 7 fiber) which intersects the sections as Applying Shioda (and multiplying by 5 for the SU(5) normalization) we obtain that the charges of these singlets are indeed ∓10, as required for the coupling to the matter of charge ±11 and ∓1, i.e. 5 11 × 5 −1 × 1 −10 .
Finally, let us briefly comment on the case when the two I 6 fibers are in the same phase, an example is shown in figure 20. The charges are The splitting from codimension two to codimension three of the fiber components is that in (8.6) and part (ii) in figure 18, andF is an irreducible, new fiber component. Again we impose ompatibility with the section configurations in codimensions two and three, as well as consistent normal bundle configurations. The resulting codimension three fiber is shown in figure 20. The singlet charge is obtained by intersecting F with the sections. Note, that F · Y D F i = 0, which is consistent with this being the singlet, and Likewise, the conjugate field is (8.20) The associated I 2 fiber, which realizes these intersections, is shown in figure 20, and matches the required charge of 20 from (8.17), such that the coupling 5 −9 5 −11 1 20 is uncharged.

JHEP09(2015)144
The massless spectrum depends on the value of ξ and for ξ = k/q with integral k the KK-charge n = −k becomes massless. There are q distinct values for the Wilson line, modulo the action of SL 2 Z, which correspond to distinct M-theory vacua, between which the Tate-Shafarevich group acts [60]. Equipped with the set of I 2 fibers and their corresponding charges, given in figure 17, we can now consider the Higgsing with more general singlet configurations, with charges beyond q = 2, 3. Furthermore, it is possible to determine for a fixed singlet charge q, the fibers which realize the q different choices of 5d Higgs fields. Note that the KK-charge n is computed by intersecting with the zero-section That is, we look for configurations where C + , or C − , has intersections with σ 0 within the set n ± = σ 0 · Y C ± ∈ {0, · · · , q − 1} mod q .
The result is that for charges up to q = 9 it is always possible, by tuning the degree of the normal bundle of the curve C + in (7.5), to obtain curves in the I 2 fiber with the desired intersections with σ 0 . It would be interesting to study how these configurations are related via flop transitions such as in the case of q = 3 studied in [39]. For charges q ≥ 10 the set of KK-charges, which do not have a realization grows with q and it would be interesting to explore how the other configurations could be realized.

Discussion and outlook
In this paper we determined the possible U(1) charges of matter in F-theory compactifications to four and six dimensions, by classifying the possible configurations of rational sections in codimension two fibers. Our analysis for charged matter in the fundamental and anti-symmetric representations of SU(n) in sections 4 and 5 holds for both Calabi-Yau three-and four-folds. The main inputs were the classification result of codimension two fibers in [4] as well as constraints on rational curves and their normal bundles in Calabi-Yau varieties, as discussed in section 3. There are various exciting directions for future research.
• Building complete models: In our analysis we did not discuss constraints from charged matter Yukawa couplings, only couplings between fundamental matter and singlets. It would be interesting to see whether codimension three constraints will provide further conditions as to how various codimension two fiber types can co-exist in a given model. The codimension three fibers and possible Coulomb phases without additional sections were derived already in [4,35] and it would be interesting to generalize this to models with rational sections. Clearly further constraints that would select subsets of compatible codimension two fibers would also be of interest for model building, and could play an important role for a systematic study of the phenomenology similar to [23,25,63].
• Explicit realizations: The charges and fibers in explicitly known fibrations with various numbers of abelian

JHEP09(2015)144
factors [9-22, 28, 29], as well as the matter charges in the singlet-extended E 8 model [24], form a strict subset of the fibers that we have found in the present paper. It would be extremely interesting to determine realizations for the new fiber types, including the singlets that we classified in section 7.
• Flops: Our classification assumes that the section, which is a divisor in the Calabi-Yau variety, is smooth. We have observed in section 6 that, by flopping codimension two fibers with certain section configurations, the resulting fiber has a section which self-intersects in a curve in the fiber, and is thus no longer smooth. It would be very interesting to study such flops concretely, to determine the complete flop chain when the allowed configurations include such singular sections. It would also be interesting to study the flops for the I 2 fibers realizing different KK-charges for the singlets, generalizing the analysis for charge 3 singlets in [39].
• Singlets: Unlike the charged matter, the analysis for the classification of singlets in section 7 is comprehensive only for Calabi-Yau three-folds, as we impose that one of the curves in the I 2 fiber should be contractible. A similar criterion for contractibility for higherdimensional Calabi-Yau varieties is not known to us, however we have determined all possible codimension two I 2 fibers with rational section, without necessarily requiring contractibility of the curves, in table 6. It would be interesting to determine a contractibility criterion on the normal bundle of rational curves in four-folds and to thereby constrain the singlet configurations in table 6 to the allowed set in fourfolds. Note that no such disclaimer holds for the charged matter in sections 4 and 5, which do not rely on imposing any contractibility on the curves, and our results hold for codimension two in three-and four-folds alike.
• Higgsing and discrete groups: We determined the singlet fibers for U(1) charges up until q = 9, including realizations for each KK-charge. This allows a comprehensive study of discrete symmetries by giving vacuum expectation values to these singlets, and it would be interesting to determine the effects on the low energy theories, for instance like in [64].

A Details for anti-symmetric matter
In this appendix the various details of the enhancements from I 5 to I * 1 , which gives rise to matter in the 10 representation of SU(5), are collected. Tables 7 and 8 list the sixteen different enhancements that can occur, as determined in [4], and represented by the appropriate box graph. The possible U(1) charges listed in section 5 are determined by studying each of these sixteen enhancements and asking in what ways fiber curves, or collections of fiber curves, can be contained inside the section, whilst remaining consistent with the intersection data in codimension one. There are eleven qualitatively different "splitting types", which were previously listed in section 5, and for each of these it is determined what the possible configurations of curves in any rational section for that particular splitting type are.
A.1 Codimension two I * 1 fibers For the purpose of this appendix a new notation will need to be introduced to concisely summarize all of the different configurations as there are many configurations that realize the same intersection numbers of the curves with the section. Each fiber will be displayed as in figure 22a. As such there is an obvious choice of ordering C 1 , · · · , C 6 , where these curves can be curves associated to either roots or weights. If a curve C i is contained within the section it is such that deg(N C i /σ ) ≤ −1 by Theorems 3.5 and 3.8, and by the analysis it is also known that this value always happens to be in the (negative) single digits. The notation is then given by the string (n 1 n 2 n 3 n 4 n 5 n 6 ) where the n i are (i) If C i is contained inside the section then n i = −deg(N C i /σ ).
(ii) If C i is uncontained in the section and has an additional transverse intersection with the section then the n i is replaced by an "x". Additional here means that there is a transverse intersection that does not come from the intersection(s) of C i with another curve C j which is contained inside the section.
(iii) If the curve C i is otherwise then the n i is replaced with an en-dash "-". Such a string completely determines the configuration, for example consider the configuration (1123-x) on the fiber presented in figure 22a. Such a configuration is represented in figure 22b. The string fixes that • C 5 ⊂ σ and σ · Y C 5 = 1 from the single intersection point between C 5 and the contained curve C 4 .
• C 6 ⊂ σ and σ · Y C 6 = 2 with one contribution from the intersection point of C 6 and C 4 , and an additional contribution from the extra transverse intersection of the section with C 6 .

A.2 Compilation of codimension two fibers
In this section the different sets of intersection numbers and the possible realizations as configurations of the fiber curves contained within the section are enumerated for each splitting type introduced in section 5.1. Figure 23 demonstrates the ordering of the fiber components for each of the three major types, and fixes the ordering of the notation (n 1 · · · n 6 ). All the configurations, determined by a similar procedure to that used in section 5 for the A.2 splitting types, are listed in table 9. For each splitting type there are many more configurations than there are possible sets of intersections numbers between the split curves and the section. Multiple configurations correspond to the same intersection numbers, the same U(1) charges. In table 9 the intersection numbers are listed for each set of configurations with common intersection numbers. The intersection numbers σ · Y C are given as a tuple of integers in the same ordering as the strings describing the configurations. The intersections of the section with curves that do not split are not included in such a listing as they are always determined by codimension one: they are either zero or one depending on whether the section intersects that component in codimension one.
Each of the concrete enhancements from the I 5 fiber into an I * 1 fiber, listed in tables 7 and 8, are realizations of one of the splitting types just analyzed. Determining the splitting type depends on the phase (which fixes whether it is of type A, B, or C), and the S f · Y C + 4,5 = +2 S f · Y C + 4,5 = +4 S f · Y C + 3,5 = +2 S f · Y C + 3,5 = +4     S f · Y C + 1,5 = −3 S f · Y C + 1,5 = −1 S f · Y C + 2,4 = +2 S f · Y C + 2,4 = −1
-69 - Table 9. For each of the different splitting types, listed in section 5.1, for the enhancements from an I 5 fiber to an I * 1 , including the information of which fiber component the section intersects in codimension one, all the possible consistent configurations of the I * 1 fiber components with the section are listed in the third column, using the notation described in section A.1. There are multiple configurations of the curves inside the section where all of the fiber curves have the same intersection numbers with the section, these are collected and the intersection numbers particular to those configurations are listed in the second column. These intersection numbers are the relevant datum for the computation of the U(1) charges. The tuples of intersection numbers do not include the curves which do not split as their intersection numbers are always uniquely fixed by codimension one.  Table 10. For each of the three configurations of a section, σ, with the codimension one components it is listed for the phases 1 -8, which are the distinct enhancements from I Table 11. Similar to table 10, all the configurations of the curves of the I * 1 fiber with the section σ are listed for the codimension one configurations of the section and the phases 9 -16, which were listed previously in table 8. The configurations are again listed with the notation of section A.1. There can be multiple configurations of the curves with the section which have the same intersection numbers, and thus the same U(1) charges, and these are collected together inside each phase and codimension one configuration.

JHEP09(2015)144
B Charge comparison to singlet-extended E 8 In [24] U(1) charges for SU(5) models that come from a Higgsing of E 8 , extended by non-E 8 singlets, are determined. What is considered is the decomposition of the adjoint of E 8 → SU(5) × U(1) 4 , which is then augmented by additional singlets carrying different charge under the abelian U(1) 4 such that for every pair of 5 and 5 representations of SU (5) coming from the decomposition of E 8 there exists a singlet such that the coupling 155 is uncharged under the U(1) 4 . Various singlets can be Higgsed to produce models with fewer abelian symmetries, and determine the tree of possible theories arising from this singletextension of E 8 . In this appendix the charges found from this analysis, listed in tables 2.1 and 2.2 of [24], are compared to the possible U(1) charges determined in the main body of this paper. In summary, it is found that the charges appearing in descendants of the singlet-extended E 8 form a strict subset of the charges found herein. Consider first the single U(1) models from the singlet-extended E 8 . There are eleven such models listed in [24], which all have U(1) charges 16 that are subsets of one of the following three classes of charges respectively, as determined in sections 4 and 5 for the 5 and 10 matter. There are some U(1) charges which come from the analysis of configurations of the fiber curves with the section which do not appear to arise from the singlet-extended E 8 . The missing charges are • In class (1) the charges ±3 for the 10 representation.
• In class (2) the charges −13 and +12 for the 10 and 14 for the 5.
The significance of E 8 is not entirely clear so that this mismatch in the charges of the 10 and 5 matter is perhaps not too surprising. However all the single U(1) models from the singlet-extended E 8 have charges which come from the analysis of the possible configurations of the section in the present paper, as expected. This includes also the singlet charges which appear in [24] as, from the analysis in section 7, the range of singlet charges depends on an integer p, which specifies the normal bundle of one of the curves in 16 Some models have an additional discrete symmetry from the Higgsing of the U(1). This is not relevant for this comparison and will be ignored at this point. 17 There is an overall sign between the charges of class (2) and the I  the I 2 fiber. As we do not know of any constraint on the possible values of p it is possible to tune p such that one realizes the charges in the singlet-extended E 8 analysis.
Moving on to the models with two or more remaining U(1) symmetries after the further Higgsing of the U(1) 4 it appears that there are models which have charges that are not neatly pairs of charges that would be possible for single U(1)s. As discussed in section 9, when there are multiple U(1)s one can consider any linear combination of the U(1) generators and thus produce another U(1) generator, under which the matter will have different charges. To be concrete, consider the model labelled {4, 6, 8} from table 2.1 of [24]. This model has 5 matter with U(1) charges (−4, −4) and (−2, −1), among other 5 matter. Recall that for a single U(1) it was only possible to realize a 5 matter curve with charge −4 in an I (0|1) 5 model, and thus all the 5 matter should have charge, under that U(1), which take values in −14, −9, −4, 1, 6, and 11. The model in question also has 5 matter with charge −2 (or −1 if one studies the second U(1)) which is not one of the possible charges. However, if one designates the two U(1) generators as U 1 and U 2 respectively then one can define two new U(1)s by linear combinations of these, as Now it can be seen that the sets of charges are consistent with the charges listed in the main text for each additional U(1). Indeed with respect to the first new generator U 1 the section σ 2 to which it is associated seems to be an I (0|2) 5 fiber in codimension one, and the section of the second generator, σ 1 , seems to intersect the codimension one fiber as I model. The remaining multiple U(1) models in table 2.1 of [24] which have charges that do not immediately match the charges found in the main body of this paper can all be brought into the form listed here by taking the appropriate linear combination of the U(1) generators, and thus all the U(1) charges found therein can be seen to be U(1) charges that also come from the analysis of how the section can contain curves in the codimension two fiber that has been the focus of this paper.
Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.