## F -THEORY OVER A FANO THREEFOLD BUILT FROM A 4 -ROOTS

## HERBERT CLEMENS AND STUART RABY

Abstract. In previous papers, the authors showed the advantages of building a Z 2 -action into an F -theory model W /B 4 3 , namely the action of complex conjugation on the complex algebraic group with compact real form E 8 . The goal of this paper is to construct the Fano threefold B 3 directly from the roots of SU (5) in such a way that the action of complex conjugation is exactly the desired Z 2 -action and the quotient of this action on W /B 4 3 and its Heterotic dual have the phenomenologically correct invariants.

## Contents

1.

Introduction

2

| 1.1.                     | Building B 3 from the action of the Weyl group of SU (5) on its complexified Cartan subalgebra   |   3 |
|--------------------------|--------------------------------------------------------------------------------------------------|-----|
| 2.                       | The spectral divisor                                                                             |   4 |
| 3.                       | The role of the Cartan sub-algebra h SL (5; C ) gauge                                            |   5 |
| 3.1.                     | Tracking roots                                                                                   |   5 |
| 3.2.                     | Notation distinguishing Weyl chambers                                                            |   6 |
| 4. S 4 ⊆ W ( SU (5))     | 4. S 4 ⊆ W ( SU (5))                                                                             |   6 |
| 4.1.                     | Building a toric B ∧ 3 from SU (5) roots                                                         |   7 |
| 4.2.                     | The Weyl group of SU (5) and the Cremona involution as symmetries of the cube                    |   7 |
| 5. Toric geometry of B 3 | 5. Toric geometry of B 3                                                                         |   8 |
| 5.1.                     | Coordinatizing roots                                                                             |   8 |
| 5.2.                     | Tracking symmetry-breaking within the Cartan subalgebra of E C 8                                 |   9 |
| 5.3.                     | CUBE as a toric polyhedral fan                                                                   |  10 |
| 5.4.                     | Toric quotients of B ∧ 3                                                                         |  12 |
| 6.                       | B 2 , B 3 and their symmetries                                                                   |  14 |
| 6.1.                     | The del Pezzo B 2 and its symmetries                                                             |  15 |
| 6.2.                     | Eigenvectors and eigenvalues for the Z 4 symmetry on B 3                                         |  18 |
| 7.                       | Requirements for the Tate form                                                                   |  21 |
| 7.1.                     | Numerology of divisors on S GUT                                                                  |  25 |
| 8.                       | Z 2 -quotients B ∨ 2 and B ∨ 3 and their invariants                                              |  26 |
| 8.1.                     | Cohomology of the Higgs bundle the Higgs curve                                                   |  27 |
| 9.                       | Asymptotic Z 4 R -symmetry                                                                       |  29 |
| 9.1.                     | Asymptotic Tate form                                                                             |  29 |
| 9.2.                     | Charges for Z 4 -R symmetry [10]                                                                 |  31 |
| 10.                      | Conclusion                                                                                       |  31 |
| Acknowledgments          | Acknowledgments                                                                                  |  32 |

References

## 1. Introduction

A particular challenge in Heterotic F -theory duality arises when one wishes to transfer a Z 2 -action

$$V _ { 3 } ^ { \vee } / B _ { 2 } ^ { \vee } = \frac { V _ { 3 } / B _ { 2 } } { \mathbb { Z } _ { 2 } }$$

on a elliptically fibered Calabi-Yau Heterotic threefold V /B 3 2 to a Z 2 -action

$$W _ { 4 } ^ { \vee } / B _ { 3 } ^ { \vee } = \frac { W _ { 4 } / B _ { 3 } } { \mathbb { Z } _ { 2 } }$$

on an elliptically fibered Calabi-Yau fourfold that becomes the F -theory dual. We have proposed a framework for such a duality in [4]. W /B 4 3 with B 3 = B 2 × P [ u ,v 0 0 ] with del Pezzo B 2 is defined by a Tate form

$$( 1. 3 ) \quad \ w y ^ { 2 } = x ^ { 3 } + a _ { 5 } x y w + a _ { 4 } z x ^ { 2 } w + a _ { 3 } z ^ { 2 } y w ^ { 2 } + a _ { 2 } z ^ { 3 } x w ^ { 2 } + a _ { 0 } z ^ { 5 } w ^ { 3 }$$

with a , z, j y x ∈ H 0 ( K -1 B 3 ) [ -1] with respect to the Z 2 -action. We will require that W /B 4 3 be defined subject to the condition

$$( 1. 4 ) & & a _ { 5 } + a _ { 4 } + a _ { 3 } + a _ { 2 } + a _ { 0 } = 0.$$

The condition is equivalent to the condition that W /B 4 3 have a second section τ given by

$$x & = w z ^ { 2 } \\ y & = w z ^ { 3 }.$$

Incorporating translation by the difference of τ and the standard section ζ given by

$$x & = 0 \\ w & = 0$$

into the Z 2 -action allows us to eliminate vector-like exotics in a final paper [5] of this series.

The Z 2 -action on a V 3 must be free. Furthermore on the F -theory side the Z 2 -action must restrict to a free Z 2 -action on a distinguished smooth anti-canonical divisor S GUT ⊆ B 3 . Therefore it must act skew-symmetrically on the anti-canonical section z defining S GUT . In [4] we showed that, while x and w are symmetric with respect to the Z 2 -action on (1.3), y , z , and all the a j have to be skew-symmetric.

Furthermore B 3 is a P 1 -fiber bundle over B 2 on which Z 2 must act equivariantly. One desires such a configuration in order to employ the Wilson line mechanism for symmetry-breaking consistently and simultaneously on both the Heterotic model and its F -theory dual.

The Heterotic Z 2 -action must preserve the initial E 8 -symmetry and so the F -theory Z 2 -action must preserve initial E 8 -symmetry as well. In short, the challenge is to begin with E 8 -symmetry on both the Heterotic and F -theory sides and, for successive subgroups G R ≤ E , 8 to match breaking to G R -symmetry on the Heterotic side with simultaneous breaking to G R -symmetry on the F -theory side throughout, ending with symmetry-breaking to G R = SU (3) × SU (2) × U (1) , the so-called Minimal Supersymmetric Standard Model [MSSM].

As we showed in [4] , the necessity that Z 2 must act as

↦

$$\frac { d x } { y } \mapsto - \frac { d x } { y }$$

on the relative one-form of the elliptic fibration W /B 4 3 implies that it must incorporate the central involution

$$- I _ { 8 } \colon \mathfrak { h } _ { E _ { 8 } ^ { C } } \to \mathfrak { h } _ { E _ { 8 } ^ { C } }$$

on the Cartan subalgebra of the complex algebraic group E C 8 at the outset without breaking initial E 8 -symmetry on the quotients (1.1))and (1.2).

The purpose of this paper is to build the appropriate base space B 3 of the elliptically fibered F -theory model W /B 4 3 in such a way that the Z 2 -action on B 3 is exactly that induced by the complex conjugation operator on the complex algebraic group SL (5; C ) . Therefore it will fix the compact real form SU (5) so that the requisite Wilson line can be wrapped simultaneously on the Z 2 -actions on the Heterotic and F -theory sides.

To achieve this, in [4] we proposed the method of replacing all roots ρ with -ρ via the operation of complex conjugation on the complex algebraic group E C 8 and all relevant subgroups G C , an operation that restricts to the identity on all compact real forms G R . Since all the compact real forms have faithful real matrix representations, this complex conjugation operator will not affect G R -symmetry and will commute with the various symmetry-breaking steps.

- 1.1. Building B 3 from the action of the Weyl group of SU (5) on its complexified Cartan subalgebra. In fact we will build B 3 as a quotient of the resolution of the projectivization of the graph of

↦

$$( \exp { ( 2 \pi i \cdot \alpha ) } \mapsto \exp { ( 2 \pi i \cdot ( - \alpha ) ) } )$$

on the maximal torus

## exp ( h SL (5; C ) )

by an action of the longest element of the Weyl group W SL ( (5; C )) . This will allow the Z 2 -action on B 3 to automatically commute with the action of complex conjugation.

In later sections we will show that B 3 as constructed will have the correct numerical characteristics so that the F -theory model (1.2) will have the desired properties ( 3 -generation, correct chiral invariants, no vector-like exotics, etc.). The transfer of information between the F -theory and its Heterotic dual is the subject of a companion paper [4]. The application to the production of the final phenomenologically consistent F -theory/Heterotic duality is the subject of the final paper [5] in this sequence.

Remark 1 . Throughout this paper, we will let

$$\mathbb { P } _ { [ i _ { 1 }, \dots,, i _ { d } ] } ^ { d - 1 }$$

denote the weighted complex projective ( d -1) -space with weights [ i 1 , . . . , , i d ] and will let

$$\mathbb { P } _ { [ u _ { 1 }, \dots, u _ { d } ] }$$

denote the (unweighted) complex projective space with homogeneous coordinates [ u , . . . , , u 1 d ] .

## 2. The spectral divisor

The role of the Tate form (1.3) is to break E 8 -symmetry to that of the first summand of its maximal sub-group

$$\frac { S U \left ( 5 \right ) _ { g a u g e } \times S U \left ( 5 \right ) _ { H i g g s } } { \mathbb { Z } _ { 5 } }.$$

The crepant resolution ˜ W /B 4 3 of W /B 4 3 will have I 5 -type fibers over generic points of

$$S _ { \text{GUT} } \coloneqq \{ z = 0 \} \subseteq B _ { 3 }.$$

The I 5 -fibration over S GUT carries the SU (5) gauge -symmetry. SU (5) Higgs -symmetry is broken on a five-sheeted branched covering of B 3 given by the lift of

$$\mathcal { C } _ { H i g g s } \coloneqq W _ { 4 } \cdot \left ( \left \{ w y ^ { 2 } = x ^ { 3 } \right \} - \left \{ w = 0 \right \} \right )$$

to a divisor ˜ C Higgs ⊆ ˜ W 4 . Its symmetry is broken by assigning non-trivial eigenvalues to the fundamental representation SU (5) Higgs using the spectral construction with respect to the push-forward to B 3 of a line bundle L Higgs on ˜ C Higgs . We see this as follows.

In parallel to the construction for SU (5) gauge in [4], we imbed

$$\lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda \lambda
 ( S _ { \text{GUT} } - \{ a _ { 0 } = 0 \} ) \quad \rightarrow \quad \frac { \hbar { C } _ { S U ( 5 ) } ^ { \text{C} } } { W ( S U ( 5 ) _ { H i g g s } }$$

in such a way that the image of W 4 - { a 0 = 0 , w = 1 } in C 3 × h C SU (5) Higgs W SU ( (5)) is a family of rational double-point surface singularities. The above diagram allows the Casimir operators c j to operate on the fundamental representation of SU (5) Higgs with eigenvalues that are tracked via a spectral construction [9, 8].

The Tate form (1.3)) then records the above geometrically in W /B 4 3 by considering it as a hypersurface in

$$P \coloneqq \mathbb { P } \left ( \mathcal { O } _ { B _ { 3 } } \oplus \mathcal { O } _ { B _ { 3 } } \left ( 2 N \right ) \oplus \mathcal { O } _ { B _ { 3 } } \left ( 3 N \right ) \right )$$

with fiber coordinate [ w,x,y ] .

2.0.1. The spectral divisor.

We define the map

↦

$$\begin{array} { c } \mathbb { P } \left ( \mathcal { O } _ { B _ { 3 } } \oplus \mathcal { O } _ { B _ { 3 } } \left ( N \right ) \right ) \to \mathbb { P } \left ( \mathcal { O } _ { B _ { 3 } } \oplus \mathcal { O } _ { B _ { 3 } } \left ( 2 N \right ) \oplus \mathcal { O } _ { B _ { 3 } } \left ( 3 N \right ) \right ) = P \\ \left [ w, t \right ] \mapsto \left [ w, x = t ^ { 2 } w, y = t ^ { 3 } w \right ], \end{array}$$

Dividing by w 3 the inverse image of W 4 in P ( O B 3 ⊕O B 3 ( N )) has equation

$$0 & = a _ { 5 } t ^ { 5 } + a _ { 4 } z t ^ { 4 } + a _ { 3 } z ^ { 2 } t ^ { 3 } + a _ { 2 } z ^ { 3 } t ^ { 2 } + a _ { 0 } z ^ { 5 }$$

We next blow up up the locus { t = z = 0 } in P ( O B 3 ⊕O B 3 ( N )) via

$$\left \{ \left | \begin{array} { c c } t & z \\ T & Z \end{array} \right | = 0 \right \} \subseteq \mathbb { P } \left ( \mathcal { O } _ { B _ { 3 } } \oplus \mathcal { O } _ { B _ { 3 } } \left ( N \right ) \right ) \times \mathbb { P } _ { \left [ T, Z \right ] }$$

in which the proper transform of (2.2) becomes

$$0 = a _ { 5 } T ^ { 5 } + a _ { 4 } Z T ^ { 4 } + a _ { 3 } Z ^ { 2 } T ^ { 3 } + a _ { 2 } Z ^ { 3 } T ^ { 2 } + a _ { 0 } Z ^ { 5 }$$

defining the spectral divisor that we denote as D . In particular, the spectral divisor expands the singular locus { x = y = z = 0 } of W 4 . The condition (1.4) implies that homogeneous form in (2.4) is divisible by Z -T , that is, the spectral divisor admits a (4 + 1) factorization.

$$\mathcal { D } & = \mathcal { D } ^ { ( 4 ) } + \mathcal { D } ^ { ( 1 ) } \subseteq B _ { 3 } \times \mathbb { P } _ { [ T, Z ] }$$

given by the equation

$$\begin{array} { c } 0 = a _ { 5 } T ^ { 5 } + a _ { 4 } Z T ^ { 4 } + a _ { 3 } Z ^ { 2 } T ^ { 3 } + a _ { 2 } Z ^ { 3 } T ^ { 2 } + a _ { 0 } Z ^ { 5 } = \\ \left ( a _ { 5 } T ^ { 4 } + a _ { 5 4 } T ^ { 3 } Z - a _ { 2 0 } T ^ { 2 } Z ^ { 2 } - a _ { 0 } T Z ^ { 3 } - a _ { 0 } Z ^ { 4 } \right ) ( T - Z ) \end{array}$$

where a jk := a j + a k . The involution ˜ β /β 4 3 of W /B 4 3 leaves (2.6) and each of its two factors invariant. 1

$$3. \text{ THE ROLE OF THE CARTAN SUB-ALGEBRA h} _ { S L ( 5 ; \mathbb { C } ) } _ { g a u g e }$$

3.1. Tracking roots. Again referring to [4] we track roots during symmetrybreaking from E 8 to the maximal subgroup

$$\frac { S U \left ( 5 \right ) _ { g a u g e } \times S U \left ( 5 \right ) _ { H i g g s } } { \mathbb { Z } _ { 5 } } \\. \quad \cdots \quad \cdots \quad \cdots \quad e.$$

on the F -theory side by returning to the Tate form

$$w y ^ { 2 } = x ^ { 3 } + a _ { 5 } x y w + a _ { 4 } z x ^ { 2 } w + a _ { 3 } z ^ { 2 } y w ^ { 2 } + a _ { 2 } z ^ { 3 } x w ^ { 2 } + a _ { 0 } z ^ { 5 } w ^ { 3 }$$

where we divide both sides by a 6 0 , rescale by the rule

$$\begin{smallmatrix} u & \nu \\ \frac { x } { a _ { 0 } ^ { 2 } } \rightarrow x \\ \frac { y } { a _ { 0 } ^ { 3 } } \rightarrow y \\ \frac { z } { a _ { 0 } } \rightarrow z \end{smallmatrix}$$

and define the functions

$$c _ { j } = \frac { a _ { j } } { a _ { 0 } } \\ \dots$$

on B ′ 3 := B 3 -{ a 0 = 0 } . By this rescaling we obtain the equation

$$y ^ { 2 } = x ^ { 3 } + c _ { 5 } x y + c _ { 4 } z x ^ { 2 } + c _ { 3 } z ^ { 2 } y + c _ { 2 } z ^ { 3 } x + z ^ { 5 }$$

in the variables ( x, y, z ) parametrized by the 'free' variables ( c 2 , c 3 , c 4 , c 5 ) that we interpret as a family V gauge of rational double-point surface singularities. (See §4.1 of [4].)

Next by interpreting the c j as the SU (5) Casimir generators, we pull the family V gauge back to h SL (5; C ) gauge by the map

$$( c _ { 2 }, c _ { 3 }, c _ { 4 }, c _ { 5 } ) \colon \mathfrak { h } _ { S L ( 5 ; \mathbb { C } ) } _ { g a u g e } \rightarrow \frac { \mathfrak { h } _ { S L ( 5 ; \mathbb { C } ) } _ { g a u g e } } { W \left ( S L \left ( 5 ; \mathbb { C } \right ) \right ) }$$

