We consider F-theory compactifications on genus-one fibered Calabi-Yau manifolds with their fibers realized as hypersurfaces in the toric varieties associated to the 16 reflexive 2D polyhedra. We present a base-independent analysis of the codimension one, two and three singularities of these fibrations. We use these geometric results to determine the gauge groups, matter representations, 6D matter multiplicities and 4D Yukawa couplings of the corresponding effective theories. All these theories have a non-trivial gauge group and matter content. We explore the network of Higgsings relating these theories. Such Higgsings geometrically correspond to extremal transitions induced by blow-ups in the 2D toric varieties. We recover the 6D effective theories of all 16 toric hypersurface fibrations by repeatedly Higgsing the theories that exhibit Mordell-Weil torsion. We find that the three Calabi-Yau manifolds without section, whose fibers are given by the toric hypersurfaces in P 2 , P 1 × P 1 and the recently studied P 2 (1, 1, 2), yield F-theory realizations of SUGRA theories with discrete gauge groups Z 3 , Z 2 and Z 4 . This opens up a whole new arena for model building with discrete global symmetries in F-theory. In these three manifolds, we also find codimension two I 2 -fibers supporting matter charged only under these discrete gauge groups. Their 6D matter multiplicities are computed employing ideal techniques and the associated Jacobian fibrations. We also show that the Jacobian of the biquadric fibration has one rational section, yielding one U(1)-gauge field in F-theory. Furthermore, the elliptically fibered Calabi-Yau manifold based on dP 1 has a U(1)-gauge field JHEP01 (2015)142 induced by a non-toric rational section. In this model, we find the first F-theory realization of matter with U(1)-charge q = 3.

We construct four-dimensional, globally consistent F-theory models with three chiral generations, whose gauge group and matter representations coincide with those of the Minimal Supersymmetric Standard Model, the Pati-Salam Model and the Trinification Model. These models result from compactification on toric hypersurface fibrations X with the choice of base P 3 . We observe that the F-theory conditions on the G 4 -flux restrict the number of families to be at least three. We comment on the phenomenology of the models, and for Pati-Salam and Trinification models discuss the Higgsing to the Standard Model. A central point of this work is the construction of globally consistent G 4 -flux. For this purpose we compute the vertical cohomology H (2,2) V (X) in each case and solve the conditions imposed by matching the M-and F-theoretical 3D Chern-Simons terms. We explicitly check that the expressions found for the G 4 -flux allow for a cancellation of D3-brane tadpoles. We also use the integrality of 3D Chern-Simons terms to ensure that our G 4 -flux solutions are adequately quantized.

We use mirror symmetry, quantum geometry and modularity properties of elliptic curves to calculate the refined free energies in the Nekrasov-Shatashvili limit on non-compact toric Calabi-Yau manifolds, based on del Pezzo surfaces. Quantum geometry here is to be understood as a quantum deformed version of rigid special geometry, which has its origin in the quantum mechanical behaviour of branes in the topological string B-model. We will argue that, in the Seiberg-Witten picture, only the Coulomb parameters lead to quantum corrections, while the mass parameters remain uncorrected. In certain cases we will also compute the expansion of the free energies at the orbifold point and the conifold locus. We will compute the quantum corrections order by order on , by deriving second order differential operators, which act on the classical periods.

We generalize the conjectured connection between quantum spectral problems and topological strings to many local almost del Pezzo surfaces with arbitrary mass parameters. The conjecture uses perturbative information of the topological string in the unrefined and the Nekrasov-Shatashvili limit to solve non-perturbatively the quantum spectral problem. We consider the quantum spectral curves for the local almost del Pezzo surfaces of F 2 , F 1 , B 2 and a mass deformation of the E 8 del Pezzo corresponding to different deformations of the three-term operators O 1,1 , O 1,2 and O 2,3 . To check the conjecture, we compare the predictions for the spectrum of these operators with numerical results for the eigenvalues. We also compute the first few fermionic spectral traces from the conjectural spectral determinant, and we compare them to analytic and numerical results in spectral theory. In all these comparisons, we find that the conjecture is fully validated with high numerical precision. For local F 2 we expand the spectral determinant around the orbifold point and find intriguing relations for Jacobi theta functions. We also give an explicit map between the geometries of F 0 and F 2 as well as a systematic way to derive the operators O m,n from toric geometries.

We give further evidence that genus-one fibers with multi-sections are mirror dual to fibers with Mordell-Weil torsion. In the physics of F-theory compactifications this implies a relation between models with a non-simply connected gauge group and those with discrete symmetries. We provide a combinatorial explanation of this phenomenon for toric hypersurfaces. In particular this leads to a criterion to deduce Mordell-Weil torsion directly from the polytope. For all 3134 complete intersection genus-one curves in threedimensional toric ambient spaces we confirm the conjecture by explicit calculation. We comment on several new features of these models: the Weierstrass forms of many models can be identified by relabeling the coefficient sections. This reduces the number of models to 1024 inequivalent ones. We give an example of a fiber which contains only non-toric sections one of which becomes toric when the fiber is realized in a different ambient space. Similarly a singularity in codimension one can have a toric resolution in one representation while it is non-toric in another. Finally we give a list of 24 inequivalent genus-one fibers that simultaneously exhibit multi-sections and Mordell-Weil torsion in the Jacobian. We discuss a self-mirror example from this list in detail.