Abelian F-theory models with charge-3 and charge-4 matter

This paper analyzes U(1) F-theory models admitting matter with charges q = 3 and 4. First, we systematically derive a q = 3 construction that generalizes the previous q = 3 examples. We argue that U(1) symmetries can be tuned through a procedure reminiscent of the SU(N ) and Sp(N ) tuning process. For models with q = 3 matter, the components of the generating section vanish to orders higher than 1 at the charge-3 matter loci. As a result, the Weierstrass models can contain non-UFD structure and thereby deviate from the standard Morrison-Park form. Techniques used to tune SU(N ) models on singular divisors allow us to determine the non-UFD structures and derive the q = 3 tuning from scratch. We also obtain a class of a q=4 models by deforming a prior U(1) × U(1) construction. To the author’s knowledge, this is the first published F-theory example with charge-4 matter. Finally, we discuss some conjectures regarding models with charges larger than 4.


Introduction
A key objective of the F-theory program is determining which charged matter representations can arise in F-theory models, a task with important implications for the landscape and swampland. Clearly, we cannot characterize the full landscape of F-theory models without knowing all of the representations that can be realized in F-theory. At the same time, one may find that certain representations cannot be obtained in F-theory, even when the corresponding matter spectra satisfy the known low-energy conditions. This scenario would inspire a variety of questions, such as whether these representations could be attained through other string constructions or whether some previously unknown low-energy condition could explain the absence of these representations. And from a more mathematical perspective, exploring F-theory compactifications with different representations can tell us about the scope of Calabi-Yau geometries. Because of these ramifications, there has been much interest in developing techniques for building F-theory models with various matter spectra. For non-abelian groups, this line of inquiry has led to F-theory constructions admitting a wide range of representations [1][2][3][4][5][6]. Abelian constructions and their matter spectra have been a focus of the F-theory literature as well, both in purely abelian situations and in contexts with additional non-abelian groups [4,5,. In fact, classifying the possible charges of abelian F-theory models has an additional phenomenological importance given the role extra U(1)'s play in F-theory GUT model building [7,[30][31][32]. Nevertheless, the issue of how to construct an F-theory model with a desired abelian charge spectrum remains challenging, even for models with only a U(1) gauge group. In particular, there are open questions regarding the construction of models with charges q > 2 (in appropriately quantized units). The goal of this work is to provide new insights into F-theory models admitting q = 3 and q = 4 matter, with the hope that these ideas can inform our understanding of models with arbitrary charges.
The reason for the more challenging nature of abelian F-theory models lies in the different manifestations of non-abelian and abelian symmetries. F-theory models in 12 − 2d dimensions are constructed using a Calabi-Yau d-fold that is an elliptic fibration over a base B. Non-abelian gauge symmetries occur when the fiber becomes singular along a codimension one locus in B, while charged matter often occurs at codimension two loci with singular fibers. The codimension one singularity types and their corresponding non-abelian gauge algebras have already been classified [33][34][35][36], and in many cases, one can relate the codimension two singularity types to different charged matter representations [1,2,37]. These dictionaries provide a strategy for constructing an F-theory model admitting a particular gauge group and charged matter spectrum. One first reads off the singularity types and loci that produce the desired gauge data. Then, one determines the algebraic conditions that make the elliptic fibration support the appropriate singularities. This process, known as tuning, has been used to systematically construct a variety of non-abelian gauge groups and charged matter [2,6,38].
In contrast, abelian gauge groups are not associated with elliptic curve singularities along codimension one loci. They instead arise when there are additional rational sections of the elliptic fibration, such that the elliptic fibration has a non-trivial Mordell-Weil JHEP05(2018)050 group [11,12,34]. Thus, the usual procedures for obtaining non-abelian groups do not carry over to abelian groups in an immediately obvious way, making the construction of F-theory models with abelian gauge symmetries more difficult. Take, for example, the question of how to construct an F-theory model with a single U(1) gauge group and no additional non-abelian groups. There is a well known U(1) construction, the Morrison-Park model [12], but it admits only q = 1 and q = 2 matter. [22] presented a construction supporting q = 3 matter, which was found within a set of toric models. However, this construction was found somewhat by chance, raising the question of whether it could be systematically derived from scratch. That is, instead of looking within a set of models, could someone start with the goal of finding a q = 3 model and follow a series of steps to obtain this construction? The Weierstrass model also has a structure quite different from the Morrison-Park form, posing the related question of whether we can understand how and why the structures differ. While there has been some discussion of F-theory models with q = 4 matter [39], there is, to the author's knowledge, no published U(1) model with charges q ≥ 4. This makes an understanding of q = 3 models all the more important, as the features that distinguish the q = 3 construction from the Morrison-Park form would likely play a role in q ≥ 4 models as well.
This work presents a systematic method for tuning a q = 3 construction and presents a class of models admitting q = 4 matter. A central theme is that the presence of q ≥ 3 matter is tied to the order of vanishing of the section components. As is well known from [12], q = 2 matter occurs when the components of the section vanish on some codimension two locus; in Weierstrass form, theẑ,x, andŷ components vanish to orders 1, 2, and 3. In the models discussed here, the section components vanish to higher orders at the q ≥ 3 loci, directly affecting the structure of the Weierstrass model. For instance, theẑ component of the q = 3 construction vanishes to order 2 on the q = 3 locus, reminiscent of a divisor with double point singularities. As discussed in section 3, one can build abelian F-theory models through a process similar to the SU(N ) and Sp(N ) tuning procedure. Instead of making the discriminant proportional to a divisor supporting a non-abelian symmetry, we tune quantities to be proportional to theẑ component of the section. Whenẑ vanishes to orders larger than 1, the tuning process allows for structures associated with rings that are not unique factorization domains (UFDs); these structures can be derived using the normalized intrinsic ring technique of [6]. Following the procedure leads to a generalization of the previous q = 3 construction in [22], with a direct link between the specific structures in the q = 3 Weierstrass model and the singular nature ofẑ. We also obtain a q = 4 F-theory construction by deforming a previous U(1) × U(1) construction from [4]. To the author's knowledge, this is the first published F-theory example admitting q = 4 matter. While we do not derive this construction using the normalized intrinsic ring, the section components of the q = 4 construction vanish to higher orders as well, and the Weierstrass model contains structures suggestive of non-UFD behavior.
The rest of this paper is organized as follows. Section 2 reviews some aspects of abelian groups in F-theory that are important for the discussion. Section 3 describes how abelian symmetries can be tuned and uses the process to systematically derive a q = 3 construction. In section 4, we construct and analyze a construction admitting q = 4 matter. Section 5

JHEP05(2018)050
includes some comments about q > 4 models, while section 6 summarizes the findings and mentions some directions for future work. There are accompanying Mathematica files containing expressions for the constructions derived here; details about these Mathematica files are given in appendix A.

Overview of abelian gauge groups in F-theory
In this section, we review those aspects of F-theory that are necessary for the rest of the discussion. We will not be too detailed here, instead referring to the mentioned references for further details. More general reviews of F-theory can be found in [40][41][42].
F-theory can be described from either a Type IIB perspective or an M-theory perspective. In the Type IIB view, an F-theory model can be thought of as a Type IIB compactification in which the presence of 7-branes causes the axiodilaton to vary over the compactification space. The axiodilaton is represented as the complex structure of an elliptic curve, and the F-theory compactification involves an elliptic fibration X over a compactification base B. In this paper, we will assume that the base B is smooth. Mathematically, the elliptic fibration can be described using the global Weierstrass equation (2.1) [x : y : z] refer to the coordinates of a P 2,3,1 projective space in which the elliptic curve is embedded, and f and g are sections of line bundles over B. To guarantee a consistent compactification that preserves some supersymmetry, we demand that the total elliptic fibration X is a Calabi-Yau manifold by imposing the Kodaira constraint: f and g must respectively be sections of O(−4K B ) and O(−6K B ), where K B is the canonical class of the base B. The Weierstrass equation is often written in a chart where z = 0, in which case the x, y, z coordinates can be rescaled so that z = 1. This procedure leads to the local Weierstrass form commonly seen in the F-theory literature. Note that the elliptic fiber is allowed to be singular along loci in the base. Codimension one loci with singular fibers are associated with non-abelian gauge groups, while codimension two loci with singular fibers are associated with charged matter. F-theory can also be understood via its duality with M-theory. To illustrate the idea, let us first consider M-theory on T 2 . Shrinking one of the cycles in the T 2 leads to Type IIA compactified on S 1 , which is dual to Type IIB on S 1 . The radii of the circles in the dual Type II theories are inverses of each other, and if we shrink the Type IIA circle, the circle dimension on the Type IIB side decompactifies. Similarly, we can consider M-theory on a smooth, elliptically fibered CY d-fold. Roughly, applying the above shrinking procedure fiberwise gives a Type IIB theory on the base B with a varying axiodilaton τ . This Type IIB model can then be thought of as an F-theory model on an elliptically fibered CY d-fold. Of course, the full duality involves several subtleties not captured in the discussion above, particularly with regards to singularities and the details of the shrinking procedure. While JHEP05(2018)050 these issues are not too crucial for the discussion here, readers interested in further details can consult, for instance, [43,44].

Elliptic curve group law
The ultimate goal of this section is to describe rational sections of elliptic fibrations and their relation to the abelian sector of F-theory models. However, it is helpful to first describe the addition law on elliptic curves, as it plays an important role in the discussion. This subsection is largely based on [45], to which we refer for further details.
The points of an elliptic curve form an abelian group under an addition operation that we denote [+]. To describe the addition law, we first identify a particular point Z as the identity of the group. Given two points P and Q, we find P [+]Q by first forming a line that passes through both P and Q; if P and Q are the same point, we instead form the tangent line to the elliptic curve at P . This line intersects the elliptic curve at a third point R. We then form the line that passes through R and the identity point Z (or if Z = R, the tangent line to the elliptic curve at Z). This second line again intersects the elliptic curve at a third point, which is taken to be P [+]Q. One can show that the addition law satisfies all of the axioms for an abelian group. In particular, the inverse of a point P , which is denoted as −P , is found through the following procedure. First, we form the tangent line to the elliptic curve at Z, which intersects the elliptic curve at a point S. Then, −P is the third intersection point of the line passing through S and P .
It is useful to have explicit expressions for the addition law when the elliptic curve is written in the global Weierstrass form (2.1). The identity element Z is typically chosen to be the point [x : y : z] = [1 : 1 : 0]. Note that, in Weierstrass form, Z is a flex point, 1 as the tangent line at Z intersects the elliptic curve at this point with multiplicity 3; in other words, the tangent line at Z does not intersect the elliptic curve at any point other than Z. Given two points P = [x P : y P : z P ] and Q = [x Q : y Q : z Q ], P [+]Q has coordinates 2 Meanwhile, the point P [+]P = 2P has the coordinates While Z is a flex point in Weierstrass form, the identity element may not be a flex point when an elliptic curve is written in other forms. This subtlety is particularly relevant for the P 2 form of the q = 4 elliptic fibration in section 4.
2 If desired, one could use the Weierstrass equation to eliminate f and g and rewrite (2.3) through (2.5) entirely in terms of the P and Q coordinates. Additionally, the elliptic curve addition formula is typically written in a chart where z = 1. After setting zP and zQ to 1 in the expressions and eliminating f and g, one recovers the standard form given in, for example, appendix A of [12].

JHEP05(2018)050
Note that the 2P expressions do not follow directly from plugging z Q = z P , x Q = x P , y Q = y P into (2.3) through (2.5), as all of the section components in (2.3)-(2.5) vanish with this substitution. For a point P = [x P , y P , z P ], the inverse −P is simply [x P : −y P : z P ].

Rational sections, the abelian sector, and the Mordell-Weil group
Unlike the non-abelian sector, the abelian sector of the gauge group is not associated with codimension one loci in the base with elliptic curve singularities. Instead, the abelian sector is associated with rational sections of the elliptic fibration. For our purposes, an F-theory construction will always have at least one rational section, the zero sectionô. 3  But an elliptic fibration may have additional rational sections. In fact, these rational sections form a group, known as the Mordell-Weil group, under the addition operation described in section 2.1, withô serving as the identity [50]. According to the Mordell-Weil theorem [51], the group is finitely generated and takes the form G is the torsion subgroup, with every element of G having finite order; the torsion group will not be important for the purposes of this paper. r meanwhile is called the Mordell-Weil rank.
If an elliptic fibration has Mordell-Weil rank r, the abelian sector of the corresponding F-theory model includes a U(1) r gauge algebra [11,12,34]. The justification for this statement is most easily seen in the dual M-theory picture, as discussed in [11]. For concreteness, let us restrict ourselves to 6D F-theory models, although similar arguments apply in 4D. Additionally, we assume there are no codimension one singularities apart from the standard I 1 singularity, as we are not interested in situations with non-abelian symmetry. Consider M-theory compactified on a resolved elliptically fibered Calabi-Yau threefoldX. M-theory onX is a 5D model that, in the F-theory limit, leads to a 6D N = 1 F-theory model. According to Poincaré duality, there is a harmonic two-form ω for every four-cycle Σ inX. The two-forms serve as zero-modes for the M-theory three-form C 3 , and we can expand C 3 using a basis of two-forms. In other words, we write C 3 as a sum of terms of the form A ∧ ω; the one-forms A represent vectors in the 5D theory. Thus, to find the vectors of the 6D F-theory model, we consider a basis of four-cycle homology classes of X, find the corresponding 5D vectors A, and track the sources of these 5D vectors in the 6D F-theory model.
When there are no codimension one singularities (apart from I 1 singularities), there are three types 4 of four-cycle homology classes that are of interest: the homology class JHEP05(2018)050 Z associated with the zero section, the homology classes S 1 through S r associated with the r generators of the Mordell-Weil group, and the homology classes B α that come from fibering the elliptic curve over two-cycles in the base. 5D vectors associated with Z and B α do not correspond to gauge bosons in the 6D F-theory model. Instead, they arise from the KK reduction of either the metric or tensors in the 6D F-theory model. But 5D vectors associated to S 1 through S r come from vector multiplets in the 6D model. These are the gauge bosons for the U(1) r gauge group.
However, the 5D vectors do not directly correspond to the S i but are rather associated with combinations of S i with Z and the B α . At least informally, we must isolate the part of the S i that is orthogonal to the other four-cycles. This is done using the Tate-Shioda map σ, which is a homomorphism from the Mordell-Weil group to the homology group of four-cycles. For a situation with no codimension one singularities, the Tate-Shioda map is given by [12] where K α B are the coordinates of the canonical class of the base written in the basis B α . Thus, the U(1) gauge bosons are actually associated with the homology class σ(ŝ i ), and the Tate-Shioda map plays an important role in physical expressions.
An important property of a rational sectionŝ, particularly for anomalies, is its height h(ŝ). The height is a divisor in the base given by [12] h(ŝ) = −π (σ(ŝ) · σ(ŝ)) , (2.12) where π is a projection onto the base. For a 6D F-theory model with no codimension one singularities apart from I 1 singularities, the height can be expressed in a simpler form [12,26]: where S is the homology class of the sectionŝ. This expression can often be simplified further. Suppose that, in global Weierstrass form, the section has coordinates [x :ŷ :ẑ]. Additionally, assume that the coordinates have been scaled so that they are all holomorphic and that there are no common factors betweenx,ŷ andẑ that could be removed by rescalings. We can consider a curveẑ = 0 in the base, and we denote the homology class of this curve [ẑ].ŝ coincides with the zero section at loci in the base whereẑ = 0, so the height is given by [12,26] (2.14) Since the height is written entirely in terms of homology classes of the base, this expression is useful for calculations, particularly those related to anomaly cancellation. Note that if there are multiple generators, one may be interested in a height matrix, which includes entries such as −π (σ(ŝ i ) · σ(ŝ j )) for distinct generatorsŝ i andŝ i . Here, we are primarily interested in situations with a rank-one Mordell Weil group, so this generalized form will not be too important.

Charged matter
Even though the abelian gauge symmetry is not associated with codimension one singularities, charged matter still occurs at codimension two loci with singular fibers, as discussed in [11]. Again, we restrict ourselves to a model with an abelian gauge group but no additional non-abelian gauge groups. The model has various codimension two loci with I 2 singularities. After these singularities are resolved, the fibers at these codimension two loci consist of two P 1 s which intersect each other at two points. One of the components, the one containing the zero section, can be thought of as the main elliptic curve, with the other component being the extra P 1 introduced to resolve the singularity. In the M-theory picture, charged matter arises from M2 and anti-M2 branes wrapping this extra component.
To calculate the charge of this matter, we must examine the M2 brane world-volume action. The action contains a term of the form C 3 , where the integral is over the M2 brane world-volume. For the situation at hand, the M2 brane wraps a component c of the singular fiber. C 3 meanwhile has an expansion involving terms of the form A ∧ ω, where ω is a harmonic two-form of the resolved CY manifoldX. Integrating over the c component leads to a term in the action of the form A over a world-line, thereby giving the action for charged matter. The charge comes from integrating the two-form ω associated with the U(1) gauge boson A. However, for a CY n-fold, each ω is dual to a (2n − 2)-cycle Σ, and for any two-cycle c, (2.15) The gauge boson A for a generatorŝ in the Mordell-Weil group is associated with σ(ŝ). Therefore, the charges supported at an I 2 locus are given by The sign corresponds to whether c is wrapped by an M2 brane or an anti-M2 brane. In situations without additional non-abelian symmetries, the charge formula reduces to [11,12] q = (S − Z) · c. (2.17) For a generating sectionŝ = [x :ŷ :ẑ], charged matter occurs at [12,15] y = 3x 2 + fẑ 4 = 0.
(2.18) Clearly, the above condition is satisfied if all of the components of the section vanish at some codimension two locus. Not only is the elliptic fiber singular when this happens, but the section itself is ill-defined. Analyzing such situations requires that we resolve the section, a process described in [12]. Afterwards, the section appears to "wrap" one of the P 1 's of the I 2 fiber. Rational sections typically behave this way at loci supporting q ≥ 2 matter. At q = 2 loci, theẑ,x, andŷ components (in Weierstrass form) vanish to orders 1,2, and 3. As described later, the components vanish to higher orders at loci supporting q ≥ 3 matter. For instance,ẑ vanishes to order 2 for q = 3 loci and order 4 for q = 4 loci. This higher order of vanishing likely affects the way the section wraps components, but we will not significantly investigate resolutions of the q = 3 and q = 4 models here. However, it would be interesting to better understand the wrapping behavior in models with q ≥ 3 matter in future work.

Anomaly cancellation
Any F-theory construction should satisfy the low-energy anomaly cancellation conditions from supergravity. Since 6D is the largest dimension in which supergravity theories can admit charged matter, the 6D anomaly cancellation conditions will be particularly important here as a consistency check on the models. In 6D supergravity models, anomalies are typically canceled through the Green-Schwarz mechanism. However, not all models are anomaly free; in order for anomalies to cancel, the massless spectrum must obey particular conditions. While the anomaly cancellation conditions come from low-energy considerations, they do have a geometric interpretation in F-theory [11], and the conditions can be written in terms of parameters describing the F-theory compactification. The general anomaly cancellation conditions for models with abelian gauge groups are given in [10,11,52]. Here, we restrict our attention to the case of a single U(1) gauge group with no additional gauge symmetries. In the F-theory model, the Mordell-Weil group is generated by a single section, which we refer to asŝ. Suppose the model has a base B with canonical class K B . Then, the gauge and mixed gravitational-gauge anomaly conditions are The index I runs over the hypermultiplets, with q I denoting the charge of the Ith hypermultiplet. h(ŝ) meanwhile is the height of the sectionŝ, as described in 2.2. There are also the pure gravitational anomaly conditions where H, V , and T denote the total number of hypermultiplets, vector multiplets, and tensor multiplets, respectively. Again, the anomaly conditions can be viewed as fully lowenergy supergravity constraints, even though they are phrased here in terms of F-theory parameters. The anomaly conditions can be used to derive two relations that are particularly useful for q ≥ 3 models. The first is the tallness constraint [26] This constraint suggests that a section with large enough h(ŝ) is forced to have some higher charge matter. But the anomaly equations in (2.19) also imply that 5 Specializing to situations where (2.14) applies, this relation can be rewritten as While this work was being completed, the author became aware of the upcoming work [53], which independently derives (2.22) as part of a broader analysis of 6D supergravity constraints. It features a more detailed analysis of this relation along with analogues for situations with multiple U(1) factors.

JHEP05(2018)050
Note that q 2 (q 2 − 1)/12 is 0 for q = 0, 1 and is a positive integer for q ≥ 2. Anomalies therefore directly determine the number of q = 2 hypermultiplets given h(ŝ), K B , and the number of q ≥ 3 multiplets; importantly, the q = 2 multiplicity can be determined without any information about the q = 1 hypermultiplets. As discussed in section 3.5 and section 4.3, this anomaly relation seems to have a direct F-theory realization: it describes the loci where the three components of the section vanish, leaving the section ill-defined. Moreover, every term in the sum on the right-hand side is non-negative, allowing us to conclude that This bound in some sense has the opposite effect as the tallness constraint: if we wish to obtain a model admitting a certain charge q, we must have a sufficiently large h(ŝ). The relation resembles the genus condition [54] for SU(2) F-theory models, although we leave an in-depth exploration of any connection to future work.

Charge-models
While there is a previous F-theory construction admitting q = 3 matter [22], there are still open questions regarding its intricate structure. On the one hand, the construction in [22], which we henceforth refer to as the KMOPR model, was not purposefully constructed with the goal of realizing q = 3 matter. Instead, it was found somewhat by chance in a class of toric constructions. But if we wish to understand ways of obtaining q > 3 models, it behooves us to determine whether we can construct q = 3 models from scratch. That is, rather than searching through a set of constructions with the hope of finding a q = 3 model, could we use general principles and mathematical conditions to directly construct a q = 3 model? Moreover, [5] argued that the structure of the KMOPR model differs from that of the well-known Morrison-Park construction [12]. In [26], it was shown that the KMOPR Weierstrass model is birationally equivalent to one in Morrison-Park form, although the Morrison-Park form Weierstrass model does not satisfy the Calabi-Yau condition. Nevertheless, the analysis in [26] depended on unexpected cancellations between expressions in the KMOPR model. [5,26] hinted that the cancellations could be explained using rings that are not unique factorization domains (UFDs), but they did not describe how to understand or derive the construction's specific structures. This section describes a method for systematically deriving a q = 3 construction. One can construct a Weierstrass model with non-trivial Mordell-Weil rank through a process similar to tuning SU(N ) and Sp(N ) singularities. However, instead of tuning the discriminant to be proportional to some power of a divisor in the base, we tune quantities to be proportional to a power of theẑ component of the section. In non-abelian contexts, models with gauge groups tuned on singular divisors can have non-UFD structure, which can be derived using the normalized intrinsic ring technique discussed in [6]. For the q = 3 construction,ẑ has a singular structure, and the quotient ring R/ ẑ is not a UFD. Starting with an ansatz forẑ, we can use the normalized intrinsic ring to derive a generalization of the KMOPR model. The intricate structure of the q = 3 construction is therefore directly JHEP05(2018)050 linked to the singular nature ofẑ. Moreover, the normalized intrinsic ring provides a new perspective on the birational equivalence of the q = 3 and Morrison-Park models.
We first describe the tuning process for abelian models and illustrate the procedure by rederiving the Morrison-Park form. We then briefly review the normalized intrinsic ring technique before using it to derive the q = 3 construction and analyze its structure. This section concludes with some comments on the matter spectrum and on ways of unHiggsing the U(1) symmetry to non-abelian groups.

Tuning abelian models
For a single U(1) group, we need a section [x :ŷ :ẑ] (other than the zero section) such that This expression is simply a rewriting of the global Weierstrass form in (2.1), with the x, y, z coordinates replaced with components of the section. The left-hand side has a similar structure to the expression for the discriminant ∆ = 4f 3 + 27g 2 . Moreover, the equation shows thatŷ 2 −x 3 must be proportional toẑ 4 , reminiscent of the conditions for an I 4 singularity. These observations suggest that a U(1) can be tuned using a method similar to that used for tuning SU(N ) or Sp(N ) gauge groups: 1. We first expandx andŷ as series inẑ. We assume thatẑ,x andŷ are all holomorphic.

We tunex andŷ so thatŷ
This step bears the most resemblance to the I n tuning process.
3. If necessary, we perform additional tunings so thatŷ 2 −x 3 is a sum of terms proportional to eitherẑ 6 orx.
4. Finally, we can read off f and g from the expression forŷ 2 −x 3 .
While the process outlined above is similar to the I n tuning process, note that, unlike f and g in a standard non-abelian tuning,x andŷ can vanish to orders 4 and 6 on some codimension two locus. In fact, this seems to generally happen for U(1) models with q ≥ 3.
To illustrate this procedure, we first consider a situation in whichẑ is equal to a generic parameter b. We expandx andŷ as series in b: Note that we are only interested in expressions for the x i and y i up to terms proportional to b; for instance, a term proportional to b in x i can be shifted to x i+1 without loss of generality. Said another way, the important properties of x i and y i are their images in the quotient ring R/ b , in which elements that differ only by terms proportional to b are identified. Here, R refers to the coordinate ring of (an open subset of) the base B. Since b is a generic parameter, we assume that R/ b is a unique factorization domain (UFD).

JHEP05(2018)050
We now need to tune the x i and y i so that Plugging the expansions ofx andŷ gives To perform the tuning, we work order by order, imposing relations such as and so on. Since all of the constraints involve congruence relations modulo b, we are essentially considering the conditions to be equations in the quotient ring R/ b . But the solutions for x i and y i that ensureŷ 2 −x 3 ∝ b 4 are already known for situations where R/ b is a UFD. We should use the UFD non-split I 4 tuning [2,36], only with the numerical coefficients adjusted: 6 These tunings lead tô The right-hand side of this equation already matches the right-hand side of equation (3.2), so no further tunings are required. We can thus read off that Notice that we have added and subtracted an f 2x b 2 term fromx 3 −ŷ 2 , leading to the inclusion of f 2 terms in both f and g.
If we redefine parameters as These are exactly the f and g for the Morrison-Park U(1) form [12]. The section, meanwhile, is now given bŷ which agrees with the expressions in [12] up to an unimportant negative sign inŷ. 7

Non-UFD tunings and the normalized intrinsic ring
Given that the Morrison-Park form seems to arise from the UFD solutions to the tuning conditions, a natural next step is to consider situations in which R/ ẑ is not a UFD. In these cases, there are alternative solutions to the tuning constraints, allowing for deviations from the Morrison-Park form. For example, suppose that For thisẑ, R/ ẑ is not a UFD, as explained in more detail below. A constraint such as can be solved in multiple ways. We can let which is a possible solution even if R/ ẑ is a UFD. For this solution, ηy 2 − x 2 1 vanishes identically. However, one could also let Then, so this second possibility is also a solution. Note that this second solution depends on the specific form ofẑ, as ηy 2 − x 2 1 is an expression that happens to be proportional to the chosenẑ.
This example raises two questions: when are multiple solutions possible? And how can we determine the form of the other solutions? Multiple solutions are allowed when R/ ẑ is not a UFD and polynomials may have multiple factorizations up to terms proportional toẑ. In the example above, x 2 1 and ηy 2 represent two distinct ways of factoring the same polynomial in R/ ẑ , as x 2 1 and ηy 2 differ only by a term proportional toẑ. As noted in [6], the quotient ring R/I for an ideal I is non-UFD if the variety V corresponding to I is singular. For the abelian tuning process, we can have a non-UFD R/ ẑ if the divisor z = 0 in the base is singular. This is the case for the KMOPR model: theẑ component is given byẑ and the divisorẑ = 0 has double point singularities at s 8 = s 9 = 0. The q = 3 and q = 4 models derived here have a singularẑ as well.
We can obtain the alternative solutions by using the normalized intrinsic ring [6], which we briefly review here. Even ifẑ = 0 is singular, it has a normalization that is smooth in codimension one. The normalized intrinsic ring describes functions on this normalized variety. Consider the ring R/ ẑ , where R refers to the coordinate ring of (an open subset of) the base B. Because the varietyẑ = 0 is singular, R/ ẑ is not a UFD. However, the field of fractions of R/ ẑ is a UFD. The normalized intrinsic ring, written as R/ ẑ ,

JHEP05(2018)050
is defined as the integral closure of this field of fractions, and we can take R/ ẑ to be a UFD. 8 To construct it explicitly, we add elements from the field of fractions that satisfy a monic polynomial with coefficients in R/ ẑ . In theẑ = σ 2 − Bη 2 example, we know that We therefore add an elementH satisfying σ − ηH = 0 andH 2 = B. Thus, the normalized intrinsic ring can formally written as (3.20) We follow the notation in [6], in which all parameters in the normalized intrinsic ring (that are not well-defined in the quotient ring) are capitalized and marked with a tilde.
Since we take the normalized intrinsic ring to be a UFD, the solutions to the constraints should be the UFD solutions when we work in the normalized intrinsic ring. For instance, the solution for (3.14) would take the form and for simplicity we letΞ 1 , an element of the normalized intrinsic ring, beH. But in the tuning process, x 1 and y 2 appear in the expansion of the section components, and since we are interested in situations wherex andŷ are holomorphic, x 1 and y 2 should be well-defined as elements of R/ ẑ . We therefore need to use the equivalence relations implied by (3.20) to remove all instances ofH. Then, and we recover the alternative tuning. In general, finding the non-UFD solutions involves starting with the UFD solutions in the normalized intrinsic ring and determining how to make these expressions well-defined in R/ ẑ .

Tuning models with q = 3
We now describe how to systematically derive a U(1) construction admitting q = 3 matter.
The goal is to demonstrate that the normalized intrinsic ring techniques can generate q = 3 models, not to find the most general construction. As such, we will not focus on whether the algebraic tunings used here are the most general possibilities. However, the tuning presented here is more general than the KMOPR construction, as discussed later. Our starting point is the assumption that Ifẑ is one-dimensional (as would be the case for 6D theories), R/ ẑ is automatically a UFD; see section 2.4 (particularly Theorem 2.14) of [55] for further details. In 4D,ẑ = 0 would be complex two-dimensional, and even after normalization there may be singularities at codimension two. Thus, R/ ẑ may not be a UFD in 4D. To derive the models considered here, we will assume that, regardless of dimension, R/ ẑ is a UFD.

JHEP05(2018)050
This form forẑ is equivalent to that in the KMOPR model but with differing symbols. Note that the divisorẑ = 0 in the base would have double point singularities on η a = η b = 0, and R/ ẑ is not a UFD. The tuning forx andŷ can therefore have non-UFD structure, which we derive using the normalized intrinsic ring. For this particularẑ, we form the normalized intrinsic ring by adding a new elementB that satisfies the relations This normalized intrinsic ring is essentially the same as that used for the symmetric matter models in [6]. We then expandx andŷ as power series inẑ.
The series can be truncated at orders 2 and 4; if included, higher order terms can be absorbed into other parameters once the tuning is completed. For convenience, we define the quantity δ to be the left-hand side of (3.1): In general, we choose notations that agree with the SU(2) model discussed in [6]. The symbol ∼ indicates that expressions are equivalent when viewed as elements of the normalized intrinsic ring. For instance, an expression such as x 1 ∼ tB would suggest that x 1 is proportional toB in the normalized intrinsic ring; however, since x 1 should be welldefined in the quotient ring, the expression tB must be converted to a well-defined quotient ring expression.

Canceling terms up to fourth order
Order 0 cancellation. We need If R/ ẑ were a UFD, the only way to satisfy this constraint would be to have x 0 and y 0 be proportional to the square and cube of some parameter, respectively. This parameter is the equivalent of the c 3 parameter in the Morrison Park tuning. For the case at hand, R/ ẑ is not a UFD, but R/ ẑ is a UFD. In principle, we can therefore let x 0 and y 0 be proportional to the square and cube of some parameterT in R/ ẑ . However, x 0 and y 0 are elements of the coordinate ring and must have well-defined expressions in R/ ẑ . In fact, for theẑ considered here,T 2 andT 3 are well-defined in R/ ẑ only ifT is well-defined in R/ ẑ . 9 Thus, we can set where t is well-defined in R/ ẑ . With these definitions, y 2 0 − x 3 0 vanishes identically, and δ is proportional toẑ.

JHEP05(2018)050
Order 1 cancellation. The condition for δ ∝ẑ 2 is that This condition can be satisfied by setting δ is now proportional toẑ 2 .
Order 2 cancellation. The condition for δ ∝ẑ 3 is that If we work in R/ ẑ , which is a UFD, the only way to satisfy this condition (without forcing t to be a perfect square) is to have Ξ is an element of R/ ẑ , which we can write as 10 However, x 1 and y 2 are elements of the coordinate ring, and the above tunings involving B must be rewritten as expressions that are well-defined in R/ ẑ . To obtain a non-trivial tuning, we should not tune φ in a way that makesΞ well-defined in R/ ẑ . Therefore, in order for both x 1 and t to be well-defined, t must take the form (3.36) Using (3.24) and (3.25) to replaceBη b andBη a with expressions in R/ ẑ , we define x 1 to be Meanwhile, (3.26) implies that y 2 should be defined to be With these tunings, and δ is proportional toẑ 3 . For convenience, we define the quantity δ 2,rem to be

JHEP05(2018)050
Order 3 cancellation. The condition for δ ∝ẑ 4 is that In R/ ẑ , this condition can be written as The contributions from δ 2,rem cannot be canceled without further tunings: for instance, the other terms within the square brackets are proportional to either η a or η b , while the contributions from δ 2,rem are not. We should not use tunings that change the form ofẑ or tune φ in a way that removes the non-UFD structure. But we can introduce η a and η b factors by tuning θ (1) and θ (0) . In particular, we can let should be the sum of two terms: one proportional to t, and the other proportional toẑ. This is not the case after the tunings done so far, but we can satisfy this condition by letting τ (1) = τ (1) . We therefore define θ (0) and θ (1) as and t is quadratic in η a and η b : The δ 2,rem terms can now be canceled by letting at least up to terms proportional toẑ. The third order cancellation condition now reads Ξ 3 is not well defined in R/ ẑ , so we cannot use y 3 to cancel this term. But working in R/ ẑ , we can cancel the remaining terms using tunings that, in R/ ẑ , take the form

JHEP05(2018)050
We can immediately convert the x 2 expression into a well-defined quantity in R/ ẑ , giving the following definition for x 2 : The φΞ term in the y 3 expression, however, cannot be written in R/ ẑ without further tuning φ. φ must be well-defined in R/ ẑ , so it should take the form Then, y 3 should be defined as To summarize, we have performed the following tunings: With these tunings, where δ is therefore proportional toẑ 4 .

Finding f and g
Ultimately, we need to extract f and g from the relation Now thatŷ 2 −x 3 is proportional toẑ 4 , we can start extracting portions of f and g. Unlike in the Morrison-Park case, we need to further tune parameters inx andŷ to extract f and g.

JHEP05(2018)050
As in the previous steps, we will work order by order. If we let we have the condition that Our goal is now to cancel the order 4 and order 5 terms on the left-hand side of the above equation.
Order 4 cancellation. The condition for the order 4 terms to cancel is that where δ 3,rem is given by (3.58). There are several terms in the above expression that are explicitly proportional to t 2 . Such terms can fairly easily be canceled by tuning f 0 to take the form The cancellation condition now takes the form Working in R/ ẑ , this condition is equivalent to If all the terms in square brackets were well-defined in R/ ẑ , we could immediately read off an expression for f 0 that would cancel terms. However, this is not currently the case. The terms that have even powers ofB are already well-defined in R/ ẑ , sinceB 2 is equivalent (2) . But theB term in the square brackets is currently not well-defined in R/ ẑ . Without modifying φ, which would lead to a trivial tuning, the only way to fix this term is to force (b (2) (2) ) to be a sum of terms proportional to η a or η b . This can be accomplished with the ansatz that τ (0) , τ (1) , and τ (2) take the form (3.67)

JHEP05(2018)050
These tunings make t cubic in η a and η b , as Now, the third term in (3.66) is well-defined in R/ ẑ , as in R/ ẑ . We thus define f 0 to be The left-hand side of (3.63) is now equal to δ 4,remẑ , where τ sq is given by τ 2 (1) − τ (0) τ (2) , and To summarize, we have tuned τ (2) , τ (1) , and τ (0) to take the form in equation (3.67) and have found f 0 to be

JHEP05(2018)050
Order 5 Cancellation. The condition for the orderẑ 5 terms to cancel is that Using the previous expressions for the various parameters, this can be rewritten as Working in R/ ẑ , the cancellation condition reads The t 2 term is order 6 in η a , η b , as t is order 3 in η a , η b . 11 However, the other terms are order 5 in η a , η b . (Recall that τ (0) , τ (1) , and τ (2) are all order 1 in η a , η b , as can be seen from (3.67).) These terms can be canceled only if we perform some tuning to increase their order in η a , η b . Making t (0) through t (3) proportional to η a and η b will not fix the issue; this tuning would increase the orders of both t and the order 5 terms, and the mismatch in orders would persist. But we can tune φ (0) and φ (1) to be 12 With these redefinitions, the R/ ẑ cancellation condition becomes (after dropping terms proportional toẑ) If the remaining terms were all well-defined in R/ ẑ , we could immediately read off the f 1 tuning that would cancel the remaining terms. However, theBy 4 is currently ill-defined as an element of R/ ẑ . y 4 must therefore be written as a sum of terms proportional to η a and η b : We can now tune f 1 to cancel all of the orderẑ 5 terms: and the tuning process is complete. 11 Note that converting expressions involvingB to well-defined expressions in R/ ẑ does not change the order of the expression in ηa, η b . 12 One could consider a more general redefinition by performing shifts in the other parameters (namely y4), one can set h (1) = h (1) without loss of generality.

JHEP05(2018)050
Parameter Homology Class Equivalent in [22] η a [η a ] −s 8 Table 1. Parameters for the q = 3 model. The center column lists the homology classes of the parameters in terms of the homology classes for η a , η b , andẑ. K B refers to the canonical class of the base. The rightmost column gives the dictionary between the parameters used here and those used in the previous model in [22].

Structure of the charge-3 construction
The f , g and section components for the q = 3 model are given in appendix B. The homology classes of the various parameters, which are listed in table 1, can be found by requiring that f and g are respectively sections of −4K B and −6K B , where K B is the canonical class of the base. Even though the q = 3 model differs from the Morrison-Park form, there is a link between the two models. [26] pointed out that the KMOPR Weierstrass model is birationally equivalent to one in Morrison-Park form, but the Morrison-Park form model may not satisfy Calabi-Yau condition. A similar phenomenon occurs for the q = 3 construction derived here. If we allow division by η b , the q = 3 Weierstrass model can in fact be written in the Morrison-Park form with Since the q = 3 tuning was derived using the normalized intrinsic ring, this observation comes as no surprise. Recall thatB is in the field of fractions of R/ ẑ , and for the tuning, we use the UFD structures but include a dependence onB. The normalized intrinsic ring essentially provides a convenient method for determining how the a i parameters can depend on fractional terms so that all the fractional terms cancel when f and g are expanded.
Indeed, the expressions for the a i involve (b (2) η a +b (1) η b )/η b , which, in the field of fractions, is equivalent toB. But the expressions in (3.83) through (3.87) also imply that η 4 b f and η 6 b g can be written in Morrison-Park form without division by η b : In other words, is a bona-fide Weierstrass model in Morrison-Park form. This new Weierstrass model is a non-minimal transformation of the q = 3 model: if f ∈ −4K B and g ∈ −6K B , then ] is trivial (in which case there is no q = 3 matter), the Morrison-Park form Weierstrass model will not be Calabi-Yau. Thus, we see that the q = 3 model is birationally equivalent to the Morrison-Park form, with the Morrison-Park model satisfying the Calabi-Yau condition only when q = 3 matter is not present. This is in agreement with the results of [26].
In some sense, the normalized intrinsic ring led to the specific tunings of the a i that allow the Morrison-Park form model to be blown down to the q = 3 model, even though we did not use the normalized intrinsic ring directly in this fashion. One might therefore be tempted to use the following strategy to obtain this q = 3 construction or even other models: start with the Morrison-Park form, let the parameters be rational in, say, η b , and determine the appropriate expressions that allow the fractional terms to cancel. While

