Pith. Sign in

REVIEW

Supersymmetric AdS_5 Solutions of Type IIB Supergravity

High Energy Physics - Theory · Submitted 17 Oct 2005 · 46 references

Pith's verdict: A careful, essentially complete local classification of supersymmetric AdS5 x M5 type IIB backgrounds; the sufficiency step assumes an invertibility the paper only argues generically, but the local framing mostly covers it.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on November 11, 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/0510125 (version 1)
Pith ID65S2ZGWI, Pith's permanent record of this paper and its review
CitationDaniel Waldram, Dario Martelli, James Sparks, Jerome P. Gauntlett. "Supersymmetric AdS_5 Solutions of Type IIB Supergravity." arXiv:hep-th/0510125 (2005). https://pith.science/paper/65S2ZGWI
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 claims a complete local classification of supersymmetric type IIB backgrounds of the form AdS$_5$ times a five-manifold, showing that two Killing spinors fix a canonical frame whose torsion conditions are exactly equivalent to the

The reading

The paper asks what the most general supersymmetric ten-dimensional type IIB geometry with an AdS$_5$ factor looks like, because such geometries are the gravity side of four-dimensional superconformal field theories. Its answer is that the two Killing spinors define, locally, a canonical orthonormal frame on the internal five-manifold $M_5$ — an identity structure — and that supersymmetry is exactly equivalent to a short list of differential and algebraic conditions on that frame and on the fluxes. If that is right, the search for new AdS$_5$ duals stops being a guess-the-ansatz exercise and becomes a matter of solving those conditions. The authors also show the conditions are strong enough to imply the equations of motion and Bianchi identities, so any solution of the supersymmetry equations is automatically a solution of the full theory. As a demonstration they restrict to constant dilaton, vanishing axion and an $S^3$-type isometry, reduce everything to one second-order nonlinear ODE, recover the known Pilch–Warner solution exactly, and find a numerical family of local solutions beyond it.

What carries the argument

The engine is the $G$-structure method: instead of solving the Killing spinor equations directly, one forms bilinears from the two spinors — a real Killing vector $K_5$, complex vectors $K$ and $K_3$, and scalars $zeta$ and $S$ — and uses Fierz identities to convert the algebraic Killing spinor equations into an operator identity, equation (3.33), which yields the flux in terms of the frame. The differential conditions become torsion conditions on the same bilinears, written in the style of generalised calibrations (equations (3.47)–(3.49)). A key simplification is the algebraic result $Z = 0$, which removes one complex scalar and makes the frame explicit. Reducing along $K_5$ and then along the coordinate $lambda$ leaves a three-dimensional metric with a local identity structure given by $(rho, sigma, sigma^*)$ plus one scalar $eta$, and the remaining equations (4.12)–(4.14) are what the section 5 ansatz then truncates to a single ODE.

Extended reading notes

Core claim

The central claim is a necessary-and-sufficient statement: a bosonic type IIB background whose metric is a warped product $ds^2_{10} = e^{2A}(ds^2(AdS_5) + ds^2_5)$ and whose fluxes respect $SO(4,2)$ is supersymmetric if and only if $M_5$ carries an identity structure built from two spinors $xi_1, xi_2$ satisfying the conditions collected in section 3.6 — equations (3.47)–(3.52) — with the metric taking the canonical form (3.53). In that frame the five-form flux is fixed by a scalar, $f = 4m e^{4A} sin zeta$, and the three-form flux is determined algebraically by the frame and the warp factor. The authors further show that these conditions imply the dilaton and three-form equations of motion and the Bianchi identities, and that the canonical vector $K_5$ is a Killing vector generating a symmetry of the whole solution, matching the $U(1)_R$ symmetry of the dual field theory. Restricting to constant dilaton, vanishing axion and one-forms proportional to the left-invariant forms on $S^3$ with coefficients depending on a single coordinate $lambda$, the whole problem collapses to the ODE $ddot{g} lambda (g^2 - 1 - lambda^2) + dot{g}(g^2 - 1 + tfrac{1}{3}lambda^2 - 2lambda g dot{g}) = 0$. One exact solution reproduces the Pilch–Warner background; numerics reveal a one-parameter family whose metrics close up into $S^5$ but whose three-form flux and spinors fail to be globally defined, a limitation the authors state explicitly.

Load-bearing premise

