F-theory compactified on a Calabi-Yau fourfold naturally describes nonAbelian gauge symmetries through the singularity structure of the elliptic fibration. In contrast Abelian symmetries are more difficult to study because of their inherently global nature. We argue that in general F-theory compactifications there are massive Abelian symmetries, such as the uplift of the Abelian part of the U(N ) gauge group on D7-branes, that arise from non-Kähler resolutions of the dual M-theory setup. The four-dimensional F-theory vacuum with vanishing expectation values for the gauge fields corresponds to the Calabi-Yau limit. We propose that fluxes that are turned on along these U(1)s are uplifted to non-harmonic four-form fluxes. We derive the effective four-dimensional gauged supergravity resulting from F-theory compactifications in the presence of the Abelian gauge factors including the effects of possible fluxes on the gauging, tadpoles and matter spectrum.

We analyse the non-perturbative superpotential due to M5-brane instantons in F-theory compactifications on Calabi-Yau fourfolds. The M5 partition function is obtained via holomorphic factorisation by explicitly performing the sum over chiral 3-form fluxes. Comparison with the partition function of fluxed Euclidean D3-brane instantons in Type IIB orientifolds allows us to fix the spin structure on the intermediate Jacobian of the M5-instanton. We furthermore analyse the contribution of the M5-instanton to the superpotential in the presence of G 4 gauge flux, where the superpotential is dressed with matter fields. We explicitly evaluate the pullback of G 4 onto the M5-brane as a measure for the presence of charged instanton zero modes. This accounts for the M5 charge both under massless U (1)s, if present, and under what corresponds in Type II language to geometrically massive U (1)s.

We study the superpotential induced by Euclidean D3-brane instantons carrying instanton flux, with special emphasis on its significance for the stabilisation of Kähler moduli and Neveu-Schwarz axions in Type IIB orientifolds. Quite generally, once a chiral observable sector is included in the compactification, arising on intersecting D7-branes with world-volume flux, resulting charged instanton zero modes prevent a class of instantons from participating in moduli stabilisation. We show that instanton flux on Euclidean D3-branes can remove these extra zero modes and helps in reinstating full moduli stabilisation within a geometric regime. We comment also on the F-theoretic description of this effect of alleviating the general tension between moduli stabilisation and chirality. In addition we propose an alternative solution to this problem based on dressing the instantons with charged matter fields which is unique to F-theory and cannot be realised in the weak coupling limit.

We use a Kaluza-Klein reduction to compute the low-energy effective action for the massless modes of a spacetime-filling D6-brane wrapped on a special Lagrangian 3-cycle of a type IIA Calabi-Yau orientifold. The modifications to the characteristic data of the N = 1 bulk orientifold theory in the presence of a D6-brane are analysed by studying the underlying Type IIA supergravity coupled to the brane worldvolume in the democratic formulation and performing a detailed dualisation procedure. The N = 1 chiral coordinates are found to be in agreement with expectations from mirror symmetry. We work out the Kähler potential for the chiral superfields as well as the gauge kinetic functions for the bulk and the brane gauge multiplets including the kinetic mixing between the two. The scalar potential resulting from the dualisation procedure can be formally interpreted in terms of a superpotential. Finally, the gauging of the Peccei-Quinn shift symmetries of the complex structure multiplets reproduces the D-term potential enforcing the calibration condition for special Lagrangian 3-cycles.