JHEP05(2018)050
Charge  Table 3. Charged matter multiplicities for the q = 3 model. this strategy may indeed work, determining the exact structures that enable the correct cancellations may be challenging. For instance, in the construction presented here, t has a cubic structure, and it at least naively seems difficult to predict the particular form that t must take without the help of the tuning procedure. Of course, this alternative strategy may prove fruitful for obtaining new models and would be interesting to explore further. Finally, we note that the Weierstrass model we have derived is a generalization of the KMOPR construction. In particular, we can recover the previous q = 3 construction by setting various parameters to particular values. The dictionary between the parameters used here and those used in the KMOPR model is given in table 1. Note that we must set φ to a constant in order to recover the KMOPR model, forcing a relation between the unspecified homology classes in table 1: (3.91) The tuning derived here can therefore produce a wider variety of models. For example, suppose we take our compactification base to be P 2 and consider the situation with [η a ] = [η b ] = H. As discussed shortly, this is a situation with a single q = 3 hypermultiplet in six dimensions. The KMOPR model requires that [ẑ] = 5H, whereas [ẑ] is not restricted to a single homology class in the model derived here. In turn, the new q = 3 construction admits a wider range of matter spectra.

Matter spectra
The q = 3 model has several codimension two I 2 loci that support charged matter. In general, I 2 loci occur whereŷ = 3x 2 + fẑ 4 = 0, but this locus consists of several sub-loci supporting different types of charged matter. We therefore need to examine the expression further to determine the loci corresponding to particular charges. The types of charges supported and the corresponding I 2 loci are summarized in table 2, and their multiplicities are given in table 3. Our matter spectrum analysis will focus primarily on 6D models. From the dictionary relating the q = 3 model derived here to the KMOPR model, we know that the η a = η b = 0 locus supports q = 3 matter and that the q = 3 multiplicity is

