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 sections. 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 \bar{5} 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.

section_content: 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 JHEP09(2015)144 group, the Mordell-Weil group, Z n ⊕ Γ, where Γ is a discrete group, the origin of which is the zero-section σ 0. Such a rank n Mordell-Weil group gives rise to n abelian gauge factors in the low energy effective theory, by reducing the M-theory C 3 -form upon the (1, 1)-cycles that are dual to the rational sections. 

Numerous examples of F-theory compactifications with U(1) symmetries are by now well-studied starting with the general theory of realizing the elliptic fiber with one [9], two [10] [11] [12] [13] and three [14] rational sections, toric constructions of various kinds [15] [16] [17] [18], models based on refined Weierstrass fibrations [19] [20] [21] [22], as well as a survey of all local spectral cover constructions [23] or from Higgsing of E 8 [24]. Unfortunately, none of these approaches are both comprehensive, i. e. explore the complete set of possible U(1) symmetries, and at the same time global (in the case of the spectral cover survey and E 8 embedding, which are general but only in terms of local models). 

Clearly it is highly desirable to determine the possible U(1) symmetries in general, as these impose vital phenomenological input, and can lead to potentially non-standard physics beyond the Standard Model (see e. g. [25] ). Furthermore, from a conceptual point of view, it is very appealing to be able to constrain these symmetries from the analysis of the fiber alone. One avenue that would lead in principle to such a general result is to determine the possible realizations of non-abelian gauge groups via Tate's algorithm [26, 27] applied to the elliptic fibrations with extra sections in [9, 11, 12]. This program was pursued in [28, 29], resulting in a large class of new Tate-like models, however, in order to be able to carry out the algorithm, some technical simplifications had to be made, thus potentially jeopardizing the universality of the result. 

In this paper, we propose and provide a systematic analysis and universal characterization of such U(1) symmetries in F-theory. Recall, that matter in a representation R of the gauge group, arises from wrapping M2-branes on irreducible components of the fiber in codimension two. The U(1) charges of such matter multiplets are computed by intersecting the U(1) generator, which is constructed from the rational sections, with these fiber components. To classify the possible charges, one requires the following input: firstly, a complete understanding of the types of codimension two fibers that realize matter, which is now available in [4], and secondly, the possible configurations that the rational sections can take within these fibers. As we will demonstrate, the latter can be constrained in terms of general consistency requirements on P 1 s, i. e. rational curves, in Calabi-Yau varieties. 

The possible codimension two fibers in an elliptic fibration with a holomorphic zerosection can be characterized in terms of classical Coulomb phases of d = 5 or d = 3 N = 2 supersymmetic gauge theories [30] [31] [32] [33] [34] [35], in terms of so-called box graphs [4]. In particular, the box graphs characterize all possible splittings of the codimension one Kodaira fibers into codimension two fibers, which realize matter. In terms of the singular Weierstrass model, these characterize distinct small resolutions, which are connected by flop transitions. 

A rational section is characterized by the property that its intersection with the fiber is one. In codimension one, this implies that the section intersects a single rational curve in the Kodaira fiber transversally in a point. 1 In codimension two, the section can again
section_name: Introduction

section_content: 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 (01) 5

, nearest I (0|1) 5 and next to nearest I (0||1) 5 neighbor P 1 s of the I 5 Kodaira fiber (see figure 3 ). We determine all section configurations for 5 and 10 matter, under the assumption that the sections remain smooth divisors in the Calabi-Yau geometry -the precise setup that enters this discussion is summarized in section 4. 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
section_name: JHEP09(2015)144

section_content: the Mordell-Weil group and the Q-divisors written in [36], φ(σ 1 ). The generator of a U(1) symmetry is an integral divisor and must be a multiple of the above Q-divisor to be orthogonal to the gauge group, that is, it must have the form mφ(σ 1 ) where m is such that the divisor is integral. Normalization of the U(1) charges fixes the multiplier: there must not exist another integral divisor D ∈ H 2 (Y, Z) such that mφ(σ 1 ) = m D for any non-unit m ∈ Z. With a U(1) generator so defined and normalized the U(1) charges will be in the possibilities listed in (1. 1). 

