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
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
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
- 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.
The abstract, sentence by sentence
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
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| 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 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 later papers used it
115 later papers cite it
5 later papers by other authors are listed below: 2 built on it and 3 compared their own results with it. 2 more papers by the same authors are listed: 1 built on it and 1 compared its own results with it.
Builds on it 3 of 8 papers with this label · 1 by the same authors
-
Deformed the supergravity solutions given in this paper so that the resulting solutions have the Schrödinger symmetry.
Supersymmetric non-relativistic geometries in M-theory (2009) · 0.99 · paraphrased: the licence does not allow quoting
-
Showed how the solutions of this paper, which include the M-theory uplift of the Y_p,q and N=1 Maldacena and Núñez geometry, embed into this class.
Quarter-BPS AdS5 solutions in M-theory with a T2 bundle over a Riemann surface (2013) · 0.91 · paraphrased: the licence does not allow quoting
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
-
Found that, written in this form, its metric components are essentially identical to those of this paper.
Schrodinger invariant solutions of M-theory with Enhanced Supersymmetry (2009) · 1.00 · paraphrased: the licence does not allow quoting
-
Uplifted to 11d to compare with this paper.
Supersymmetric AdS$_{5}$ solutions of type IIB supergravity without D3 branes (2016) · 0.99 · paraphrased: the licence does not allow quoting
-
Being in massless IIA we can lift the solution of [ref] to $d=11$ to obtain AdS$_5 ×𝕎ℂℙ^2 ×𝕋^2$ of the form [equation] In this case the flux quantisation condition yields (upon sending $N_4→N_5$) [equation] Upon fixing $(k_1=k_2=1, k_3=2)$, this $d=11$ solution actually reproduces an AdS$_5×𝕋^2×𝕎ℂℙ^2_[1,1,2]$ solution from [ref] [We thank James Sparks and Jerome Gauntlett for bring this to our attention.].
Supersymmetric $\mathbb{WCP}^n$, AdS near horizons and orbifolds (2025) · AdS$_5×𝕎ℂℙ^2$ · 0.84
By the same authors
-
Gave the ESE form of the generic M-theory background, showing explicitly how the integrability conditions reproduce those given in this paper.
The exceptional generalised geometry of supersymmetric AdS flux backgrounds (2016) (same authors) · 0.84 · paraphrased: the licence does not allow quoting
How the literature uses it
112 arXiv papers cite this in 273 sentences
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
-
In this section, we will deform the supergravity solutions given in [ref] in such a way that the resulting solutions have the Schrödinger symmetry.
Supersymmetric non-relativistic geometries in M-theory · General consideration · 0.99
-
Next we show how the solutions of GMSW [ref] , which includes the M-theory uplift of the $Y_p,q$ [ref] and $𝒩=1$ Maldacena and Núñez geometry [ref] , embed into this class.
Quarter-BPS AdS5 solutions in M-theory with a T2 bundle over a Riemann surface · Class Ia · 0.91
-
We first consider the class of $AdS_5×M_6$ solutions of [ref] , expanding and extending the discussion in [ref] .
Equivariant localization for AdS/CFT · Introduction · 0.99
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
-
In constructing an explicit example in this class we adopt the $SE_5$ metric discovered in [ref] ds^2_SE_5 = 1-cy/6(dθ^2+sin^2θdϕ^2)+e^-6λ^2ζdy^2 +19cos^2ζ(Dβ)^2 +e^6λ(dz+ac-2y+cy^2/6(a-y^2)Dβ)^2
Schrodinger invariant solutions of M-theory with Enhanced Supersymmetry · $S^2×T^2$ solution · 0.89
Compares with it 12 papers
-
Written in this form, the metric components we have found are essentially identical to those of [ref] .
Schrodinger invariant solutions of M-theory with Enhanced Supersymmetry · Solution · 1.00
-
Uplifting to 11d allows us to compare with [ref] .
Supersymmetric AdS$_{5}$ solutions of type IIB supergravity without D3 branes · Conclusions · 0.99
-
We then give the ESE form of the generic M-theory background, showing explicitly how the integrability conditions reproduce those given in [ref] .
The exceptional generalised geometry of supersymmetric AdS flux backgrounds · AdS5 backgrounds as ESE spaces · 0.84
Cites it as support 2 papers
-
If this happens at every point, we have a true global $3$ structure and one finds that supersymmetry is incompatible with the presence of flux [ref] .
Exceptional complex structures and the hypermultiplet moduli of 5d Minkowski compactifications of M-theory · Local SU(2) Structures · 0.96
-
These solutions are not supersymmetric: for $M_6=CP^3$ this was proved in [ref] , and for general $M_6$ it follows from the analysis of supersymmetric $AdS_5$ solutions of [ref] .
On the stability and spectrum of non-supersymmetric AdS(5) solutions of M-theory compactified on Kahler-Einstein spaces · Introduction · 0.97
Cites it as background 55 papers
-
Before dealing with non-relativistic solutions, let us describe the general $𝒩=1$ supersymmetric solutions of the supergravity limit of M-theory consisting of a warped product of $AdS_5$ and a six-dimensional space considered in [ref] .
Supersymmetric non-relativistic geometries in M-theory · Warped $AdS_5$ solutions in M-theory · 0.89
-
The necessary and sufficient conditions for supersymmetric $AdS_5$ solutions in M-theory are given in [ref] (GMSW system).
Quarter-BPS AdS5 solutions in M-theory with a T2 bundle over a Riemann surface · Supersymmetric $AdS_5$ systems in M-theory · 0.83
-
Before matching the previous solution within the classification in [ref] , let us briefly review the most general $= 1$ eleven dimensional solutions with an $AdS_5$ factor found in that paper.
The $AdS_5$ non-Abelian T-dual of Klebanov-Witten as a $\mathcal{N} = 1$ linear quiver from M5-branes · Review of GMSW · 0.99
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.