We construct global F-theory GUT models on del Pezzo surfaces in compact Calabi-Yau fourfolds realized as complete intersections of two hypersurface constraints. The intersections of the GUT brane and the flavour branes as well as the gauge flux are described by the spectral cover construction. We consider a split S[U (4)×U (1) X ] spectral cover, which allows for the phenomenologically relevant Yukawa couplings and GUT breaking to the MSSM via hypercharge flux while preventing dimension-4 proton decay. General expressions for the massless spectrum, consistency conditions and a new method for the computation of curvature-induced tadpoles are presented. We also provide a geometric toolkit for further model searches in the framework of toric geometry. Finally, an explicit global model with three chiral generations and all required Yukawa couplings is defined on a Calabi-Yau fourfold which is fibered over the del Pezzo transition of the Fano threefold P 4 [4].

We present an algorithm for computing line bundle valued cohomology classes over toric varieties. This is the basic starting point for computing massless modes in both heterotic and Type IIB/F-theory compactifications, where the manifolds of interest are complete intersections of hypersurfaces in toric varieties supporting additional vector bundles. CONTENTS

We revisit the issue of M5-brane instanton corrections to the superpotential in F-theory compactifications on elliptically fibered Calabi-Yau fourfolds. Elaborating on concrete geometries, we compare the instanton zero modes for non-perturbative F-theory models with the zero modes in their perturbative Sen limit. The fermionic matter zero modes localized on the intersection of the instanton with the space-time filling D7-branes show up in a geometric way in F-theory. Methods for their computation are developed and, not surprisingly, exceptional gauge group structures do appear. Finally, quite intriguing geometrical aspects of the one-loop determinant are discussed.

We study the F-theory uplift of Type IIB orientifold models on compact Calabi-Yau threefolds containing divisors which are del Pezzo surfaces. We consider two examples defined via del Pezzo transitions of the quintic. The first model has an orientifold projection leading to two disjoint O7-planes and the second involution acts via an exchange of two del Pezzo surfaces. The two uplifted fourfolds are generically singular with minimal gauge enhancements over a divisor and, respectively, a curve in the non-Fano base. We study possible further degenerations of the elliptic fiber leading to F-theory GUT models based on subgroups of E 8 .

Massless modes of both heterotic and Type II string compactifications on compact manifolds are determined by vector bundle valued cohomology classes. Various applications of our recent algorithm for the computation of line bundle valued cohomology classes over toric varieties are presented. For the heterotic string, the prime examples are so-called monad constructions on Calabi-Yau manifolds. In the context of Type II orientifolds, one often needs to compute equivariant cohomology for line bundles, necessitating us to generalize our algorithm to this case. Moreover, we exemplify that the different terms in Batyrev's formula and its generalizations can be given a one-to-one cohomological interpretation.