A Class of N=1 Dual String Pairs and its Modular Superpotential

We compare the N=1 F-theory compactification of Donagi, Grassi and Witten with modular superpotential - and some closely related models - to dual heterotic models. We read of the F-theory spectrum from the cohomology of the fourfold and discuss on the heterotic side the gauge bundle moduli sector (including the spectral surface) and the necessary fivebranes. Then we consider the N=1 superpotential and show how a heterotic superpotential matching the F-theory computation is built up by worldsheet instantons. Finally we discuss how the original modular superpotential should be corrected by an additional modular correction factor, which on the F-theory side matches nicely with a `curve counting function' for the del Pezzo surface. On the heterotic side we derive the same factor demanding correct T-duality transformation properties of the superpotential.Comment: 18 pages, Late

N=1 effective potential from dual type-IIA D6/O6 orientifolds with general fluxes

We consider N=1 compactifications of the type-IIA theory on the T6/(Z2xZ2) orbifold and O6 orientifold, in the presence of D6-branes and general NSNS, RR and Scherk-Schwarz geometrical fluxes. Introducing a suitable dual formulation of the theory, we derive and solve the Bianchi identities, and show how certain combinations of fluxes can relax the constraints on D6-brane configurations coming from the cancellation of RR tadpoles. We then compute, via generalized dimensional reduction, the N=1, D=4 effective potential for the seven main moduli, and comment on the relation with truncated N=4 gaugings. As a byproduct, we obtain a general geometrical expression for the superpotential. We finally identify a family of fluxes, compatible with all Bianchi identities, that perturbatively stabilize all seven moduli in supersymmetric AdS4.Comment: 19 pages, no figures, JHEP3 LaTeX. Published versio

Flux compactification on smooth, compact three-dimensional toric varieties

Three-dimensional smooth, compact toric varieties (SCTV), when viewed as real six-dimensional manifolds, can admit G-structures rendering them suitable for internal manifolds in supersymmetric flux compactifications. We develop techniques which allow us to systematically construct G-structures on SCTV and read off their torsion classes. We illustrate our methods with explicit examples, one of which consists of an infinite class of toric CP^1 bundles. We give a self-contained review of the relevant concepts from toric geometry, in particular the subject of the classification of SCTV in dimensions less or equal to 3. Our results open up the possibility for a systematic construction and study of supersymmetric flux vacua based on SCTV.Comment: 27 pages, 10 figures; v2: references, minor typos & improvement

On supersymmetric Minkowski vacua in IIB orientifolds

Supersymmetric Minkowski vacua in IIB orientifold compactifications based on orbifolds with background fluxes and non-perturbative superpotentials are investigated. Especially, microscopic requirements and difficulties to obtain such vacua are discussed. We show that orbifold models with one and two complex structure moduli and supersymmetric 2-form flux can be successfully stabilized to such vacua. By taking additional gaugino condensation on fixed space-time filling D3-branes into account also models without complex structure can be consistently stabilized to Minkowski vacua.Comment: 17 pages, 2 figures; More detailed proof for absence of complex flat directions in susy AdS vacua given; Footnotes and reference adde

FCNC Processes from D-brane Instantons

Low string scale models might be tested at the LHC directly by their Regge resonances. For such models it is important to investigate the constraints of Standard Model precision measurements on the string scale. It is shown that highly suppressed FCNC processes like K0- bar K^0 oscillations or leptonic decays of the D0-meson provide non-negligible lower bounds on both the perturbatively and surprisingly also non-perturbatively induced string theory couplings. We present both the D-brane instanton formalism to compute such amplitudes and discuss various possible scenarios and their constraints on the string scale for (softly broken) supersymmetric intersecting D-brane models.Comment: 28 pages, 13 figures, reference added, 1 typo corrected, style file adde

Intersecting Brane Worlds at One Loop

We develop techniques for one-loop diagrams on intersecting branes. The one-loop propagator of chiral intersection states on D6 branes is calculated exactly and its finiteness is shown to be guaranteed by RR tadpole cancellation. The result is used to demonstrate the expected softening of power law running of Yukawa couplings at the string scale. We also develop methods to calculate arbitrary N-point functions at one-loop, including those without gauge bosons in the loop. These techniques are also applicable to heterotic orbifold models.Comment: 35 pages, 3 figures; added reference, corrected typos, JHEP styl

Diversity in the Tail of the Intersecting Brane Landscape

Techniques are developed for exploring the complete space of intersecting brane models on an orientifold. The classification of all solutions for the widely-studied T^6/Z_2 x Z_2 orientifold is made possible by computing all combinations of branes with negative tadpole contributions. This provides the necessary information to systematically and efficiently identify all models in this class with specific characteristics. In particular, all ways in which a desired group G can be realized by a system of intersecting branes can be enumerated in polynomial time. We identify all distinct brane realizations of the gauge groups SU(3) x SU(2) and SU(3) x SU(2) x U(1) which can be embedded in any model which is compatible with the tadpole and SUSY constraints. We compute the distribution of the number of generations of "quarks" and find that 3 is neither suppressed nor particularly enhanced compared to other odd generation numbers. The overall distribution of models is found to have a long tail. Despite disproportionate suppression of models in the tail by K-theory constraints, the tail in the distribution contains much of the diversity of low-energy physics structure.Comment: 48 pages, 8 figure

Type IIA Orientifolds on General Supersymmetric Z_N Orbifolds

We construct Type IIA orientifolds for general supersymmetric Z_N orbifolds. In particular, we provide the methods to deal with the non-factorisable six-dimensional tori for the cases Z7, Z8, Z8', Z12 and Z12'. As an application of these methods we explicitly construct many new orientifold models.Comment: 48 pages, LaTeX, 14 figures, refs. added, closed string spectra slightly change

D3 Brane Action and Fermion Zero Modes in Presence of Background Flux

We derive the fermion bilinear terms in the world volume action for a D3 brane in the presence of background flux. In six-dimensional compactifications non-perturbative corrections to the superpotential can arise from an Euclidean D3-brane instanton wrapping a divisor in the internal space. The bilinear terms give rise to fermion masses and are important in determining these corrections. We find that the three-form flux generically breaks a U(1) subgroup of the structure group of the normal bundle of the divisor. In an example of compactification on T^6/Z_2, six of the sixteen zero modes originally present are lifted by the flux.Comment: Important factor of ``i'' was overlooked in Euclidean continuation of WZ term. This changes the count of zero-modes in the T^6/Z_2 example. Main result stays unchanged. We thank Bergshoeff, Kallosh, Kashani-Poor, Sorokin and Tomasiello for pointing this ou