Pith. Sign in

REVIEW

Supersymmetric AdS_5 solutions of M-theory

High Energy Physics - Theory · Submitted 19 Feb 2004 · 48 references

Pith's verdict: The local classification in (2.52)–(2.58) is the real contribution and it holds up; the explicit-solution half is solid where worked out, but §5.3's S²×S² non-KE branch is asserted rather than demonstrated, and the abstract states the base classification unconditionally.

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 · 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/0402153 (version 2)
Pith IDWHN5OV4O, Pith's permanent record of this paper and its review
CitationDaniel Waldram, Dario Martelli, James Sparks, Jerome P. Gauntlett. "Supersymmetric AdS_5 solutions of M-theory." arXiv:hep-th/0402153 (2004). https://pith.science/paper/WHN5OV4O
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 authors derive the general local shape of any supersymmetric M-theory background that is a warped product of five-dimensional anti-de Sitter space with a six-dimensional internal space, and then solve the resulting equations explicitly,

The reading

The paper asks a classification question: if a solution of eleven-dimensional supergravity is a warped product of $AdS_5$ with a six-dimensional space $M_6$ and carries four-form flux on $M_6$, what shape must $M_6$ have in order to preserve at least one supersymmetry? The authors answer it locally. They show that $M_6$ always carries a Killing vector, and that the metric orthogonal to it is built from a one-parameter family of four-dimensional Kähler metrics whose complex structure does not vary along the family, together with a single angular function that also fixes the warp factor; the flux is then completely determined by the geometry, and the flux equation of motion and Bianchi identity come for free. Imposing that $M_6$ be a complex manifold collapses the remaining freedom enough that the equations can be integrated in closed form, producing families of explicit regular compact solutions in which a two-sphere is fibred over a four-dimensional Kähler base. The payoff is a supply of new candidate gravity duals of four-dimensional superconformal field theories, with the Killing vector playing the role of the R-symmetry, and a new route (via reduction and T-duality) to Sasaki-Einstein five-manifolds, including a known one, $T^{1,1}/Z_2$, as a special case.

What carries the argument

The engine is the translation of the eleven-dimensional Killing spinor equation into differential conditions on spinor bilinears, which define a local $SU(2)$ structure on $M_6$: a $(1,1)$-form $J$, a $(2,0)$-form $Omega$, and two one-forms $K^1$ and $K^2$. The conditions (2.13)–(2.16) on these forms are shown to be equivalent to the seven-dimensional $G$-structure conditions of the flux-compactification literature, which supplies the sufficiency argument and shows that the Bianchi identity and flux equation of motion follow from supersymmetry whenever $sinzeta$ is not identically zero. The bilinear $coszeta,K^2$ is shown directly from the Killing spinor equation to be a Killing vector, which is what allows coordinates $(x^i, y, psi)$ to be introduced and the metric to be put in the local form quoted above. The second piece of machinery is the reduction of the complex case to a single nonlinear ODE: integrability of the almost complex structure on $M_6$ forces $d_4zeta = d_4lambda = partial_y rho = 0$, after which the Ricci form of the base satisfies $hat{mathfrak{R}} = -frac{3}{2}y,partial_y hat J$, so the Ricci eigenvalues are constant on the base, and the remaining condition becomes one equation for $lambda(y)$ and $zeta(y)$ that is integrated explicitly in each case.

Extended reading notes

Core claim