One key realization here is that the analysis of the section configuration holds true for any rational section, and thereby models with multiple sections and thus U(1) n additional gauge symmetry, can be obtained by combining the configurations in our classification. We discuss several examples with multiple U(1)s in section 9. All matter charges and fiber types in codimension two known from explicit models in the literature with one ore more U(1) symmetries appear in our classification, however these form a strict subset of possible charges, and it would indeed be very interesting to construct explicit realizations for the new fiber types. We also compare our charges to the ones obtained from Higgsing E 8 in [24], and find that our class of models is strictly larger than the ones arising from E 8. Regarding the singlets in [24], we provide realizations for all charges of singlets in terms of I 2 fibers with rational sections. A detailed discussion of the comparison to E 8 can be found in appendix B. 

Furthermore, we are able to determine the fiber configurations for singlets, i. e. enhancements from I 1 fibers in codimension one to I 2 fibers in codimension two. Contrary to the remaining part of the paper, this analysis is general only for three-folds. One important criterion for determining the singlets is the contractibility of curves, which is known for three-folds, but not to our knowledge, in the case of four-folds. However, we determine all possible codimension two I 2 fibers with rational sections, without imposing any constraints on the normal bundle degree. This result can be seen as a general study of singlets, and imposing further constraints on the normal bundle to impose contractibility should then reduce these to the set of singlets in four-folds. Finally, we discuss flops of fibers with rational sections. It appears that flops can map out of the class of fibers where the section remains a smooth divisor in the Calabi-Yau, and it would be particularly interesting to study such singular flops in the future. 

Finally, we discuss the possibility, based on the singlet curve classification, to study more general Higgsings of the U(1) symmetry to discrete symmetries, by giving U(1)charged singlets a vacuum expectation value (vev). The case of charge q = 2, 3 singlets and the Higgsing to Z q has recently appeared in [37] [38] [39]. We provide both singlet fibers for higher charges, as well as determine the realization of the various KK-charges, i. e. intersections with the zero-section. 

The plan of this paper is as follows. In section 2 we summarize all the necessary information about codimension two fibers from [4]. Furthermore, we extend that analysis, and determine the Coulomb phases for SU(n) gauge theories with a general (not necessarily the one arising from U(n)) additional U(1) symmetry. In section 3, we discuss rational curves in Calabi-Yau three-and four-folds, and determine constraints on their normal bundles. These results will be an important input and constraining factor in our analysis.
section_name: JHEP09(2015)144

section_content: 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.
section_name: JHEP09(2015)144

section_content: 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).
section_name: Coulomb phases and fibers

section_content: 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
section_name: Box graphs and Coulomb phases

section_content: 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

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

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
section_name: JHEP09(2015)144

section_content: 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

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

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

(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 ε.
section_name: JHEP09(2015)144

section_content: ε 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 ε(λ). 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.
section_name: Each phase Φ R

section_name: JHEP09(2015)144

section_content: 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:

Fact 2. 2. 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. 

2. 

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 ). 

(

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
section_name: Box graphs and singular fibers

section_content: 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. 

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

(2. 18)

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
section_name: JHEP09(2015)144

section_content: 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.
section_name: JHEP09(2015)144

section_content: 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 φ, (λ i ; q) ≡ φ, λ i + qφ u = 0, (

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 : (-1, 1, 0, 0)

λ 5 : (0, 0, 0, -1). 

(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 ε : 5 q → {±1} such that the inequalities

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.
section_name: U(1)-extended Coulomb phases

section_content: 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) implies φ, λ i -λ i+1 > 0. 

(2. 24)

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,

(2. 25)

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.
section_name: JHEP09(2015)144

section_content: 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
section_name: Rational curves in Calabi-Yau varieties

section_content: 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.
section_name: JHEP09(2015)144

section_content: 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. 

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 0

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

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.
section_name: Rational curves and normal bundles

section_content: 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. 

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

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.
section_name: JHEP09(2015)144

section_content: 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 Corollary 3. 

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
section_name: Calabi-Yau three-folds

section_content: 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. 

the short exact sequence of normal bundles in Theorem 3. 2 splits and

and there exists a non-trivial embedding

and

and there exists a non-trivial embedding

and

(iv) More generally, there is an embedding (without loss of generality m ≥ -1)
section_name: JHEP09(2015)144

section_content: 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. 

Proof. [50, 51].
section_name: JHEP09(2015)144

section_content: 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 gain, 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

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. JHEP09(2015)144

) and D contains a surface S, which is ruled by C, then

and the short exact sequence (3. 15) splits

and

Proof. (i) If there is a surface in D which is ruled by C then there is an embedding 1 ) 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

)

