Pith. Sign in

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

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on October 29, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 1 major objection · 6 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-th/0411276 (version 2)
Pith IDQEDMWFAI, Pith's permanent record of this paper and its review
CitationCostas Kounnas, Fabio Zwirner, Jean-Pierre Derendinger, P. Marios Petropoulos. "Superpotentials in IIA compactifications with general fluxes." arXiv:hep-th/0411276 (2004). https://pith.science/paper/QEDMWFAI
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

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

The paper asks whether the whole zoo of fluxes available to type IIA string theory on a $T^6/(Z_2^2)$ orientifold with D6-branes can be organized by one principle, and answers with the gauged $N=4$ supergravity hiding underneath. Because the scalar geometry of $N=4$ supergravity in four dimensions is fixed once the number of vector multiplets is fixed, the authors can read off the $N=1$ Kähler potential and superpotential of the seven main moduli from a $Z_2^2$ truncation instead of from a ten-dimensional computation. Each allowed flux — the NS-NS three-form, the geometric spin-connection flux, and the Ramond-Ramond zero-, two-, four- and six-form fluxes — is then matched to a structure constant and a duality phase of the gauging, and hence to a specific monomial in $S$, $T_A$, $U_A$. The payoff is a working dictionary plus explicit examples: no-scale models with four moduli stabilized and three flat directions, positive runaway potentials of cosmological type, and a flux combination whose $N=1$ scalar potential has a supersymmetric AdS$_4$ minimum at $S=T_A=U_A=1$ where all seven moduli are pinned.

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

Editorial extensions of the paper, not claims the author makes directly.

  • 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.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 3,739 input tokens, $0.0002 reported.

What the abstract itself states, as probabilities: claims first 0.04 · states limitation 0.07 · human participants 0.01 · controlled comparison 0.01 · randomized assignment 0.01 · states quantitative result 0.27 · compares with prior results 0.21 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v2. Results and the main claim are underlined; .

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

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
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 kind of paper the classifier reports this is: theoretical result 0.95 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v2
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References
How the literature uses it

126 arXiv papers cite this in 229 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers whose main result relates to this one's

Found among the papers closest to this one by title and main claim. Pith's classifier compared each pair's main results and a second model family confirmed the relation; checked against two further families, shown conflicts agreed 118 times in 120 and shown same results 218 times in 239. The quoted sentence is the other paper's main claim.

States the same result 1 paper

Papers citing it · 153 sentences without a confident label

Compares with it 4 papers
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.