REVIEW
Superpotentials in IIA compactifications with general fluxes
High Energy Physics - Theory · Submitted 30 Nov 2004 · 24 references
Pith's verdict: The IIA flux dictionary is the durable contribution; the AdS4 model is a four-dimensional critical point, not yet a checked string background, and the authors say so themselves.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
A single gauged-supergravity principle organizes every type IIA flux, and one flux choice freezes all seven moduli in a supersymmetric anti-de Sitter vacuum.
The reading
What carries the argument
The load-bearing device is the relation between the $N=4$ gravitino mass term and the $N=1$ superpotential. In $N=4$ supergravity the gravitino mass is built from the gauging structure constants $f_{RST}$, the duality phases $delta_R$, and the constrained scalar fields $phi^R{}_A$ of the $SO(6,n)/[SO(6)times SO(n)]$ coset; after the $Z_2^2$ truncation it reads $m_{3/2}=-4/3, phi^*(R) f_{RST} epsilon^{ABC} phi^R{}_A phi^S{}_B phi^T{}_C$. Solving the truncated Poincaré constraints for the four scalars of each plane, $sigma_{1A},sigma_{2A},rho_{1A},rho_{2A}$, in terms of $T_A,U_A$ gives a fixed correspondence between the twelve $SO(6,6)$ directions and the monomials $1$, $iT_A$, $T_AU_A$, $iU_A$, each divided by $sqrt((T_A+bar T_A)(U_A+bar U_A))$. Extracting the holomorphic factor $e^{K/2}$ from $m_{3/2}$ then yields both $K$ and $W$. The assumption of plane-interchange symmetry reduces the $4^3=64$ structure constants to 20 symmetric coefficients $Lambda^{a_1b_2c_3}$, and the Jacobi identities collapse to a cyclicity condition $eta^{df}Lambda_{abd}Lambda_{cfe}=eta^{df}Lambda_{bcd}Lambda_{afe}=eta^{df}Lambda_{cad}Lambda_{bfe}$, which is what makes the flux constraints in the examples checkable by hand.
Extended reading notes
Core claim
The central claim is that the $N=1$, $D=4$ effective theory of the seven main moduli of type IIA orientifolds with general fluxes is a consistent truncation of a gauged $N=4$ supergravity, and that this fixes both the Kähler potential and the superpotential without solving the ten-dimensional equations. Concretely, the authors obtain $K=-1/(S+bar S)-sum_A 1/(T_A+bar T_A)(U_A+bar U_A)$ and a superpotential that is a polynomial of degree at most one in each modulus, with each monomial traced to a flux: $H_3$ gives $iS$ and $i(U_1+U_2+U_3)$; geometric flux gives $S(T_1+T_2+T_3)$, $T_1U_1+T_2U_2+T_3U_3$ and the mixed $T_AU_B$ sum; $F_0$ gives $iT_1T_2T_3$; $F_2$ gives $T_1T_2+T_2T_3+T_3T_1$; $F_4$ gives $i(T_1+T_2+T_3)$; $F_6$ gives a constant. Consistency of the underlying gauging becomes a short list of Jacobi identities on the flux coefficients, so an admissible flux combination is one satisfying those identities. The headline example switches on all of $H_3$, $omega_3$, $F_0$, $F_2$, $F_4$, $F_6$ with coefficients related by $6A^2=10B^2$, producing a superpotential whose auxiliary-field equations are solved at $S=T_A=U_A=1$ with $W=4(3A+iB)$ and $V=-3m_{3/2}^2<0$, i.e. a stable supersymmetric AdS$_4$ vacuum with no modulus left flat.
Load-bearing premise
The four-dimensional gauged $N=4$ truncation is assumed to faithfully capture the ten-dimensional string dynamics, which requires that each flux combination can be completed to a consistent $D=10$ background with the D6-branes and O6-planes needed to satisfy the Bianchi identities and cancel tadpoles — a check the paper explicitly says goes beyond its scope in Section 4.7 and defers to a companion paper.
Editorial extensions
If this is right
- Any flux combination satisfying the cyclicity/Jacobi conditions can be read immediately as an $N=1$ superpotential, so moduli stabilization can be studied in the four-dimensional effective theory rather than by solving ten-dimensional equations of motion and Bianchi identities.
- Type IIA is strictly richer than the heterotic case for stabilization: the presence of Ramond-Ramond fluxes, in particular $F_6$ and $F_0$, introduces $S$-dependence that heterotic $H_3$ and $omega_3$ fluxes cannot generate, which is what makes full seven-modulus stabilization possible.
- The no-scale examples with $W=A[S(T_1+T_2+T_3)+B(T_1T_2+T_2T_3+T_3T_1)]+iC[S+DT_1T_2T_3]$ stabilize $S$ and the $T_A$ at $langle Srangle=BT$, $langle T_Arangle=T=sqrt(B/D)$ with vanishing potential, leaving the $U_A$ as flat directions and supersymmetry broken in that sector with a computable gravitino mass.
- Single-monomial flux choices give $V=4e^K|W|^2>0$ runaway potentials, and the $F_0,F_2,F_4,F_6$ combination $W=A(1+T_1T_2+T_2T_3+T_3T_1)+iB(T_1+T_2+T_3+T_1T_2T_3)$ gauges $SO(1,3)$ and yields a positive-definite runaway with three moduli fixed, a candidate setting for time-dependent cosmological solutions.
- The $E_3$ example $W=-omega_3(T_1U_1+T_2U_2+T_3U_3)+F_6$ reproduces, at the supergravity level, the near-horizon NS five-brane plus linear dilaton solution with $V=-omega_3^3/(16F_6 s)$, showing that the gauging algebra remains visible in the ten-dimensional background.
Reading between the lines
- If the dictionary holds generally, the search for de Sitter or inflationary flux vacua in IIA becomes a finite algebraic problem: enumerate symmetric $Lambda^{abc}$ obeying the cyclicity condition, compute the auxiliary fields, and check signs. That reframes model building as a classification rather than a search.
- The construction suggests a mirror-style bookkeeping in which geometric $omega_3$ flux on the IIA side plays the role that $H_3$ plays on the IIB side, with $T_A$ and $U_A$ exchanging roles; the paper gestures at this but does not develop it, and it would be a natural target for a follow-up.
- The AdS$_4$ vacuum at $S=T_A=U_A=1$ has $W=4(3A+iB)$ and hence $V=-3m_{3/2}^2$, so the cosmological constant is tied directly to the gravitino mass; a reader could use this relation as a consistency check on any proposed embedding of the model into a fully back-reacted ten-dimensional solution.
- Because the truncation keeps only the seven moduli and discards matter multiplets $Z_{IA}$, the dictionary as stated is silent about open-string moduli from D6-brane positions and Wilson lines; whether the same gauging logic extends to those fields is left open and is where the construction is most likely to need modification.
Original abstract
We derive the effective N=1, D=4 supergravity for the seven main moduli of type IIA orientifolds with D6 branes, compactified on T^6/(Z_2xZ_2) in the presence of general fluxes. We illustrate and apply a general method that relates the N=1 effective Kahler potential and superpotential to a consistent truncation of gauged N=4 supergravity. We identify the correspondence between various admissible fluxes, N=4 gaugings and N=1 superpotential terms. We construct explicit examples with different features: in particular, new IIA no-scale models and a model which admits a supersymmetric AdS_4 vacuum with all seven main moduli stabilized.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
We derive the effective N=1, D=4 supergravity for the seven main moduli of type IIA orientifolds with D6 branes, compactified on T^6/(Z_2xZ_2) in the presence of general fluxes. We illustrate and apply a general method that relates the N=1 effective Kahler potential and superpotential to a consistent truncation of gauged N=4 supergravity. We identify the correspondence between various admissible fluxes, N=4 gaugings and N=1 superpotential terms. We construct explicit examples with different features: in particular, new IIA no-scale models and a model which admits a supersymmetric AdS_4 vacuum with all seven main moduli stabilized.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We derive the effective N=1, D=4 supergravity for the seven main moduli of type IIA orientifolds with D6 branes, compactified on T^6/(Z_2xZ_2) in the presence of general fluxes. | contribution 0.98 | 0.97 | 0.22 | asserted 1.00 |
| s1 | We illustrate and apply a general method that relates the N=1 effective Kahler potential and superpotential to a consistent truncation of gauged N=4 supergravity. | method 0.87 | 0.93 | 0.15 | asserted 1.00 |
| s2 | We identify the correspondence between various admissible fluxes, N=4 gaugings and N=1 superpotential terms. | contribution 0.58 | 0.93 | 0.18 | asserted 1.00 |
| s3 | We construct explicit examples with different features: in particular, new IIA no-scale models and a model which admits a supersymmetric AdS_4 vacuum with all seven main moduli stabilized. | result 0.62 | 0.96 | 0.40 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v2
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
How the literature uses it
126 arXiv papers cite this in 229 sentences
Papers whose main result relates to this one's
States the same result 1 paper
-
We finally identify a family of fluxes, compatible with all Bianchi identities, that perturbatively stabilize all seven moduli in supersymmetric AdS4.
N=1 effective potential from dual type-IIA D6/O6 orientifolds with general fluxes · 0.80
Papers citing it · 153 sentences without a confident label
Compares with it 4 papers
-
Contrary to the case studied in [ref] where $AdS_4$ with moduli stabilized was obtained with all fluxes on, here no geometric fluxes are present (see ([ref])).
AdS4 flux vacua in type II superstrings and their domain-wall solutions · Supersymmetric AdS$_4$ vacua in type IIA and their IIB mirror duals · 0.99
-
In some cases the solutions are mirror dual to the well known type IIA AdS flux vacua found by DeWolfe, Giryavets, Kachru and Taylor (DGKT) [ref] (see also [ref] for earlier work).
Type IIB flux compactifications with $h^{1,1}=0$ · Introduction · 0.95
-
([ref]) reads [equation] which nicely matches the expression of the $N=1$ superpotential found in [ref] .
Type-IIA flux compactifications and N=4 gauged supergravities · $N=4$ embedding of a family of AdS$_4$ vacua · 0.96
Cites it as support 1 paper
-
The consistency of such constructions is also strengthened by the existence [ref] of consistent $N=1$ truncations of $N=4$ gauged supergravities, derived from type-IIA, $N=1$ orientifold compactifications with NSNS, RR and geometrical fluxes, which do not satisfy [ref] the quadratic constraint $ω ω=0$.
Beyond Twisted Tori · Introduction · 0.98
Cites it as background 62 papers
-
The type IIA effective superpotential receives three kinds of contributions (see e.g. [ref] ): [equation] The first term is due to the Neveu–Schwarz 3-form fluxes and depends on the dilaton $S$ and the type IIA complex-structure moduli $U_m$ ($m=1,…,h̃^2,1$): [equation] where in type IIA the 3-form $Ω_c$ is defined by $Ω_c=C_3+iRe(CΩ)$.
AdS4 flux vacua in type II superstrings and their domain-wall solutions · Fluxes in type IIA/B and mirror map · 0.90
-
This setup was analysed in [ref] and then more extensively in [ref] , where it was realised that the solution becomes scale-separated in the weak-coupling limit.
Scale-separated AdS$_4$ vacua of IIA orientifolds and M-theory · Scale separation in IIA · 0.94
-
* On the other hand, one has classical flux vacua with orientifold planes, such as DGKT-like vacua [ref] .[See also refs.
AdS scale separation and the distance conjecture · Introduction · 0.94
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.