JHEP09( 2015 )144

, then there is an injection

The values for a and b are constrained to be

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.
section_name: Calabi-Yau four-folds

section_content: 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.
section_name: SU(5) × U(1) with 5 matter

section_content: 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.
section_name: Setup and scope

section_content: (3. ) The codimension one locus in the base of the fibration, above which there are singular fibers I 5, is smooth. 

(4. ) The U(1) generator is an integral divisor normalized as described after (4. 6). 

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.
section_name: JHEP09(2015)144

section_content: 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,

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

3)

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],

corresponding to the three configurations shown in figure 3. The U(1) generator comes from the Shioda map as applied to the extra rational section, σ 1. The Shioda map associates to a rational section σ 1 an element S(σ 1 ) in H 2d-2 (Y, Z), where d is the complex dimension of Y, which is perpendicular to all horizontal divisors (i. e. divisors pulled back from the base), the zero section as well as the Cartan divisors, JHEP09(2015)144, 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 S(σ 1 )

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.
section_name: Codimension one fibers with rational sections

section_content: 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 JHEP09(2015)144 σ 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

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

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.
section_name: Normal bundles in elliptic Calabi-Yau varieties

section_content: 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
section_name: Three-folds

section_content: 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

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)

and

. 17)
section_name: JHEP09(2015)144

section_content: 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

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 F i ⊂ S i ⊂ σ as well as F i ⊂ σ ⊂ Y we infer from 3. 8 (ii) that

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.
section_name: Four-folds

section_content: 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

1 Case (b). 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 combinations

do not have any solution in an I 6 fiber. 

In summary we obtain the following configurations:

Making use again of the bound (4. 13), the solutions to σ

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. 