JHEP05(2018)050
[η a ] · [η b ]. Note that, as can be seen in the explicit expressions for the section components in (B.1) through (B.3), all of the section components vanish at η a = η b = 0. Specifically, z,x, andŷ respectively vanish to orders 2, 4, and 7 at η a = η b = 0. q = 2 matter occurs at loci where all of the section components vanish that are not part of the q = 3 locus. Importantly, This implies that the section components vanish at loci whereẑ = t = 0. However, the charge-3 locus η a = η b = 0 is a solution toẑ = t = 0; this is to be expected, as the section components vanish at η a = η b . Therefore, to describe the true q = 2 locus, we must exclude η a = η b = 0 from t =ẑ = 0. This leads us to describe the q = 2 locus as where V (I q=3 ) is the variety corresponding to the ideal η a = η b = 0. This result is in exact agreement with the q = 2 locus of the KMOPR model [22]. To count the q = 2 multiplicity, we must find the multiplicity of η a = η b = 0 within z = t = 0 in order to properly exclude the charge-3 locus. Here, we use the resultant method described in [15]. The resultant of t andẑ with respect to η a is given by where r 2 is a long expression independent of η b . The η 6 b factor in the resultant indicates that η a = η b = 0 has multiplicity 6 withinẑ = t = 0. The q = 2 multiplicity is therefore given by  12 q 2 (q 2 − 1), would naively seem to tell us about the physical spectrum of the theory, in particular describing the number of charge-2 and charge-3 hypermultiplets. Yet the right hand side of (2.23) encodes geometric information as well. For instance, the q 2 (q 2 − 1)/12 factor in the anomaly equations predict the coefficient of 6 in front of [η a ] · [η b ] in (3.97). But the anomaly equation was derived without any knowledge that q = 3 matter would be supported at η a = η b = 0 or that the specific forms of t andẑ would ensure that η a = η b = 0 has multiplicity 6 inside of t =ẑ = 0. Thus, even JHEP05(2018)050 though (2.23) was derived purely from supergravity considerations, it seems to be directly encoding geometric properties of the section, namely the vanishing loci for the section components. In fact, a similar phenomenon occurs in the q = 4 model described later, hinting that (2.23) may have a deeper meaning in terms of the geometry of elliptic fibrations. q = 1 matter occurs at theŷ = 3x 2 + fẑ 4 = 0 loci that do not support q = 2 or q = 3 matter. The q = 1 locus can therefore be written as (3.98) To determine the q = 1 multiplicity, we must find the multiplicities of V (I q=3 ) and V (I q=2 ) withinŷ = 3x 2 + fẑ 4 = 0. Again, this information can be read off from the resultant, but evaluating the resultant in this case is computationally intensive. We therefore calculate the resultant in situations where all parameters except η a , η b , and b (0) are set to random integers. Regardless of the specific integers chosen, the resultant factorizes into the form where r 1 is a long expression. The η 81 b and r 16 2 factors suggest that the q = 3 and q = 2 loci respectively have multiplicities 81 and 16 withinŷ = 3x 2 + fẑ 4 = 0. The q = 1 multiplicity is therefore This result agrees with the anomaly cancellation conditions in (2.19), as expected.
In most ways, the codimension two behavior parallels that for the KMOPR construction. However, the q = 3 tuning derived here is slightly more general and admits matter spectra not possible in the KMOPR construction. For instance, consider a 6D F-theory model with base P 2 . The q = 3 construction derived here admits a model in which [ẑ] = 3H, [η a ] = H, and [η b ] = H. The matter spectrum consists of a single q = 3 hypermultiplet, 12 q = 2 hypermultiplets, and 159 q = 1 hypermultiplets, a combination of charged matter that is not possible in the KMOPR construction. At the same time, there are seemingly consistent spectra that cannot be realized with the tuning presented here. As an example, for a P 2 base and [ẑ] = 10H, there is a SUGRA model with 4 q = 3 hypermultiplets, 106 q = 2 hypermultiplets and 8 q = 1 hypermultiplets. But this spectrum cannot be realized with this q = 3 tuning, as φ would be ineffective. It would be interesting to determine whether there is an alternative q = 3 construction realizing these missing matter spectra in future work.

