Related papers: Smearing orientifolds in flux compactifications ca…
Compactifications with D-brane and orientifold sources lead to standard gauged supergravity theories if the sources are smeared over the internal directions. It is therefore of interest to find how the solutions described by the gauged…
We construct AdS$_4$ flux vacua of type IIA string theory in the supergravity (large volume, small $g_s$) regime, including the backreaction of O6-planes. Our solutions are the localized versions of the smeared solutions on Calabi-Yau…
The equations of motion of toroidal orientifold compactifications with fluxes are in one-to-one correspondence with gauged supergravity if the orientifold (and D-brane) sources are smeared over the compact space. This smeared limit is…
Only two kinds of compactification are known that lead to four-dimensional supersymmetric AdS vacua with moduli stabilisation and separation of scales at tree-level. The most studied ones are compactifications of massive IIA supergravity on…
In the known examples of flux vacua with calibrated spacetime-filling sources (branes or orientifold planes), one can smear the source in order to perform a standard KK reduction and obtain a lower-dimensional supergravity description.…
We investigate whether vacuum solutions in flux compactifications that are obtained with smeared sources (orientifolds or D-branes) still survive when the sources are localised. This seems to rely on whether the solutions are BPS or not.…
We evaluate the backreaction of O6-planes in scale-separated $\text{AdS}_3$ flux vacua of massive Type IIA. Using the appropriate flux scaling we show that the corrections to the various background fields and moduli are controlled and…
We find four-dimensional de Sitter compactifications of type IIA supergravity by directly solving the ten-dimensional equations of motion. In the simplest examples, the internal space has the topology of a circle times an Einstein manifold…
In a broad class of gravity theories, the equations of motion for vacuum compactifications give a curvature bound on the Ricci tensor minus a multiple of the Hessian of the warping function. Using results in so-called Bakry--\'Emery…
We investigate the type II string effective potential at tree-level and derive necessary ingredients for having de Sitter solutions in orientifold models with fluxes. Furthermore, we examine some explicit O6 compactifications in IIA…
In this paper we investigate the localisation of SUSY-breaking branes which, in the smeared approximation, support specific non-BPS vacua. We show, for a wide class of boundary conditions, that there is no flux vacuum when the branes are…
Orientifold solutions have an unphysical region around their source; for the O6, the singularity is resolved in M-theory by the Atiyah-Hitchin metric. Massive IIA, however, does not admit an eleven-dimensional lift, and one wonders what…
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…
Localised sources such as D-branes or orientifold planes play an important role in many string compactifications that are relevant for phenomenology. The presence of these objects typically induces complicated dynamics in the compact…
We elaborate on the construction of de Sitter solutions from IIA orientifolds of SU(3)-structure manifolds that solve the 10-dimensional equations of motion at tree-level in the approximation of smeared sources. First we classify geometries…
We provide the dictionary between four-dimensional gauged supergravity and type II compactifications on $\mathbb{T}^6$ with metric and gauge fluxes in the absence of supersymmetry breaking sources, such as branes and orientifold planes.…
In the context of supersymmetric compactifications of type II supergravity to four dimensions, we show that orientifold sources can be compatible with a generalized SU(3) x SU(3)-structure that is neither strictly SU(3) nor static SU(2). We…
We study dimensional reductions of M-theory/type II strings down to 6D in the presence of fluxes and spacetime filling branes and orientifold planes of different types. We classify all inequivalent orientifold projections giving rise to…
We investigate the effective theory of type IIA string theory on six-dimensional orientifold backgrounds with SU(2)-structure. We focus on the case of orientifolds with O6-planes, for which we compute the bosonic effective action in the…
We consider compactifications of heterotic supergravity on anti-de Sitter space, with a six-dimensional nearly K"ahler manifold as the internal space. Completing the model proposed by Frey and Lippert with the particular choice of…