The central claim is a local classification theorem plus an explicit solution-generating machine. On the classification side, the authors show that the necessary and sufficient conditions for a warped $AdS_5$ solution with internal flux are that the metric take the form $ds^2 = e^{-6lambda}(hat g_{ij}dx^idx^j + sec^2zeta,dy^2) + frac{1}{9m^2}cos^2zeta,(dpsi+rho)^2$, where $hat g$ is a family of four-dimensional Kähler metrics parameterised by $y$ with a complex structure independent of $y$ and $psi$, $rho$ is fixed by the Ricci-form connection of that Kähler metric together with the gradient of $logcoszeta$, and the warp factor and angle obey $2my = e^{3lambda}sinzeta$; the four-form is then given by equation (2.50) and is independent of $psi$. On the construction side, they specialise to complex $M_6$ and to the global ansatz in which $(y,psi)$ form a holomorphic $CP^1$ bundle over a smooth Kähler base, and they show that regularity plus the supersymmetry equations force the base, at fixed $y$, to be either Kähler-Einstein or a product of two constant-curvature Riemann surfaces. Solving the surviving ordinary differential equation gives three regular compact families: $CP^1$ bundles over positive-curvature Kähler-Einstein bases (which are $S^2times S^2$, $CP^2$, or $CP^2# n,CP^2$ with $n=3,ldots,8$) for a one-parameter range, and $S^2$ bundles over $S^2times T^2$ and over $S^2times S^2$. Non-compact regular families with $S^2times H^2$ bases are also found, and the earlier $N=1$ Maldacena–Núñez solution is recovered as a degenerate limit in which the fibre period is $4pi$ rather than $2pi$ and the total space is topologically an $S^4$ bundle over $H^2$.

Load-bearing premise

The claim that the regular compact solutions fall into exactly two classes, and no others, rests on the Goldberg conjecture, which the authors invoke explicitly when they apply a splitting theorem for compact Kähler four-manifolds whose Ricci tensor has two pairs of constant eigenvalues; if that conjecture fails for the relevant manifolds, the explicit solutions survive but the classification is no longer exhaustive.

Editorial extensions

If this is right

  • Every supersymmetric warped $AdS_5$ background of eleven-dimensional supergravity with flux on the internal space is locally of the form (2.51) with conditions (2.52)–(2.58), so the search for such backgrounds reduces to choosing a family of four-dimensional Kähler metrics and solving one ODE.
  • The regular compact solutions give concrete new M-theory duals of four-dimensional $N=1$ superconformal field theories, with the $partial/partialpsi$ Killing vector identified as the R-symmetry.
  • Reducing the $S^2times T^2$ family on one torus circle and T-dualising on the other produces type IIB solutions whose five-dimensional internal space is Sasaki-Einstein, giving a new one-parameter family that contains $T^{1,1}/Z_2$ as a special case.
  • The same analysis, run with the cosmological constant set to zero, characterises warped products of five-dimensional Minkowski space with $M_6$, including flux backgrounds that a Calabi–Yau-based no-go argument would have excluded.
  • Because the classical solutions come in continuous families, the authors expect flux quantisation to cut them down to a discrete, possibly countably infinite, subset of genuine string-theory backgrounds.

Reading between the lines

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

  • The classification is local, so the global reach of the result depends on a separate gluing analysis at the poles of the two-sphere and at any degeneration of the Kähler base; the paper checks this case by case, but a systematic treatment of simultaneous degeneration of base and fibre is left open, and the authors say so.
  • The one-parameter families are natural places to look for continuous deformations of the dual conformal field theory, for example as marginal or relevant operators whose couplings are the parameters $a$ and $c$; matching those parameters to gauge-theory data would be a concrete test of the proposed dualities.
  • Because the flux is fixed algebraically by the Kähler data rather than by a choice, the construction resembles a solution-generating transform: feeding in any Kähler–Einstein four-manifold of positive curvature yields a background, which suggests searching the Tian–Yau list for further explicit metrics and checking their flux quantisation.
  • The Minkowski-space appendix produces flux vacua that a Calabi–Yau ansatz would have ruled out, which is a hint that no-go arguments stated for restricted internal geometries should be re-examined rather than taken as general.
Original abstract

We analyse the most general supersymmetric solutions of D=11 supergravity consisting of a warped product of five-dimensional anti-de-Sitter space with a six-dimensional Riemannian space M_6, with four-form flux on M_6. We show that M_6 is partly specified by a one-parameter family of four-dimensional Kahler metrics. We find a large family of new explicit regular solutions where M_6 is a compact, complex manifold which is topologically a two-sphere bundle over a four-dimensional base, where the latter is either (i) Kahler-Einstein with positive curvature, or (ii) a product of two constant-curvature Riemann surfaces. After dimensional reduction and T-duality, some solutions in the second class are related to a new family of Sasaki-Einstein spaces which includes T^{1,1}/Z_2. Our general analysis also covers warped products of five-dimensional Minkowski space with a six-dimensional Riemannian space.

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, 4,448 input tokens, $0.0002 reported.

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

The abstract, sentence by sentence

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

We analyse the most general supersymmetric solutions of D=11 supergravity consisting of a warped product of five-dimensional anti-de-Sitter space with a six-dimensional Riemannian space M_6, with four-form flux on M_6. We show that M_6 is partly specified by a one-parameter family of four-dimensional Kahler metrics. We find a large family of new explicit regular solutions where M_6 is a compact, complex manifold which is topologically a two-sphere bundle over a four-dimensional base, where the latter is either (i) Kahler-Einstein with positive curvature, or (ii) a product of two constant-curvature Riemann surfaces. After dimensional reduction and T-duality, some solutions in the second class are related to a new family of Sasaki-Einstein spaces which includes T^{1,1}/Z_2. Our general analysis also covers warped products of five-dimensional Minkowski space with a six-dimensional Riemannian space.

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 analyse the most general supersymmetric solutions of D=11 supergravity consisting of a warped product of five-dimensional anti-de-Sitter space with a six-dimensional Riemannian space M_6, with four-form flux on M_6. contribution 0.96 0.93 0.09 asserted 0.93
s1 We show that M_6 is partly specified by a one-parameter family of four-dimensional Kahler metrics. result 0.99 0.95 0.23 asserted 1.00
s2 We find a large family of new explicit regular solutions where M_6 is a compact, complex manifold which is topologically a two-sphere bundle over a four-dimensional base, where the latter is either (i) Kahler-Einstein with positive curvature, or (ii) a product of two constant-curvature Riemann surfaces. result 0.97 0.97 0.57 asserted 1.00
s3 After dimensional reduction and T-duality, some solutions in the second class are related to a new family of Sasaki-Einstein spaces which includes T^{1,1}/Z_2. result 0.66 0.84 0.11 asserted 0.91
s4 Our general analysis also covers warped products of five-dimensional Minkowski space with a six-dimensional Riemannian space. result 0.74 0.87 0.05 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

115 later papers cite it

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

Pith read 39 of the 278 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 3 of 8 papers with this label · 1 by the same authors

By the same authors

  • Considered the class of AdS_5×M_6 solutions of this paper, expanding and extending the discussion in another work.

    Equivariant localization for AdS/CFT (2023) (same authors) · 0.99 · paraphrased: the licence does not allow quoting

Compares with it 4 of 12 papers with this label · 1 by the same authors

By the same authors

How the literature uses it

112 arXiv papers cite this in 273 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 · 157 sentences without a confident label

Contests it 1 paper
  • The latter appears without derivation, so in the appendix we validate their claim by following a similar decomposition to that appearing in [ref] (see also [ref] )[We also cure some typos in [ref] .].

    N = 2 SCFTs: An M5-brane perspective · Introduction · contest 0.78

Builds on it 8 papers
Uses its method or tool 11 papers
  • The utility of the coordinates of [ref] is now manifest.

    Four-Dimensional SCFTs from M5-Branes · Supergravity solutions in canonical coordinates · 0.97

  • Following the same spinor decompositon as [ref] , $ϵ= ψ⊗e^λ/2 ξ$, it can be shown that imposing $ρ^+ ψ= 0$ kills all superconformal supersymmetry while preserving just two Poincaré supersymmetries.

    NR $CFT_3$ duals in M-theory · Preliminaries · 0.95

  • To cast the geometry into the form of [ref] we first note that $K^1$ defines a canonical coordinate $Y$ through K^1= e^-3λ ζd[ - 1/3 m(y) x ] = e^-3λ ζdY , where e^λ= Δ^1/6 , sinζ= 2/3Δ^1/2 m(y) x .

    New ${\cal N} = 1$ supersymmetric $AdS_5$ backgrounds in Type IIA supergravity · M-theory lift · 0.88

Uses its data or values 1 paper
Compares with it 12 papers
Cites it as support 2 papers
Cites it as background 55 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.