UnHiggsings of the q = 3 construction
Finally, let us summarize some of the potential ways that the q = 3 construction can be unHiggsed to models with non-abelian groups. The general strategy is to consider ways to make the generating section "vertical." Specifically, this entails makingẑ vanish. Sincê tuningẑ → 0 makes the generating section equivalent to [1 : 1 : 0], and the generating section coincides with the zero section. The different ways of unHiggsing described below correspond to different ways of tuningẑ → 0.

JHEP05(2018)050
U(1) → SU (2). Field theoretically, giving a VEV to an adjoint of SU(2) Higgses the SU(2) symmetry down to U(1). In many cases, F-theory U(1) models exhibit the "inverse" of this Higgsing process, in which the U(1) symmetry is enhanced to SU(2). In the Morrison-Park model, taking b → 0 often leads to a model with an SU(2) tuned on c 3 [12,47]. As noted in [5], the U(1) symmetry in the KMOPR construction can also be enhanced to SU(2) in many situations: taking the limit in whichẑ goes to zero (in a generic way) leads to an SU(2) model with three-index symmetric (4) matter. The q = 3 tuning derived here admits a similar unHiggsing. We wish to makeẑ zero while keeping η a and η b generic. For a smooth base whose ring of sections can be treated as a UFD, 13 the appropriate tunings are [5] b (2) This limit leads to a model equivalent to the SU(2) model of [6] (up to simple redefinitions of the parameters), with the SU(2) singularity tuned on t has triple point singularities, as expected: a q = 3 model should enhance to an SU(2) model with matter charged in the 4 representation, and 4 matter is supported at triple point singularities [5]. It is reassuring that the q = 3 tuning process motivated this cubic structure in t and reproduced the non-UFD structures encountered in the SU(2) construction of [6].
, which together with (2.14) implies that This result reflects the known statement that h(ŝ) is equivalent to two times the homology class of the SU(2) gauge divisor in the U(1) → SU(2) limit [12,47].
. We also expect that, at least in certain situations, the q = 3 construction can be enhanced to an SU(3) model. In field theory, some SU(N ) models with appropriate charged matter spectra can be Higgsed in a particular fashion down to a U(1) model with q = N matter; if the SU(N ) is supported on a divisor with homology class b SU(N ) , the height h(ŝ) for the generating section should include a term of the form N (N −1)b SU(N ) [56]. Some F-theory U(1) models with q = 3 matter should admit the corresponding unHiggsing process. The resulting SU(3) tuning should be a standard UFD tuning when the SU(3) charged hypermultiplets are in either the fundamental or adjoint representations. For the SU(3) unHiggsing, we still want to perform a tuning so that vanishes. In this case, we do not keep η b generic, instead setting η b and b (2) to 0. 14 The discriminant takes the form (3.106) 13 Even though the divisorẑ = 0 is singular, the base itself is taken to be smooth. Thus, the ring of sections on the base would be a UFD, but the quotient ring R/ ẑ is not. 14 Alternatively, ηa and b (0) could be set to zero, leading to similar results.

