Pith. Sign in

REVIEW

Supersymmetric AdS(4) compactifications of IIA supergravity

High Energy Physics - Theory · Submitted 21 Dec 2004 · 51 references

Pith's verdict: A clean and quotable classification of half-flat N=1 AdS4 vacua in massive IIA, but the 'sufficient' half of the title rests on an integrability step the paper asserts rather than shows for B'≠0.

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 →

· 2 major objections · 7 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-th/0412250 (version 2)
Pith IDQ44BBLRY, Pith's permanent record of this paper and its review
CitationD. Lust, D. Tsimpis. "Supersymmetric AdS(4) compactifications of IIA supergravity." arXiv:hep-th/0412250 (2004). https://pith.science/paper/Q44BBLRY
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

The paper derives necessary and sufficient conditions for N=1 compactifications of massive type IIA supergravity to four-dimensional anti-de Sitter space, and shows that every flux is then fixed by the geometry of the internal six-manifold.

The reading

Type IIA string theory can be compactified to four dimensions with fluxes — background values for the antisymmetric form fields — turned on. The question this paper takes up is what the internal six-dimensional geometry must be for such a compactification to preserve N=1 supersymmetry and land on anti-de Sitter space rather than flat Minkowski space. Working in the language of SU(3) structures, the authors derive conditions claimed to be both necessary and sufficient, and find a new family of solutions with constant dilaton and every form field switched on. The payoff is that the fluxes are not free parameters: they are read off from the torsion of the internal manifold, which is constrained to a special half-flat class.

What carries the argument

The engine is the SU(3)-structure decomposition. A single globally defined spinor $η$ on $X_6$ defines a real two-form $J$ and a complex three-form $Ω$, and the failure of these to be closed is packaged into five torsion classes $W_1$ through $W_5$ appearing in $dJ$ and $dΩ$. Every form field is expanded into irreducible SU(3) pieces (a scalar, a vector, an eight, a six, and so on), and the supersymmetry variations are then contracted with gamma matrices to project out each representation one at a time. This turns ten-dimensional Killing-spinor equations into algebraic relations among a handful of numbers, which is what makes the classification tractable.

Extended reading notes

Core claim

The central claim is that N=1 supersymmetric compactifications of (massive) type IIA supergravity to $AdS_4$ are completely characterized by a short list of conditions. The ten-dimensional fields take the form $mB = (f/18)e^{-φ/2}J + m B̃$, $H = (4m/5)e^{7φ/4}Re(Ω)$, and $G = f dVol_4 + (3m/5)e^{φ}J ∧ J$, with constant dilaton, constant warp factor up to a fixed power of $e^{-φ}$, and $B̃$ a primitive two-form. The internal manifold $X_6$ must carry an SU(3) structure whose intrinsic torsion lies entirely in the two classes $W_1^-$ and $W_2^-$, with all other torsion classes vanishing, so $X_6$ is half-flat. An extra condition inherited from the Bianchi identity, $d B̃ ∝ Re(Ω)$, fixes the proportionality constant in terms of the mass and the flux parameter $f$, and forces $f^2 ≥ (108m^2/5)e^{2φ}$. The authors argue that once supersymmetry, the Bianchi identities and the form-field equations are imposed, the dilaton and Einstein equations follow automatically, so no further constraints are needed.

Load-bearing premise

The claim that supersymmetry plus the Bianchi identities plus the form-field equations automatically imply the dilaton and Einstein equations rests on an unproven condition, stated in Section 2 and asserted to hold for the compactifications at hand, that the mixed time-space components of the Einstein tensor vanish.

Editorial extensions

If this is right

  • Every flux in the vacuum — the mass parameter, the NS two-form, the RR two- and four-forms — is determined by the torsion data of the internal manifold rather than chosen by hand.
  • The internal space is restricted to half-flat manifolds with torsion in $W_1^- ⊕ W_2^-$, a narrower class than the half-flat manifolds allowed by supersymmetry alone.
  • In the limit $f^2 = (108m^2/5)e^{2φ}$ the primitive part of the two-form vanishes, all torsion except $W_1^-$ disappears, and the construction collapses to the previously known nearly-Kähler solutions.
  • In the massless limit the solution lifts to eleven dimensions as a twisted circle fibration over a half-flat six-manifold, expected to have a three-dimensional conformal field theory dual.
  • The results imply that no compactification of eleven-dimensional supergravity to $AdS_4$ on a product of a circle and a six-dimensional nearly-Kähler manifold exists, closing off a case left open in earlier work.