The explicit-solution results depend on the section 5 ansatz: constant dilaton, vanishing axion, and one-forms proportional to the left-invariant forms on $S^3$ with coefficients depending only on one coordinate, which is what reduces the problem to a single ODE.

Editorial extensions

If this is right

  • Any claimed supersymmetric AdS$_5$ solution of type IIB with $SO(4,2)$-invariant fluxes can be checked against equations (3.47)–(3.52) rather than by re-solving the Killing spinor equations from scratch.
  • Because supersymmetry implies the equations of motion and Bianchi identities in this class, one only needs to solve the first-order torsion conditions and the algebraic flux relations to obtain a genuine background.
  • The canonical Killing vector $K_5$ gives a geometric origin for the $U(1)_R$ symmetry of the dual superconformal field theory, and it acts trivially on the dilaton, axion and warp factor while rotating the complex scalar $S$.
  • The Pilch–Warner solution sits inside the ODE as the special point $p = 1$, so its known dual Leigh–Strassler fixed point is recovered as one member of a broader family of local solutions.
  • The numerical family shows that the ODE admits regular $S^5$ metrics beyond Pilch–Warner, but their flux and spinors are not globally defined, so they do not by themselves give new AdS/CFT duals.

Reading between the lines

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

  • If the classification is complete, then any future AdS$_5$ type IIB solution with $SO(4,2)$ symmetry — including the beta-deformed and interpolating solutions the authors mention as contemporaneous work — must be expressible in the canonical frame (3.53), which gives a practical test for whether a proposed background is genuinely new or a coordinate rewrite of a known one.
  • The obstruction found in the numerical family is a global one, not a local one: the metric closes up on $S^5$ while the complex flux picks up a phase under the shift of the fibre coordinate. That pattern suggests the interesting question is which discrete periods make the phase trivial, i.e. a quantisation condition on the parameter $p$, rather than whether the ODE has more solutions.
  • A natural next test of the framework is to impose $N = 2$ supersymmetry as an extra condition on the same identity structure, mirroring what was done for the M-theory case; if that over-determines the system enough, it could yield further closed-form solutions.
  • The claim that supersymmetry implies the equations of motion rests on integrability of the Killing spinor equations plus the Bianchi identities; the argument in appendix D isolates a single Einstein-equation component, which is where an independent check would most usefully be aimed.
Original abstract

We analyse the most general bosonic supersymmetric solutions of type IIB supergravity whose metrics are warped products of five-dimensional anti-de Sitter space AdS_5 with a five-dimensional Riemannian manifold M_5. All fluxes are allowed to be non-vanishing consistent with SO(4,2) symmetry. We show that the necessary and sufficient conditions can be phrased in terms of a local identity structure on M_5. For a special class, with constant dilaton and vanishing axion, we reduce the problem to solving a second order non-linear ODE. We find an exact solution of the ODE which reproduces a solution first found by Pilch and Warner. A numerical analysis of the ODE reveals an additional class of local solutions.

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

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

The abstract, sentence by sentence

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

We analyse the most general bosonic supersymmetric solutions of type IIB supergravity whose metrics are warped products of five-dimensional anti-de Sitter space AdS_5 with a five-dimensional Riemannian manifold M_5. All fluxes are allowed to be non-vanishing consistent with SO(4,2) symmetry. We show that the necessary and sufficient conditions can be phrased in terms of a local identity structure on M_5. For a special class, with constant dilaton and vanishing axion, we reduce the problem to solving a second order non-linear ODE. We find an exact solution of the ODE which reproduces a solution first found by Pilch and Warner. A numerical analysis of the ODE reveals an additional class of local solutions.

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 bosonic supersymmetric solutions of type IIB supergravity whose metrics are warped products of five-dimensional anti-de Sitter space AdS_5 with a five-dimensional Riemannian manifold M_5. contribution 0.95 0.94 0.09 asserted 0.91
s1 All fluxes are allowed to be non-vanishing consistent with SO(4,2) symmetry. method 0.47 0.48 0.04 asserted 0.75
s2 We show that the necessary and sufficient conditions can be phrased in terms of a local identity structure on M_5. result 0.85 0.94 0.61 asserted 1.00
s3 For a special class, with constant dilaton and vanishing axion, we reduce the problem to solving a second order non-linear ODE. method 0.87 0.92 0.06 asserted 1.00
s4 We find an exact solution of the ODE which reproduces a solution first found by Pilch and Warner. result 0.97 0.92 0.13 asserted 1.00
s5 A numerical analysis of the ODE reveals an additional class of local solutions. result 0.98 0.95 0.15 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 v1
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

