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. This 3D description reveals that moduli with non-compact moduli spaces can be stabilized at the classical level. For both types of vacua we can have supersymmetry or not.
In this paper we analyze the earlier constructions of the type IIA dual pairs through orientifolding. By an appropriate choice of $Γ$-matrix basis for the spinor representations of the $U$-duality group, we give an explicit relationship between the orientifold models and their dual pairs.
We study D=4, N=1, type IIA orientifold with orbifold group $Z_N$ and $Z_N \times Z_M$. We calculate one-loop vacuum amplitudes for Klein bottle, cylinder and Mobius strip and extract the tadpole divergences. We find that the tadpole cancellation conditions thus obtained are satisfied by the $Z_4$, $Z_8$, $Z'_8$, $Z'_{12}$ orientifolds while there is no solution for $Z_3$, $Z_7$, $Z_6$, $Z'_6$, $Z_{12}$. The $Z_4 \times Z_4$ type IIA orientifold is also constructed by introducing four different configurations of 6-branes. We argue about perturbative versus non-perturbative orientifold vacua un…
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.
We demonstrate that M-theory compactifications on 7-manifolds of G_2 holonomy, which yield 4d N=1 supersymmetric systems, often admit at special loci in their moduli space a description as type IIA orientifolds. In this way, we are able to find new dualities of special IIA orientifolds, including dualities which relate orientifolds of IIA strings on manifolds of different topology with different numbers of wrapped D-branes. We also discuss models which incorporate, in a natural way, compact embeddings of gauge theory/gravity dualities similar to those studied in the recent work of Atiyah, Mald…
We investigate Type II orientifolds on non-factorizable torus with and without its oribifolding. We explicitly calculate the Ramond-Ramond tadpole from string one-loop amplitudes, and confirm that the consistent number of orientifold planes is directly derived from the Lefschetz fixed point theorem. We furthermore classify orientifolds on non-factorizable Z_N x Z_M orbifolds, and construct new supersymmetric Type IIA orientifold models on them.
We identify type IIA orientifolds that are dual to M-theory compactifications on manifolds with G_2-holonomy. We then discuss the construction of crosscap states in Gepner models. (Based on a talk presented by S.G. at PASCOS 2003 held at the Tata Institute of Fundamental Research, Mumbai during Jan. 3-8, 2003.)
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 study a certain class of four-dimensional N=1 supersymmetric orientifolds for which the world-sheet parity transformation is combined with a complex conjugation in the compact directions. We investigate in detail the orientifolds of the Z_3, Z_4, Z_6 and Z_6' toroidal orbifolds finding solutions to the tadpole cancellation conditions for all models. Generically, all the massless spectra turn out to be non-chiral.
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.
We construct global semi-realistic supersymmetric models with intersecting D6-branes on the non-factorisable orientifold $T^6/(\mathbb{Z}_4\timesΩ\mathcal{R})$. The non-factorisable structure gives rise to differences compared to the factorisable case: additional conditions for the three-cycles to be Lagrangian and extra constraints on the wrapping numbers for building fractional cycles.
We obtain an M--theory interpretation of different IIA orientifold planes by compactifying them on a circle and use a chain of dualities to get a new IIA limit of these objects using this circle as the eleventh dimension. Using the combination of the two IIA description, we give an interpretation for all orientifold four-planes in M-theory, including a mechanism for freezing M5-branes at singularities.
As a first step to a detailed study of orientifolds of Gepner models associated with Calabi-Yau manifolds, we construct crosscap states associated with anti-holomorphic involutions (with fixed points) of Calabi-Yau manifolds. We argue that these orientifolds are dual to M-theory compactifications on (singular) seven-manifolds with $G_2$ holonomy. Using the spacetime picture as well as the M-theory dual, we discuss aspects of the orientifold that should be obtained in the Gepner model. This is illustrated for the case of the quintic.
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 supergravity approximation. For a generic SU(2)-structure background, we find that the low-energy effective theory is a gauged N=2 supergravity where moduli in both vector and hypermultiplets are charged. Since all these supergravities descend from a corresponding N=4 background, their scalar target space is always a quotient of a SU(1,1)/U(1) x SO(6,n)/SO(6)xS…
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 show that M-theory compactified on a compact Joyce 8-manifold of $Spin(7)$-holonomy, which yields an effective theory in $D = 3$ with $\N$ = 1 supersymmetry, admits at some special points in it moduli space a description in terms of type IIA theory on an orientifold of compact Joyce 7-manifold of $G_2$-holonomy. We find the evidence in favour of this duality by computing the massless spectra on both M-thory side and type IIA side. For the latter, we compute the massless spectra by going to the orbifold limit of the Joyce 7-manifold.
We study fractional D-branes in the Type-IIA theory on a non-compact orientifold of the orbifold C^3/Z_3 in the boundary state formalism. We find that the fractional D0-branes of the orbifold theory become unstable due to the presence of a tachyon, while there is a stable D-instanton whose tachyon gets projected out. We propose that the D-instanton is obtained after tachyon condensation. We evidence this by calculating the Whitehead group of the Abelian category of objects corresponding to the boundary states as being isomorphic to Z_2.
The N=1 effective action for generic type IIA Calabi-Yau orientifolds in the presence of background fluxes is computed from a Kaluza-Klein reduction. The Kahler potential, the gauge kinetic functions and the flux-induced superpotential are determined in terms of geometrical data of the Calabi-Yau orientifold and the background fluxes. The moduli space is found to be a Kahler subspace of the N=2 moduli space and shown to coincide with the moduli space arising in compactification of M-theory on a specific class of G_2 manifolds. The superpotential depends on all geometrical moduli and vanishes a…
We present orientifold models of type IIA string theory with D8-branes compactified on a two torus times a four dimensional orbifold. The orientifold group is chosen such that one coordinate of the two torus is reversed when applying worldsheet parity. RR tadpole cancellation requires D8-branes which wrap 1-cycles on the two torus and transform non-trivially under the orbifold group. These models are T-dual to orientifolds with D4-branes only which admit large volume compactifications. The intersections of the D8-branes are chosen in such a way that supersymmetry is broken in the open string s…
We use the machine learning technique to search the polytope which can result in an orientifold Calabi-Yau hypersurface and the "naive Type IIB string vacua". We show that neural networks can be trained to give a high accuracy for classifying the orientifold property and vacua based on the newly generated orientifold Calabi-Yau database with $h^{1,1}(X) \leq 6$ arXiv:2111.03078. This indicates the orientifold symmetry may already be encoded in the polytope structure. In the end, we try to use the trained neural networks model to go beyond the database and predict the orientifold signal of poly…
We analyse different N=4 supergravities coupled to six vector multiplets corresponding to low-energy descriptions of the bulk sector of T6/Z2 orientifolds with p-brane in IIB (p odd) and in IIA (p even) superstrings. When fluxes are turned on, a gauging emerges corresponding to some non-semisimple Lie algebra related to nilpotent algebras N_p inside so(6,6), with dimension 15 + (p-3)(9-p). The non-metric axions have Stueckelberg couplings that induce a spontaneous breaking of gauge symmetries. In four cases the gauge algebra is non-abelian with a non-commutative structure of the compactificati…
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.
We show how F-theory on a Calabi-Yau (n+1)-fold, in appropriate limit, can be identified as an orientifold of type IIB string theory compactified on a Calabi-Yau n-fold.
Type IIA toroidal orientifolds offer a promising toolkit for model builders, especially when one includes not only the usual fluxes from NS-NS and R-R field strengths, but also fluxes that are T-dual to the NS-NS three-form flux. These new ingredients are known as metric fluxes and non-geometric fluxes, and can help stabilize moduli or can lead to other new features. In this paper we study two approaches to these constructions, by effective field theory or by toroidal fibers twisted over a toroidal base. Each approach leads us to important observations, in particular the presence of D-terms in…
We use a Kaluza-Klein reduction to compute the low-energy effective action for the massless modes of a spacetime-filling D6-brane wrapped on a special Lagrangian 3-cycle of a type IIA Calabi-Yau orientifold. The modifications to the characteristic data of the N=1 bulk orientifold theory in the presence of a D6-brane are analysed by studying the underlying Type IIA supergravity coupled to the brane worldvolume in the democratic formulation and performing a detailed dualisation procedure. The N=1 chiral coordinates are found to be in agreement with expectations from mirror symmetry. We work out …
We consider orientifolds of Calabi-Yau 3-folds in the context of Type IIA and Type IIB superstrings. We show how mirror symmetry can be used to sum up worldsheet instanton contributions to the superpotential for Type IIA superstrings. The relevant worldsheets have the topology of the disc and ${\bf RP^2}$.
We derive the 3D N=1 superpotential for the closed string sector of type IIB supergravity on toroidal O5 orientifolds with co-calibrated G2 structure and RR background flux. We find that such compactifications can provide full closed string moduli stabilization on supersymmetric AdS$_3$ vacua, and once we include brane-supersymmetry-breaking we also find indication for the existence of classical 3D de Sitter solutions. The latter however are rather difficult to reconcile with the shape moduli stabilization and flux quantization. We also discuss the possibility of achieving scale separation in …
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 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 (orientifolded) toric Calabi-Yau singularities in search for D-brane configurations which lead to dynamical supersymmetry breaking at low energy. By exploiting dimer techniques we are able to determine that while most realizations lead to a Coulomb branch instability, a rather specific construction admits a fully stable supersymmetry breaking vacuum. We describe the geometric structure that a singularity should have in order to host such a construction, and present its simplest example, the Octagon.
We show how an F-theory compactified on a Calabi-Yau (n+1)-fold in appropriate weak coupling limit reduces formally to an orientifold of type IIB theory compactified on an auxiliary complex n-fold. In some cases (but not always) if the original (n+1)-fold is singular, then the auxiliary n-fold is also singular. We illustrate this by analysing F-theory on elliptically fibered Calabi-Yau 3-folds on base $F_n$.
We study type IIA orientifold compactifications with fluxes that give rise to perturbatively stable, non-supersymmetric AdS$_4$ vacua with D6-brane gauge sectors. Non-perturbative instabilities can be mediated by D8-branes wrapped on the six internal dimensions $X_6$, if they reduce to 4d membranes with a charge $Q$ larger than its tension $T$. The mismatch $Q \neq T$ arises due to i) curvature corrections and ii) the BIon backreaction of D6-branes wrapping 3-cycles of $X_6$. We give a simple expression for the second effect in toroidal orientifolds, and find that only pairs of 3-cycles at SU(…
We present a large class of models of D-branes at (orientifold) Calabi-Yau singularities which enjoy dynamical supersymmetry breaking at low energy, by means of either the $SU(5)$ or 3-2 supersymmetry breaking models. Once embedded in a warped throat or, equivalently, in a large $N$ theory, all models display an instability along a Coulomb branch direction towards supersymmetry preserving vacua. Interestingly, the nature of the runaway mechanism is model-independent and has a precise geometrical interpretation. This naturally suggests the properties a Calabi-Yau singularity should have in orde…
We discuss the four-dimensional N=1 effective actions of single space-time filling Dp-branes in general Type IIA and Type IIB Calabi-Yau orientifold compactifications. The effective actions depend on an infinite number of normal deformations and gauge connection modes. For D6-branes the N=1 Kaehler potential, the gauge-coupling function, the superpotential and the D-terms are determined as functions of these fields. They can be expressed as integrals over chains which end on the D-brane cycle and a reference cycle. The infinite deformation space will reduce to a finite-dimensional moduli space…
The four-dimensional N=1 supergravity theories arising in compactifications of type IIA and type IIB on generalized orientifold backgrounds with background fluxes are discussed. The Kahler potentials are derived for reductions on SU(3) structure orientifolds and shown to consist of the logarithm of the two Hitchin functionals. These are functions of even and odd forms parameterizing the geometry of the internal manifold, the B-field and the dilaton. The superpotentials induced by background fluxes and the non-Calabi-Yau geometry are determined by a reduction of the type IIA and type IIB fermio…
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 study supersymmetric orientifolds where the world-sheet parity transformation is combined with a conjugation of some compact complex coordinates. We investigate their T-duality relation to standard orientifolds and discuss the origin of continuous and discrete moduli. In contrast to standard orientifolds, the antisymmetric tensor describes a continuous deformation, while the off-diagonal part of the metric is frozen to quantized values and is responsible for the rank reduction of the gauge group. We also give a geometrical interpretation of some recently constructed six-dimensional permutat…
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 study the gauged sigma model and its mirror Landau-Ginsburg model corresponding to type IIA on the Fermat degree-24 hypersurface in WCP^4[1,1,2,8,12] (whose blow-up gives the smooth CY_3(3,243)) away from the orbifold singularities, and its orientifold by a freely-acting antiholomorphic involution. We derive the Picard-Fuchs equation obeyed by the period integral as defined in the work of Cecotti and Hori-Vafa, of the parent N=2 type IIA theory of Kachru and Vafa. We obtain the Meijer's basis of solutions to the equation in the large {\it and} small complex structure limits (on the mirror L…
Starting from a peculiar orientifold projection proposed long ago by Angelantonj and Cardella, we elaborate on a novel perturbative scenario that involves only D-branes, together with the two types of orientifold planes ${\rm O}_{\pm}$ and anti-orientifold planes $\overline{\rm O}_{\pm}$. We elucidate the microscopic ingredients of such models, connecting them to a novel realization of brane supersymmetry breaking. Depending on the position of the D-branes in the internal space, supersymmetry can be broken at the string scale on branes, or alternatively only at the massive level. The main nove…
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…
We present the intersecting brane configuration of type IIA string theory corresponding to the meta-stable nonsupersymmetric vacua in four dimensional N=1 supersymmetric SU(N_c) gauge theory with a symmetric flavor, a conjugate symmetric flavor and fundamental flavors. By studying the previously known supersymmetric M5-brane curve, the M-theory lift for this type IIA brane configuration, which consists of NS5-branes, D4-branes, D6-branes and an orientifold 6-plane, is analyzed.
We study the O3-plane in the conifold. On the D3-brane world-volume we obtain SO x USp gauge theory that exhibits a duality cascade phenomenon. The orientifold projection is determined on the type IIB string side, and corresponds to that of O4-plane on the dual type IIA side. We show that SUGRA solutions of Klebanov-Tseytlin and Klebanov-Strassler survive under the projection. We also investigate the orientifold projection in the generalized conifolds, and verify desired features of the O4-projection in the type IIA picture.
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 consider four-dimensional N=1 field theories realized by type IIA brane configurations of NS-branes and D4-branes, in the presence of orientifold six-planes and D6-branes. These configurations are known to present interesting effects associated to the appearance of chiral symmetries and chiral matter in the four-dimensional field theory. We center on models with one compact direction (elliptic models) and show that, under T-duality, the configurations are mapped to a set of type IIB D3-branes probing N=1 orientifolds of C^2/Z_N singularities. We explicitly construct these orientifolds, and …
We analyze the problem of the hierarchy of masses and mixings in orientifold realizations of the Standard Model. We find bottom-up brane configurations that can generate such hierarchies.
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.
In this work we study ten-dimensional solutions to type IIA string theory of the form AdS$_4$ x $X_6$ which contain orientifold planes and preserve N=1 supersymmetry. In particular, we consider solutions which exhibit some key features of the four-dimensional DGKT proposal for compactifications on Calabi-Yau manifolds with fluxes, and in this sense may be considered their ten-dimensional uplifts. We focus on the supersymmetry equations and Bianchi identities, and find solutions to these that are valid at the two-derivative level and at first order in an expansion parameter which is related to …
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…
We present new classes of supersymmetric Standard-like models from type IIA $\IT^6/(\IZ_2\times \IZ_2)$ orientifold with intersecting D6-branes. D6-branes can wrap general supersymmetric three-cycles of $\IT^6=\IT^2\times \IT^2\times \IT^2$, and any $\IT^2$ is allowed to be tilted. The models still suffer from additional exotics, however we obtained solutions with fewer Higgs doublets, as well as models with all three families of left-handed quarks and leptons arising from the same intersecting sector, and examples of a genuine left-right symmetric model with three copies of left-handed and ri…
We construct a large class of SU(5) orientifold vacua with tadpole cancellation both for the standard and the flipped case. We give a general analysis of superpotential couplings up to quartic order in orientifold vacua and identify the properties of needed Yukawa couplings as well as the baryon number violating couplings. We point out that successful generation of the perturbatively forbidden Yukawa couplings entails a generically disastrous rate for proton decay from an associated quartic term in the superpotential, generated from the same instanton effects. We search for the appropriate ins…
This article first reviews the calculation of the N = 1 effective action for generic type IIA and type IIB Calabi-Yau orientifolds in the presence of background fluxes by using a Kaluza-Klein reduction. The Kahler potential, the gauge kinetic functions and the flux-induced superpotential are determined in terms of geometrical data of the Calabi-Yau orientifold and the background fluxes. As a new result, it is shown that the chiral description directly relates to Hitchin's generalized geometry encoded by special odd and even forms on a threefold, whereas a dual formulation with several linear m…