where we were able to interpret it as a family of weighted homogeneous polynomials of weight 30 that is therefore also obtained via pull-back from a map to the semiuniversal deformation of

$$y ^ { 2 } = x ^ { 3 } + z ^ { 5 }.$$

1 This 4 + 1 split is often written in terms of the variable s = Z/T , e.g. the factor ( Z -T ) becomes the factor ( s -1) used to remove 10 {- } 4 states as in formula (70) in [2]. In our case, the 4 + 1 split is global.

Next defining

$$z \coloneqq \sum _ { j = 2 } ^ { 5 } \kappa _ { j } \alpha _ { j }$$

for general complex constants κ j as in §4.1 of [4], we obtained morphisms

$$B _ { 3 } ^ { \prime } \rightarrow \frac { \mathfrak { h } _ { S L \left ( 5 ; \mathbb { C } \right ) } } { W \left ( S L \left ( 5 ; \mathbb { C } \right ) \right ) }$$

and

$$W _ { 4 } ^ { \prime } \coloneqq W _ { 4 } \times _ { B _ { 3 } } B _ { 3 } ^ { \prime } \to \mathcal { V } _ { g a u g e }$$

for B ′ 3 = B 3 -{ a 0 = 0 } . Further we showed that the complex conjugation operator ι induces equivariant involutions

↦

$$( 3. 4 ) \quad \left ( ( a _ { 0 }, a _ { 2 }, a _ { 3 }, a _ { 4 }, a _ { 5 } ) \,, x, y, z \right ) \mapsto \left ( ( - a _ { 0 }, - a _ { 2 }, - a _ { 3 }, - a _ { 4 }, - a _ { 5 } ) \,, x, - y, - z \right )$$

on W /B 4 3 and

↦

$$\left ( \left ( c _ { 2 }, c _ { 3 }, c _ { 4 }, c _ { 5 } \right ), x, y, z \right ) \mapsto \left ( \left ( c _ { 2 }, - c _ { 3 }, c _ { 4 }, - c _ { 5 } \right ), x, - y, z \right )$$

on (3.1). This allowed us in [4] to interpret the equivariant crepant resolution of (3.1) over h SL (5; C ) as induced by the Brieskorn-Grothendieck equivariant crepant resolution [3, 12] of the semi-universal deformation of (3.2) and thereby track roots and the action

