With model building applications in mind, we collect and develop basic techniques to analyze the landscape of D7-branes in type IIB compact Calabi-Yau orientifolds, in three different pictures: F-theory, the D7 worldvolume theory and D9-anti-D9 tachyon condensation. A significant complication is that consistent D7-branes in the presence of O7 − planes are generically singular, with singularities locally modeled by the Whitney Umbrella. This invalidates the standard formulae for charges, moduli space and flux lattice dimensions. We infer the correct formulae by comparison to F-theory and derive them independently and more generally from the tachyon picture, and relate these numbers to the closed string massless spectrum of the orientifold compactification in an interesting way. We furthermore give concrete recipes to explicitly and systematically construct nontrivial D-brane worldvolume flux vacua in arbitrary Calabi-Yau orientifolds, illustrate how to read off D-brane flux content, enhanced gauge groups and charged matter spectra from tachyon matrices, and demonstrate how brane recombination in general leads to flux creation, as required by charge conservation and by equivalence of geometric and gauge theory moduli spaces.

We construct explicit G 4 fluxes in F-theory compactifications. Our method relies on identifying algebraic cycles in the Weierstrass equation of elliptic Calabi-Yau fourfolds. We show how to compute the D3-brane tadpole and the induced chirality indices directly in F-theory. Whenever a weak coupling limit is available, we compare and successfully match our findings to the corresponding results in type IIB string theory. Finally, we present some generalizations of our results which hint at a unified description of the elliptic Calabi-Yau fourfold together with the four-form flux G 4 as a coherent sheaf. In this description the close link between G 4 fluxes and algebraic cycles is manifest.

We discuss E3-brane instantons in N = 1 F-theory compactifications to four dimensions and clarify the structure of E3-E3 zero modes for general world-volume fluxes. We consistently incorporate SL(2, Z) monodromies and highlight the relation between F-theory and perturbative IIB results. We explicitly show that world-volume fluxes can lift certain fermionic zero-modes, whose presence would prevent the generation of non-perturbative superpotential terms, and we discuss in detail the geometric interpretation of the zero-mode lifting mechanism. We provide a IIB derivation of the index for generation of superpotential terms and of its modification to include world-volume fluxes, which reproduces and generalizes available results. We apply our general analysis to the explicit, though very simple, example of compactification on P-3 and its orientifold weak-coupling limit. In particular, we provide an example in which a non-rigid divisor with fluxes contributes to the superpotential

We study the problem of four-form flux quantization in F-theory compactifications. We prove that for smooth, elliptically fibered Calabi-Yau fourfolds with a Weierstrass representation, the flux is always integrally quantized. This implies that any possible half-integral quantization effects must come from 7-branes, i.e. from singularities of the fourfold.We subsequently analyze the quantization rule on explicit fourfolds with Sp(N) singularities, and connect our findings via Sen's limit to IIB string theory. Via direct computations we find that the four-form is half-integrally quantized whenever the corresponding 7-brane stacks wrap non-spin complex surfaces, in accordance with the perturbative Freed-Witten anomaly. Our calculations on the fourfolds are done via toric techniques, whereas in IIB we rely on Sen's tachyon condensation picture to treat bound states of branes. Finally, we give general formulae for the curvature-and flux-induced D3 tadpoles for general fourfolds with Sp(N) singularities.

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.