We summarize the results and the ideas in 1707.06152, 1707.06154, 1807.07768 where new warped $\mathrm{AdS}_3$ backgrounds are derived in massive IIA string theory by uplifting exact solutions in $\mathcal N=1$, $d=7$ and $\mathcal N=(1,1)$, $d=6$ gauged supergravities. These solutions are respectively asymptotically $\mathrm{AdS}_7$ and $\mathrm{AdS}_6$ and they are related to the D2-D4-NS5-D6-D8 brane intersection. We provide a particular supergravity solution in 10d describing this bound state and we discuss the relations between its near-horizon geometry and the uplifts from 6d and 7d. Then we give the holographic interpretation of these $\mathrm{AdS}_3$ warped backgrounds in terms of $\mathcal N=(0,4)$ defect $\mathrm{SCFT}_2$ within the $\mathcal N=(1,0)$ $\mathrm{SCFT}_6$ and the $\mathcal N=2$ $\mathrm{SCFT}_5$.
We compute the monodromy matrices on the special geometry of 4d N=2 Heterotic--IIA dual vacua in some simple cases by numerical evaluation of the period integrals, without assuming geometric background. The integrality of the monodromy matrices constrains some classification invariants of the string vacua. We also mention some mathematical open problems on period polynomials for modular form with poles.
We revisit various aspects of AdS$_4$ flux vacua with scale separation in type II supergravity and M-theory. We show that massless IIA allows both weakly and strongly coupled solutions for which the classical orientifold backreaction can be tuned small. This is explicitly verified by computing the backreaction at leading order in perturbation theory. We give evidence that the strongly coupled solutions can be lifted to scale-separated and sourceless (but classically singular) geometries in 11D supergravity.
We focus on 4D $\mathcal{N}=2$ string vacua described both by perturbative Heterotic theory and by Type IIA theory; a Calabi--Yau three-fold $X_{\rm IIA}$ in the Type IIA language is further assumed to have a regular K3-fibration. It is well-known that one can assign a modular form $Φ$ to such a vacuum by counting perturbative BPS states in Heterotic theory or collecting Noether--Lefschetz numbers associated with the K3-fibration of $X_{\mathrm{IIA}}$. In this article, we expand the observations and ideas (using gauge threshold correction) in the literature and formulate a modular form $Ψ$ wit…
We study the conformal dimensions of the would-be dual operators to the stabilized moduli for two non-supersymmetric DGKT vacua. For the first of them, related to the standard SUSY DGKT vacuum by $G_4=-G_4^{\text{SUSY}}$, we obtain integer conformal dimensions. For the second of them, which has a non-zero harmonic component in $G_2$, we obtain both integers and real numbers.
We study type IIA string theory compactified on Calabi-Yau fourfolds and heterotic string theory compactified on Calabi-Yau threefolds times a two-torus. We derive the resulting effective theories which have two space-time dimensions and preserve four supercharges. The duality between such vacua is established at the level of the effective theory. For type IIA vacua with non-trivial Ramond-Ramond background fluxes a superpotential is generated. We show that for a specific choice of background fluxes and a fourfold which has the structure of a threefold fibred over a sphere the superpotential c…
We discuss flux compactifications of IIA string theory on G2 holonomy spaces with O2/O6-planes to three dimensions and find two classes of solutions: 1) No-scale Minkowski vacua from NSNS 3-form fluxes and RR 4-form fluxes. 2) By adding Romans mass we find AdS$_3$ vacua for which the AdS scale can be decoupled completely from the KK scale while the solution is at tunable weak coupling and large volume. For the AdS$_3$ vacuum we only have a proper 3D description (i.e. smeared orientifold description) of the solution like the 4D analogue of IIA moduli stabilization from fluxes and O6-planes. Thi…
Type IIA flux compactifications with O6-planes have been argued from a four dimensional effective theory point of view to admit stable, moduli free solutions. We discuss in detail the ten dimensional description of such vacua and present exact solutions in the case when the O6-charge is smoothly distributed. In the localised case, the solution is a half-flat, non-Calabi-Yau metric. Finally, using the ten dimensional description we show how all moduli are stabilised and reproduce precisely the results of de Wolfe et al.
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 subleading when going from smeared to localized sources. Similarly, the backreaction corrections to the scalar potential are parametrically small in the scale-separation limit, assuming always that the near-O6-plane singularities will find a resolution within string theory, even in the presence of a Romans mass. Our analysis is based on the equations of motion an…
We consider backgrounds of (massive) IIA supergravity of the form of a warped product $M_{1,3}\times_ω X_6$, where $X_6$ is a six-dimensional compact manifold and $M_{1,3}$ is $AdS_4$ or a four-dimensional Minkowski space. We analyse conditions for $\mathcal{N}=1$ and $\mathcal{N}=2$ supersymmetry on manifolds of SU(2) structure. We prove the absence of solutions in certain cases.
We analyse type IIA Calabi-Yau orientifolds with background fluxes and D6-branes. The presence of D6-brane deformation moduli redefines the 4d dilaton and complex structure fields and complicates the analysis of such vacua in terms of the effective Kahler potential and superpotential. One may however formulate the F-term scalar potential as a bilinear form on the flux-axion polynomials $ρ_A$ invariant under the discrete shift symmetries of the 4d effective theory. We express the conditions for Minkoswki and AdS flux vacua in terms of such polynomials, which allow to extend the analysis to incl…
Type IIB toroidal orientifolds are among the earliest examples of flux vacua. By applying T-duality, we construct the first examples of massive IIA flux vacua with Minkowski space-times, along with new examples of type IIA flux vacua. The backgrounds are surprisingly simple with no four-form flux at all. They serve as illustrations of the ingredients needed to build type IIA and massive IIA solutions with scale separation. To check that these backgrounds are actually solutions, we formulate the complete set of type II supergravity equations of motion in a very useful form that treats the R-R f…
We review some of the features of Type IIA compactifications in the presence of fluxes. In particular, the case of $T^6/(Ω(-1)^{F_L} σ)$ orientifolds with RR, NS and metric fluxes is considered. This has revealed to possess remarkable properties such as vacua with all the closed string moduli stabilized, null or negative contributions to the RR tadpoles or supersymmetry on the branes enforced by the closed string background. In this way, Type IIA compactifications with non trivial fluxes seem to constitute a new window into the building of semi-realistic models in String Theory.
We give a concise argument that supersymmetric AdS type IIA DGKT flux vacua on general Calabi-Yaus have, interpreted holographically, integer conformal dimensions for low-lying scalar primaries in the dual CFT. These integers are independent of any compactification details, such as the background fluxes or triple intersection numbers of the compact manifold. For the Kähler moduli and dilaton, there is one operator with $Δ= 10$ and $h^{1,1}_{-}$ operators with $Δ=6$, whereas the corresponding axions have $Δ= 11$ and $Δ= 5$. For the complex structure moduli, the $h^{2,1}$ saxions have $Δ=2$, and…
This letter discusses the orientifold projection of the quantum corrections to type IIA strings compactified on rigid Calabi-Yau threefolds. It is shown that N=2 membrane instanton effects give a holomorphic contribution to the superpotential, while the perturbative corrections enter into the Kahler potential. At the level of the scalar potential the corrections to the Kahler potential give rise to a positive energy contribution similar to adding anti-D3-branes in the KKLT scenario. This provides a natural mechanism to lift an AdS vacuum to a meta-stable dS vacuum.
We present a new Type IIB supergravity background of the warped form AdS$_4\times \mathcal{M}_6$ with dilaton, $B$-field and all Ramond-Ramond fluxes turned on. We obtain the solution by applying non-Abelian T-duality to a certain representative of a class of AdS$_4$ backgrounds in massive IIA supergravity. By explicitly constructing the Killing spinor of the seed solution and using an argument involving Kosmann spinorial Lie derivative we demonstrate that the background is supersymmetric.
Type IIA flux compactifications with O6-planes have been argued from a four dimensional effective theory point of view to admit stable, moduli free solutions. We discuss in detail the ten dimensional description of such vacua and present exact supersymmetric solutions in the case when the O6-charge is smoothly distributed: the geometry is Calabi-Yau and the dilaton is constant. In the localized case, the solution is a half-flat, non-Calabi-Yau metric but still with constant dilaton. Finally, using the ten dimensional description we show how all moduli are stabilized and reproduce precisely the…
We analyse type IIA Calabi-Yau orientifolds with backgroud fluxes, taking into account the effect of perturbative $α'$-corrections. In particular, we consider the $α'$-corrections that modify the metrics in the Kähler sector of the compactification. As it has been argued in the literature, including such $α'$-corrections allows to construct the mirror duals of type IIB Calabi-Yau flux compactifications, in which the effect of flux backreaction is under control. We compute the $α'$-corrected scalar potential generated by the presence of RR and NS fluxes, and reformulate it as a bilinear of the …
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 orientifolds studied by DeWolfe, Giryavets, Kachru and Taylor and in other works. We find that the O-plane backreaction in these solutions generates warping, a varying dilaton, non-closed RR field strengths and internal curvature. Just like their smeared counterparts, the localized solutions admit stabilized moduli, a parametric control over string corrections an…
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 s…
We demonstrate that flux compactifications of type IIA string theory can classically stabilize all geometric moduli. For a particular orientifold background, we explicitly construct an infinite family of supersymmetric vacua with all moduli stabilized at arbitrarily large volume, weak coupling, and small negative cosmological constant. We obtain these solutions from both ten-dimensional and four-dimensional perspectives. For more general backgrounds, we study the equations for supersymmetric vacua coming from the effective superpotential and show that all geometric moduli can be stabilized by …
In this paper we study K3 compactification of ten-dimensional massive type IIA theory with all possible Ramond-Ramond background fluxes turned on. The resulting six-dimensional theory is a new massive (gauged) supergravity with an action that is manifestly invariant under an O(4,20) / (O(4) times O(20)) duality symmetry. We discover that this six-dimensional theory interpolates between vacua of ten-dimensional massive IIA supergravity and vacua of massless IIA supergravity with appropriate background fluxes turned on. This in turn suggests a new 11-dimensional interpretation for the massive ty…
Stable non-supersymmetric Anti-de Sitter (AdS) vacua of string theory are widely believed not to exist. In this letter, we analytically compute the full bosonic Kaluza-Klein spectrum around the ${\rm G_2}$-invariant non-supersymmetric $\textrm{AdS}_4$ solution of massive IIA supergravity, and show that it is perturbatively stable. We also provide evidence that six other non-supersymmetric $\textrm{AdS}_4$ solutions of massive IIA supergravity are perturbatively stable. Since previous studies have indicated that these AdS vacua may also be non-perturbatively stable, our findings pose a challeng…
We derive conditions for the existence of four-dimensional \N=1 supersymmetric flux vacua of massive type IIA string theory with general supergravity fluxes turned on. For an SU(3) singlet Killing spinor, we show that such flux vacua exist only when the internal geometry is nearly-Kähler. The geometry is not warped, all the allowed fluxes are proportional to the mass parameter and the dilaton is fixed by a ratio of (quantized) fluxes. The four-dimensional cosmological constant, while negative, becomes small in the vacuum with the weak string coupling.
Building on our recent results on dynamic SU(3)xSU(3) structures we present a set of sufficient conditions for supersymmetric AdS4xM6 backgrounds of type IIA/IIB supergravity. These conditions ensure that the background solves, besides the supersymmetry equations, all the equations of motion of type II supergravity. The conditions state that the internal manifold is locally a codimension-one foliation such that the five dimensional leaves admit a Sasaki-Einstein structure. In type IIA the supersymmetry is N=2, and the total six-dimensional internal space is locally an S^2 bundle over a four-di…
In this thesis we explore the vacua structure of type IIA orientifold (CY) compactifications with fluxes, from the 4d and the 10d point of view. We start by reviewing type IIA Calabi-Yau orientifold compactifications with fluxes. We consider RR and NSNS fluxes, and then add (non)-geometric fluxes. We recall how the potential can be written as a bilinear expression and review the main swampland conjectures involving these scenarios. Once the basics have been setted, we perform a systematic search of vacua, using directly the 4d action. We focus first on the case with RR and NSNS fluxes and then…
We study the flux parameter spaces for semi-realistic supersymmetric Pati-Salam models in the AdS vacua on Type IIA orientifold and realistic supersymmetric Pati-Salam models in the Minkowski vacua on Type IIB orientifold. Because the fluxes can be very large, we show explicitly that there indeed exists a huge number of semi-realistic Type IIA and realistic Type IIB flux models. In the Type IIA flux models, in the very large flux limit, the theory can become weakly coupled and the AdS vacua can approach to the Minkowski vacua. In a series of realistic Type IIB flux models, at the string scale,…
We study four-dimensional heterotic flux vacua with N=2 spacetime supersymmetry. A worldsheet perspective is used to clarify quantization conditions associated to the fluxes and the constraints these place on the moduli spaces of resulting compactifications. We propose that these vacua fit naturally in the context of heterotic/IIA duality as heterotic duals to compactifications on K3-fibered but not elliptically fibered Calabi-Yau three-folds. We present some examples of such potential dual pairs.
Moduli stabilization in the type IIA massive string theory so far was achieved only in the AdS vacua. The uplifting to dS vacua has not been performed as yet: neither the analogs of type IIB anti-D3 brane at the tip of the conifold, nor the appropriate D-terms have been identified. The hope was recently expressed that the F-term uplifting may work. We investigate this possibility in the context of a simplified version of the type IIA model developed in hep-th/0505160 and find that the F-term does not uplift the AdS vacua to dS vacua with positive CC. Thus it remains a challenging task to find …
Looking for string vacua with fixed moduli, we study compactifications of type IIA string theory on Calabi-Yau fourfolds in the presence of generic Ramond-Ramond fields. We explicitly derive the (super)potential induced by Ramond-Ramond fluxes performing a Kaluza-Klein reduction of the ten-dimensional effective action. This can be conveniently achieved in a formulation of the massive type IIA supergravity where all Ramond-Ramond fields appear in a democratic way. The result agrees with the general formula for the superpotential written in terms of calibrations. We further notice that for gener…
The search for classically stable Type IIA de-Sitter vacua typically starts with an ansatz that gives Anti-de-Sitter supersymmetric vacua and then raises the cosmological constant by modifying the compactification. As one raises the cosmological constant, the couplings typically destabilize the classically stable vacuum, so the probability that this approach will lead to a classically stable de-Sitter vacuum is Gaussianly suppressed. This suggests that classically stable de-Sitter vacua in string theory (at least in the Type IIA region), especially those with relatively high cosmological const…
We present a class of tachyon-free (stable) AdS as well as dS solutions in the context of type IIA orientifold compactifications. This model is based on a type IIA setting having geometric flux which, in addition, also includes the usual NS-NS three-form flux ${\rm H}_3$ and the RR $p$-form fluxes ${\rm F}_p$ for $p \in \{0, 2, 4, 6\}$. Although all the saxionic moduli are stabilized, there remains a combination of the RR axions which is flat, and the dS solution is realized through the $D$-term effects induced by the geometric fluxes, without which one can only have AdS solutions. Using flux …
We consider warped $\mathrm{AdS}_2\times \mathcal M_4$ backgrounds within $F(4)$ gauged supergravity in six dimensions. In particular, we are able to find supersymmetric solutions of the aforementioned type characterized by $\textrm{AdS}_{6}$ asymptotics and an $\mathcal M_4$ given by a three-sphere warped over a segment. Subsequently, we provide the 10D uplift of the solutions to massive type IIA supergravity, where the geometry is $\mathrm{AdS}_2\times S^{3}\times\tilde{S}^3$ warped over a strip. Finally we construct the brane intersection underlying one of these supergravity backgrounds. Th…
We review some aspects of D-instantons in intersecting D-brane models. In particular, we present applications of the recently proposed instanton calculus to computations of charged matter superpotential couplings and corrections to the gauge kinetic function in the low energy effective action of type IIA orientifolds. As an interesting byway, we also discuss how one-loop corrections to the gauge kinetic function can be deduced from gauge threshold corrections in the type IIA setting.
The Romans type IIA supergravity allows fundamental strings to have explicit mass term at the tree level. We show that there exists a (F1,D2,D8) brane configuration which gives rise to $Lif_4^{(2)}\times {R}^1\times S^5$ vacua supported by the massive strings. The presence of D8-branes naturally excites massive fundamental strings. A compactification on circle relates these Lifshitz massive type-IIA background with the axion-flux $Lif_4^{(2)}\times {S}^1\times S^5$ vacua in ordinary type-IIB theory. The massive T-duality in eight dimensions further relates them to yet another $\widetilde{Lif}_…
We analyse the flux-induced scalar potential for type IIA orientifolds in the presence of $p$-form, geometric and non-geometric fluxes. Just like in the Calabi-Yau case, the potential presents a bilinear structure, with a factorised dependence on axions and saxions. This feature allows one to perform a systematic search for vacua, which we implement for the case of geometric backgrounds. Guided by stability criteria, we consider configurations with a particular on-shell F-term pattern, for which we derive a no-go result for de Sitter extrema. We classify branches of supersymmetric and non-supe…
We extend studies of holographic aspects of moduli stabilisation scenarios to both fibred versions of LVS and the type IIA DGKT flux vacua. We study the holographic properties of the low-energy moduli Lagrangian that describes both the AdS vacuum and also small perturbations about it. For type IIA vacua in the large-volume regime, the CFT data (operator dimensions and higher-point interactions) take a universal form independent of the many arbitrary flux choices, as was previously found for LVS stabilisation. For these IIA vacua the conformal dimensions of the dual operators are also, surprisi…
It has not been clarified whether a matrix model can describe various vacua of string theory. In this paper, we show that the IIB matrix model includes type IIA string theory. In the naive large N limit of the IIB matrix model, configurations consisting of simultaneously diagonalizable matrices form a moduli space, although the unique vacuum would be determined by complicated dynamics. This moduli space should correspond to a part of perturbatively stable vacua of string theory. Actually, one point on the moduli space represents type IIA string theory. Instead of integrating over the moduli sp…
We give the general form of supersymmetric backgrounds with two real supercharges of M-theory and type IIA supergravity (with non-zero Romans mass in general) of the form $\mathbb{R}^{1,d} \times \M_8$, d=1,2, on eight-dimensional manifolds with SU(4) structure. We point out a subtlety in the integrability theorems for low-dimensional supersymmetric compactifications. As a special case we examine Calabi-Yau flux vacua and we show that unbroken supersymmetry does not in general require the four-form flux to be (2,2) or primitive. Our results could be used to construct novel higher-dimensional a…
The moduli space of the supersymmetric massive IIA AdS4xS2(B4) vacua, where S2(B4) is a two-sphere bundle over a four-dimensional Kaehler-Einstein base B4, includes three independent parameters which can be thought of as corresponding to the sizes of AdS4, B4 and the S2 fiber. It might therefore be expected that these vacua do not suffer from the absence of scale separation. We show that the independence of the geometric moduli survives flux quantization. However, we uncover an attractor behavior whereby all sizes flow to equality in some neighborhood of spacetime independently of the initial …
We construct new families of non-supersymmetric sourceless type IIA AdS4 vacua on those coset manifolds that also admit supersymmetric solutions. We investigate the spectrum of left-invariant modes and find that most, but not all, of the vacua are stable under these fluctuations. Generically, there are also no massless moduli.
In this paper, we are looking for $\mathcal{N}=1$, AdS$_4$ sourceless vacua in type IIB. While several examples exist in type IIA , there exists only one example of such vacua in type IIB . Thanks to the framework of generalized geometry we were able to devise a semi-algorithmical method to look for sourceless vacua. We present this method, which can easily be generalized to more complex cases, and give two new vacua in type IIB.
We present the study of type II A flux vacua and their M-theory duals for compactification on a class of Calabi-Yau orientifolds. The Kaehler potential is derived from toroidal compactifications and the superpotential contains a contribution from non-Abelian gauge degrees of freedoms. We obtain complete stabilisation of the moduli. We found one supersymmetric minimum and several non supersymmetric ones. Consistency of the analysis constrains the parameters of the models in a finite region containing a finite, although very large, number of flux vacua. From the M-theory side, we found some diff…
We study the effects of adding RR, NS and metric fluxes on a T^6/(Ω(-1)^{F_L} I_3) Type IIA orientifold. By using the effective flux-induced superpotential we obtain Minkowski or AdS vacua with broken or unbroken supersymmetry. In the Minkowski case some combinations of real moduli remain undetermined, whereas all can be stabilized in the AdS solutions. Many flux parameters are available which are unconstrained by RR tadpole cancellation conditions allowing to locate the minima at large volume and small dilaton. We also find that in AdS supersymmetric vacua with metric fluxes, the overall flux…
We describe several applications of the recently proposed mass production procedure, where multiple moduli are stabilized in a dS vacuum, in supergravity models inspired by string theory. The construction involves a small downshift of an initial supersymmetric Minkowski minimum to a supersymmetric AdS minimum, and a consequent small uplift to a dS minimum. Our type IIA examples include dS stabilization in a 7-moduli model with $[SL(2, \mathbb{R})]^7$ tree level symmetry, and its simplified version, a 3-moduli STU model. In these models, we use uplifting anti-D6 branes. In type IIB models, we p…
The D6-brane spectrum of type IIA vacua based on twisted tori and RR background fluxes is analyzed. In particular, we compute the torsion factors of the (co)homology groups H_n and describe the effect that they have on D6-brane physics. For instance, the fact that H_3 contains Z_N subgroups explains why RR tadpole conditions are affected by geometric fluxes. In addition, the presence of torsional (co)homology shows why some D6-brane moduli are lifted, and it suggests how the D-brane discretum appears in type IIA flux compactifications. Finally, we give a clear, geometrical understanding of the…
We consider massive type IIA orientifold compactifications of the form AdS$_4 \times X_6$, where $X_6$ admits a Calabi-Yau metric and is threaded by background fluxes. From a 4d viewpoint, fluxes generate a potential whose vacua have been classified, including one $\mathcal{N}=1$ and three perturbatively stable $\mathcal{N}=0$ branches. We reproduce this result from a 10d viewpoint, by solving the type IIA equations at the same level of detail as previously done for the $\mathcal{N}=1$ branch. All solutions exhibit localised sources and parametric scale separation. We then analyse the non-pert…
A three-step procedure is proposed in type IIA string theory to stabilize multiple moduli in a dS vacuum. The first step is to construct a progenitor model with a localized stable supersymmetric Minkowski vacuum, or a discrete set of such vacua. It can be done, for example, using two non-perturbative exponents in the superpotential for each modulus, as in the KL model. A large set of supersymmetric Minkowski vacua with strongly stabilized moduli is protected by a theorem on stability of these vacua in absence of flat directions. The second step involves a parametrically small downshift to a su…
We argue that in theories of quantum gravity with discrete gauge symmetries, e.g. $\textbf{Z}_k$, the gauge couplings of U$(1)$ gauge symmetries become weak in the limit of large $k$, as $g\to k^{-α}$ with $α$ a positive order 1 coefficient. The conjecture is based on black hole arguments combined with the Weak Gravity Conjecture (or the BPS bound in the supersymmetric setup), and the species bound. We provide explicit examples based on type IIB on AdS$_5\times \textbf{S}^5/\textbf{Z}_k$ orbifolds, and M-theory on AdS$_4\times\textbf{S}^7/\textbf{Z}_k$ ABJM orbifolds (and their type IIA reduct…
We study $T^2$ compactification of massive type IIA supergravity in presence of possible Ramond-Ramond (RR) background fluxes. The resulting theory in D=8 is shown to possess full $SL(2,R)\times SL(2,R)$ T-duality symmetry similar to the massless case. It is shown that elements of duality symmetry interpolate between massive type IIA compactified on $T^2$ and ordinary type IIA compactified on $T^2$ with RR 2-form flux. We also discuss relationship between M-theory vacua and massive type IIA vacua. The D8-brane is found to correspond to M-theory `pure gravity' solution which is a direct product…
We find a new family of AdS_4 vacua in IIA string theory. The internal space is topologically either the complex projective space CP^3 or the "flag manifold" SU(3)/(U(1)xU(1)), but the metric is in general neither Einstein nor Kaehler. All known moduli are stabilized by fluxes, without using quantum effects or orientifold planes. The analysis is completely ten--dimensional and does not rely on assumptions about Kaluza--Klein reduction.
We study cosmological properties of type IIA compactifications on orientifolds of SU(3)-structure manifolds with non-vanishing geometric flux. These compactifications give rise to effective 4D N=1 supergravity theories that do not fall under some recently-proven no-go theorems against de Sitter vacua and slow-roll inflation. Focusing on a well-understood class of models based on coset spaces, however, we can use a refined no-go theorem that rules out de Sitter vacua and slow-roll inflation in all but one case. The refined no-go theorem uses the dilaton and a specific linear combination of the …
On Type IIA orientifolds with flux compactifications in supersymmetric AdS vacua, we for the first time construct SU(5) models with three anti-symmetric {\bf 10} representations and without symmetric {\bf 15} representations. We show that all the pairs of the anti-fundamental {\bf \bar 5} and fundamental {\bf 5} representations can obtain GUT/string-scale vector-like masses after the additional gauge symmetry breaking via supersymmetry preserving Higgs mechanism. Then we have exact three {\bf \bar 5}, and no other chiral exotic particles that are charged under SU(5) due to the non-abelian anom…