JHEP05(2018)050
Neither f nor g are proportional to t (3) after the tuning, so the resulting model has an SU(2) symmetry tuned on t (3) . Similarly, neither f nor g are proportional to η a , and since the split condition is satisfied, there is an SU(3) symmetry tuned on η a . While there are codimension two (4,6) singularities at φ = η a = 0, this issue can be avoided if we restrict our attention to situations in which [φ] · [η a ] = 0. The tuning is a standard UFD tuning [2], and there is no exotic matter in the spectrum, as expected. We can compare h(ŝ) to the homology classes [t (3) ] and [η a ].
The numerical factors of 2 and 6 agree with the N (N − 1) factor predicted by [56].

Charge-models
In this section, we derive and analyze an F-theory construction admitting q = 4 matter.
To the author's knowledge, this is the first published example of a q = 4 F-theory model.
In principle, such a model presumably could be derived using the normalized intrinsic ring, just as done for the q = 3 case. However, given the algebraic complexity of the normalized intrinsic ring process, we use a somewhat indirect derivation. We deform a previous U(1) × U(1) construction admitting (−2, −2) matter [4] and thereby Higgs the gauge group to a diagonal U(1) with q = 4 matter. The deformed construction has non-UFD structure tied to the presence of q = 4 matter, which we examine after performing the deformation. However, we will not derive this structure from scratch. Note that this construction can likely be generalized and may not admit all of the possible F-theory q = 4 spectra. 15

