A second look at N=1 supersymmetric AdS_4 vacua of type IIA supergravity

We show that a class of type IIA vacua recently found within the N=4 effective approach corresponds to compactification on Ads_4 \times S^3 \times S^3/Z_2^3. The results obtained using the effective method completely match the general ten-dimensional analysis for the existence of N=1 warped compactifications on Ads_4 \times M_6. In particular, we verify that the internal metric is nearly-Kahler and that for specific values of the parameters the Bianchi identity of the RR 2-form is fulfilled without sources. For another range of parameters, including the massless case, the Bianchi identity is satisfied when D6-branes are introduced. Solving the tadpole cancellation conditions in D=4 we are able to find examples of appropriate sets of branes. In the second part of this paper we describe how an example with internal space CP^3 but with non nearly-Kahler metric fits into the general analysis of flux vacua.Comment: Latex file, 35 pages, no figures. Reference added, minor corrections adde

Gauge Thresholds and Kaehler Metrics for Rigid Intersecting D-brane Models

The gauge threshold corrections for globally consistent Z2 x Z2' orientifolds with rigid intersecting D6-branes are computed. The one-loop corrections to the holomorphic gauge kinetic function are extracted and the Kaehler metrics for the charged chiral multiplets are determined up to two constants.Comment: 22 pages, 1 figure; v2: minor modifications, version to appear in JHE

Intersecting D-Branes on Shift Z2 x Z2 Orientifolds

We investigate Z2 x Z2 orientifolds with group actions involving shifts. A complete classification of possible geometries is presented where also previous work by other authors is included in a unified framework from an intersecting D-brane perspective. In particular, we show that the additional shifts not only determine the topology of the orbifold but also independently the presence of orientifold planes. In the second part, we work out in detail a basis of homological three cycles on shift Z2 x Z2 orientifolds and construct all possible fractional D-branes including rigid ones. A Pati-Salam type model with no open-string moduli in the visible sector is presented.Comment: 36 pages, 4 figures, refs. adde

D-Terms from Generalized NS-NS Fluxes in Type II

Orientifolds of type II string theory admit a certain set of generalized NS-NS fluxes, including not only the three-form field strength H, but also metric and non-geometric fluxes, which are related to H by T-duality. We describe in general how these fluxes appear as parameters of an effective N=1 supergravity theory in four dimensions, and in particular how certain generalized NS-NS fluxes can act as charges for R-R axions, leading to D-term contributions to the effective scalar potential. We illustrate these phenomena in type IIB with the example of a certain orientifold of T^6/Z_4.Comment: 31+1 pages, uses utarticle.cls; v2: references adde

Moduli stabilization and uplifting with dynamically generated F-terms

We use the F-term dynamical supersymmetry breaking models with metastable vacua in order to uplift the vacuum energy in the KKLT moduli stabilization scenario. The main advantage compared to earlier proposals is the manifest supersymmetric treatment and the natural coexistence of a TeV gravitino mass with a zero cosmological constant. We argue that it is generically difficult to avoid anti de-Sitter supersymmetric minima, however the tunneling rate from the metastable vacuum with zero vacuum energy towards them can be very suppressed. We briefly comment on the properties of the induced soft terms in the observable sector.Comment: 18 pages, no figures Comments and one reference adde

Massive IIA flux compactifications and U-dualities

We attempt to find a rigorous formulation for the massive type IIA orientifold compactifications of string theory introduced in hep-th/0505160. An approximate double T-duality converts this background into IIA string theory on a twisted torus, but various arguments indicate that the back reaction of the orientifold on this geometry is large. In particular, an AdS calculation of the entropy suggests a scaling appropriate for N M2-branes, in a certain limit of the compactification, though not the one studied in hep-th/0505160. The M-theory lift of this specific regime is not 4 dimensional. We suggest that the generic limit of the background corresponds to a situation analogous to F-theory, where the string coupling is small in some regions of a compact geometry, and large in others, so that neither a long wavelength 11D SUGRA expansion, nor a world sheet expansion exists for these compactifications. We end with a speculation on the nature of the generic compactification.Comment: JHEP3 LaTeX - 34 pages - 3 figures; v2: Added references; v3: mistake in entropy scaling corrected, major changes in conclusions; v4: changed claims about original DeWolfe et al. setup, JHEP versio

Towards a Realistic Type IIA T^6/Z_4 Orientifold Model with Background Fluxes, Part 1: Moduli Stabilization

We apply the methods of DeWolfe et al. [hep-th/0505160] to a T^6/Z_4 orientifold model. This is the first step in an attempt to build a phenomenologically interesting meta-stable de Sitter model with small cosmological constant and standard model gauge groups.Comment: 1+30 pages, 2 figures, LaTeX, v2: minor corrections, stability analysis of b_a moduli added, refs added, version accepted for publication in JHE

Stability of flux compactifications and the pattern of supersymmetry breaking

We extend the KKLT approach to moduli stabilization by including the dilaton and the complex structure moduli into the effective supergravity theory. Decoupling of the dilaton is neither always possible nor necessary for the existence of stable minima with zero (or positive) cosmological constant. The pattern of supersymmetry breaking can be much richer than in the decoupling scenario of KKLT.Comment: References adde

Power of Black Hole Physics: Seeing through the Vacuum Landscape

In this paper we generalize the black hole bound of arXiv:0706.2050 to de Sitter spaces, and apply it to various vacua in the landscape, with a special emphasis on slow-roll inflationary vacua. Non-trivial constraints on the lifetime and the Hubble expansion rate emerge. For example, the general tendency is, that for the fixed number and the increasing mass of the species, vacua must become more curved and more unstable, either classically or quantum mechanically. We also discuss the constraints on the lifetime of vacua in the landscape, due to decay into the neighboring states.Comment: 33 page

Gaugino Condensation and Nonperturbative Superpotentials in Flux Compactifications

There are two known sources of nonperturbative superpotentials for K\"ahler moduli in type IIB orientifolds, or F-theory compactifications on Calabi-Yau fourfolds, with flux: Euclidean brane instantons and low-energy dynamics in D7 brane gauge theories. The first class of effects, Euclidean D3 branes which lift in M-theory to M5 branes wrapping divisors of arithmetic genus 1 in the fourfold, is relatively well understood. The second class has been less explored. In this paper, we consider the explicit example of F-theory on $K3 \times K3$ with flux. The fluxes lift the D7 brane matter fields, and stabilize stacks of D7 branes at loci of enhanced gauge symmetry. The resulting theories exhibit gaugino condensation, and generate a nonperturbative superpotential for K\"ahler moduli. We describe how the relevant geometries in general contain cycles of arithmetic genus $\chi \geq 1$ (and how $\chi > 1$ divisors can contribute to the superpotential, in the presence of flux). This second class of effects is likely to be important in finding even larger classes of models where the KKLT mechanism of moduli stabilization can be realized. We also address various claims about the situation for IIB models with a single K\"ahler modulus.Comment: 24 pages, harvmac, no figures, references adde