REVIEW
The Geometry of D=11 Killing Spinors
High Energy Physics - Theory · Submitted 2 Dec 2002 · 33 references
Pith's verdict: The timelike branch is done properly and the converse sufficiency proof is what makes it citable; the null branch is deferred despite the abstract's 'most general' framing.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
Any eleven-dimensional supergravity background that preserves at least one supersymmetry must carry one of two specific geometric structures, and in the timelike case that structure fixes almost the entire metric and four-form up to a small
The reading
What carries the argument
The machinery is a chain of three steps. First, the bilinears of a Killing spinor — a one-form $K$, a two-form $Omega$ and a five-form $Sigma$ — are shown by Fierz rearrangement to satisfy a closed set of algebraic identities and, via the Killing spinor equation, a closed set of exterior-derivative relations such as $dOmega = i_K F$ and $dSigma = i_K {}^*F - Omega wedge F$. Second, these forms are read as the invariant tensors of a $G$-structure, whose intrinsic torsion is organised into the $SU(5)$ modules $W_1$ through $W_5$ defined by decomposing $dOmega$ and $dchi$. Third, a linear map $Theta$ on four-forms, $alpha mapsto alpha - {}^*(Omega wedge alpha)$, is diagonalised on the irreducible pieces of the $mathbf{210}$ of $SO(10)$; its eigenvalue table lets the authors invert the relation between the field strength and the structure, which is how almost all of $F$ gets solved for. The vanishing modules then translate into the single constraint $W_5 = -tfrac{1}{2} dlogDelta$.
Extended reading notes
Core claim
The central claim is a normal-form theorem. Any bosonic geometry of $D=11$ supergravity admitting a Killing spinor has, in a neighbourhood where the associated Killing vector is timelike, the metric $ds^2_{11} = -Delta^2(dt+omega)^2 + Delta^{-1} g_{mn}dx^m dx^n$, where the ten-dimensional base carries an $SU(5)$ structure $(g,Omega,chi)$ whose only restriction is $W_5 = -tfrac{1}{2} dlogDelta$. The four-form is then fixed by the paper's equation (4.22) up to an arbitrary piece $F_{75}$ sitting in the $mathbf{75}$ of $SU(5)$. The authors prove both directions: the spinor forces this form, and this form forces a spinor, with $F_{75}$ dropping out of the Clifford connection entirely. Imposing the Bianchi identity $domega wedge dOmega + dH = 0$ and the four-form equation of motion then gives a full supergravity solution, because the Einstein equations follow from the integrability of the Killing spinor equation. In the null case the structure is instead $(mathrm{Spin}(7) ltimes mathbb{R}^8) times mathbb{R}$, which the paper identifies but explicitly leaves for future work.
Load-bearing premise
The claim that the Killing spinor and its Killing vector are nowhere zero, and therefore that the $SU(5)$ structure is defined everywhere, rests on an analyticity assumption the authors state only in passing: 'Assuming analyticity, we conclude that the spinor vanishes everywhere.'
Editorial extensions
If this is right
- Every supersymmetric $D=11$ background with a timelike Killing spinor can be generated by choosing a ten-dimensional $SU(5)$ structure with exact Lee form and a closed two-form $omega$, rather than by guessing an ansatz.
- Because $F_{75}$ is invisible to the Killing spinor equation, the supersymmetry conditions alone can never fix the full four-form; the Bianchi identity and the four-form equation of motion are what pin it down.
- When the ten-dimensional base is compact and the flux vanishes, the argument forces $dOmega = 0$ and hence $F = 0$, ruling out that corner of the landscape outright.
- The same bilinear identities reproduce, and extend to stationary and null Killing vectors, the generalised calibration conditions previously derived for static membranes and fivebranes.
- Rotating generalisations of the resolved membrane solutions and further Gödel-type backgrounds follow as special cases of the normal form rather than as separate constructions.
Reading between the lines
- If the normal form is exhaustive, the search for new supersymmetric $M$-theory backgrounds becomes a problem in ten-dimensional complex geometry: pick a five-fold with a prescribed exact Lee form, and the eleven-dimensional lift is automatic.
- The undetermined $mathbf{75}$ component is the natural place to look for a counting of flux degrees of freedom: it is the only part of $F$ that supersymmetry does not constrain, so it plausibly controls how many distinct solutions share a given $SU(5)$ structure.
- A useful test of the framework would be to take a known solution with more than one Killing spinor and check that the extra spinors correspond to further reductions of the structure group inside $SU(5)$, which the paper sketches but does not carry out.
- The null case, left open here, is where the classification is most likely to be tested against horizons and plane-wave limits, since those are exactly the regions where the Killing vector is expected to degenerate.
Original abstract
We propose a way to classify all supersymmetric configurations of D=11 supergravity using the G-structures defined by the Killing spinors. We show that the most general bosonic geometries admitting a Killing spinor have at least a local SU(5) or an (Spin(7)\ltimes R^8)x R structure, depending on whether the Killing vector constructed from the Killing spinor is timelike or null, respectively. In the former case we determine what kind of local SU(5) structure is present and show that almost all of the form of the geometry is determined by the structure. We also deduce what further conditions must be imposed in order that the equations of motion are satisfied. We illustrate the formalism with some known solutions and also present some new solutions including a rotating generalisation of the resolved membrane solutions and generalisations of the recently constructed D=11 Godel solution.
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 propose a way to classify all supersymmetric configurations of D=11 supergravity using the G-structures defined by the Killing spinors. We show that the most general bosonic geometries admitting a Killing spinor have at least a local SU(5) or an (Spin(7)\ltimes R^8)x R structure, depending on whether the Killing vector constructed from the Killing spinor is timelike or null, respectively. In the former case we determine what kind of local SU(5) structure is present and show that almost all of the form of the geometry is determined by the structure. We also deduce what further conditions must be imposed in order that the equations of motion are satisfied. We illustrate the formalism with some known solutions and also present some new solutions including a rotating generalisation of the resolved membrane solutions and generalisations of the recently constructed D=11 Godel solution.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We propose a way to classify all supersymmetric configurations of D=11 supergravity using the G-structures defined by the Killing spinors. | contribution 0.88 | 0.88 | 0.21 | hedged possibility 0.46 |
| s1 | We show that the most general bosonic geometries admitting a Killing spinor have at least a local SU(5) or an (Spin(7)\ltimes R^8)x R structure, depending on whether the Killing vector constructed from the Killing spinor is timelike or null, respectively. | result 0.99 | 0.93 | 0.73 | asserted 1.00 |
| s2 | In the former case we determine what kind of local SU(5) structure is present and show that almost all of the form of the geometry is determined by the structure. | result 0.90 | 0.95 | 0.14 | asserted 0.99 |
| s3 | We also deduce what further conditions must be imposed in order that the equations of motion are satisfied. | result 0.59 | 0.95 | 0.06 | asserted 1.00 |
| s4 | We illustrate the formalism with some known solutions and also present some new solutions including a rotating generalisation of the resolved membrane solutions and generalisations of the recently constructed D=11 Godel solution. | contribution 0.80 | 0.94 | 0.06 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v3
- 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
89 later papers cite it
3 later papers by other authors are listed below: 3 used its method or tool. 4 more papers by the same authors are listed: 4 used its method or tool.
Uses its method or tool 7 of 12 papers with this label · 4 by the same authors
-
Used this paper to reduce the 11d supersymmetry conditions into differential conditions on a 10d base space.
The Near-Horizon Geometry of Supersymmetric Rotating AdS$_4$ Black Holes in M-theory (2020) · 0.98 · paraphrased: the licence does not allow quoting
-
Solved the Killing spinor equations, the 4-form Bianchi identity, and the 4-form equations of motion following this paper's conventions.
Aspects of AdS$_2$ classification in M-theory: Solutions with mesonic and baryonic charges (2019) · 0.99 · paraphrased: the licence does not allow quoting
-
Used a standard analysis, citing this paper, to write the integrability equation.
The Supersymmetry of Higher-Derivative Supergravity in AdS$_4$ Holography (2021) · 0.92 · paraphrased: the licence does not allow quoting
By the same authors
-
Constructed bosonic solutions of D=11 supergravity using this paper's conventions.
Supersymmetric quantum criticality supported by baryonic charges (2012) (same authors) · 0.95 · paraphrased: the licence does not allow quoting
-
Demanded that its solution be a supersymmetric solution of D=11 supergravity with a time-like Killing spinor by requiring an SU(5) structure satisfying the conditions given in this paper.
Lifshitz Solutions of D=10 and D=11 supergravity (2010) (same authors) · 1.00 · paraphrased: the licence does not allow quoting
-
Followed an argument of this paper.
Geometries with Killing Spinors and Supersymmetric AdS Solutions (2007) (same authors) · 0.99 · paraphrased: the licence does not allow quoting
-
Turned to the D=11 Killing spinor equation as given in this paper and decomposed the D=11 Clifford algebra.
Accelerating Black Holes and Spinning Spindles (2020) (same authors) · 0.82 · paraphrased: the licence does not allow quoting
How the literature uses it
87 arXiv papers cite this in 160 sentences
Papers citing it · 98 sentences without a confident label
Contests it 1 paper
-
Equation [ref] corrects equation (2.14) of [ref] and equation (B.6) of [ref] .
On the algebraic structure of Killing superalgebras · The algebraic and differential relations · contest 0.83
Builds on it 2 papers
-
We derive these by imposing an AdS$_3$ factor on the general geometric constraints that any $𝒩=1$ solution in $d=11$ should obey presented in [ref] .
All $\mathcal{N}=(8,0)$ AdS$_3$ solutions in 10 and 11 dimensions · Geometric supersymmetry conditions for AdS$_3×$M$_8$ · 0.86
-
From this data, building on earlier ideas of Calabi and Eckmann [ref] , Goldstein and Prokushkin [ref] constructed a toric fibration $π:X→Y$, equipped with a $(1,0)$-form $θ$ on $X$ satisfying $∂θ=0$, $∂̅θ=π^*(ω_1+iω_2)$.
Geometric Partial Differential Equations from Unified String Theories · The Anomaly flow and the Fu-Yau solution of the Hull-Strominger system · 0.82
Uses its method or tool 12 papers
-
We will determine these conditions by using the results in [ref] which classified all 11d supergravity backgrounds preserving supersymmetry and admitting a timelike Killing vector.
The Near-Horizon Geometry of Supersymmetric Rotating AdS$_4$ Black Holes in M-theory · Setup · 0.87
-
However, a more efficient approach is build on an existing geometric classification, namely that of the geometry following from a single arbitrary Killing spinor in 11 dimensions [ref] .
Aspects of AdS$_2$ classification in M-theory: Solutions with mesonic and baryonic charges · Supersymmetric AdS$_2$ · 0.93
-
The relevant conditions that need[In the language of [ref] note that these imply, in particular, that $W_4=3dlogΔ$ and $W_5=-12dlogΔ$.] to be imposed are [ref] [equation] The first equation implies that $W=W_1+i W_2$ is primitive and the second one implies that its type $(0,2)$ component is missing.
Lifshitz Solutions of D=10 and D=11 supergravity · Checking supersymmetry for Lif$_4$($z=2$) solutions in $D=11$ · 0.95
Compares with it 4 papers
-
The 10d base admits a canonical SU$(5)$ structure which we denote by $(j,ω)$[In comparison to [ref] one should identify $(a,^2ϕj,^5ϕω,^5ϕ[ω])_here ↔(ω, Ω, θ, χ)_there$.
The Near-Horizon Geometry of Supersymmetric Rotating AdS$_4$ Black Holes in M-theory · Timelike structures in 11d supergravity · 0.97
-
Our four-form flux, $F_(4)$, is normalized such that $F_(4)= - 12 G_(4)$, where $G_(4)$ is the flux in [ref] .
Supergravity Instabilities of Non-Supersymmetric Quantum Critical Points · A brief outline · 0.81
-
We note that some of our identities differ in sign from those in [ref] and [ref] ; this is due to our conventions on the metric, which is “mostly minus”, and Clifford algebras.
On the algebraic structure of Killing superalgebras · The algebraic and differential relations · 0.96
Cites it as support 3 papers
-
Indeed, as shown in [ref] , the field equations are precisely the vanishing of the gamma-trace of the curvature of $D$.
Spencer cohomology and eleven-dimensional supergravity · Infinitesimal deformations of g · 1.00
-
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
-
This has been proven for many supergravity theories coupled to matter, and, in particular, for $M$-theory (see, for example, [ref] ).
Lectures on Microstate Geometries · Some general observations about the supersymmetric solution · 0.96
Cites it as background 32 papers
-
In [ref] the geometry that follows from a single Majorana Killing spinor $ϵ$ in M-theory is classified.
Aspects of AdS$_2$ classification in M-theory: Solutions with mesonic and baryonic charges · Review of the Geometry of 11 dimensional Killing spinors · 0.94
-
We begin this section by reviewing the conditions for a supersymmetric geometry in 11d supergravity to admit a timelike Killing vector following [ref] .
The Near-Horizon Geometry of Supersymmetric Rotating AdS$_4$ Black Holes in M-theory · Setup · 0.84
-
At present there exist a classification for $N=32$ [ref] , non-existence results for $N=31$ [ref] and $N=30$ [ref] , a structure result for $N=1$ [ref] , and a huge zoo of solutions for other values of $N$, but no claim of classification.
Spencer cohomology and eleven-dimensional supergravity · Introduction · 0.85
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.