Higgsing the U(1)×U(1) construction
Our starting point is the U(1) × U(1) construction in [4], which we refer to as the CKPT model. The discussion in [4] first describes this construction by embedding the elliptic curve in P 2 with coordinates [u : v : w]: p ≡ u s 1 u 2 + s 2 uv + s 3 v 2 + s 5 uw + s 6 vw + s 8 w 2 Here, the s i , a i , and b i are sections of line bundles on the base. There are three rational sections that are immediately obvious from (4.1): Note that exchanges a 2 ↔ a 3 , b 2 ↔ b 3 swap the sections Q and R. One can then convert this construction to Weierstrass form; in [4], P is chosen to be the zero section, and the Mordell-Weil group is generated by Q and R. The resulting f , g, and Weierstrass coordinates for

JHEP05(2018)050
Q and R are rather lengthy, so they are given in appendix D (with some minor corrections from [4]). The CKPT model supports (−2, −2) matter at the a 1 = b 1 = 0 loci. We now wish to Higgs the model and preserve a diagonal U(1) so that the (−2, −2) matter becomes q = 4 matter after Higgsing. To implement this Higgsing at the F-theory level, we remove all instances of a 2 , a 3 , b 2 , and b 3 through the following deformations: after the deformation. Note that this form is similar to the singular form of the KMOPR q = 3 construction used in [22,49], but the zero section is not holomorphic.
z vanishes to order 4 at a 1 = b 1 = 0, while thex andŷ components respectively vanish to orders 8 and 12. a 1 = b 1 = 0 is also an I 2 locus. While the I 2 loci and their associated

JHEP05(2018)050
Parameter Homology Class Table 4. Homology classes for parameters in the q = 4 model. The classes are written in terms of the homology classes for a 1 , b 1 , andẑ as well as the canonical class of the base K B .
charged matter are discussed in section 4.3, we can immediately argue that the a 1 = b 1 = 0 locus should support q = 4 matter from the homomorphism properties of the Tate-Shioda map. The charge of matter at the a 1 = b 1 = 0 locus is given by where σ is the Tate-Shioda map,ŝ is the generating section for the q = 4 model, and c is the extra fiber component at the a 1 = b 1 = 0 locus. The Tate-Shioda map is a homomorphism, and (at least prior to the deformation)ŝ = Q[+]R. Before the deformation, the charge with respect to Q[+]R is given by σ(Q) · c and σ(R) · c are simply the charges under the U(1) × U(1) group prior to the deformation, and the a 1 = b 1 = 0 locus supports (−2, −2) matter. The deformations preserve Q[+]R and affect neither a 1 nor b 1 . Therefore, the charge after the deformation should be the sum of the U(1) × U(1) charged prior to Higgsing, implying that the a 1 = b 1 = 0 locus supports q = 4 matter. 17 The P 2 form of the fibration provides an alternative way of seeing the presence of q = 4 matter. We use a method based on the analysis in [49]. In the P 2 form, the tangent line at the zero section also hits the generating sectionŝ. This tangent should be homologous to u = 0, whose homology class we denote U . Therefore, the homology class ofŝ should be U − 2Z, where Z is the homology class of the zero section. At a 1 = b 1 = 0, (4.4) factorizes into the form u s 1 u 2 + s 2 uv + s 3 v 2 + s 5 uw + s 6 vw + s 8 w 2 = 0, (4.8) 17 The Higgsing argument suggests that, technically, a1 = b1 = 0 matter should support q = −4 matter.
However, the sign is unimportant, as the charged hypermultiplets in 6D consist of two half-hypermultiplets with opposite charges. indicating that the elliptic curve has split into two components. This situation is illustrated in figure 1. Note that in the P 2 form, the fibration is already smooth at a 1 = b 1 = 0, although there are singularities at other codimension two loci in the base. 18 At a 1 = b 1 = 0, the line u = 0 becomes a full component, and it intersects the other component, which we denote as c, twice. The zero section P , meanwhile, becomes ill-defined at a 1 = b 1 = 0 and wraps the u = 0 component after being resolved; this behavior is identical to the behavior of the zero section in the CKPT construction [4], as the deformations do not affect the zero section. c is therefore the extra node, and the charge is given by (4.9) As just noted, the line u = 0 intersects c twice at a 1 = b 1 = 0, and since the zero section wraps the same component, the zero section intersects twice as well. Therefore, Up to an unimportant negative sign, we see that the matter supported at a 1 = b 1 = 0 has charge 4.

Structure of the charge-4 construction
While we did not derive the q = 4 construction using the normalized intrinsic ring, the expressions for f , g, and the components of the section hint at normalized intrinsic ring structure. Suppose we allow ourselves to freely divide by a 1 , as would be the case if a 1 were a constant. Then,ẑ can be written in the suggestive form 18 Ideally, we would use the fully resolved geometry to analyze the a1 = b1 = 0 matter. But since the fibration is smooth at a1 = b1 = 0, it suffices to consider the singular model in (4.4).