60 later papers cite it

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

Pith read 30 of the 220 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

Uses its method or tool 4 of 8 papers with this label · 3 by the same authors
  • Now we move on to determine the dependence of the Killing spinors $ϵ_r̂$ on the internal space parametrised by $ψ_i = 1,2,⋯, 6$ and $θ$ by numerically solving the algebraic KSE [ref], which can be written more explicitly as:[In practice, we use the Eigenvectors[] function of Mathematica and take the eigenvectors whose eigenvalue is zero. ] [equation] Following similar ansatz in [ref] , our spinor may have the following form: [equation] where $ϵ_(4)$ and $ϵ_(6)$ are Killing spinors on AdS$_4$ and $S^6$ respectively.

    New $G_2$-invariant supersymmetric AdS$_4$ vacua in 11d supergravity and holography (2025) · The Killing spinors for the dWNW saddle · 0.95

By the same authors

  • Considered the spinor bi-linears that characterise the identity structure on M_5 from this paper and found that all of the above conditions are satisfied for a chosen equation.

    Consistent Kaluza-Klein Reductions for General Supersymmetric AdS Solutions (2007) (same authors) · 0.87 · paraphrased: the licence does not allow quoting

  • Used the supersymmetry equations in d=5 directly from this paper by setting G=0 to obtain its equations.

    F-theory and AdS_3/CFT_2 (2,0) (2017) (same authors) · 0.82 · paraphrased: the licence does not allow quoting

  • Concluded from the result in appendix D of this paper that any solution to its differential equations will also solve the type IIB Einstein equations.

    Flowing from $AdS_5$ to $AdS_3$ with $T^{1,1}$ (2014) (same authors) · 0.85 · paraphrased: the licence does not allow quoting

Cites it as support 1 of 4 papers with this label
  • Used this paper's general result for IIB as evidence that the equations of motion for the metric and dilaton are satisfied.

    AdS_6 solutions of type II supergravity (2014) · 0.95 · paraphrased: the licence does not allow quoting

How the literature uses it

59 arXiv papers cite this in 219 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 · 153 sentences without a confident label

Contests it 3 papers
Builds on it 4 papers
Uses its method or tool 8 papers
Uses its data or values 2 papers
Compares with it 3 papers
  • Contrast this with the $F_5≠0$ case [ref] where one finds the infinitely many Sasaki-Einstein solutions and the Pilch-Warner solution (which has $P=0$), whilst in type IIA [ref] one finds infinitely many massive IIA solutions and recovers previously known massless solutions such as the Maldacena-Núñez solution.

    Supersymmetric AdS$_{5}$ solutions of type IIB supergravity without D3 branes · Conclusions · 1.00

  • The conditions for AdS$_4$ solutions are more restrictive than the ones for AdS$_5$; for example, the Bianchi identities do not follow from supersymmetry as for AdS$_5$ solutions in IIB [ref] .

    Perturbing gauge/gravity duals by a Romans mass · Introduction · 0.80

  • Indeed, there is a similarity between the equations SHeqs we have studied here and the general study of $AdS_5$ solutions of IIB supergravity in [ref] .

    On Supersymmetric Flux Solutions of M-theory · Discussion · 0.91

Cites it as support 3 papers
  • In fact, for $AdS_5$ solutions it was shown in [ref] that supersymmetry implies all of the equations of motion and Bianchi identities.

    AdS_5 Solutions of Type IIB Supergravity and Generalized Complex Geometry · Reformulation as generalized complex geometries · 0.97

  • It is important to stress that all the supergravity equations of motion are satifsfied once the above supersymmetry conditions and the RR Bianchi identity ([ref]) are imposed [ref] .

    On moduli and effective theory of N=1 warped flux compactifications · Pure spinors, $N=1$ conditions and generalized complex structure · 0.96

  • Its equation of motion can be seen to follow from the supersymmetry equations and the Bianchi identities [ref] – as do the equations of motion for the metric and dilaton [ref] .

    Domain walls from ten dimensions · $G_2×G_2$ structure and flow equations: the general case · 0.97

Cites it as background 18 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.