$$i \cdot \mathfrak { h } _ { S U ( 5 ) _ { g a$$

of complex conjugation.

3.2. Notation distinguishing Weyl chambers. We will have a single Tate form defining our F -theory model W 4 but initially we will have two desingularizations that we will denote as ˙ W /B 4 ˙ 3 or the 'blue' desingularization and as ¨ W /B 4 ¨ 3 or the 'red' desingularization, depending on whether we consider a given Weyl chamber of SU (5) or its negative as the 'positive' Weyl chamber. ˙ B 3 will be related to ¨ B 3 by a Cremona transformation representing the passage of each root to its negative. Indeed it is the resolution of the graph of that transformation that will determine our ultimate B 3 and the quotient under its induced involution that will be our ultimate B ∨ 3 .

$$4. \ S _ { 4 } \subseteq W \left ( S U \left ( 5$$

Our strategy is now to identify a group G ≤ W SU ( (5)) such that

$$\frac { \mathfrak { h } _ { S U ( 5 ) } ^ { \math$$

gives rise to a phenomenologically correct F -theory model.

4.1. Building a toric B ∧ 3 from SU (5) roots. A set of simple positive roots ordered by the A 4 -Dynkin diagram is given by

$$\{ \alpha _ { i } = e _ { i } - e _ { i - 1 }$$

One immediately checks that the permutation of the axes e j given by the product of transpositions ( e e 0 4 ) ( e e 1 3 ) acts as

$$\begin{array} {$$

and so is the composition of -I 4 with the unique symmetry of the A 4 -Dynkin diagram. Therefore it is the unique longest element of W SU ( (5)) . This symmetry fixes exactly one of the five axes, namely the axis e 2 , and therefore lies the permutation subgroup

$$S _ { 4 } = P e r m \left \{ e _ { 0 }, e _ { 1 }, e _ { 3 }, e _ { 4 } \right \} \hookrightarrow S _ { 5 } = P e r m \left \{ e _ { 0 }, e _ { 1 }, e _ { 2 }, e _ { 3 }, e _ { 4 } \right \} = W \left ( S U \left ( 5 \right ) \right )$$

via the identification of the axis e j of the fundamental representation of SU (5) with the root e j -e 2 . We use this fact to construct a root basis for h C SU (5) that is convenient for a toric construction of our 'new' B 3 .

We next project the root space along the e 2 -axis to obtain the vertices of a 3 -dimensional cube. Thus we place e 2 at (0 , 0 0) , , the center of the cube below (that we will denote as CUBE) whose eight vertices are ( ± 1 , ± 1 , ± 1) . The elements { e , e 0 1 , e 3 , e 4 } can be identified with the vertices of the blue tetrahedron inscribed in CUBE

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.01110v5-figure-0028918e-24e5-4cd2-bcda-daa427c3b1d1.jpg)

as follows:

$$\begin{smallmatrix} e _ { 0 } \colon & ( 1, - 1, 1 ) \\ e _ { 1 } \colon & ( 1, 1, - 1 ) \\ e _ { 3 } \colon & ( - 1, - 1, - 1 ) \\ e _ { 4 } \colon & ( - 1, 1, 1 ) \end{smallmatrix}$$

That is, { e , e 0 4 } are the two 'top' blue vertices and { e , e 1 3 } are the two 'bottom' blue vertices and their negatives are the four vertices of the red tetrahedron. Circled vertices are those of the polyhedral fan.

- 4.2. The Weyl group of SU (5) and the Cremona involution as symmetries of the cube. The group of orientation-preserving symmetries of CUBE (or equivalently the orientation-preserving symmetries of the inscribed green octahedron) maps isomorphically to the permutation group of axes ± e j , that is,

$$S _ { 4 } = P e r m \left \{ \left \{ \pm e _ { 0 } \right \}, \left \{ \pm e _ { 1 } \right \}, \left \{ \pm e _ { 3 } \right \}, \left \{ \pm e _ { 4 } \right \} \right \} \subseteq S _ { 5 } = W \left ( S U \left ( 5 \right ) \right ).$$

For example, ( { ± e 0 } { ± e 4 } ) ( { ± e 1 } { ± e 3 } ) is the rotation of CUBE around the vertical axis through an angle of π . It gives the above longest element of W SU ( (5)) . Rotation of the cube around the diagonal axis through (1 1 1) , , through an angle of

2 π/ 3 is the cyclic permutation ( { ± e 0 } { ± e 1 } { ± e 4 } ) . A rotation with axis spanned by the midpoints of a pair of opposite edges only flips the pair of axes given by the endpoints of the edges. We will be especially interested in the commutator subgroup of the involution ( { ± e 0 } { ± e 4 } ) ( { ± e 1 } { ± e 3 } ) in S 4 .

Finally A 4 ⊆ S 4 is the subgroup of orientation-preserving symmetries of the cube that preserve the blue tetrahedron and therefore also preserve the red tetrahedron, so that the quotient S /A 4 4 interchanges the two. The full symmetry group of CUBE is then generated by adjoining the central, orientation-reversing element given by reflection through the origin that we denote as C . It is the involution induced by C given by ( e i -e 2 ↔ e 2 -e i ) i =0 1 3 4 , , , on W /B 4 3 that will the yield the quotient F -theory model W /B ∨ 4 ∨ 3 with a Z 2 -action. It is the Z 4 -group generated by the cyclic permutation ( { ± e 0 } { ± e 1 } { ± e 4 } { ± e 3 } ) that will lead to an asymptotic Z 4 R symmetry on the semi-stable degeneration W 4 0 , /B 3 0 , of W /B 4 3 . Notice that the Cremona involution C / W ∈ ( SU (5)) , however C commutes with all the elements of S 4 ≤ W SU ( (5)) .

## 5. Toric geometry of B 3

## 5.1. Coordinatizing roots. We choose U (4) ⊆ SU (5) via the inclusion

↦

$$\begin{array} { c } U \left ( 4 \right ) \hookrightarrow S U \left ( 5 \right ) \\ A \mapsto \hat { A } \coloneqq \left ( \begin{array} { c } \frac { } { \det A } & 0 \\ 0 & A \end{array} \right ) \end{array}$$

with maximal torus of SU (5) identified with diagonal unitary matrices A . Logarithms of eigenvalue functions for the restriction of the adjoint representation

$$A d _ { S U ( 5 ) } \, \colon S U \left ( 5 \right ) \rightarrow G L \left ( \mathfrak { s u } \left ( 5 \right ) \otimes \mathbb { C } \right )$$

to the maximal torus give the (root) linear operators on the complexified Cartan subalgebra h C SU (5) = h SL (5; C ) . We choose set of roots { e j -e 2 } j =0 1 3 4 , , , as basis for ( h C SU (5) ) ∗ as in the previous section. Exponentiating we let

$$x, y, z, w$$

denote the corresponding eigenvalue functions.

Remark 2 . As is standard in the literature, we have used the letter z to denote the form whose vanishing defines the anti-canonical divisor S GUT ⊆ B 3 . In several places below, we will abuse notation by also using each of the letters x, y, z, w to denote one of the homogeneous coordinates [ x, y, z, w ] of the P 3 = P ( h C A 4 ) where h A 4 denotes the Cartan subalgebra of SU (5) . We trust that the intended meaning of x, y, z, w in each instance will be clear from the context.

Then we can make the identification log x = e -e

$$\log x & = e _ { 0 } - e _ { 2 } \\ \log y & = e _ { 1 } - e _ { 2 } \\ \log w & = e _ { 3 } - e _ { 2 } \\ \log z & = e _ { 4 } - e _ { 2 }.$$

giving a basis for the A 4 root lattice. The distinguished Weyl chamber (4.1) is given by the system of positive simple roots

$$\begin{matrix}. &. &. &. &. \\ & \alpha _ { 1 } = e _ { 1 } - e _ { 0 } = \log \left ( y / x \right ) \\ & \alpha _ { 2 } = e _ { 2 } - e _ { 1 } = \log \left ( 1 / y \right ) \\ & \alpha _ { 3 } = e _ { 3 } - e _ { 2 } = \log w \\ & & \alpha _ { 4 } = e _ { 4 } - e _ { 3 } = \log \left ( z / w \right ). \\ \ddots &. &. &. &. &. &. \end{matrix}$$

(Notice that the set (5.2) of roots is not a set of simple roots for a single Weyl chamber, however it does span the root lattice.) We obtain 24 of the 120 Weyl chambers by the 24 permutations of { x, y, z, w } in (5.3). The longest element of the Weyl group is then given by

$$\begin{smallmatrix} y / x \leftrightarrow w / z \\ 1 / y \leftrightarrow 1 / w \\ w \leftrightarrow y \\ z / w \leftrightarrow x / y. \end{smallmatrix}$$

Passing from roots to their negatives corresponds to the Cremona transformation

$$x & \leftrightarrow \frac { 1 } { x } \\ y & \leftrightarrow \frac { 1 } { y } \\ z & \leftrightarrow \frac { y } { z } \\ w & \leftrightarrow \frac { 1 } { w } \\ \text{that in turn on command to the orientation rowwise}$$

that in turn corresponds to the orientation-reversing symmetry of CUBE given by reflection through the origin.

## 5.2. Tracking symmetry-breaking within the Cartan subalgebra of E C 8 . As mentioned above, the Tate form tracks symmetry breaking to

$$\frac { S U \left ( 5 \right ) _ { g a u g e } \times$$

As we have shown in [4] symmetry-breaking must be compatible with the threedimensional commutative diagram

$$\begin{array} {$$

where the top row of (5.5) is mapped to the bottom row by the isomorphism ι given by complex conjugation where ι induces the involutions

$$\begin{smallmatrix} - I _ { 4 } \colon \mathfrak { h$$

on complex Cartan subalgebras. Identifying maximal tori also identifies

$$\mathfrak { h } _ { S L ( 5 ; \mathbb { C } ) _$$

as well as inducing the inclusion

$$W \left ( S U \left ( 5 \right ) _ { g a u g e } \$$

While is also the longest element the Weyl group , it does not re-

Our strategy will be to build B 3 and its symmetries from the group W SU ( (5) Higgs ) acting on on the right-hand sum in (5.7). Throughout we maintain the relationship with W E ( 8 ) as per (5.6) and (5.7) so that the Z 2 -action on B 3 , that we have denoted as β 3 in [4] and [5] and interchangeably as C u,v below, acts as the composition of the complex conjugation -I 8 on 5.7 and the longest element of W SU ( (5) Higgs ) on B 3 .

-I 8 W E ( 8 ) strict to an element of the Weyl group W SU ( (5) gauge ) or an element of the Weyl group W SU ( (5) Higgs ) . However -I 8 and the pair of longest elements in W SU ( (5) gauge ) × W SU ( (5) Higgs ) differ by the involutive symmetries of the two A 4 -Dynkin diagrams.

5.3. CUBE as a toric polyhedral fan. The standard toric presentation of P 3 is given by a real vector space N R = N Z ⊗ R = R 3 with fan equal to the union of four strongly convex rational polyhedral cones σ xyz , σ xyw , σ xzw , σ yzw ⊆ N R such that for the duals

$$S \left ( \sigma \right ) = \left \{ \mathbf m \in \text{Hom} \left ( N _ { \mathbb { Z } }, \mathbb { Z } \right ) \colon \mathbf m \cdot \sigma \geq 0 \right \}$$

the associated group algebras C [ S ( σ )] are identified with the respective affine rings C [ x/w,y/w,z/w ] , C [ x/w,y/z,w/z ] , C [ x/y, z/y, w/y ] , and C [ y/x, z/x, w/x ] . The edges e x , e y , e z , e w of the fan are identified with the four divisors on P 3 given by the vanishing of the respective variables.

We have two such toric presentations of P 3 in CUBE, one given by the blue tetrahedron that we will denote as

$$\dot { \mathbb { P } } \coloneqq \mathbb { P } _ { [ \dot { x }, \dot { y }, \dot { z }, \dot { w } ] }$$

and the other given by the red tetrahedron that we will denote as

$$\ddot { \mathbb { P } } = \mathbb { P } _ { [ \ddot { x }, \ddot { y }, \ddot { z }, \ddot { w } ] }.$$

Both toric representations are given with respect to the same toric lattice N ∧ , the one generated by either the red four or the blue four vertices of CUBE. P [ ˙ x,y,z,w ˙ ˙ ˙ ] has toric fan given by the vertices of the blue tetrahedron and P [¨ ¨ ¨ x,y,z,w ¨] has toric fan given by the vertices of the red tetrahedron.

This allows us to use CUBE to torically represent the resolution of the graph of the Cremona transformation (5.4). Namely the graph of the Cremona transformation is given by the relations

$$( 5. 8 )$$

$$\dot { x } \ddot { x } = \dot { y } \ddot { y } = \dot { z } \ddot { z } = \dot { w } \ddot { w } = 1$$

on the Zariski-open subset glyph[negationslash]

$$\{ \dot { x } \cdot \dot { y } \cdot \dot { z } \cdot \dot { w } \neq 0 \} \times \{ \ddot { x } \cdot \dot { y } \cdot \ddot { z } \cdot \ddot { w } \neq 0 \} \subseteq \mathbb { P } _ { [ \dot { x }, \dot { y }, \dot { z }, \dot { w } ] } \times \mathbb { P } _ { [ \ddot { x }, \dot { y }, \dot { z }, \ddot { w } ] }.$$

glyph[negationslash]

We define

B ∧ 3 := { ([ ˙ x, y, z, w ˙ ˙ ˙ ] , [¨ x, y, z, w ¨ ¨ ¨]) ∈ P [ ˙ x,y,z,w ˙ ˙ ˙ ] × P [¨ ¨ ¨ x,y,z,w ¨] : ˙ ¨ = xx ˙ ¨ = yy ˙ ¨ = zz ˙ ww ¨ = 1 } as simply the closure of the graph of the Cremona transformation.

B ∧ 3 is a toric manifold with respect to the same toric lattice N ∧ . The polyhedral fan has vertices at the eight vertices of CUBE together with the six additional points ( ±2,0,0 , ) (0 , ±2,0 , ) and (0 , 0 , ±2 . ) These fourteen vertices correspond to

the fourteen toroidal divisors whose sum is the anticanonical divisor of B ∧ 3 . The inclusion of cones generate two birational morphisms

$$\dot { \pi } \, \colon B _ { 3 } ^ { \wedge } \rightarrow \dot { \mathbb { P } } \\ \ddot { \pi } \, \colon B _ { 3 } ^ { \wedge } \rightarrow \ddot { \mathbb { P } }.$$

The Cremona involution is given toroidally by the reflection C of CUBE through the origin.

To further describe the toroidal divisors, we denote the red vertices of the fan as e ˙ ¨¨ ¨ xyzw , e ˙ ¨¨ ¨ yxzw , e ˙ ¨¨ ¨ zxyw , e ˙ ¨¨¨ wxyz and the blue vertices as e ˙ xyzw ˙ ˙ ¨ , e ˙ xywz ˙ ˙ ¨ , e ˙ xzwy ˙ ˙ ¨ , e ˙ ˙ yzwx ˙ ¨ . Set

## e ˙ xzyw ˙ ¨ ¨

the vertex above CUBE that lies on the ray through the origin that bisects the segment joining e ˙ ¨¨ ¨ xyzw and e ˙ ¨¨ ¨ zxyw . This same ray bisects the segment joining e ˙ xyzw ˙ ˙ ¨ and e ˙ xzwy ˙ ˙ ¨ . This choice will force the top vertices of the cube to be

## e ˙ ¨¨ ¨ xyzw , e ˙ xyzw ˙ ˙ ¨ , e ˙ ¨¨ ¨ zxyw , e ˙ xzwy ˙ ˙ ¨ .

We use the analogous notation for the other five possible (2 , 2) -partitions. We obtain the toroidal fan:

The toroidal divisors are given by the vertices of the polyhedral fan pictured above where the blue-red colorations of the variables in the monomial

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.01110v5-figure-7faba9c6-af32-42ad-96cd-0f7800b88536.jpg)

xyzw correspond to the decorations { ˙ ¨ , } in P [ ˙ x,y,z,w ˙ ˙ ˙ ] × P [¨ ¨ ¨ x,y,z,w ¨] .

Passing from roots to their negatives corresponds to the orientation-reversing symmetry of the above cube given by reflection through the origin. The reflection also interchanges the blue tetrahedron with the red one. In fact, the full subgroup S 4 ⊆ W SU ( (5)) of symmetries of CUBE acts on the set of decorated monomials, dividing them into sets with an even number of blue variables and sets with an odd number of blue variables. The toroidal divisors are just the restriction to B ∧ 3 of the divisors

$$E _ { \dot { x } \dot { y } \dot { z } \dot { w } } \coloneqq \{ \dot { x } = 0 \} \times \{ \ddot { y } = \ddot { z } = \ddot { w } = 0 \} \subseteq \dot { \mathbb { P } } \times \ddot { \mathbb { P } } _ {.. }$$

$$\begin{array} { c } \div _ { x y x w } \colon \, \underset { \lambda } { \lambda } \colon \, \underset { \lambda } { \lambda } \colon \, \underset { \lambda } { \lambda } \colon \, \underset { \lambda } { \lambda } \colon \, \underset { \lambda } { \lambda } \colon \, \underset { \lambda } { \lambda } \colon \, \underset { \lambda } \colon \, \underset { \lambda } \colon \, \underset { \lambda } \colon \, \underset { \lambda } \colon \, \underset { \lambda } \colon \, \underset { \lambda } \colon \, \underset { \lambda } \colon \, \underset { \lambda } \colon \, \underset { \lambda } \colon \, \underset { \lambda } \colon \, \underset { \lambda } \colon \, \underset { \lambda } \colon \, \underset { \lambda } \colon \, \underset { \lambda } \colon \, \underset { \lambda } \colon \, \underset { \lambda } \colon \, \underset { \lambda } \colon \\ E _ { x z i j \ddot { z } w \ddot { x } } \colon = \{ \dot { y } = \dot { z } = \dot { w } = 0 \} \times \{ \ddot { x } = 0 \} \subseteq \dot { \mathbb { P } } \times \ddot { \mathbb { P } } \\ E _ { y \dot { z } w \ddot { x } } \colon = \{ \dot { y } = \dot { z } = \dot { w } = 0 \} \times \{ \ddot { x } = 0 \} \subseteq \dot { \mathbb { P } } \times \ddot { \mathbb { P } } \end{array}$$

$$E _ { \dot { y } \dot { z } \dot { w } \dot { x } } \coloneqq \{ \dot { y } = \dot { z } = \dot { w } = 0 \} \times \{ \ddot { x } = 0 \} \subseteq \dot { \mathbb { P } } \times \ddot { \mathbb { P } }$$

etc., where of course E · is the divisor given in toric notation by e · . For example, the toric dictionary gives

$$E _ { \dot { x } \dot { y } \dot { z } \ddot { w } } \leftrightarrow e _ { \dot { x } \dot { y } \dot { z } \ddot { w } }$$

and the normal bundle to E ˙ ¨¨ ¨ xyzw in ˜ P 3 is

$$\mathcal { O } _ { E _ { \hat { x } i j \hat { x } \omega } } \left ( - 1, - 1 \right ).$$

So by adjunction

$$K _ { \tilde { \mathbb { P } } ^ { 3 } } \cdot E _ { \tilde { x } \tilde { y } \tilde { z } \tilde { w } } = \mathcal { O } _ { E _ { \tilde { x } \tilde { y } \tilde { z } \tilde { w } } } \left ( - 1, - 1 \right ).$$

If we classify the above components (5.9) to be of type (1 3) , , (2 2) , , and (3 , 1) respectively, there are four divisors of type (3 , 1) , four divisors of type (1 , 3) and six divisors of type (2 , 2) . All non-empty intersections occur as intersections of a component of type (2 2) , with a component of type (1 3) , or (3 , 1) obtained by changing the decoration on exactly one of its four variables, for example

$$E _ { \dot { x } \dot { y } \dot { z } \ddot { w } } \cap E _ { \dot { x } \dot { y } \dot { z } \ddot { w } } = \left \{ \dot { x } = \dot { y } = \dot { z } = \ddot { z } = 0 \right \}.$$

There are exactly 24 = 2 4! · 2 such intersections, 12 projecting to a vertex in ˙ P and an edge in ¨ P and 12 projecting to a vertex ¨ P and an edge in ˙ P . The divisors of type (3 , 1) are the four vertex rays in N ∧ R in the original toric description of P 3 , those of type (1 3) , are the rays through the barycenters of the cones and those of type (2 , 2) are the rays through the barycenters of the faces.

The anti-canonical bundle of B ∧ 3 is represented by 14 -hedron given by the (reduced) support of the total transform of the tetrahedron in ˙ P or in ¨ P , that is

$$K _ { B _ { 3 } ^ { \prime } } ^ { - 1 } \coloneqq E _ { \dot { x } \dot { y } \dot { z } \dot { w } } + E _ { \dot { y } \dot { x } \dot { w } } + E _ { \dot { z } \dot { x } \dot { y } \dot { w } } + E _ { \dot { w } \dot { x } \dot { y } \dot { z } } \\ + E _ { \dot { x } \dot { z } \dot { y } \dot { w } } + E _ { \dot { x } \dot { y } \dot { z } \dot { w } } + E _ { \dot { x } \dot { w } \dot { y } \dot { z } } + E _ { \dot { z } \dot { w } \dot { x } \dot { y } } \\ + E _ { \dot { y } \dot { z } \dot { w } \dot { z } } + E _ { \dot { x } \dot { z } \dot { w } \dot { y } } + E _ { \dot { x } \dot { y } \dot { w } \dot { z } } + E _ { \dot { x } \dot { y } \dot { z } \dot { w } }.$$

5.4. Toric quotients of B ∧ 3 . Next define the 'over-lattice'

$$N _ { \mathbb { Z } } = \left \{ \left ( \frac { a } { 2 } + \frac { b } { 2 } + \frac { c } { 2 } \right ) \colon ( a, b, c ) \in N ^ { \wedge }, \, a + b + c \equiv _ { 2 } 0 \right \} \supseteq N ^ { \wedge }$$

inducing a toric quotient of B ∧ 3 . With respect to the lattice N Z , the polyhedral fan generated by the polyhedral fan for B ∧ 3 becomes

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.01110v5-figure-bff57854-1ddc-4ff9-99af-d10a2ecc0c3a.jpg)

where the vertices of the fan are circled.

Now the six red-blue-green crossing points generate N Z . The green octahedron with vertices at the six red-blue-green crossing points

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.01110v5-figure-5a4efc6c-0fbb-4ba9-9100-258e9d7b8fd4.jpg)

is the toric representation of

$$\mathbb { P } _ { u, v } \coloneqq \mathbb { P } _ { [ u _ { 0 }, v _ { 0 } ] } \times \mathbb { P } _ { [ u _ { 1 }, v _ { 1 } ] } \times \mathbb { P } _ { [ u _ { 2 }, v _ { 2 } ] }$$

where

$$[ u _ { 0 }, v _ { 0 } ] & = \left [ \frac { x z } { y w }, \frac { y w } { x z } \right ] \\ [ u _ { 1 }, v _ { 1 } ] & = \left [ \frac { x y } { z w }, \frac { z w } { x y } \right ] \\ [ u _ { 2 }, v _ { 2 } ] & = \left [ \frac { x w } { y z }, \frac { y z } { x w } \right ] \\ \diagup \, + b \infty \infty \, \neq f \, + b \infty \infty \, b \infty \, \text{wolong} \, +$$

and again circled vertices are those of the polyhedral fan. The toric P u,v is invariant under the the action of the longest element (( e e 0 4 ) ( e e 1 3 )) of W SU ( (5)) , namely the toric involution given by

↦

$$\begin{smallmatrix} \mathbb { P } _ { [ u _ { 1 }, v _ { 1 } ] } \times \mathbb { P } _ { [ u _ { 2 }, v _ { 2 } ] } & \overset { ( ( e _ { 0 } e _ { 4 } ) ( e _ { 1 } e _ { 3 } ) ) } { \longrightarrow } & \mathbb { P } _ { [ u _ { 1 }, v _ { 1 } ] } \times \mathbb { P } _ { [ u _ { 2 }, v _ { 2 } ] } \\ ( [ u _ { 1 }, v _ { 1 } ] \,, [ u _ { 2 }, v _ { 2 } ] ) & \mapsto & \left ( [ v _ { 1 }, u _ { 1 } ] \,, [ v _ { 2 }, u _ { 2 } ] \right ). \end{smallmatrix}$$

We will distinguish the 'vertical' P 1 = P [ u ,v 0 0 ] . Thus { u 0 = 0 } will correspond to the 'top' of the cube and { v 0 = 0 } will correspond to the 'bottom.' Our distinguished 'vertical' P [ u ,v 0 0 ] in CUBE is the one spanned by

$$f _ { \dot { x } \dot { z } \dot { y } \ddot { w } } \coloneqq \frac { 1 } { 2 } \cdot e _ { \dot { x } \dot { z } \dot { y } \ddot { w } } \, a n d \, f _ { \dot { y } \dot { w } \dot { x } \dot { z } } = - f _ { \dot { x } \dot { z } \dot { y } \ddot { w } }$$

that is, this P 1 is the one corresponding to the partition ( { x, z } , { y, w } ) of { x, y, z, w } . Analogously we have P [ u ,v 1 1 ] corresponding to the fan vertices

$$f _ { \dot { x } \dot { y } \dot { z } \ddot { w } } \, a n d \, f _ { \dot { z } \dot { w } \ddot { x } \dot { y } } = - f _ { \dot { x } \dot { y } \dot { z } \ddot { w } },$$

and finally P [ u ,v 2 2 ] corresponding to the fan

$$f _ { \dot { x } \dot { w } \dot { y } \dot { z } } \, a n d \, f _ { \dot { y } \dot { z } \dot { x } \dot { w } } = - f _ { \dot { x } \dot { w } \dot { y } \dot { z } }.$$

The following Lemma then follows immediately from the toroidal picture together with the fact that the Cremona involution on B ∧ 3 reverses the decorations on the xyzw -monomials, whereas the action of S 4 permutes the variables x, y, z, w .

$$\text{Lemma $3$. $i$} ) \text{ } \text{The involutio}$$

$$C _ { u, v } \colon \mathbb { P } _ { u, v } \to \mathbb { P } _ { u, v }$$

induced by the Cremona involution C on B ∧ 3 is given by

↦

$$[ u _ { j }, v _ { j } ] \mapsto [ v _ { j }, u _ { j } ]$$

for j = 0 1 2 , , .

ii) The Z 4 -action by the cyclic permutation

$$T _ { 0 } \coloneqq \left ( \left \{ \pm e _ { 0 } \right \} \left \{ \pm e _ { 1 } \right \} \left \{ \pm e _ { 4 } \right \} \left \{ \pm e _ { 3 } \right \} \right )$$

is a rotation of 90 ° of the green octahedron above in this Subsection around its vertical axis.

iii) The cyclic permutation ( { ± e 0 } { ± e 1 } { ± e 4 } { ± e 3 } ) is the Z 4 -action on P [ u ,v 1 1 ] × P [ u ,v 2 2 ] generated by

$$[ u _ { 1 }, v _ { 1 } ] \,, [ u _ { 2 }, v _ { 2 } ] \stackrel { T _ { 0 } } { \longrightarrow } [ u _ { 2 }, v _ { 2 } ] \,, [ v _ { 1 }, u _ { 1 } ]$$

that we also denote as T 0 .

iv) Replacing the homogeneous coordinates [ u , v 0 0 ] for P [ u ,v 0 0 ] with the single affine coordinate u 0 -v 0 u 0 + v 0 , there exists a Z 4 -action that we denote as T u,v on B 3 = P [ u ,v 0 0 ] × B 2 defined by

$$( 5. 1 3 ) \quad \left ( \frac { u _ { 0 } - v _ { 0 } } { u _ { 0 } + v _ { 0 } }, [ u _ { 1 }, v _ { 1 } ] \,, [ u _ { 2 }, v _ { 2 } ] \right ) \stackrel { T _ { u, v } } { \longrightarrow } \left ( i \cdot \left ( \frac { u _ { 0 } - v _ { 0 } } { u _ { 0 } + v _ { 0 } } \right ), T _ { 0 } \left ( [ u _ { 1 }, v _ { 1 } ] \,, [ u _ { 2 }, v _ { 2 } ] \right ) \right ).$$

iii) Furthermore

$$T _ { u, v } ^ { 2 } \left ( \frac { u _ { 0 } - v _ { 0 } } { u _ { 0 } + v _ { 0 } }, & \left [ u _ { 1 }, v _ { 1 } \right ], \left [ u _ { 2 }, v _ { 2 } \right ] \right ) = \left ( \frac { v _ { 0 } - u _ { 0 } } { u _ { 0 } + v _ { 0 } }, \left [ v _ { 1 }, u _ { 1 } \right ], \left [ v _ { 2 }, u _ { 2 } \right ] \right ) \,. \\ & = C _ { u, v } \left ( \frac { u _ { 0 } - v _ { 0 } } { u _ { 0 } + v _ { 0 } }, \left [ u _ { 1 }, v _ { 1 } \right ], \left [ u _ { 2 }, v _ { 2 } \right ] \right ).$$

6. B 2 , B 3 and their symmetries

The toroidal blow-up of P u,v at the eight points of

$$\{ u _ { 0 } v _ { 0 } = u _ { 1 } v _ { 1 } = u _ { 2 } v _ { 2 } = 0 \}$$

as shown in the previous Section cannot be chosen for B 3 since its anti-canonical line bundle is far from ample. In fact it is given by sections of O P u,v (2 2 2) , , that vanish to second order at the eight vertices { u v 0 0 = u v 1 1 = u v 2 2 = 0 } and therefore also vanish to first order along all the edges of CUBE. So its anti-canonical linear system will not be basepoint-free which will be necessary for our geometric model.

$$\left ( K ^ { - 1 } \right ) ^ { 3 } = - 1 6.$$

Furthermore it has

On the other hand K -1 P u,v is ample with

$$\left ( K _ { \mathbb { P } _ { u, v } } ^ { - 1 } \right ) ^ { 3 } = 4 8.$$

In our application to W /B 4 3 we will need the linear system ∣ ∣ K -1 B 3 ∣ ∣ basepoint-free and, in particular, for three-generation we will need

$$\left ( K _ { B _ { 3 } } ^ { - 1 } \right ) ^ { 3 } = 1 2.$$

To achieve (6.1), we will modify

$$\mathbb { P } _ { B _ { 2 } } \coloneqq \mathbb { P } _ { [ u _ { 1 }, v _ { 1 } ] } \times \mathbb { P } _ { [ u _ { 2 }, v _ { 2 } ] }.$$

Since each blown up point on P B 2 reduces ( K -1 B 3 ) 3 by six, we will need to blow up P B 2 at six points. Furthermore, in order that the F -theory model incorporate an eventual Z 4 -action that induces asymptotically a Z 4 R -symmetry, the six points will have to comprise the union of two orbits of the Z 4 -action.

The fan of the toric representation of P B 2 is the horizontal square of the green octohedron in the above figures also shown as the tilted square in the diagram below. We blow up P B 2 torically by adjoining the vertices (1 , 1) and ( -1 , -1) to its fan to obtain the toric fan of D 6 . But this polyhedral fan can also be viewed as the toric fan P 2 = P [ a,b,c ] blown up at the three points with only one non-zero

.

coordinate. It is obtained by adjoining the three vertices (1 , 1) ( , -1 0) , and (0 , -1) to the isosceles triangle fan of P [ a,b,c ] .

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.01110v5-figure-28b7ac69-3952-4edd-bdf0-87f339df77c2.jpg)

In fact this isomorphism is given explicitly by the correspondence

| P [ a,b,c ]                | P B 2                        | Fan vertex   |
|----------------------------|------------------------------|--------------|
| blow up { a = b = 0 }      | blow up { u 1 = u 2 = 0 }    | (1 , 1)      |
| proper transform { a = 0 } | proper transform { u 2 = 0 } | (1 , 0)      |
| blow up { a = c = 0 }      | proper transform { v 1 = 0 } | (0 , - 1)    |
| proper transform { c = 0 } | blow up { v 1 , v 2 = 0 }    | ( - 1 , - 1) |
| blow up { b = c = 0 }      | proper transform { v 2 = 0 } | ( - 1 , 0)   |
| proper transform { b = 0 } | proper transform { u 1 = 0 } | (0 , 1)      |

We next analyze in detail the construction of the del Pezzo surface B 2 for B 3 = P [ u ,v 0 0 ] × B 2 .

6.1. The del Pezzo B 2 and its symmetries. To achieve a Fano B 3 = B 2 × P [ u ,v 0 0 ] necessary for the F -theory dual, B 2 must be a del Pezzo surface. By Castelnuovo's Rationality Theorem, the Z 2 -action on B 2 , that we call β 2 , cannot be free. On the other hand, β 2 must have at most finite fixpoint set since otherwise the Z 2 -action β 3 on B 3 cannot act freely on the ample anti-canonical section S GUT ⊆ B 3 , a necessary condition for an F -theory model with Wilson-line symmetry breaking. Now by Table 6 and Figure 10 in [1], there is one and only one sequence of del Pezzo surfaces with involution having finite fixpoint set. These are the four entries in Table 6 that have no entry in either the Σ column nor in the R column. The sequence is represented in Figure 10 by the left vertical column that begins with P [ u ,v 1 1 ] × P [ u ,v 2 2 ] and proceeds by blowing up three additional pairs of points to obtain the phenomenologically desirable dP 7 = D 2 , the standard mathematical notation for the family of del Pezzo surfaces whose anti-canonical divisor has self-intersection 2 . 2

We will also need the Z 4 -symmetry inherited from a square root of the longest element of the Weyl group of SU (5) as in Lemma 3 T 0 acts as

↦

$$u _ { 1 } & \mapsto u _ { 2 } \mapsto v _ { 1 } \mapsto v _ { 2 } \mapsto u _ { 1 }$$

↦

↦

↦

on the blown up P [ u ,v 1 1 ] × P [ u ,v 2 2 ] .Whether or not B 2 is del Pezzo will, as we see next, depends on on the choice of the orbit of the Z 4 -symmetry on P [ u ,v 1 1 ] × P [ u ,v 2 2 ] generated by T 0 , a cyclic element of the Weyl group of SU (5) whose square is its longest element.

Theorem 4. For generic choice of the orbit of the action (6.2) , the resulting B 2 is a del Pezzo surface.

2 More precisely, 'phenomenologically desirable' equates to ' 3 -generation, one Higgs doublet, and no vector-like exotics.'

Proof. The proof will first transfer the Z 4 -action from P [ u ,v 1 1 ] × P [ u ,v 2 2 ] to P [ a,b,c ] and then check general position for points of an orbit, that is, no three points of the seven blown up point lie on a line and no six points lie on a conic. The birational passage from P [ u ,v 1 1 ] × P [ u ,v 2 2 ] to P [ a,b,c ] is given as follows. An orbit of the Z 4 -action (6.2) on P [ u ,v 1 1 ] × P [ u ,v 2 2 ] can be written as

$$\left ( [ u _ { 1 }, v _ { 1 } ] \,, [ u _ { 2 }, v _ { 2 } ] \right ) & = \left ( \left [ \frac { u _ { 1 } } { v _ { 1 } }, 1 \right ], \left [ \frac { u _ { 2 } } { v _ { 2 } }, 1 \right ] \right ) \\ \left ( [ u _ { 2 }, v _ { 2 } ] \,, [ v _ { 1 }, u _ { 1 } ] \right ) & = \left ( \left [ \frac { u _ { 2 } } { v _ { 2 } }, 1 \right ], \left [ \frac { v _ { 1 } } { u _ { 1 } }, 1 \right ] \right ) \\ \left ( [ v _ { 1 }, u _ { 1 } ] \,, [ v _ { 2 }, u _ { 2 } ] \right ) & = \left ( \left [ \frac { v _ { 1 } } { u _ { 1 } }, 1 \right ], \left [ \frac { v _ { 2 } } { u _ { 2 } }, 1 \right ] \right ) \\.$$

that translates to

$$\begin{smallmatrix} ( a, b ) \\ ( b, a ^ { - 1 } ) \\ ( a ^ { - 1 }, b ^ { - 1 } ) \\ ( b ^ { - 1 }, a ) \end{smallmatrix}$$

that together with (0 0) , , ( ∞ , 0) and (0 , ∞ ) become the seven blown-up points in P [ a,b,c ] by setting c = 1 . One immediately checks that for general choice of a and b the slopes of the four points in (6.3) are distinct and non-zero. So no line containing two of the points that are blown up contains any of the 5 other points that are blown up. Also conics through 6 of the 7 points fall into one of the two cases:

- 1) Parabolas with horizontal or vertical major axis containing ((0 0)) . and so of the form

$$y & = c x \left ( x - 2 d \right )$$

containing all four points of (6.3). Therefore

$$\begin{array} { c } ( a, b ) \, \colon \, b = c a \, ( a - 2 d ) \, \ c = \frac { b } { a ( a - 2 d ) } \\ \left ( b, a ^ { - 1 } \right ) \, \colon \, a ^ { - 1 } = c b \, ( b - 2 d ) \, \ c = \frac { a ^ { - 1 } } { b ( b - 2 d ) } \\ \left ( a ^ { - 1 }, b ^ { - 1 } \right ) \, \colon \, b ^ { - 1 } = c a ^ { - 1 } \left ( a ^ { - 1 } - 2 d \right ) \, \ c = \frac { b ^ { - 1 } } { a ^ { - 1 } ( a ^ { - 1 } - 2 d ) } \\ \left ( b ^ { - 1 }, a \right ) \, \colon \, a = c b ^ { - 1 } \left ( b ^ { - 1 } - 2 d \right ) \, \ c = \frac { a } { b ^ { - 1 } ( b ^ { - 1 } - 2 d ) } \end{array}$$

so by high school algebra we obtain a polynomial relationship between a and b

$$\frac { b } { a ( a - 2 d ) } = \frac { a ^ { - 1 } } { b ( b - 2 d ) } \colon \frac { b ^ { 3 } - a } { b ^ { 2 } - 1 } = 2 d \\ \frac { b } { a ( a - 2 d ) } = \frac { b ^ { - 1 } } { a ^ { - 1 } ( a ^ { - 1 } - 2 d ) } \colon \frac { b a ^ { - 2 } - b ^ { - 1 } a ^ { 2 } } { b a ^ { - 1 } - b ^ { - 1 } a } = 2 d \\ a \left ( b ^ { 3 } - a \right ) \left ( b ^ { 2 } - a ^ { 2 } \right ) = \left ( b ^ { 2 } - 1 \right ) \left ( b ^ { 2 } - a ^ { 4 } \right ).$$

2) Hyperbolae with the two coordinate axes as asymptotes and so of the form

$$\left ( 6. 5 \right ) & & \left ( x - c \right ) \left ( y - d \right ) = e$$

containing all four points of (6.3) or

$$x y - ( c y + d x ) = 0$$

containing three four points of (6.3). In the case of (6.5)

$$\begin{smallmatrix} ( a, b ) \colon & ( a - c ) \left ( b - d \right ) = e \\ ( b, a ^ { - 1 } ) \colon & ( b - c ) \left ( 1 - a d \right ) = a e \\ ( a ^ { - 1 }, b ^ { - 1 } ) \colon & ( 1 - a c ) \left ( 1 - b d \right ) = a b e \\ ( b ^ { - 1 }, a ) \colon & ( 1 - b c ) \left ( a - d \right ) = b e. \end{smallmatrix}$$

So and so

$$\begin{array} { c } d = \frac { ( b - c ) - a ( a - c ) b } { ( b - c ) a - a ( a - c ) } \\ d = \frac { 1 - a c - a b ( a - c ) b } { ( 1 - a c ) b - a b ( a - c ) } \\ d = \frac { a ( 1 - b c ) - b ^ { 2 } ( a - c ) } { ( 1 - b c ) - b ( a - c ) }. \\ \dots \dots \dots \vdots \dots \vdots \dots \vdots \vdots \dots \vdots \vdots \end{array}$$

As above this gives us two linear equations in c with coefficients that are polynomials in ( a, b ) . Again as above solving each for c and setting the two expressions for c equal to each other we get a non-trivial polynomial equation in ( a, b ) that must be satisfied so that this conic passes through the six given points. The case (6.6) is similar. We have three linear equations in ( c, d ) . Use pairs of these to eliminate d and then set the two expression for c equal to each other to get a non-trivial polynomial relation in ( a, b ) that must be satisfied.

We have therefore shown that if ( a, b ) does not satisfy any of the above finite number of polynomial equations, then D 6 blown up at the orbit of ( a, b ) under the Z 4 -action is a del Pezzo surface. glyph[square]

Thus for generic choice of ( a, b ) the resulting dP 7 is in fact a del Pezzo surface D 2 . We define

$$B _ { 2 } = D _ { 2 }$$

with

$$B _ { 3 } = \mathbb { P } _ { [ u _ { 0 }, v _ { 0 } ] } \times B _ { 2 }.$$

Then we will consider the specialization of (6.2) under the specialization

$$\left ( B _ { 3 } = \mathbb { P } _ { [ u _ { 0 }, v _ { 0 } ] } \times B _ { 2 } \right ) \Rightarrow \left ( B _ { 3, 0 } = \left ( \mathbb { P } _ { [ 1, a ] } \cup \mathbb { P } _ { [ 1, b ] } \right ) \times B _ { 2 } \right )$$

glyph[negationslash]

to the semi-stable degeneration such that the limit that encodes the structure of the Heterotic model. T u,v will act equivariantly on our degenerating family of CalabiYau fourfolds that we will denote W 4 ,δ /B 3 ,δ with δ denoting the parameter for the degenerating family of fourfolds. Actually for all δ = 0

$$B _ { 3 } = B _ { 2 } \times \mathbb { P } _ { [ u _ { 0 }, v _ { 0 } ] } \cong B _ { 3, \delta }$$

but at δ = 0 , while B 2 remains stationary, we will have the P 1 -splitting

$$\mathbb { P } _ { [ u _ { 0 }, v _ { 0 } ] } \Rightarrow \mathbb { P } _ { [ 1, a ] } \cup \mathbb { P } _ { [ 1, b ] }$$

that will force W 4 0 , to split into two components dP / a ( B 2 × P [1 ,a ] ) and dP / b ( B 2 × P [1 ,b ] ) . We will thereby equip the semi-stable limit

$$\begin{smallmatrix} W _ { 4, 0 } / B _ { 2 } = \left ( d P _ { a } \cup d P _ { b } \right ) / B _ { 2 } \\ V _ { 3 } / B _ { 2 } = \left ( d P _ { a } \cap d P _ { b } \right ) / B _ { 2 } \end{smallmatrix}$$

$$a \left ( a - c \right ) \left ( b - d \right ) & = \left ( b - c \right ) \left ( 1 - a d \right ) \\ a b \left ( a - c \right ) \left ( b - d \right ) & = \left ( 1 - a c \right ) \left ( 1 - b d \right ) \\ b \left ( a - c \right ) \left ( b - d \right ) & = \left ( 1 - b c \right ) \left ( a - d \right )$$

with an 'asymptotic Z 4 R -symmetry.' The action of the element of order 2 in Z 4 is simply the Z 2 -action β 3 employed in (1.2) and papers [4, 5]. This passage to the semistable limit will be defined and described in detail in Section 9 of this paper.

6.2. Eigenvectors and eigenvalues for the Z 4 symmetry on B 3 . By Theorem 4, blowing up D 6 at the four additional points (6.3) of a generic orbit of T 0 yields a del Pezzo D 2 if the four points are in general position. Since D r for r &lt; 6 is no longer toric, we have to leave the family of toric varieties in order to achieve a smooth threefold with the correct numerical invariants. Now four points on P [ a,b,c ] in general position are the base locus of a pencil of conics on which T 0 also acts. This action has two fixpoints q 1 ( a, b, c ) and q 2 ( a, b, c ) and the blow-up of D 6 at the four points given us by the smooth divisor

$$\left \{ \left | \begin{array} { c c } q _ { 1 } & q _ { 2 } \\ k & l \end{array} \right | = 0 \right \} \subseteq D _ { 6 } \times \mathbb { P } _ { [ k, l ] }.$$

T 0 also acts equivariantly on the mapping

$$B _ { 2 } \to \mathbb { P } \left ( H ^ { 0 } \left ( K _ { B _ { 2 } } ^ { - 1 } \right ) \right ) \cong \mathbb { P } ^ { 2 }$$

that turns out to be a double cover with branch locus a smooth quartic plane curve R ⊆ P ( H 0 ( K -1 B 2 )) . We define q [1 0 0] , , , q [0 1 0] , , , q [0 0 1] , , as the conic in the pencil (6.8) containing the point indicated by its respective subscript. Then a · q , ,

$$a \cdot q _ { [ 1, 0, 0 ] } \\ b \cdot q _ { [ 0, 1, 0 ] } \\ c \cdot q _ { [ 0, 0, 1 ] }$$

are a basis for the anti-canonical linear system of B 2 . It turns out that

$$t _ { 1 } = \log a \\ t _ { 2 } = \log b \\ t _ { 3 } = t _ { 1 } = \log c$$

are natual coordinates for H 0 ( K -1 B 2 ) so that we desire the choice of B 2 to be such that , referring to (6.3), we look for

$$B _ { 2 } = \left \{ t _ { 0 } ^ { 2 } = f _$$

such that the generator T 0 of the Z 4 -action

$$\begin{smallmatrix} \cdot \\ ( \log a, \log b ) \\ ($$

that is

↦

$$\begin{array} {$$

is an automorphism of B 2 with characteristic polynomial

$$\frac { \lambda ^ { 4 } - 1 } { \lambda - 1 } = \lambda ^$$

In fact we can demand that Aut B 2 is the entire symmetry group of CUBE, namely S 4 × Z 2 = signed S , 3

where

$$B _ { 2 } = \left \{ t _ { 0 } ^ { 2 } = t _$$

By elementary algebra bitangent lines to R that we will denote as { m 1 := c α t 1 + t 2 = 0 } and { m 2 := t 1 -c α t 2 = 0 } respectively. Then

$$m _ { 1 } \circ T _ { 0 } = m _ { 2 } \\ m _ {$$

with eigenvectors

$$m _ { + i } & \coloneqq m _ { 1 } - i \cdot m$$

indexed by eigenvalues for the action of T 0 on H 0 ( K -1 B 2 ) . The third eigenvalue must be -1 . Let n -1 denote the associated eigenvector. In what follows and associated paper, it will be convenient to appeal to two sets of coordinates for P ( H 0 ( K -1 B 2 )) , one being the coordinates P [ n -1 ,m + i ,m -i ] given by eigenvectors and the other being P [ n ,m ,m 0 1 2 ] incorporating the defining forms for the bitangent lines defined above. To avoid notational confusion

n

0 -1 defines the same line in P ( H 0 ( K -1 B 2 )) but the different index indicates which coordinate system we are referring to. Then

=

n

$$\begin{array} { c } T _ { 0 } ^ { * } \left ( n _$$

and

$$\begin{array} {$$

With respect to the direct-sum decomposition

$$H ^ { 0 } \left ( K _ { B _ { 2 } } ^ { - 1 }$$

induced by the involution T 2 B 2 the first summand is generated by a single section n 0 while the second summand is the two-dimensional T 2 0 -eigenspace with eigenvalue -1 . The second summand is spanned by any two of the four vectors

$$m _ { 1 }, m _ { 2 }, m _ { + i }, m _ { - i }.$$

For B 3 = B 2 × P [ u ,v 0 0 ] , the restriction map

$$H ^ { 0 } \left ( \mathcal { O } _ { \mathbb { P } _ { \left [ n _ { 0 }, m _ { 1 }, m _ { 2 } \right ] } } \left ( 1 \right ) \bigotimes \mathcal { O } _ { \mathbb { P } _ { \left [ u _ { 0 }, v _ { 0 } \right ] } } \left ( 2 \right ) \right ) \rightarrow H ^ { 0 } \left ( K _ { B _ { 3 } } ^ { - 1 } \right )$$

is an isomorphism. Therefore we can write

$$T _ { u, v } \left ( \frac { u _ { 0 } - v _ { 0 } } { u _ { 0 } + v _ { 0 } }, \left ( [ n _ { - 1 }, m _ { + i }, m _ { - i } ] \right ) \right ) = \left ( i \cdot \left ( \frac { u _ { 0 } - v _ { 0 } } { u _ { 0 } + v _ { 0 } } \right ), T _ { 0 } \left ( [ n _ { - 1 }, m _ { + i }, m _ { - i } ] \right ) \right )$$

$$\text{on $H^{0}\left(\mathcal{O}_{\mathbb{P}_{[n_{-1},m_{+i},m_{-i}]}}(1)\not\in\mathcal{O}_{\mathbb{P}_{[u_{0},v_{0}]}}(2)\right)$ or equivalently}$$

$$T _ { u, v } \left ( \frac { u _ { 0 } - v _ { 0 } } { u _ { 0 } + v _ { 0 } }, ( [ n _ { 0 }, m _ { 1 }, m _ { 2 } ] ) \right ) = \left ( i \cdot \left ( \frac { u _ { 0 } - v _ { 0 } } { u _ { 0 } + v _ { 0 } } \right ), T _ { 0 } \left ( [ n _ { 0 }, m _ { 1 }, m _ { 2 } ] \right ) \right )$$

$$\text{on $H^{0} \left(\mathcal{O}_{\mathbb{P}_{[n_{0}, m_{1}, m_{2}]}}(1) \notin \mathcal{O}_{\mathbb{P}_{[u_{0}, v_{0}]}}(2) \right)$. We sum up as follows.}$$

$$\text{Lemma $5$. $i$} \left | K _ { \mathbb { P } _ { [ u _ { 0 }, v _ { 0 } ] } \times B _ { 2 } } ^ { - 1 } \right | \, i s \, b a s e p o i n t \text{-free. $Also$}$$

$$h ^ { 0 } \left ( K _ { \mathbb { P } _ { [ u _ { 0 }, v _ { 0 } ] } } ^ { - 1 } \times B _ { 2 } \right ) = 9$$

and

$$\begin{smallmatrix} f o r \, k > 0. \\ i i \end{smallmatrix}$$

$$\left ( \mathbb { P } _ { [ u _ { 0 }, v _ { 0 } ] } \times B _ { 2 } \right ) ^ { \vee } = \frac { \mathbb { P } _ { [ u _ { 0 }, v _ { 0 } ] } \times B _ { 2 } } { \{ C _ { u, v } \} }$$

carries a faithful Z 2 -action T u,v .

iii) Under the branched double cover

$$B _ { 2 } \rightarrow \mathbb { P } _ { [ n _ { 0 }, m _ { 1 }, m _ { 2 } ] }$$

the symmetry group S 3 and associated six exceptional curves of D 6 listed in the Table at the beginning of this Section specialize to a subgoup S 3 ≤ Aut( B 2 ) and bitangents of the branch curve R . In particular, { m 1 = 0 } and { m 2 = 0 } are bitangents to the branch locus R and satisfy

$$C _ { u, v } ^ { * } \left ( m _ { 1 } \right ) & = - m _ { 1 } \\ C _ { u, v } ^ { * } \left ( m _ { 2 } \right ) & = - m _ { 2 }.$$

Proof. i)

$$K _ { B _ { 3 } } ^ { - 1 } = K _ { B _ { 2 } } ^ { - 1 } \bigotimes K _ { \mathbb { P } _ { [ u _ { 0 }, v _ { 0 } ] } } ^ { - 1 }.$$

Now use the Künneth formula and the Kodaira Vanishing Theorem.

iii) Classical fact deriving from the fact that B 2 is the projection of a cubic surface in P 3 from one of its points. Under this projection plane sections spanned by one of the 27 lines and the center of projection map to bitangent lines to R ⊆ P [ n ,m ,m 0 1 2 ] as does the plane section tangent to the cubic at the center of projection. So the claim follows from the corresponding assertion for a cubic surface with S 3 symmetry. glyph[square]

ii) The Z 4 -action on B 3 is the action T u,v as constructed above. Since C u,v and T B 2 commute and T 2 u,v = C u,v , the action descends to a faithful Z 2 -action on the C u,v -quotient B ∨ 3 .

We have the direct-sum decomposition

$$\left ( \pi _ { B _ { 3 } ^ { \vee } } \right ) _ { * } K _ { B _ { 2 } \times \mathbb { P } _ { [ u _ { 0 }, v _ { 0 } ] } } ^ { - 1 } = K _ { B _ { 3 } ^ { \vee } } ^ { - 1 } \oplus \left ( K _ { B _ { 3 } ^ { \vee } } ^ { - 1 } \otimes \mathcal { O } _ { B _ { 3 } ^ { \vee } } \left ( \varepsilon _ { e, v } \right ) \right )$$

and, referring to (5.12) and (5.13), we have the following tables of eigenvectors and values for actions on anti-canonical forms on B 3 ,δ :

| Table 1:                    | T u,v   | C u,v                                                               |
|-----------------------------|---------|---------------------------------------------------------------------|
| h 0 ( K - 1 B ∨ 3 , 0 ) = 4 |         | C u,v ( w ) = w C u,v ( x ) = x C u,v ( y ) = - y C u,v ( z ) = - z |
| ( u 0 + v 0 ) 2 · n - 1     | - 1     | +1                                                                  |
| ( u 0 - v 0 ) 2 · n - 1     | +1      | +1                                                                  |
| ( u 2 0 - v 2 0 ) · m - i   | - 1     | +1                                                                  |
| ( u 2 0 - v 2 0 ) · m + i   | +1      | +1                                                                  |

$$h ^ { k } \left ( K _ { \mathbb { P } _ { [ u _ { 0 }, v _ { 0 } ] } } ^ { - 1 } \times B _ { 2 } \right ) = 0$$

| Table 2:                                       | T u,v   | C u,v                                                               |
|------------------------------------------------|---------|---------------------------------------------------------------------|
| h 0 ( K - 1 B ∨ 3 , 0 ⊗O B ∨ 3 ( ε u,v ) ) = 5 |         | C u,v ( w ) = w C u,v ( x ) = x C u,v ( y ) = - y C u,v ( z ) = - z |
| ( u 0 + v 0 ) 2 · m - i                        | - i     | - 1                                                                 |
| ( u 0 + v 0 ) 2 · m + i                        | + i     | - 1                                                                 |
| ( u 0 - v 0 ) 2 · m - i                        | + i     | - 1                                                                 |
| ( u 0 - v 0 ) 2 · m + i                        | - i     | - 1                                                                 |
| ( u 2 0 - v 2 0 ) · n - 1 =: z 0               | - i     | - 1                                                                 |

Lemma 6. The anti-canonical linear system ∣ ∣ ∣ H 0 ( K -1 B ∨ 3 )∣ ∣ ∣ is numerically effective (nef) and big. It has two basepoints

$$( \{ [ 1, \pm 1 ] \} \times \{ 1, 0, 0 \} ) \in \mathbb { P } _ { [ ( u _ { 0 } ^ { 2 } + v _ { 0 } ^ { 2 } ), u _ { 0 } v _ { 0 } ] } \times \mathbb { P } _ { [ n _ { 0 }, m _ { 1 }, m _ { 2 } ] }.$$

$$\text{Therefore $S^{\vee}_{GUT}$ is a 'hyperelliptic' Enriques surface. The rational mapping} \\ \varphi \colon S ^ { \vee } _ { G U T } \dashrightarrow \mathbb { P } ^ { 3 }$$

induced by the linear system is resolved be a simple blow-up of the two basepoints yielding a 2 -1 morphism

$$\tilde { \varphi } \colon \widetilde { S _ { \text{GUT} } ^ { \vee } } \rightarrow \mathbb { P } ^ { 3 }$$

onto a smooth quadric surface P [( u 2 0 + v 2 0 ) ,u 0 v 0 ] × P [ m ,m 1 2 ] where the image the two exceptional curves is { [1 , ± 1] } × P [ m ,m 1 2 ] .

Proof. By direct computation with Table 2 just above, S ∨ GUT is identified as being in case 2c for n = 3 in Theorem 3.2.2 of [13]. Key to this classification is the fact that in Table 2 all five sections vanish at ( { ± [ 1 1] , } , { 1 0 0 , , } ) . glyph[square]

## 7. Requirements for the Tate form

For the purposes of obtaining phenomenologically consistent numerical data, 3 we utilize the B ∧ 3 -divisors E · in (5.9) and their corresponding rays e · in the lattice N ∧ . We let the ray f · denote the same ray in the lattice N and denote the corresponding divisor as F · . Recalling that the fan used in the construction of B 3 contains the ray generated by f ˙ xzyw ˙ ¨ ¨ as well as its negative -f ˙ xzyw ˙ ¨ ¨ corresponding to the divisors { u 0 = 0 } and { v 0 = 0 } respectively.

The Tate form of our eventual F -theory model W /B 4 3 is written as

$$y ^ { 2 } w = x ^ { 3 } + a _ { 5 } x y w + a _ { 4 } z x ^ { 2 } w + a _ { 3 } z ^ { 2 } y w ^ { 2 } + a _ { 2 } z ^ { 3 } x w ^ { 2 } + a _ { 0 } z ^ { 5 } w ^ { 3 }.$$

The spectral divisor is given by the equation

$$0 = a _ { 5 } t ^ { 5 } + a _ { 4 } t ^ { 4 } z + a _ { 3 } t ^ { 3 } z ^ { 2 } + a _ { 2 } t ^ { 2 } z ^ { 3 } + a _ { 0 } z ^ { 5 }$$

where t = y x . By Table 2 above, dim H 0 ( K -1 B 3 ) = 5 so the spaces

$$\mathbb { C } \cdot u _ { 0 } v _ { 0 } m _ { 1 } + \mathbb { C } \cdot \left ( v _ { 0 } ^ { 2 } + u _ { 0 } ^ { 2 } \right ) m _ { 2 } + \mathbb { C } \cdot z$$

3 '...phenomenologically consistent numerical data' refers to the necessity of having three 10 and no ¯ 0 1 -representations over the matter curve Σ (4) 10 , three ¯ 5 and no 5 -representations over the matter curve Σ (41) ¯ 5 , as well as having exactly one Higgs doublet over the Higgs curve Σ (44) ¯ 5 .

and

$$\mathbb { C } \cdot a _ { 4 } + \mathbb { C } \cdot a _ { 3 } + \mathbb { C } \cdot a _ { 2 }$$

have a one-dimensional intersection generated by

$$\lambda _ { 1 } \cdot & u _ { 0 } v _ { 0 } m _ { 1 } + \lambda _ { 2 } \cdot \left ( v _ { 0 } ^ { 2 } + u _ { 0 } ^ { 2 } \right ) m _ { 2 } + z \\ & = \kappa _ { 4 } \cdot & a _ { 4 } + \kappa _ { 3 } \cdot & a _ { 3 } + \kappa _ { 2 } \cdot & a _ { 2 }.$$

Lemma 7. In order to have the relation

$$z = \kappa _ { 5 } \cdot a _ { 5 } + \kappa _ { 4 } \cdot a _ { 4 } + \kappa _ { 3 } \cdot a _ { 3 } + \kappa _ { 2 } \cdot a _ { 2 }$$

required in §4 of [4] , define

$$a _ { 5 } = - \left ( \lambda _ { 1 } \cdot u _ { 0 } v _ { 0 } m _ { 1 } + \lambda _ { 2 } \cdot \left ( v _ { 0 } ^ { 2 } + u _ { 0 } ^ { 2 } \right ) m _ { 2 } \right )$$

where { m j = 0 } j =1 2 , define the distinguished two-orbit of T 0 acting on the 28 bitangents to the branch locus of B / 2 P [ n ,m ,m 0 1 2 ] . 4 This pair of C u,v - invariant bitangents { m j = 0 } j =1 2 , then lifts into the image of

$$F _ { \dot { x } \dot { z } \dot { y } \ddot { w } } = \left \{ \frac { e _ { \dot { x } \dot { z } \dot { y } \ddot { w } } } { 2 } = 0 \right \} \Rightarrow \{ u _ { 0 } = 0 \}$$

and into

Also

$$F _ { i j \dot { w } \dot { x } \dot { z } } = \left \{ \frac { e _ { i j \dot { w } \dot { x } \dot { z } } } { 2 } = 0 \right \} \Rightarrow \left \{ v _ { 0 } = 0 \right \}.$$

$$\left ( v _ { 0 } ^ { 2 } + u _ { 0 } ^ { 2 } \right ) m _ { j }, \, u _ { 0 } v _ { 0 } m _ { j } \in H ^ { 0 } \left ( K _ { \substack { B _ { 3 } \\. } } ^ { - 1 } \right ) ^ { [ - 1 ] }.$$

Therefore, for all allowable choices of z ⊆ H 0 ( K -1 B 3 ) [ -1] there are rational curves

$$\begin{array} { c } F _ { + } \subseteq \{ z = 0 \} \cap F _ { \dot { x } \dot { z } \dot { y } \ddot { w } } \\ F _ { - } \subseteq \{ z = 0 \} \cap F _ { \dot { y } \dot { w } \ddot { x } \ddot { z } } \end{array}$$

lying in S GUT with intersection matrix

$$\begin{smallmatrix} \cdot & F _ { + } & F _ { - } \\ F _ { + } & - 2 & 0 \\ F _ { - } & 0 & - 2. \end{smallmatrix}$$

C u,v interchanges F + with F -. We choose the remaining a j and z and t = y x in the space generated by the forms in Table 2.

Additionally we choose t ∈ H K ( -1 B 3 ) [ -1] so that it vanishes on { z = u v 0 0 = m 2 = 0 } . This choice guarantees that the surfaces

$$( 7. 3 ) & & ( S _ { \text{GUT} } \cap ( \{ u _ { 0 } v _ { 0 } = m _ { 2 } = 0 \} ) ) \times \mathbb { P } _ { [ t, z ] }$$

lie in the spectral divisor 2.5), in fact in the component D (4) of

$$( 7. 4 ) \quad \mathcal { D } \coloneqq \left \{ a _ { 5 } t ^ { 5 } + a _ { 4 } t ^ { 4 } z + a _ { 3 } t ^ { 3 } z ^ { 2 } + a _ { 2 } t ^ { 2 } z ^ { 3 } + a _ { 0 } z ^ { 5 } = 0 \right \} \subseteq \mathbb { P } _ { [ t, z ] } \times B _ { 3 }.$$

Proof. We need only prove the last statement. We have chosen

$$t = l \left ( n _ { 0 }, m _ { 1 }, m _ { 2 } \right ) \cdot u _ { 0 } v _ { 0 } + q \left ( u _ { 0 }, v _ { 0 } \right ) \cdot m _ { 2 }$$

namely as a generic section containing { u v 0 0 = m 2 = 0 } ⊆ P [ u ,v 0 0 ] × P [ n ,m ,m 0 1 2 ] and

$$z = \lambda _ { 1 } m _ { 1 } \cdot u _ { 0 } v _ { 0 } + \lambda _ { 2 } \cdot \left ( v _ { 0 } ^ { 2 } + u _ { 0 } ^ { 2 } \right ) m _ { 2 } + \sum _ { j = 2 } ^ { 4 } \kappa _ { j } \cdot a _ { j }$$

4 This assumption is critical so that our model satisfies the condition of three-generation

in (7.1). Since { u v 0 0 = m 2 = 0 } ⊆ { z = 0 } , ∑ 4 j =2 κ j · a j must also vanish there. That is, we can write

$$z = l ^ { \prime } \left ( n _ { 0 }, m _ { 1 }, m _ { 2 } \right ) \cdot u _ { 0 } v _ { 0 } \cdot + q ^ { \prime } \left ( u _ { 0 }, v _ { 0 } \right ) \cdot m _ { 2 }.$$

Since all sections of H 0 ( O B 3 ( N )) are pull-backs of sections of H 0 ( O P [ u ,v 0 0 ] × P [ n ,m ,m 0 1 2 ] ( N ) ) under the branched double cover

$$B _ { 3 } = \mathbb { P } _ { [ u _ { 0 }, v _ { 0 } ] } \times B _ { 2 } \rightarrow \mathbb { P } _ { [ u _ { 0 }, v _ { 0 } ] } \times \mathbb { P } _ { [ n _ { 0 }, m _ { 1 }, m _ { 2 } ] },$$

we first consider (7.4) as an equation over P [ u ,v 0 0 ] × P [ n ,m ,m 0 1 2 ] . We consider the blow-up of (7.4) in

$$\mathbb { P } _ { [ u _ { 0 }, v _ { 0 } ] } \times \mathbb { P } _ { [ n _ { 0 }, m _ { 1 }, m _ { 2 } ] } \times \mathbb { P } _ { [ T, Z ] }$$

defined by

$$t = T \cdot \xi \\ z = Z \cdot \xi$$

so that from (7.4)

$$\left | \begin{array} { c c c } a _ { 4 } t ^ { 2 } z ^ { 3 } + a _ { 2 } t ^ { 2 } z ^ { 2 } + a _ { 0 } z ^ { 5 } & 1 \\ - \left ( a _ { 5 } t ^ { 5 } + a _ { 3 } t ^ { 3 } z ^ { 2 } \right ) & 1 \end{array} \right | = \xi ^ { 5 } \cdot \left | \begin{array} { c c c } a _ { 4 } T ^ { 2 } Z ^ { 3 } + a _ { 2 } T ^ { 2 } Z ^ { 2 } + a _ { 0 } Z ^ { 5 } & 1 \\ - \left ( a _ { 5 } T ^ { 5 } + a _ { 3 } T ^ { 3 } Z ^ { 2 } \right ) & 1 \end{array} \right |.$$

By (7.5) and (7.6)

$$\int _ { \substack { q \\ u _ { 0 } v _ { 0 } } } ^ { - l } \int _ { \substack { m _ { 2 } } } ^ { - l } \int _ { \substack { u _ { 0 } v _ { 0 } } } ^ { - l ^ { \prime } } \int _ { \substack { m _ { 2 } } } ^ { - l } \int _ { \substack { 0 } }$$

and the fact that rank of the matrix

$$\left ( \begin{array} { c c } q & - l \\ q ^ { \prime } & - l ^ { \prime } \end{array} \right )$$

is everywhere of rank at least one, the proper transform

$$\mathcal { D } \coloneqq \left \{ \left | \begin{array} { c } a _ { 4 } T ^ { 2 } Z ^ { 3 } + a _ { 2 } T ^ { 2 } Z ^ { 2 } + a _ { 0 } Z ^ { 5 } & 1 \\ - \left ( a _ { 5 } T ^ { 5 } + a _ { 3 } T ^ { 3 } Z ^ { 2 } \right ) & 1 \\ \subseteq \mathbb { P } _ { [ u _ { 0 }, v _ { 0 } ] } \times \mathbb { P } _ { [ n _ { 0 }, m _ { 1 }, m _ { 2 } ] } \times \mathbb { P } _ { [ T, Z ] }. \end{array} \right | = 0 \right \}$$

contains the surface

$$\begin{array} { c } \{ \xi = 0 \} \cap \mathcal { D } = \left ( \{ u _ { 0 } v _ { 0 } = m _ { 2 } = 0 \} \times \mathbb { P } _ { [ T, Z ] } \right ) \\ \subseteq \left ( \mathbb { P } _ { [ u _ { 0 }, v _ { 0 } ] } \times \mathbb { P } _ { [ n _ { 0 }, m _ { 1 }, m _ { 2 } ] } \right ) \times \mathbb { P } _ { [ T, Z ] } \end{array}$$

projecting to

$$\left \{ u _ { 0 } v _ { 0 } = m _ { 2 } = 0 \right \} \subseteq \left \{ z = 0 \right \} \subseteq \left ( \mathbb { P } _ { [ u _ { 0 }, v _ { 0 } ] } \times \mathbb { P } _ { [ n _ { 0 }, m _ { 1 }, m _ { 2 } ] } \right ).$$

With respect to the branched double cover

$$\mathbb { P } _ { [ u _ { 0 }, v _ { 0 } ] } \times B _ { 2 } \rightarrow \left ( \mathbb { P } _ { [ u _ { 0 }, v _ { 0 } ] } \times \mathbb { P } _ { [ n _ { 0 }, m _ { 1 }, m _ { 2 } ] } \right )$$

we have a cartesian diagram

$$\begin{array} { c c c } \mathcal { D } & \rightarrow & B _ { 3 } \times \mathbb { P } _ { [ T, Z ] } \\ \downarrow & & \downarrow \\ \mathcal { D } ^ { \prime } & \rightarrow & \left ( \mathbb { P } _ { [ u _ { 0 }, v _ { 0 } ] } \times \mathbb { P } _ { [ n _ { 0 }, m _ { 1 }, m _ { 2 } ] } \right ) \times \mathbb { P } _ { [ T, Z ] }. \end{array}$$

The pull-back of the the exceptional set { ξ = 0 } ∩ D ′ ⊆ ( P [ u ,v 0 0 ] × P [ n ,m ,m 0 1 2 ] ) × P [ T,Z ] to B 3 × P [ T,Z ] is the reducible surface

$$\left ( F _ { \pm } \cup F _ { \pm } ^ { o p p } \right ) \times \mathbb { P } _ { [ T, Z ] } \subseteq B _ { 3 } \times \mathbb { P } _ { [ T, Z ] }$$

where F ± ∪ F opp ± denote the components of { m 2 = 0 } in { u 0 = 0 }× B 2 and { v 0 = 0 }× B 2 respectively. So the spectral divisor

$$\mathcal { D } \coloneqq \left \{ a _ { 5 } T ^ { 5 } + a _ { 4 } T ^ { 4 } Z + a _ { 3 } T ^ { 3 } Z ^ { 2 } + a _ { 2 } T ^ { 2 } Z ^ { 3 } + a _ { 0 } Z ^ { 5 } = 0 \right \} \\ \subseteq B _ { 3 } \times \mathbb { P } _ { [ T, Z ] }$$

contains the four-component divisor

$$\left ( F _ { + } \times \mathbb { P } _ { [ T, Z ] } \right ) + \left ( F _ { - } \times \mathbb { P } _ { [ T, Z ] } \right ) + \left ( F _ { + } ^ { o p p } \times \mathbb { P } _ { [ T, Z ] } \right ) + \left ( F _ { - } ^ { o p p } \times \mathbb { P } _ { [ T, Z ] } \right )$$

entirely supported in S GUT × P [ T,Z ] . Therefore the divisor

$$( 7. 1 0 ) & & \left ( F _ { + } \times \mathbb { P } _ { [ T, Z ] } \right ) - \left ( F _ { - } \times \mathbb { P } _ { [ T, Z ] } \right )$$

on D pushes forward to the trivial divisor on B 3 but restricts to a non-trivial divisor on the threefold S GUT × P [ T,Z ] . Furthermore the difference ( F + -F -) defines a nontrivial line bundle on S GUT that has degree zero with respect to the polarization N . Additionally β 3 = C u,s exchanges F + with F -. These numerics will allow us to define a Higgs line bundle with the correct numerical invariants. glyph[square]

To prevent the existence of vector-like exotics in our F -theory model, we have required

$$( 7. 1 1 ) & & a _ { 5 } + a _ { 4 } + a _ { 3 } + a _ { 2 } + a _ { 0 } = 0$$

so that the section of P/B 3 given by

$$\begin{matrix} x = z ^ { 2 } w \\ y = z ^ { 3 } w \end{matrix}$$

lies in W . 4 Furthermore this additional assumption forces the spectral divisor D given by (7.4) to become reducible, with one component given by t = z , and the other component of degree 4 . More precisely

$$\begin{smallmatrix} a _ { 5 } t ^ { 5 } + a _ { 4 } t ^ { 4 } z + a _ { 3 } t ^ { 3 } z ^ { 2 } + a _ { 2 } t ^ { 2 } z ^ { 3 } + a _ { 0 } z ^ { 5 } = \\ ( t - z ) \left ( a _ { 5 } t ^ { 4 } + a _ { 5 4 } t ^ { 3 } z - a _ { 2 0 } t ^ { 2 } z ^ { 2 } - a _ { 0 } z ^ { 3 } t - a _ { 0 } z ^ { 4 } \right ) \end{smallmatrix}$$

where a 54 = a 5 + a 4 and a 20 = a 2 + a 0 , etc.

Referring to (3.4) and [5], the Higgs curve Σ (44) ¯ 5 is derived from the surface in D (4) defined by common solutions to the C u,v -equivariant system of equations

$$\begin{smallmatrix} a _ { 5 } t ^ { 4 } - a _ { 2 0 } t ^ { 2 } z ^ { 2 } - a _ { 0 } z ^ { 4 } = 0 \\ a _ { 5 4 } t ^ { 2 } - a _ { 0 } z ^ { 2 } = 0. \end{smallmatrix}$$

It doubly covers the surface in B 3 defined by the resultant equation that, using a 54320 = 0 , reduces to

$$\left | \begin{array} { c c } a _ { 4 } & - a _ { 5 } \\ a _ { 3 } + a _ { 0 } & a _ { 3 } \end{array} \right | = 0$$

with branch locus defined by the restriction of the divisor class N . The matter curve Σ (41) ¯ 5 is given by the common solutions to

$$a _ { 4 2 0 } = z = 0.$$

The other matter curve Σ (4) 10 is given by

$$a _ { 5 } = z = 0.$$

7.1. Numerology of divisors on S GUT . Furthermore (6.1) implies that the genus of Z := N S · GUT is 7 and

$$( 7. 1 5 ) & & \{ u _ { 0 } = 0 \} \cdot N ^ { 2 } = \{ v _ { 0 } = 0 \} \cdot N ^ { 2 } = 2$$

where, as above, we denote K -1 B 3 = O B 3 ( N ) .

Proposition 8. The line bundle O B 3 ( N ) is ample and the line bundle O B 3 (2 N ) is very ample.

Proof. The line bundle O B 3 ( N ) is the pull-back of the very ample line bundle O P [ u ,v 0 0 ] (2) glyph[squaremultiply] O P [ n ,m ,m 0 1 2 ] (1) on P [ u ,v 0 0 ] × P [ n ,m ,m 0 1 2 ] . By Tables 1&amp;2 above, the pull-back map

$$H ^ { 0 } \left ( \mathcal { O } _ { \mathbb { P } _ { [ u _ { 0 }, v _ { 0 } ] } \times \mathbb { P } _ { [ n _ { 0 }, m _ { 1 }, m _ { 2 } ] } } \left ( N \right ) \right ) \rightarrow H ^ { 0 } \left ( \mathcal { O } _ { B _ { 3 } } \left ( N \right ) \right )$$

is an isomorphism. However the injective pull-back map

$$H ^ { 0 } \left ( \mathcal { O } _ { \mathbb { P } _ { [ u _ { 0 }, v _ { 0 } ] } \times \mathbb { P } _ { [ n _ { 0 }, m _ { 1 }, m _ { 2 } ] } } ( 2 N ) \right ) \rightarrow H ^ { 0 } \left ( \mathcal { O } _ { B _ { 3 } } \left ( 2 N \right ) \right )$$

has a one-dimensional cokernel generated by the quartic ramification locus of the branched double cover B / 2 P [ n ,m ,m 0 1 2 ] and therefore contains sections that separate the two sheets. glyph[square]

To understand the use of these surfaces, one must consider the image O B 3 (2 N ) is very ample.

$$\mathcal { C } _ { H i g g s } = \mathcal { C } _ { H i g g s } ^ { ( 4 ) } \cup \tilde { \tau } \left ( B _ { 3 } \right ) \subseteq \tilde { W } _ { 4 }$$

of the spectral divisor D in the canonical crepant resolution ˜ W 4 constructed above. S GUT ⊆ B 3 has canonical lifting

$$\tilde { S } _ { \text{GUT} } \subseteq \mathcal { C } _ { H i g g s } \subseteq \tilde { W } _ { 4 }$$

by means of which the Higgs line bundle is pushed forward to a line bundle on the divisor C Higgs .

The push-forward of multiples of this line bundle on S GUT ⊆ B 3 will be denoted as

$$\mathcal { O } _ { S _ { \text{GUT} } } \left ( m \left ( F _ { + } - F _ { - } \right ) \right ).$$

The push-forward to S GUT ⊆ B 3 of the restriction of the Higgs line bundle L Higgs to ˜ S GUT will then become

$$\mathcal { O } _ { S _ { G U T } } \left ( N + m \left ( F _ { + } - F _ { - } \right ) \right )$$

for appropriate m where N is the anti-canonical divisor of B 3 (again restricted to S GUT ). This twisting of the restriction of K -1 B 3 by this degree-zero line bundle is exactly the modification that removes first cohomology of L Higgs on the matter curves and, by a classical theorem in the theory of Prym varieties, drops the number of Higgs doublets to one.

Also in our eventual F -theory model, S GUT = { z = 0 } will be linearly equivalent to N , matter curves will have divisor class

$$Z \coloneqq S _ { \text{GUT} ^ { \cdot } } N$$

and the Higgs curve Z 2 on S GUT will have class 2 Z .

$$K _ { B _ { 2 } } ^ { - 1 } \bigotimes K _ { [ u _ { 0 }, v _ { 0 } ] } ^ { - 1 }$$

Since B 2 is a del Pezzo surface, its anti-canonical bundle is ample as is the anti-canonical bundle

allowing us to apply the Kodaira Vanishing Theorem repeated in what follows. The cohomology sequence for the short exact sequence

$$0 \to \mathcal { O } _ { B _ { 3 } } \to \mathcal { O } _ { B _ { 3 } } \left ( N \right ) \to \mathcal { O } _ { S _ { G U T } } \left ( Z \right ) \to 0$$

shows that the forms in the left-hand column of Tables 1 and 2 above together form a basis for H 0 ( O B 3 ( N )) , that

$$\frac { H ^ { 0 } \left ( \mathcal { O } _ { B _ { 3 } } \left ( N \right ) \right ) } { \mathbb { C } \cdot z } \cong H ^ { 0 } \left ( \mathcal { O } _ { S _ { G U T } } \left ( Z \right ) \right ), \\ \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \ dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots.$$

that h 1 ( O B 3 ( N )) = h 1 ( O S GUT ( Z )) , and that h 2 ( O B 3 ( N )) = h 2 ( O S GUT ( Z )) = 0 . The cohomology sequence for the short exact sequence

$$0 \to \mathcal { O } _ { S _ { G U T } } \left ( - Z \right ) \to \mathcal { O } _ { S _ { G U T } } \to \mathcal { O } _ { Z } \to 0$$

shows that h 1 ( O S GUT ( -Z )) = h 1 ( O S GUT ( Z )) = 0 so that h 1 ( O B 3 ( N )) = 0 as well.

For any smooth curve Z n linearly equivalent to nZ , the cohomology sequence associated to the short exact sequence

$$0 \to \mathcal { O } _ { S _ { G U T } } \left ( - \left ( n - 1 \right ) Z \right ) \to \mathcal { O } _ { S _ { G U T } } \left ( Z \right ) \to \mathcal { O } _ { Z _ { n } } \left ( Z \right ) \to 0$$

and Kodaira vanishing and Serre duality show that

$$\left ( 7. 1 6 \right ) \quad \ \ H ^ { 0 } \left ( \mathcal { O } _ { Z _ { n } } \left ( Z \right ) \right ) \cong H ^ { 0 } \left ( \mathcal { O } _ { S _ { G U T } } \left ( Z \right ) \right ) \cong H ^ { 2 } \left ( \mathcal { O } _ { S _ { G U T } } \left ( - Z \right ) \right ) ^ { * }$$

and

$$H ^ { 1 } \left ( \mathcal { O } _ { Z _ { n } } \left ( Z \right ) \right ) \cong H ^ { 2 } \left ( \mathcal { O } _ { S _ { G U T } } \left ( - \left ( n - 1 \right ) Z \right ) \right ) \cong H ^ { 0 } \left ( \mathcal { O } _ { S _ { G U T } } \left ( \left ( n - 1 \right ) Z \right ) \right ) ^ { * }$$

and that all these groups have rank seven for n = 1 and eight for n = 2 .

Finally, for F · equal to F + or F -, consider

$$0 \to \mathcal { O } _ { B _ { 3 } } \left ( N - F. \right ) \to \mathcal { O } _ { B _ { 3 } } \left ( N \right ) \to \mathcal { O } _ { F _ {. } } \left ( S _ { \text{GUT} } \cap F. \right ) \to 0$$

$$\upsilon \rightarrow \upsilon _ { B _ { 3 } } \left ( \mathcal { U } - \mathcal { R } _ { \cdot } \right ) \rightarrow \upsilon _ { B _ { 3 } } \left ( \mathcal { U } \right ) \rightarrow \upsilon _ { F _ { \cdot } } \left ( \sigma _ { \text{GUT} } + \mathcal { R } _ { \cdot } \right ) \rightarrow \upsilon \\ 0 \rightarrow \mathcal { O } _ { S _ { \text{GUT} } } \left ( Z - \left ( F _ { \cdot } \cap S _ { \text{GUT} } \right ) \right ) \rightarrow \mathcal { O } _ { S _ { \text{GUT} } } \left ( Z \right ) \rightarrow \mathcal { O } _ { F _ { \cdot } \cap S _ { \text{GUT} } } \left ( Z \right ) \rightarrow 0$$

and

$$0 \to \mathcal { O } _ { S _ { G U T } } \left ( Z \right ) \to \mathcal { O } _ { S _ { G U T } } \left ( Z + \left ( F. \cap S _ { G U T } \right ) \right ) \to \mathcal { N } _ { \left ( F. \cap S _ { G U T } \right ) | S _ { G U T } } \left ( Z \cap F. \right ) \to 0$$

where N ( F · ∩ S GUT ) | S GUT denotes the normal bundle of the rational curve F · ∩ S GUT in S GUT so that

$$\mathcal { N } _ { ( F. \cap S _ { G U T } ) | S _ { G U T } } \cong \mathcal { O } _ { ( F. \cap S _ { G U T } ) } \left ( - 2 \right ).$$

8. Z 2 -quotients B ∨ 2 and B ∨ 3 and their invariants

Now the involution C u,v acts freely on S GUT and as

↦

$$\mathcal { O } _ { S _ { G U T } } \left ( N + m \left ( F _ { + } - F _ { - } \right ) \right ) \mapsto \mathcal { O } _ { S _ { G U T } } \left ( N + m \left ( F _ { - } - F _ { + } \right ) \right )$$

Returning to

$$\pi _ { S ^ { \vee } _ { G U T } } \colon S _ { G U T } \to S ^ { \vee } _ { G U T } \coloneqq \frac { S _ { G U T } } { \{ C _ { u, v } \} }$$

and letting O S ∨ GUT ( ε u,v ) denote the non-trivial flat (orbifold) line bundle quotient of the trivial bundle induced by the fixpoint-free action of the involution C u,v , we have the splitting

$$\left ( \pi _ { S ^ { \vee } _ { G U T } } \right ) _ { * } \left ( \mathcal { O } _ { S _ { G U T } } \left ( N \right ) \right ) = \mathcal { O } _ { S ^ { \vee } _ { G U T } } \left ( N \right ) ^ { \left [ + 1 \right ] } \oplus \mathcal { O } _ { S ^ { \vee } _ { G U T } } \left ( N \right ) ^ { \left [ - 1 \right ] }$$

where

$$\mathcal { O } _ { S _ { G U T } } \left ( N \right ) = \pi ^ { * } \mathcal { O } _ { S _ { G U T } } \left ( N \right ) ^ { [ + 1 ] } \\ \mathcal { O } _ { S _ { G U T } } \left ( N \right ) ^ { [ - 1 ] } = \mathcal { O } _ { S _ { G U T } } \left ( N \right ) ^ { [ + 1 ] } \otimes \mathcal { O } _ { S _ { G U T } ^ { \vee } } \left ( \varepsilon _ { u, v } \right ).$$

For any line bundle L = O S GUT ( D ) such that

$$C _ { u, v } ^ { * } \left ( D \right ) = - D$$

we have that

$$\pi _ { * } \left ( \mathcal { O } _ { S _ { G U T } } \left ( D \right ) \right ) = \mathcal { O } _ { S _ { G U T } ^ { \vee } } \left ( \pi _ { * } D \right ) \oplus \mathcal { O } _ { S _ { G U T } ^ { \vee } } \left ( \pi _ { * } \left ( - D \right ) \right ).$$

8.1. Cohomology of the Higgs bundle the Higgs curve. We are now ready for the computation of the cohomology

$$H ^ { i } \left ( \Sigma _ { \mathfrak { 5 } } ^ { ( 4 4 ) } ; \mathcal { L } _ { \mathfrak { 5 } } ^ { ( 4 4 ) } \right ) = H ^ { i } \left ( \check { \Sigma } _ { \mathfrak { 5 } } ^ { ( 4 4 ) } ; \mathcal { L } _ { H i g g s } ^ { \vee, [ + 1 ] } \right ) \oplus H ^ { i } \left ( \check { \Sigma } _ { \mathfrak { 5 } } ^ { ( 4 4 ) } ; \mathcal { L } _ { H i g g s } ^ { \vee, [ - 1 ] } \right )$$

of the Higgs line bundle L S GUT = O S GUT ( N + m F ( + -F opp -)) restricted to the Higgs curve Σ (44) ¯ 5 as defined in (7.14). We have seen in (7.16) above that on S GUT that the restriction map

$$H ^ { 0 } \left ( \mathcal { O } _ { S _ { \text{GUT} } } \left ( N \right ) \right ) \rightarrow H ^ { 0 } \left ( \mathcal { O } _ { \Sigma _ { \text{S} } ^ { \left ( 4 4 \right ) } } \left ( N \right ) \right )$$

is an isomorphism. This fact has the important corollary that, by Tables 1 &amp; 2 above, every section of H 0 ( O S GUT ( N )) is the pullback of a section of H 0 ( O P [ u ,v 0 0 ] × P [ n ,m ,m 0 1 2 ] ( N ) ) , i.e. for the reduced image T GUT ⊆ P [ u ,v 0 0 ] × P [ n ,m ,m 0 1 2 ] of S GUT ⊆ B 3

$$H ^ { 0 } \left ( \mathcal { O } _ { S _ { G U T } } \left ( N \right ) \right ) = \rho ^ { * } H ^ { 0 } \left ( \mathcal { O } _ { T _ { G U T } } \left ( N \right ) \right ).$$

Therefore for m&gt; 0 we have the commutative diagram

$$\begin{array} { c c c c c c c c } \text{Therefore for $m>0$ we have the commutative diagram} \\ H ^ { 0 } \left ( \mathcal { O } _ { T _ { G U T } } \left ( N - m \cdot \{ m _ { 2 } = 0 \} \right ) \right ) & \hookrightarrow & H ^ { 0 } \left ( \mathcal { O } _ { T _ { G U T } } \left ( N \right ) \right ) \\ \updownarrow = & & \updownarrow = \\ H ^ { 0 } \left ( \mathcal { O } _ { S _ { G U T } } \left ( N - m \cdot \left ( F _ { \pm } + F _ { \pm } ^ { o p p } \right ) \right ) \right ) & \hookrightarrow & H ^ { 0 } \left ( \mathcal { O } _ { S _ { G U T } } \left ( N \right ) \right ) \\ \updownarrow = & & \updownarrow = \\ H ^ { 0 } \left ( \mathcal { O } _ { S _ { G U T } } \left ( N - m \cdot F _ { \pm } \right ) \right ) & \hookrightarrow & H ^ { 0 } \left ( \mathcal { O } _ { S _ { G U T } } \left ( N \right ) \right ) \\ \updownarrow = & & \updownarrow = \\ H ^ { 0 } \left ( \mathcal { O } _ { \Sigma _ { \mathfrak { S } } ^ { ( 4 4 ) } } \left ( \Sigma _ { \mathfrak { S } } ^ { ( 4 4 ) } \cdot \left ( N - m \cdot F _ { \pm } \right ) \right ) \right ) & \hookrightarrow & H ^ { 0 } \left ( \mathcal { O } _ { \Sigma _ { \mathfrak { S } } ^ { ( 4 4 ) } } \left ( \Sigma _ { \mathfrak { S } } ^ { ( 4 4 ) } \cdot N \right ) \right ) \\ \text{where all the vertical maps are isomorphisms.  Since $\mathcal{O}_{\text{-}(444)} \left ( \Sigma _ { \mathfrak { S } } ^ { ( 4 4 ) } \cdot N \right ) \text{ is a theta} \end{array}$$

where all the vertical maps are isomorphisms. Since O Σ (44) ¯ 5 ( Σ (44) ¯ 5 · N ) is a theta characteristic and

$$C _ { u, v } ^ { * } \left ( \mathcal { O } _ { \Sigma _ { \mathfrak { S } } ^ { ( 4 4 ) } } \left ( \Sigma _ { \mathfrak { S } } ^ { ( 4 4 ) } \cdot ( m \cdot ( F _ { + } - F _ { - } ) ) \right ) \right ) = \mathcal { O } _ { \Sigma _ { \mathfrak { S } } ^ { ( 4 4 ) } } \left ( \Sigma _ { \mathfrak { S } } ^ { ( 4 4 ) } \cdot ( m \cdot ( F _ { - } - F _ { + } ) ) \right )$$

we are exactly in the situation of Step II of Lemma 1 in [11]. When m = 2 the spaces on the left in the inclusion diagram are zero since no non-zero section of H 0 ( O T GUT ( N )) vanishes to second-order on { m 2 = 0 } . Therefore the eight points of 2 ( Σ (44) ¯ 5 · ( F -+ F opp -) ) impose the independent conditions required in Step II for the proof of the Lemma. We start from m = 1 where

$$\begin{array} { c } H ^ { 0 } \left ( \mathcal { O } _ { \Sigma _ { \bar { 5 } } ^ { ( 4 4 ) } } \left ( \Sigma _ { \bar { 5 } } ^ { ( 4 4 ) } \cdot ( N + ( F _ { + } - F _ { - } ) ) \right ) \right ) = \\ H ^ { 0 } \left ( \mathcal { O } _ { \Sigma _ { \bar { 5 } } ^ { ( 4 4 ) } } \left ( \Sigma _ { \bar { 5 } } ^ { ( 4 4 ) } \cdot ( N - F _ { - } ) \right ) \right ) = \\ H ^ { 0 } \left ( \mathcal { O } _ { S _ { \text{GUT} } } \left ( N - F _ { - } \right ) \right ) = H ^ { 0 } \left ( \mathcal { O } _ { \mathbb { P } _ { [ u _ { 0 }, v _ { 0 } ] } } \left ( 2 \right ) \right ) \cdot m _ { 2 }. \end{array}$$

Since F -· Σ (44) ¯ 5 = 2 the two points impose independent conditions on H 0 ( O S GUT ( N -F -)) so we conclude by Step II of Lemma 1 in [11] that (8.1)

$$\theta ^ { ^ { \prime } } _ { 1 } = h ^ { 0 } \left ( \mathcal { O } _ { \Sigma _ { \bar { 5 } } ^ { ( 4 4 ) } } \left ( \Sigma _ { \bar { 5 } } ^ { ( 4 4 ) } \left ( N - 2 F _ { - } \right ) \right ) \right ) = h ^ { 0 } \left ( \mathcal { O } _ { \Sigma _ { \bar { 5 } } ^ { ( 4 4 ) } } \left ( \Sigma _ { \bar { 5 } } ^ { ( 4 4 ) } \cdot \left ( N + 2 \left ( F _ { + } - F _ { - } \right ) \right ) \right ) \right )$$

confirmed by the fact that only one section of H 0 ( O S GUT ( N -F -)) , namely v 2 0 · m 2 vanishes additionally to order 2 at the points of ( Σ (44) ¯ 5 ∩ F -) and that the single generator of H 0 ( O Σ (44) ¯ 5 ( Σ (44) ¯ 5 · ( N +2( F + -F -)) )) is given by

$$\frac { u _ { 0 } ^ { 2 } } { v _ { 0 } ^ { 2 } } m _ { 2 } \in H ^ { 0 } \left ( \Sigma _ { \bar { 5 } } ^ { ( 4 4 ) } ; \mathcal { L } _ { \bar { 5 } } ^ { ( 4 4 ) } \right )$$

and the single generator of H 0 ( O Σ (44) ¯ 5 ( Σ (44) ¯ 5 · ( N +2( F --F + )) )) is given by

$$\frac { v _ { 0 } ^ { 2 } } { u _ { 0 } ^ { 2 } } m _ { 2 } \in H ^ { 0 } \left ( \Sigma _ { \bar { 5 } } ^ { ( 4 4 ) } ; C _ { u, v } ^ { * } \left ( \mathcal { L } _ { \bar { 5 } } ^ { ( 4 4 ) } \right ) \right )$$

To compute the symmetric/anti-symmetric decomposition of this generator on ˇ Σ (44) ¯ 5 in

$$\mathcal { L } _ { H i g g s } ^ { \vee, [ + 1 ] } \oplus C _ { u, v } ^ { * } \left ( \mathcal { L } _ { H i g g s } ^ { \vee, [ + 1 ] } \right ) = \mathcal { L } _ { H i g g s } ^ { \vee, [ + 1 ] } \oplus \mathcal { L } _ { H i g g s } ^ { \vee, [ - 1 ] }$$

we consider local sections ( γ 1 ⊕ δ 1 ) and ( γ 2 ⊕ δ 2 ) of

$$\mathcal { L } _ { H i g g s } \oplus C _ { u, v } ^ { * } \left ( \mathcal { L } _ { H i g g s } \right )$$

at points p 1 and p 2 = C u,v ( p 1 ) and write the expression

$$\left ( \gamma _ { 1 } - C _ { u, v } ^ { * } \left ( \delta _ { 2 } \right ), \delta _ { 1 } - C _ { u, v } ^ { * } \left ( \gamma _ { 2 } \right ) \right ).$$

If this expression is (0 0) , we have a symmetric section, that is, the pull-back of a local section of L ∨ , [+1] Higgs at p ∈ ˇ Σ (44) ¯ 5 with inverse image { p , p 1 2 } . On the other hand, if

$$\left ( \gamma _ { 1 } + C _ { u, v } ^ { * } \left ( \delta _ { 2 } \right ), \delta _ { 1 } + C _ { u, v } ^ { * } \left ( \gamma _ { 2 } \right ) \right ) = \left ( 0, 0 \right )$$

the section is antisymmetric.

$$\begin{smallmatrix} \gamma _ { 1 } = v _ { 0 } ^ { 2 } m _ { 2 } & \gamma _ { 2 } = u _ { 0 } ^ { 2 } m _ { 2 } \\ \delta _ { 1 } = u _ { 0 } ^ { 2 } m _ { 2 } & \delta _ { 2 } = v _ { 0 } ^ { 2 } m _ { 2 }. \end{smallmatrix}$$

In our case

Since C ∗ u,v ( m 2 ) = -m 2 the symmetric summand

$$\begin{array} { c } \gamma _ { 1 } + C _ { u, v } ^ { * } \left ( \delta _ { 2 } \right ) = v _ { 0 } ^ { 2 } m _ { 2 } + C _ { u, v } ^ { * } \left ( v _ { 0 } ^ { 2 } m _ { 2 } \right ) \\ = v _ { 0 } ^ { 2 } m _ { 2 } + \left ( - v _ { 0 } ^ { 2 } m _ { 2 } \right ) = 0 \end{array}$$

is zero and the unique non-zero section

$$\begin{array} { c } \gamma _ { 1 } - C _ { u, v } ^ { * } \left ( \delta _ { 2 } \right ) = v _ { 0 } ^ { 2 } m _ { 2 } - C _ { u, v } ^ { * } \left ( v _ { 0 } ^ { 2 } m _ { 2 } \right ) \\ = v _ { 0 } ^ { 2 } m _ { 2 } - \left ( - v _ { 0 } ^ { 2 } m _ { 2 } \right ) = 2 v _ { 0 } ^ { 2 } m _ { 2 }, \end{array}$$

the image of 2 m v 2 2 0 ∈ ρ H ∗ 0 ( O T GUT ( N )) , generates the anti-symmetric summand.

Lemma 9. We select m = 2 for our final refinement of the definition of the Higgs line bundle

$$\mathcal { L } _ { H i g g s } = \mathcal { O } _ { \mathcal { D } _ { s } } \left ( N + 2 \left ( F _ { + } - F _ { - } \right ) \right )$$

on the spectral variety D 5 = D ∪ D 4 1 . .There is a unique non-zero section (8.2) of the Higgs line bundle on the Higgs curve Σ (44) ¯ 5 . Its image under the direct sum decomposition

$$( 8. 3 ) \quad H ^ { i } \left ( \Sigma _ { \bar { 5 } } ^ { ( 4 4 ) } ; \mathcal { L } _ { \bar { 5 } } ^ { ( 4 4 ) } \right ) = H ^ { i } \left ( \check { \Sigma } _ { \bar { 5 } } ^ { ( 4 4 ) } ; \mathcal { L } _ { H i g g s } ^ { \vee, [ + 1 ] } \right ) \oplus H ^ { i } \left ( \check { \Sigma } _ { \bar { 5 } } ^ { ( 4 4 ) } ; \mathcal { L } _ { H i g g s } ^ { \vee, [ - 1 ] } \right )$$

lies in the anti-symmeric summand.

## 9. Asymptotic Z 4 R -symmetry

9.1. Asymptotic Tate form. We next examine an 'asymptotic' Z 4 R-symmetry for these constructions. For this we will have to lift the Z 4 -action on B 3 described in Tables 1&amp;2 above by lifting it to a Z 4 -action on the semi-stable degeneration W 4 0 , introduced in (6.7). The lifting is described by

In the F -theory models we are proposing, the semi-stable degeneration

| Table 1 asymp :             | T u,v                                              | C u,v                                                               |
|-----------------------------|----------------------------------------------------|---------------------------------------------------------------------|
| h 0 ( K - 1 B ∨ 3 , 0 ) = 4 | T u,v ( w ) = w T u,v ( x ) = - x T u,v ( y ) = iy | C u,v ( w ) = w C u,v ( x ) = x C u,v ( y ) = - y C u,v ( z ) = - z |
| ( u 0 + v 0 ) 2 · n - 1     | - 1                                                | +1                                                                  |
| ( u 0 - v 0 ) 2 · n - 1     | +1                                                 | +1                                                                  |
| ( u 2 0 - v 2 0 ) · m - i   | - 1                                                | +1                                                                  |
| ( u 2 0 - v 2 0 ) · m + i   | +1                                                 | +1                                                                  |

| Table 2 asymp :                                    | T u,v                                              | C u,v                                                               |
|----------------------------------------------------|----------------------------------------------------|---------------------------------------------------------------------|
| h 0 ( K - 1 B ∨ 3 , 0 ⊗O B ∨ 3 , 0 ( ε u,v ) ) = 5 | T u,v ( w ) = w T u,v ( x ) = - x T u,v ( y ) = iy | C u,v ( w ) = w C u,v ( x ) = x C u,v ( y ) = - y C u,v ( z ) = - z |
| ( u 0 + v 0 ) 2 · m - i                            | - i                                                | - 1                                                                 |
| ( u 0 + v 0 ) 2 · m + i                            | + i                                                | - 1                                                                 |
| ( u 0 - v 0 ) 2 · m - i                            | + i                                                | - 1                                                                 |
| ( u 0 - v 0 ) 2 · m + i                            | - i                                                | - 1                                                                 |
| ( u 2 0 - v 2 0 ) · n - 1 =: z 0                   | - i                                                | - 1                                                                 |

$$W _ { 4, \delta } \Rightarrow W _ { 4, 0 } = d P _ { a } \cup d P _ { b }$$

to the union of two bundles of del Pezzo surfaces over B 2 we must introduce deformations

$$a _ { j, \delta } & = \delta a _ { j } + \left ( 1 - \delta \right ) a _ { j, 0 } \\ z _ { \delta } & = \delta z + \left ( 1 - \delta \right ) z _ { 0 } \\ t _ { \delta } & = \delta t + \left ( 1 - \delta \right ) t _ { 0 }$$

of the Tate form (1.3) such that a j, 0 , z 0 , t 0 all are constrained to lie in the threedimensional ( -i ) -eigenspace for T u,v spanned by the ( -i ) -eigenvectors for T u,v given in Table 2 asymp and so that the action of T u,v on [ w,x,y ] is also as indicated in Table 2 asymp . These conditions will insure the existence of an asymptotic Z 4 R -symmetry as we discuss next.

First of all

$$[ u _ { 0 }, v _ { 0 } ] \mapsto [ u _ { 0 }, v _ { 0 } ] \left [ \begin{array} { c c } \frac { 1 + i } { 2 } & \frac { 1 - i } { 2 } \\ \frac { 1 - i } { 2 } & \frac { 1 + i } { 2 } \end{array} \right ]$$

$$\begin{matrix} 1 \end{matrix}$$

↦

that is

$$\tilde { T } _ { u, v } ^ { * } \left ( \left [ \begin{array} { c } u _ { 0 } \\ v _ { 0 } \end{array} \right ] \right ) = \left [ \begin{array} { c } u _ { 0 } \circ T _ { u, v } \\ v _ { 0 } \circ T _ { u, v } \end{array} \right ] = \left [ \begin{array} { c } \frac { 1 + i } { 2 } & \frac { 1 - i } { 2 } \\ \frac { 1 - i } { 2 } & \frac { 1 + i } { 2 } \end{array} \right ] \cdot \left [ \begin{array} { c } u _ { 0 } \\ v _ { 0 } \end{array} \right ]$$

so that T ∗ u,v ( u 0 · v 0 ) = 1 2 ( u 2 0 + v 2 0 ) and ( T ∗ u,v ) ( u 2 0 + v 2 0 2 ) = u v 0 0 . Next from (6.10) T ∗ u,v ( m 1 ) = m 2 and ( T ∗ u,v ) ( m 2 ) = -m 1 .

We will require that

$$z _ { 0 } = \left ( u _ { 0 } ^ { 2 } - v _ { 0 } ^ { 2 } \right ) \cdot n _ { - 1 }$$

so that

$$\begin{array} { c } \cdot \dots \dots \\ T _ { u, v } ^ { * } \left ( z _ { 0 } \right ) = - \left ( \left ( \frac { 1 + i } { 2 } u _ { 0 } + \frac { 1 - i } { 2 } v _ { 0 } \right ) ^ { 2 } - \left ( \frac { 1 - i } { 2 } u _ { 0 } + \frac { 1 + i } { 2 } v _ { 0 } \right ) ^ { 2 } \right ) \cdot n _ { - 1 } \\ - \left ( \frac { i } { 2 } \left ( u _ { 0 } ^ { 2 } - v _ { 0 } ^ { 2 } \right ) - \frac { i } { 2 } \left ( - \left ( u _ { 0 } ^ { 2 } - v _ { 0 } ^ { 2 } \right ) \right ) \right ) \cdot n _ { - 1 } = \\ - i \cdot z _ { 0 } \end{array} \\ \cdot \dots \dots \dots$$

As well we require that

$$a _ { 5, 0 } = u _ { 0 } v _ { 0 } \cdot m _ { 1 } + i \cdot \left ( \frac { u _ { 0 } ^ { 2 } + v _ { 0 } ^ { 2 } } { 2 } \right ) m _ { 2 }$$

$$\begin{array} { c } \left ( T _ { u, v } ^ { * } \right ) \left ( a _ { 5, 0 } \right ) \\ = \left ( \frac { u _ { 0 } ^ { 2 } + v _ { 0 } ^ { 2 } } { 2 } \right ) m _ { 2 } - i \cdot u _ { 0 } v _ { 0 } \cdot m _ { 1 } \\ = - i \cdot \left ( u _ { 0 } v _ { 0 } \cdot m _ { 1 } + i \cdot \left ( \frac { u _ { 0 } ^ { 2 } + v _ { 0 } ^ { 2 } } { 2 } \right ) m _ { 2 } \right ) \\ = - i \cdot a _ { 5. 0 }. \end{array} \right ) \,,$$

so that

Then, referring to (7.1)

$$a _ { 5, \delta } \in \mathbb { C } \cdot \left ( u _ { 0 } v _ { 0 } \cdot m _ { 1 } + i \cdot \left ( \frac { u _ { 0 } + v _ { 0 } } { 2 } \right ) m _ { 2 } \right ) + \delta \cdot \left ( \mathbb { C } \left ( v _ { 0 } ^ { 2 } + u _ { 0 } ^ { 2 } \right ) + \mathbb { C } u _ { 0 } v _ { 0 } \right ) m _ { 2 } + \mathbb { C } \cdot z _ { \delta }$$

and the necessary twisting divisor F + -F -lie in S GUT for all δ .

To achieve a Z 4 R -symmetry in the limiting W 4 0 , we first note that in the restriction Tate form to the Heterotic model, the sections a , z, j y x ∈ H 0 ( K -1 B 3 ) specialize by definition to sections

$$a _ { j, 0 }, \, z _ { 0 }, \, \frac { y _ { 0 } } { x _ { 0 } } \in H ^ { 0 } \left ( K _ { B _ { 2 } } ^ { - 1 } \right ) = \mathbb { C } \cdot m _ { + i } + \mathbb { C } \cdot m _ { - i } + \mathbb { C } \cdot n _ { - 1 }$$

whose variation in the fiber variable a = u 0 -v 0 u 0 + v 0 of B /B 3 2 is absorbed in the dP 9 fiber while [ n -1 , m + i , m -i ] in (6.11) are the coordinates of the base of the Heterotic model ˜ V /B 3 2 . Secondly the action of T u,v on H 0 ( O P [ u ,v 0 0 ] (2) ) , that is, on the fibers of B 3 0 , /B 2 has eigenvalues + i , +1 , and -1 . Then , so

$$\begin{array} { c } q _ { + 1 } \left ( u _ { 0 }, v _ { 0 } \right ) = u _ { 0 } v _ { 0 } + \frac { 1 } { 2 } \left ( u _ { 0 } ^ { 2 } + v _ { 0 } ^ { 2 } \right ) \\ q _ { - 1 } \left ( u _ { 0 }, v _ { 0 } \right ) = u _ { 0 } v _ { 0 } - \frac { 1 } { 2 } \left ( u _ { 0 } ^ { 2 } + v _ { 0 } ^ { 2 } \right ) \\ q _ { + i } \left ( u _ { 0 }, v _ { 0 } \right ) = u _ { 0 } ^ { 2 } - v _ { 0 } ^ { 2 }. \end{array}$$

Then the -i -eigenspace in Table 2 is spanned by the three vectors

$$q _ { + i } \cdot n _ { - 1 }, \, q _ { + 1 } \cdot m _ { - i }, \, q _ { - 1 } \cdot m _ { + i }.$$

( T ∗ u,v ) 2 ( u 0 · v 0 ) = C ∗ u,v ( u 0 · v 0 ) = v 0 · u 0 as required for compatibility with the definition of the Higgs bundle for all δ .

Proceeding in this way we can arrange so that the action of T u,v on the Heterotic model is given by the action of

$$\nu \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdclots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots \quad \end{matrix}$$

Notice again that these definitions imply that T u,v acts on the Heterotic model as T u,v on V /B 3 2 and as (9.1) on the dP 9 -bundles.

Lemma 10. Under the above assumptions, the specialization of the Tate form and B 2 ,δ (1.3) to δ = 0 is taken to minus itself under the action of T u,v . We will therefore say that our F -theory model satisfies an asymptotic Z 4 R -symmetry.

Proof. One checks directly using (1.3) and the eigenvalues in the T u,v -column in the above Table 2 asymp that the Tate form is taken to minus itself. glyph[square]

Therefore T u,v takes the holomorphic four-form on the semi-stable limit W 4 0 , to minus itself [7]. As a consequence T u,v acts trivially on the global section of K S GUT . Furthermore T u,v commutes with C u,v since the action of T 2 u,v coincides with the action of C u,v . Thus T u,v will be our candidate for the asymptotic Z 4 R -symmetry on the quotient Calabi-Yau fourfold

$$W _ { 4, 0 } ^ { \vee } / B _ { 3, 0 } ^ { \vee } \coloneqq \frac { W _ { 4, 0 } / B _ { 3, 0 } } { \{ C _ { u, v } \} }.$$

9.2. Charges for Z 4 -R symmetry [10] . The generator T u,v of our asymptotic Z 4 R -symmetry on W 4 0 , and W ∨ 4 0 , has the defining equations of Σ (4) 10 and Σ (41) ¯ 5 as -i -eigenvectors and the defining equation of Σ (44) ¯ 5 as ( -1) -eigenvector. Therefore, since z 0 has eigenvalue ( -i ) , we apply these values in [5] to obtain the following table:

10. Conclusion

| TABLE 3:                           | T u,v                                             | Equation T u,v -charge   | states                                                                                              |
|------------------------------------|---------------------------------------------------|--------------------------|-----------------------------------------------------------------------------------------------------|
| matter fields on Σ 10 { C          | (4) u,v } a 5 = z = 0                             | - 1                      | H 0 ( Σ (4) 10 { C u,v } ; L ∨ , [ ± 1] Higgs )                                                     |
| matter fields on Σ ¯ 5 { C         | (41) u,v } a 420 = z = 0                          | - 1                      | H 0 ( Σ (41) ¯ 5 { C u,v } ; L ∨ , [ ± 1] Higgs )                                                   |
| Higgs fields on Σ (44) ¯ 5 { C u,v | } ∣ ∣ ∣ ∣ a 4 - a 5 a 3 + a 0 a 3 ∣ ∣ ∣ ∣ = z = 0 | + i                      | H 0 ( Σ (44) ¯ 5 { C u,v } ; L ∨ , [ - 1] Higgs ) H 1 ( Σ (44) ¯ 5 { C u,v } ; L ∨ , [ - 1] Higgs ) |
| bulk matter on S GUT { C u,v       | } z = 0                                           | - i                      | H 2 ( K S GUT { Cu,v } )                                                                            |

Rather than inventing a base-space B 3 and fine-tuning it to yield the right invariants for a phenomenologically consistent F -theory, we have adopted the philosophy that the representation theory required by the physics will dictate the base space

for the Tate form and ensuing F -theory. Perhaps surprisingly, the representation theory contains almost completely within itself one and only one phenomenologically consistent F -theory. The detailed presentation of that model, based on the construction and analysis of the B 3 presented in this paper, is the subject of the companion paper [5].

## Acknowledgments

The authors would like to thank Dave Morrison, Tony Pantev and Sakura SchäferNameki for their guidance and many helpful conversations over several years. However the authors themselves take sole responsibility for any errors or omissions in this series of papers. S.R. acknowledges partial support from Department of Energy grant DE-SC0011726.

## References

- [1] R. Blumenhagen, V. Braun, T. W. Grimm, and T. Weigand, ' GUTs in Type IIB Orientifold Compactifications.' Nucl.Phys. B815 (2009) 1-94, [arXiv:0811.2936]. 6.1
- [2] R. Blumenhagen, T. Grimm, B. Jurke, T. Weigand, 'Global F-theory GUTs.' Nucl.Phys.B829:325-369,(2010) [arXiv: hep-th/0908.1784]. 1
- [3] E. Brieskorn, 'Singular elements of semi-simple algebraic groups.' Actes, International Congress of Mathematicians, vol.2 (1970), 279-284. 3.1
- [4] H. Clemens and S. Raby, 'Heterotic/F-theory Duality and Narasimhan-Seshadri Equivalence.' [arXiv: hep-th/1906.07238]. 1, 1, 1.1, 2, 3.1, 3.1, 3.1, 3.1, 5.2, 5.2, 6.1, 7
- [5] H. Clemens and S. Raby, 'HeteroticF -theory Duality with Wilson Line Symmetry-breaking.' [arXiv: hep-th/1908.01913]. 1, 1.1, 5.2, 6.1, 7, 9.2, 10
- [6] V. Guillemin, 'Kähler structures on toric varieties.' J. Differential Geometry 40 (1994), 285309.
- [7] R. Davies, arXiv:1205.1942v3 [hep-th] 9.1
- [8] R. Donagi and M. Wijnholt, 'Breaking GUT Groups in F -theory,' {tt 0808.2223v2}. 2
- [9] R. Donagi and M. Wijnholt, 'Higgs Bundles and UV-completion in F-theory,' Commun.Math.Phys. 326 , 287(2014). 2
- [10] H-M. Lee, S. Raby, M. Ratz, G. Ross, R. Schieren, K. Schmidt-Hoberg and P. Vaudrevange, 'A unique Z 4 R -symmetry for the MSSM,' Phy. Lett., B694 (2011), 491-495. (document), 9.2
- [11] D. Mumford, 'Theta characteristics of an algebraic curve.' Ann. Ecole Norm. Sup., 4 (1971), 181-192. 8.1
- [12] P. Slodowy, 'Simple singularities and simple algebraic groups.' Lecture Notes in Mathematics , 815 , Berlin, New York: Springer-Verlag(1980). 3.1
- [13] F. Cossec, I. Dolgachev, C. Liedtke, (with Appendix by S. Kond ) ¯ o Enriques Surfaces I. September 21, 2022. www.math.lsa.umich.edu › ~idolga.

6.2

Email address : clemens.43@osu.edu, raby.1@osu.edu
Herbert Clemens Stuart Raby
F-theory over a Fano threefold built from $A_{4}$-roots
In a previous paper, the authors showed the advantages of building a
$\mathbb{Z}_{2}$-action into an $F$-theory model $W_{4}/B_{3}$, namely the
action of complex conjugation on the complex algebraic group with compact real
form $E_{8}$. The goal of this paper is to construct the Fano threefold $B_{3}$
directly from the roots of $SU\left(5\right)$ in such a way that the action of
complex conjugation is exactly the desired $\mathbb{Z}_{2}$-action and the
quotient of this action on $W_{4}/B_{3}$ and its Heterotic dual have the
phenomenologically correct invariants.