(b) σ • Y F q = 1: either F q ⊂ σ and has one transverse intersection, or F q ⊂ σ then deg(N Fq/σ ) = -3. 

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 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 (σ

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. 

JHEP09(2015)144

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 σ

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

, 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 -⊂ σ:
section_name: Codimension two fibers with rational sections

section_content: from table (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)-

(b) σ • Y F p = 1: table (4. 31) implies there are four configurations of this type:

Again, just as in the last paragraph, the entire fiber needs to be contained in σ with deg(N This completes the analysis of what fiber configurations in codimension two are possible with one rational section.
section_name: JHEP09(2015)144

section_content: 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 (σ

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.
section_name: Compilation of fibers

section_content: • 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 σ

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.
section_name: JHEP09(2015)144

section_content: 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 S(σ 1 )

In particular, if, S f is trivial, and for the remaining codimension one fiber types they are listed in tables 1 and 2.
section_name: U(1) charges

section_content: local enhancement to I 6. 

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 charge is computed by intersecting the Shioda map S(σ 1 ) (4. 42) with the split curves C + and C -. The result is shown for all codimension one fiber types in figures 7, 8, and 9. Each of the figures contains the information Caption for figures 7, 8, and 9:

(4. 44)

• 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.
section_name: JHEP09(2015)144

section_content: • 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 for 5 (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.
section_name: JHEP09(2015)144

section_content: 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 (σ

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 The Shioda map for an I (0| m 1) n fiber is then of the form

JHEP09(2015)144 -34 - -35 -
section_name: SU(n) × U(1) with fundamental matter

section_content: 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

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

The subset of charges that exist in every phase is

While these are the charges that appear in every phase for every m, there are some special end-point values of m for which extra charges appear in all phases. When m = 1 or m = n -1 then charges m + 2n and m -3n respectively appear in all phases. In addition, when m = 0 the tables degenerate on top of each other and the charge m + 2n appears in all phases. In the phase where F 0 splits there is a new charge m + 3n from

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.
section_name: JHEP09(2015)144

section_content: (g)

Components which are coloured red are wrapped by the section, and the red numbers indicate the normal bundle degree of that curves inside the divisor σ. A red node indicates that the section intersects that component transversally.
section_name: JHEP09(2015)144

section_content: 144

Table 3. The U(1) charges of all the possible wrapping combinations of the codimension one I
section_name: JHEP09(2015)

section_content: 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.
section_name: SU(5) × U(1) with 10 matter

section_content: 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, (A)

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
section_name: Codimension two Fibers with Rational sections

section_content: 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 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 JHEP09(2015)144 In this way configurations of curves inside the section with particular intersection numbers can be constructed.
section_name: JHEP09(2015)144

section_content: The possible codimension two fibers are obtained by combining the σ 0 and σ 1 configurations appearing in the same phase. The U(1) charges of the 10 representation for each such combined configuration are determined from the C + /C -intersections with the sections listed in the figures and the appropriate Shioda map (4. 42). The results are shown in table 4. 

Each entry in the table lists the possible charges in each phase for a particular codimension one fiber type, and is summarized in terms of the following set of possible charges:

U(1) charges of 10 matter for

∈ {-15, -10, -5, 0, +5, +10, +15}

∈ {-9, -4, +1, +6, +11}. 

(5. 4)
section_name: U(1) charges

section_content: Phase I (01) 5

charges

+3, +8, +13 -9, -4, +1, +6, +11 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.
section_name: JHEP09(2015)144

section_content: 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].
section_name: Flops and rational sections

section_content: 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 JHEP09(2015)144 codimension two, are

whereas if F p → C + + C -becomes reducible in codimension two, then each of the irreducible components

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 and D 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 : D2 → D 2 the canonical class changes by the new curve, C + 2,
section_name: Flops and intersections

section_content: 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

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 in D2 or D, so the blow down does not affect the normal bundle of Č-2 in D2 or of Č+ 1 in D. 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.
section_name: JHEP09(2015)144

section_content: 1 flop Consider the flop of the curve C + 3,4 depicted in figure 15. In this case it is simpler to consider first blowing down this curve, and then blowing up. The starting configuration, shown on the left of figure 15, appears in phase 6 of table 10 where the section intersects F 1 in codimension one. The splitting in this phase is given by,

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,
section_name: An I *

section_content: 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 divisors DF 4, σ1 and DF 2 in phase 8 is computed by always pulling back to one of the resolved geometries,

In the above, the second equality sign holds as the canonical class of ĎF 4 and σ1 is unchanged by the blow up π 2. 

Thus the curve C + 2,4 has normal bundle degree (-1, -1) in the flopped geometry which is exactly what we expect from the splitting in phase 8. The flop discussed here exactly reproduces what was claimed in the previous section: a curve contained inside the section is flopped to one which intersects it at a point.
section_name: JHEP09(2015)144

section_content: 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

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 JHEP09(2015)144 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.
section_name: Flops to singular sections

section_content: 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.
section_name: Singlets

section_content: 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
section_name: Constraints on singlet curves

section_content: 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.
section_name: JHEP09(2015)144

section_content: 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.
section_name: Singlets in three-folds

section_content: 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.
section_name: Normal bundle constraints

section_content: 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) 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:

The lower bound on σ • Y C -is achieved by C -⊂ σ, with deg(N C -/σ ) = -1. 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. JHEP09(2015)144

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 p = -1 or 0. (7. 14)

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. 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.
section_name: JHEP09(2015)144

section_content: 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 (σ

(1, 0), (0, 1), (-p -2, p + 3). 

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 +. The configurations for case B are (p is constrained in the (*)'ed configurations as in (7. 20), (7. 13) and (7. 14), respectively)
section_name: JHEP09(2015)144

section_content: 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 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

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))

JHEP09(2015)144 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.
section_name: JHEP09(2015)144

section_content: 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 The charges are dependent on p, appearing in (7. 5), which defines the normal bundle of C +. Singlet configurations (I 2 fibers in the presence of an one additional rational section) with charges S(σ 1 )
section_name: Compilation of fibers and U(1) charges

section_content: 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 when p = -1

Finally, we compare the singlet charges found above with those required for every 5q 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 of 5 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.
section_name: JHEP09(2015)144

section_content: 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
section_name: Singlets in four-folds

section_content: 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 additional rational section, as otherwise there is a monodromy reduction from I 7 to I 6.
section_name: JHEP09(2015)144

section_content: Like in the splitting from codimension one to two that we analyzed in section 4. 4, we require various conditions on the intersection numbers of the section σ with the fiber components to be retained, when passing from codimension two to three:

1. The section σ intersects the fiber as σ • Y Fiber = 1. 

2. Let C be a rational curve in the fiber, which remains irreducible when passing from codimension two to codimension three, and let S C ⊂ σ, i. e. matter surface obtained by fibering C over the matter locus is not contained in the section, but let C be contained in σ in codimension three. Then σ • Y C needs to be preserved in codimension three.
section_name: Codimension three fibers with rational sections

section_content: 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]. 

JHEP09(2015)144 (i) is a schematic depiction of an I * 1 fiber and (ii) is this I * 1 fiber in the configuration (1123-x). As usual if a component is colored red then it is contained inside the section, and the red integer adjacent to the component is the degree of the normal bundle to that component in the section. A red node indicates an additional transverse intersection with the section.
section_name: JHEP09(2015)144

section_content: 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.
section_name: A Details for anti-symmetric matter

section_content: 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 "-". 

JHEP09(2015)144
section_name: A.1 Codimension two I *

section_content: 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

F 0 → C - 1,2 + F 2 + F 3 + F0 and I (0||1) 5

for phases 9-16.
section_name: A.2 Compilation of codimension two fibers

section_name: Acknowledgments

section_content: We thank Andreas Braun, Herb Clemens, Thomas Grimm, Denis Klevers, Dave Morrison, Eran Palti, Damiano Sacco and in particular Dima Panov for numerous discussions. This work is supported in part by the STFC grant ST/J002798/1.
section_name: Acknowledgments

section_name: JHEP09(2015)144

section_content: 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.
section_name: JHEP09(2015)144

section_content: 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.
section_name: Codimension three fibers and Yukawa couplings

section_content: 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 and 5 × 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

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

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 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

)

14 Note that the codimension three fiber is not unique, but only unique in terms of the intersection numbers. This is similar to the codimension two fibers, where, for example, σ •Y F = 1 can be either realized in terms of a transverse intersection, or in terms of F ⊂ σ with deg(N F/σ ) = -3. These ambiguities however do not change the charges or, in the case of codimension three, the possible Yukawa couplings. 

JHEP09(2015)144. 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

Likewise we can consider the conjugate field, given by the curve (so to speak the other half of the cut I 7 fiber)
section_name: Codimension three fibers and phases

section_content: 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. 

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, and F 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

and

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.
section_name: JHEP09(2015)144

section_content: The analysis shown in the preceding sections has been for a single additional rational section of the elliptic fibration, which generates one U(1) symmetry. This can be extended to the case of elliptic fibrations with multiple rational sections, which generates multiple U(1) symmetries. Furthermore, based on the classification of singlets, we can consider the possible Higgsings of the abelian symmetry to discrete subgroups. The case of partial Higgsing of multiple U(1)s is left for future work. 

JHEP09(2015)144
section_name: Multiple U(1)s and Higgsing

section_content: The set of rational sections, σ i, in an elliptic fibration generate the Mordell-Weil group, which is a finitely generated abelian group

where n is the number of rational sections in the fibration and Γ is the discrete part of the Mordell-Weil group, which we do not consider here. The zero-section σ 0 is the origin of the Mordell-Weil group, and σ i, i = 1, • • •, n, are the generators of the free part. 

The key point to note is that our analysis for one rational section applies independently to each generator of the free part of the Mordell-Weil group. The set of configurations for each section in an I k → I k+1 enhancement is therefore just given by those in figures and 11, where the section, σ i, is taken to intersect F m i in codimension one. One can then construct the Shioda map, S(σ i ) for each section, which defines the generator of the abelian gauge factor U(1) i. Let us consider an example with two additional rational sections, σ and σ 2, where the codimension one fiber type is

, as depicted in figure 21. For each phase, the possible charges for 5 matter under U(1) 1, are given in figure 8 (modulo the fully wrapped configurations). To each of these one can overlay a configuration for σ 2 in the same phase and compute the charge under U(1) 2 by intersection C ± with

Further, consider σ 1 such that q 5 = -4 in the phase where F 2 splits. This is shown in figure 21. This configuration can be combined with any one of the three possible configurations for σ 2, each of which gives a different charge under U(1) 2. Repeating this for every configuration in all phases gives the full set of charges for this codimension one fiber. Following this procedure we determine all possible combinations, and it can be shown that all known explicit realizations of models with multiple U(1) factors form a subclass of the models obtained here.
section_name: Multiple U(1)s and rational sections

section_content: In section 7 the set of possible codimension two I 2 fibers with rational sections were determined along with the corresponding singlet charges. One application of this result is to use such U(1) charged singlets to Higgs the U(1) symmetry to a discrete subgroup Z q. Examples of such Higgsing have recently been considered in [37] [38] [39] 15 for q = 2, 3. Though Higgsing different singlet configurations of the same charge leads to the same discrete symmetry in the F-theory compactification, this was shown not to be the case upon the circle reduction to M-theory. This can be seen field theoretically by reducing F-theory in 6d along an S 1 to M-theory in 5d [37-39, 61, 62]. Turning on a vacuum expectation value for the Higgs field, S q, of charge q breaks the U(1) in F-theory to Z q. Starting in 6d, and compactifying to 5d on a circle, the masses of the Kaluza-Klein modes are labeled by the charge q, the mode number (or KK-charge) n and the Wilson line ξ along the circle

15 Other discussions of discrete symmetries in F-theory compactifications without section (i. e. genus one fibrations) have appeared in [18, 22, [60] [61] [62] 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

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.
section_name: Higgsing and discrete symmetries

section_content: 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
section_name: Discussion and outlook

section_content: A. 1

(-1,1,-1,1) (1231--), (1231-3), (12313-), (123133) (0,0,0,0) (----x-), (2222-2), ( 222232 )

(1,-1,1,-1) (-213-1), (3213-1), (-21331), (321331) 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.
section_name: Splitting type Intersection numbers Configurations

section_content: Phase Configurations 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 to I * listed in table 7, the possible consistent configurations of the curves of the I * fiber with the section, in the notation of section A. 1. Configurations of the same phase and codimension one configuration that are not separated by a horizontal divider have the same intersection numbers between all the curves of the I * 1 fiber and the section.
section_name: JHEP09(2015)144

section_content: Phase Configurations

(1223-1), ( 122331 ) 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.
section_name: JHEP09(2015)144

section_content: 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

For each of the three classes there is at least one model which realizes matter representations with all of the charges in that class. These three classes have charges which are subsets of the charges 17 from the three codimension one fiber types, I

, I

, and

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. 

• In class (3) the charges -9 and +11 for the 10 and -13 and +12 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 (0|1) 5

codimension one configurations which were listed in figure 8.
section_name: JHEP09(2015)144

section_content: 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

Under this new pair of U(1) generators the charges of the 10 and 5 curves in the model {4, 6, 8} transform as (2, 1) (4, 1) (-3, 0) (-1, 0) (-6, -1) (-1, 1).
section_name: JHEP09(2015)144

section_content: 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 (01) 5

. The {4, 6, 8} model can be seen to come from an enhancement of an I (01|2) 5 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.
section_name: (B.3)