Reading between the lines

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

  • The paper's own two example families — $T^2$ fibrations over K3 and the Iwasawa manifold — satisfy the torsion conditions but miss the required constant in $d B̃ ∝ Re(Ω)$ by a fixed factor, so the authors do not actually exhibit a single fully working solution. Whether the class is nonempty is therefore the live question, not a detail.
  • If the class does turn out to be empty, the natural reading is that the Bianchi identity is doing more work than supersymmetry: it is the topology of $X_6$, not the Killing spinor equations, that decides which torsion classes are realizable.
  • Because the fluxes are algebraic in the torsion, one could imagine scanning known nilmanifolds and solvmanifolds systematically for the exact proportionality constant, rather than constructing examples one at a time.
  • The integrability argument that lets the authors drop the dilaton and Einstein equations is a template that would transfer to other flux backgrounds, so its validity is a claim of broader scope than the specific $AdS_4$ vacua derived here.
Original abstract

We derive necessary and sufficient conditions for N=1 compactifications of (massive) IIA supergravity to AdS(4) in the language of SU(3) structures. We find new solutions characterized by constant dilaton and nonzero fluxes for all form fields. All fluxes are given in terms of the geometrical data of the internal compact space. The latter is constrained to belong to a special class of half-flat manifolds.

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,522 input tokens, $0.0001 reported.

What the abstract itself states, as probabilities: claims first 0.04 · states limitation 0.18 · human participants 0.01 · controlled comparison 0.01 · randomized assignment 0.01 · states quantitative result 0.09 · compares with prior results 0.06 · 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 necessary and sufficient conditions for N=1 compactifications of (massive) IIA supergravity to AdS(4) in the language of SU(3) structures. We find new solutions characterized by constant dilaton and nonzero fluxes for all form fields. All fluxes are given in terms of the geometrical data of the internal compact space. The latter is constrained to belong to a special class of half-flat manifolds.

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 necessary and sufficient conditions for N=1 compactifications of (massive) IIA supergravity to AdS(4) in the language of SU(3) structures. contribution 0.85 0.96 0.42 asserted 1.00
s1 We find new solutions characterized by constant dilaton and nonzero fluxes for all form fields. result 0.95 0.96 0.34 asserted 1.00
s2 All fluxes are given in terms of the geometrical data of the internal compact space. result 0.98 0.88 0.17 asserted 1.00
s3 The latter is constrained to belong to a special class of half-flat manifolds. result 0.98 0.78 0.19 asserted 1.00

What kind of paper the classifier reports this is: theoretical result 1.00 · 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 later papers used it

101 later papers cite it

Evidence: substantial. 97 of the citing papers share no author with it, and 19 of those carry a confident label from Pith's citation classifier.

Pith read 19 of the 180 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Builds on it 2 of 6 papers with this label · 1 by the same authors

By the same authors

Uses its method or tool 1 paper
How the literature uses it

97 arXiv papers cite this in 175 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 citing it · 117 sentences without a confident label

Contests it 1 paper
  • However, an $N=1$ supersymmetric $SU(3)$ structure solution requires a constant dilaton [ref] , and a constant dilaton is assumed in [ref] .

    M-theory and Type IIA Flux Compactifications · Massive type IIA Supergravity · contest 0.81

Builds on it 5 papers
Uses its method or tool 1 paper
  • In this way, one obtains separate equations for every $SU(3)$ representation in the decomposition of forms [ref] : one can decompose the tensors $F$, $H$ and $G$ in terms of irreducible $SU(3)$ representations.

    Phenomenology from the Landscape of String Vacua · Massive Type IIA Supergravity on $AdS_4$ · 0.91

Compares with it 6 papers
  • 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

  • It turns out that this condition leads to a particular set of SU(3)-structure manifolds, nearly-Kähler manifolds, which is a restricted set of solutions with respect to the class of supersymmetric SU(3)-structure backgrounds obtained in [ref] .

    New families of scale separated vacua · 4d analysis · 0.99

  • The factor of $(-1)^s=±1$ arises in the following equations as unlike [ref] , we have fixed the phase of $Ω$ once and for all in ([ref]); see also [ref] .

    Exploiting N=2 in consistent coset reductions of type IIA · The solution · 0.99

Cites it as support 5 papers
Cites it as background 31 papers

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.