JHEP05(2018)050
Like the q = 3ẑ component, the q = 4ẑ seems to admit a quadratic structure. However, the expressions α and β, which play the role of η a and η b , are themselves quadratic in a 1 and b 1 . From the discussion in section 3.5, the U(1) symmetry in the q = 3 construction can be unHiggsed to an SU(3) symmetry tuned on either η a or η b . At the same time, an SU(3) model with matter charged in the symmetric representation (6) can be Higgsed down to a U(1) model with q = 4 matter [4]. SU(3) gauge groups supporting 6 matter are tuned on divisors with double point singularities [2,37], so for the q = 4 model, η a and η b should be replaced with some expressions having double point structure. This is exactly what is seen in (4.11), as α and β have the requisite quadratic structure. In fact, the height of the generating section is , which displays the expected factor of 6 discussed in section 3.6. The ((s 6 a 1 − 2s 3 b 1 )/a 1 and (d 1 a 1 − 2d 0 b 1 )/a 1 coefficients, meanwhile, are simply expressions for the normalized intrinsic ring parameters of β and α. 19 In fact, we can obtain the f and g for the q = 4 Weierstrass model by starting with f and g for the q = 3 model and making the replacements given in table 5. This observation provides further evidence that our construction supports q = 4 matter, as the U(1) × U(1) Higgsings that give q = 4 matter also lead to q = 3 matter. If a 1 is constant (allowing us to divide freely by a 1 ), the highest charge supported by the model is q = 3, and the two models should match. But the dictionary between the q = 3 and q = 4 constructions also suggests that the two Weierstrass models are birationally equivalent. In particular, a 4 1 f and a 6 1 g can be written in the form of a q = 3 model without division by a 1 . Since a 4 1 f ∈ −4K B + 4[a 1 ] and a 6 1 g ∈ −6K B + 6[a 1 ], the Weierstrass model with q = 3 structure is not a Calabi-Yau manifold unless [a 1 ] is trivial. Thus, the q = 4 model is birationally equivalent to the q = 3 model, although the model in q = 3 form does not satisfy the Calabi-Yau condition. This result seems to be a q = 4 analogue of the statement in [26] that the Morrison-Park and the q = 3 Weierstrass models are birationally equivalent. It is tempting to speculate that U(1) models with q > 4 should also be birationally equivalent to lower charge models; we leave a thorough investigation of this conjecture for future work.
In summary, the q = 3 and q = 4 models seem to be related, but the q = 4 construction has some additional normalized intrinsic ring structure. It would be interesting to further examine the connections between the two constructions and use these patterns to obtain a more general q = 4 form.

Matter spectra
We now determine the codimension two I 2 singularities of the q = 4 construction and the corresponding matter content. The results of this analysis are summarized in tables 6 and 7. There are two important aspects of the matter content analysis: the type of charge supported at an I 2 locus, and the multiplicity of matter fields with a particular charge. While the actual charge values are typically determined by resolving singularities, we instead use indirect methods to determine the charges, leaving a full resolution analysis JHEP05(2018)050 q = 3 Parameter Expression to obtain q = 4 Model Charge Table 6. I 2 loci for the q = 4 construction along with the charges of the corresponding matter. Each locus is written as a variety V associated to an ideal I generated by two equations. α and β are defined in (4.12), while t is given in (4.15).
Charge Multiplicity for future work. However, we present more detailed calculations of the matter multiplicities. As in the q = 3 matter analysis, we assume that we are working in six dimensions. The codimension two I 2 loci are supported at the intersection of the divisorŝ In principle, we could directly calculate the resultant of these two expressions and read

JHEP05(2018)050
off information about the matter spectrum. However, calculating this resultant is computationally complex, so we first consider the simpler problem of determining loci at which the section becomes ill-defined. Matter with q ≥ 2 is supported at such loci, so this trick allows us to more quickly determine information about the matter content. The important starting observation is that where 20 Note that if we undo the deformations in (4.3), β factorizes as (a 1 b 2 −a 2 b 1 )(a 1 b 3 −a 3 b 1 ). This unHiggsing therefore splits the α = β = 0 locus into two loci: (a 1 b 2 − a 2 b 1 ) = α = 0, and (a 1 b 3 − a 3 b 1 ) = α = 0. In the original U(1) × U(1) model in [4], these two loci support (2, 1) and (1, 2) matter, which are the types of charged matter that field theory considerations suggest should become q = 3 matter after Higgsing. The match between these matter loci before and after Higgsing is further evidence that the α = β = 0 locus supports q = 3 matter.
The q = 2 locus consists of the t =ẑ = 0 points that do not support q = 4 or q = 3 matter. To calculate the q = 2 multiplicity, we start with the [t] · [ẑ] intersection points and JHEP05(2018)050 exclude those points corresponding to q = 4 or q = 3 matter. We therefore must examine the resultant of t andẑ with respect to a 1 , which is given by r 2 is a complicated, irreducible polynomial that we do not give here. The b 20 1 factor suggests that the q = 4 locus is an degree 20 root of the system, while the r 6 3 suggests that the q = 3 locus is a degree 6 root of the system. 21 Intriguingly, these numbers exactly match the q 2 (q 2 − 1)/12 factors appearing in (2.23). After removing the contributions from the q = 4 and q = 3 loci, we find that the q = 2 multiplicity is given by x ≡ t 2 modẑŷ ≡ t 3 modẑ, (4.21) the loci where the section components vanish are simply the t =ẑ = 0 loci. Meanwhile, the q 2 (q 2 − 1)/12 factors represent the degree of the roots of the t =ẑ = 0 system. q = 1 matter is supported at thê loci that do not support q ≥ 2 matter.ŷ and 3x 2 + fẑ 4 intersect at 12(−K B + [ẑ]) 2 points, but we must account for the q ≥ 2 loci before we can read off the q = 1 multiplicity. We therefore need to calculate the multiplicities of the q ≥ 2 loci within the locus described by (4.22). As in the q = 2 and q = 3 analyses, this information can be read off from the resultant with respect to a 1 . In this case, calculating the resultant is computationally intensive if all parameters are allowed to be generic. We therefore evaluate the resultant for special cases in which some of the parameters are set to specific integer values. First, consider a situation where all parameters except a 1 and b 1 are set to specific integers.Then, Res a 1 (ŷ, 3x 2 + fẑ 4 ) ∝ b 256 1 r 16 2 , (4.23) where r 2 is the same factor appearing in Res a 1 (t,ẑ) with the appropriate values for the parameters plugged in. This result suggests that the a 1 = b 1 = 0 locus, which supports q = 4 matter, has multiplicity 256 within the (4.22) locus, while the q = 2 locus has multiplicity 16. r 3 , which corresponds to the q = 3 locus, does not depend on b 1 , and when all parameters except a 1 and b 1 are set to integers, r 3 's contribution to the resultant is simply an integer factor. To read off the q = 3 multiplicity, we consider an alternative scenario in which all parameters except a 1 and s 8 are set to integers. Then, Res a 1 (ŷ, 3x 2 + fẑ 4 ) ∝ r 81 3 r 16 2 , (4.24) 21 The d 3 2 factor is due to fact that the highest order a1 terms inẑ and t are both proportional to d2. However, this does not correspond to a true locus at whichẑ and t both vanish.

JHEP05(2018)050
suggesting that the q = 3 multiplicity is 81 and that the q = 2 multiplicity is 16. With these two results, we can now read off that (4.25) exactly in agreement with the anomaly conditions in (2.19).
Finally, let us examine some possible ways of unHiggsing the q = 4 construction. Of course, the U(1) symmetry can be unHiggsed back to U(1) × U(1) by undoing the deformations in (4.3). The model can then be further unHiggsed to an SU(3) model supporting symmetric matter [4]. But there are other ways of unHiggsing the U(1) symmetry to nonabelian gauge groups. As with the Morrison-Park and q = 3 constructions, the general strategy is to tune parameters so that the generating section becomes vertical, coinciding with the zero section [1 : 1 : 0]. We therefore need to tuneẑ to vanish;x andŷ will then be a square and a cube of some expression, which can be scaled so that the generating section becomes [1 : 1 : 0].
In particular, let us restrict ourselves to unHiggsings in which a 1 is set to 0. Already, the discriminant is proportional to b 2 1 , suggesting there is an SU(2) tuned on b 1 = 0. Thê z component (after rescaling the section coordinates by powers of b 1 ) takes the form The coefficients for the homology classes supporting SU(N ) are given by N (N − 1), in agreement with the results from section 3.6 and the expectations from [56]. An interesting question is whether the q = 4 models admit unHiggsings to just an SU(2) gauge group, like the Morrison-Park and q = 3 constructions. This unHiggsing procedure would involve settingẑ to be zero while keeping a 1 and b 1 generic. Presumably, the SU(2) would be tuned on t = 0, which has a quadruple point singularity at a 1 = b 1 = 0. So far, the author has not identified a way of actually performing this unHiggsing; in all cases considered, t factorizes, indicating the gauge group is product of non-abelian groups rather than a single SU(2). However, a systematic investigation of all possible unHiggsings has not been performed. This issue has important implications for the F-theory swampland, which we discuss further in section 6.

JHEP05(2018)050
5 Comments on q > 4 We have seen that, in models with q = 3 and q = 4 matter, the components of the section vanish to higher orders at the loci supporting q = 3 or q = 4 matter. It is natural to speculate that similar behavior should occur for q > 4 models. Without an explicit Weierstrass model, it is difficult to make definitive claims about q > 4 matter. However, one can make conjectures about q > 4 models by considering the behavior of the sections in a model admitting q = 1 matter. Suppose that an F-theory model has a rank-one Mordell-Weil group with no additional non-abelian gauge groups. Let us denote the generating section asŝ. If this F-theory model supports q = 1 matter, there is some codimension two I 2 locus in which the elliptic curve splits into two components. One of these components, which we denote c, will not intersect the zero section, and because this locus supports q = 1 matter, σ(ŝ) · c = 1. The matter at this I 2 locus seems to have "charge" m under the section mŝ. Of course, mŝ does not generate the Mordell-Weil group for |m| = 1, and the matter supported at this locus does not truly have charge m. Nevertheless, the local behavior of mŝ likely mimics that of the generating section in a genuine q = m model. We can therefore obtain some speculative insights into q = m matter by examining the behavior of mŝ. This strategy was used in [12] to anticipate the behavior of models supporting q = 2 matter, and we use it here to conjecture about the behavior of sections admitting q > 2 matter. We start with a simplified form of the Morrison-Park model that only supports q = 1 matter [12]. The Weierstrass model (in a chart where z = 1) takes the form There are I 2 singularities at f 9 =f 12 = 0 that, according to the analysis in [12], support q = 1 matter. Our goal here is to use the elliptic curve addition law to calculate the mŝ sections and examine their behavior at f 9 =f 12 = 0. For example, the 2ŝ section takes the form 2ŝ : [x : y : z] = [f 2 12 − 8f 6 f 2 9 : −f 3 12 + 12f 6f12 f 2 9 − 8f 4 9 : 2f 9 ]. (5.5) The (ẑ,x,ŷ) components vanish to orders (1, 2, 3) at f 9 =f 12 = 0, in agreement with the known behavior of sections at q = 2 loci.
vanish to orders (2, 4, 7) at f 9 =f 12 = 0, just like the components of the generating section for the q = 3 construction in section 3. The (ẑ,x,ŷ) components for 4ŝ vanish to orders (4,8,12). The generating section for the q = 4 construction vanishes to these same orders at the q = 4 loci, giving further credence to the idea that this construction truly supports q = 4 matter. Table 8 summarizes the orders of vanishing for the mŝ sections at f 9 =f 12 = 0. As expected, the m > 2 section components show singular behavior, with theẑ,x,andŷ components vanishing to orders greater than 1. Given that the behavior of the m = 2, 3, 4 sections agrees with the behavior of the known q = 2, 3, 4 models, one can conjecture that the generating section components for q > 4 models will also vanish to these orders at the q = m loci. In fact, the cases presented in table 8 suggest patterns in the orders of vanishing. For even m, the orders of vanishing for (ẑ,x,ŷ) seem to be given by Meanwhile, the (ẑ,x,ŷ) orders of vanishing for odd values of m seem to be given by These patterns have been verified for the mŝ sections with m ≤ 26.

JHEP05(2018)050
It would be interesting to investigate whether the patterns hold for all values of m, both in the simplified Morrison-Park form and in actual q = m models. Perhaps the expressions could be proven with a better understanding of the resolutions at the f 9 =f 12 = 0 loci. These questions are left for future work. But if these orders of vanishing are correct, this information may be useful for inferring features of the q = m Weierstrass models. Recall that in section 3, the q = 3 Weierstrass model could be derived with the knowledge that z vanishes to order 2 on the q = 3 loci. In the same way, one might hope that the orders of vanishing determine the Weierstrass model's structure in a predictable fashion, allowing for a systematic derivation of q > 4 models. These patterns could also give a quick way of detecting the presence of q > 2 matter. Regardless of the type of charge supported, charged matter in a U(1) model (that is not also charged under some additional nonabelian symmetry) occurs at an I 2 locus, so examining the discriminant does not provide an immediate way of reading off the charge. But if the behavior of theẑ component can distinguish between the different charges, one may be able to at least guess the charge content of a model without the need for an explicit resolution.

Conclusions and future directions
To summarize, we have constructed U(1) F-theory models admitting both q = 3 and q = 4 matter. In both cases, all of the section components vanish to orders higher than 1 at the q = 3, 4 matter loci. As a result, the Weierstrass models have non-UFD structure that deviates from the standard Morrison-Park form. With the aid of the normalized intrinsic ring, we were able to find the appropriate non-UFD structures for the q = 3 matter and systematically derive a generalization of the q = 3 construction described in [22]. A class of q = 4 constructions were also constructed, although the models were found by deforming the earlier U(1) × U(1) construction in [4]. Nevertheless, the q = 4 construction shows signs of normalized intrinsic ring structure as well. We finally discussed some conjectures regarding models with q > 4 matter.
A natural direction for future work is to search for models admitting q > 4 matter. There are a few different strategies that may give new insights into this issue. Just as deforming a U(1) × U(1) model led to q = 4 matter, deforming models with multiple U(1) factors could lead to larger charges. This process would likely require an initial model with somewhat exotic matter charged under multiple U(1) factors. For instance, the possible Higgsings of the U(1) 3 construction in [19] cannot give q > 4 matter, although they can produce q = 3 and q = 4 matter. Alternatively, one could obtain large charges by Higgsing models with non-abelian symmetry. [56] gives examples of the field-theoretic Higgsing processes that could produce q > 4 matter. However, it can be difficult to identify the deformations of F-theory models corresponding to a specific Higgsing. A better understanding of the F-theory realizations of Higgsing processes, particularly Higgsing on adjoints, would be helpful to develop concrete methods for q > 4 models. There is the possibility of building q > 4 models from scratch, although the algebraic complexity of the models discussed here suggests this approach may be unwieldy. Based on the q = 3 derivation in section 3, we would likely need some knowledge of the q > 4 singularity JHEP05(2018)050 structures. Analyses similar to section 5.1 of [12] or section 5 here could provide the necessary insights to construct q > 4 Weierstrass models. At the very least, such efforts could illustrate the local behavior of sections at loci supporting arbitrary charges.
But there are interesting questions about q = 3 and q = 4 models as well. On the one hand, neither of the Weierstrass models discussed here admit the full range of matter spectra consistent with the anomaly equations in (2.19), suggesting that there may be generalizations of these constructions. In particular, the q = 4 construction can almost certainly be extended in some way. The models should also be subjected to a more thorough resolution analysis. Resolutions of the q = 3 construction should be similar to resolutions of the KMOPR construction in [22], and the analysis of the q = 4 matter loci in section 4.1 paints a rough picture of the behavior of the section there. Nevertheless, a more rigorous analysis of the codimension two singularities would be helpful for confirming the matter analysis presented here. It would also be useful to count the uncharged hypermultiplets in these models, possibly with the techniques used in [57].
Meanwhile, the q = 3 and q = 4 sections discussed here (as well as the q > 4 sections in section 5) have components that exhibit singular behavior, raising the question of whether the sections themselves are singular. Preliminary indications suggest that the sections are indeed singular. One can describe the section using a system of equations: in addition to equations describing the elliptic fibration, the system would include equations such as xẑ 2 −xz 2 = 0, wherex andẑ refer to the section components. One can then use the Jacobian condition to determine loci where the section is singular. Of course, the elliptic fibration needs to be resolved at the relevant codimension two singularities, and the section needs to be resolved to account for loci where the section components vanish. After the resolution procedure, the section may wrap a component of an I 2 fiber, as described previously. An initial analysis indicates that, at the q ≥ 3 loci, many of the sections described here are singular at the intersections between the I 2 fiber components. This information would be important for comparing the models presented here to the results in [25]. However, a more thorough analysis should be performed to understand any possible singularities in these sections. It would be interesting to explore these issues in future work, possibly in the context of a broader analysis of singular sections.
The q = 3 and q = 4 models also offer avenues to explore F-theory physics. When a model has q > 2 matter, the anomaly cancellation conditions (2.19) do not uniquely determine the spectrum, even if one fixes h(ŝ) and K B . In non-abelian contexts where this situation occurs, there are matter transitions connecting the vacua with different matter spectra [38]. Abelian F-theory models should also exhibit such transitions, which would change the charge content of the theory without changing the gauge group or other parts of the spectrum. Because the SU(2) construction in [6] admits matter transitions, the q = 3 construction here, which can be unHiggsed to this same SU(2) model, should admit matter transitions as well. Seeing transitions involving q = 4 matter would probably require some generalization of the construction given here. Because abelian symmetries manifest themselves differently than non-abelian symmetries in F-theory, U(1) transitions would likely give a new understanding of these models. Matter transitions could also be used to derive q > 4 models. For instance, an SU(4) gauge group with 10 matter (and a suitable JHEP05(2018)050 number of adjoints) can be Higgsed down to a U(1) with q = 6 matter through a process similar to the SU(4) → U(1) Higgsing discussed in section 4.3. SU(4) models have matter transitions that change the amount of 10 matter, implying that the corresponding U(1) models should have transitions that change the amount of q = 6 matter. In particular, one can start with an SU(4) model without 10 matter and use the transitions to grow 10 matter [6]. Thus, the explicit SU(4) transition could potentially be used to reverse engineer a U(1) matter transition that generates a q = 6 model from a known q = 4 model.
Unhiggsing q = 4 models could also be an important check of the swampland statement in [6] that certain non-abelian representations, including the 5 representation of SU(2), cannot be realized in F-theory. Field theoretically, if an SU(2) symmetry is Higgsed down to U(1), the presence of 5 matter would lead to q = 4 matter after Higgsing. An examination of unHiggsings of the q = 4 construction is therefore important, as an enhancement to an SU(2) model with 5 would invalidate the statement. However, it is crucial to note that the existence of a q = 4 F-theory model does not by itself guarantee the existence of an SU(2) model with 5 matter. For instance, the would-be SU(2) divisor may factor into multiple components, much like the situation observed in [58]. Alternatively, the resulting SU(2) Weierstrass model may have codimension two (4,6) singularities [6]. So far, the author has not identified a way of achieving this SU(2) enhancement, but a complete investigation of all possible unHiggsings has not been done.
Finally, the investigations here hint at a deeper interpretation of the section components that should be understood better. Theẑ component seems to be the defining feature of the q = 3 construction, and the anomaly equation (2.23) seems to manifest itself through the section components. Understanding the physical meaning of the section components may provide new insights into abelian F-theory models. For instance, [27,59] analyze U(1) models, including the Morrison-Park construction and the original q = 3 construction in [22], in the Sen limit. Similar Type IIB investigations could elucidate the role played by the section components. In any case, a more physical description of the models discussed here may inform efforts to find U(1) models admitting larger charges.

JHEP05(2018)050
Parameter Mathematica Variable η a ηa η b ηb b (0) b0 b (1) b1 b (2) b2 φ ϕ t (0) t0 t (1) t1 t (2) t2 t (3) t3 h (0) h0 h (1) h1 h (2) h2 λ (0) λ0 λ (1) λ1 f 2 f2 Table 9. Mathematica variables corresponding to the parameters in the q = 3 model. Table 10. Mathematica variables corresponding to the parameters in the q = 4 model. as ancillary files in the arXiv submission and can be obtained by downloading the gzipped source of the submission. Each file contains the f and g of the Weierstrass model (assigned to the variables f and g) and thex,ŷ, andẑ components of the generating section (assigned to the variables x, y, and z). Because some of the parameters have typographical features, such as subscripts or macrons, that are not easily used in Mathematica, the Mathematica variable names may be slightly different than the parameter names used here. Tables 9  and 10 give the dictionaries between the model parameters and Mathematica variables.

JHEP05(2018)050 B Charge-3 expressions
The components of the section (in Weierstrass form) are given bŷ For the Weierstrass model, f is given by Meanwhile, g is given by g = g 0 + g 1ẑ + g 2ẑ 2 , (B.6)

JHEP05(2018)050
In the g i expressions, we have used and In the P 2 form of the elliptic fibration, in which the elliptic fiber is described via an embedding in P 2 , the q = 4 model is