Pith. Sign in

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

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 · 9 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-th/0212008 (version 3)
Pith ID4C56LYO4, Pith's permanent record of this paper and its review
CitationJerome P. Gauntlett, Stathis Pakis. "The Geometry of D=11 Killing Spinors." arXiv:hep-th/0212008 (2002). https://pith.science/paper/4C56LYO4
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

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

The paper asks whether every supersymmetric bosonic configuration of eleven-dimensional supergravity — every metric-plus-four-form that admits at least one Killing spinor — can be written down in one uniform way. The authors answer yes, with a split by causal character: the bilinears built from a Killing spinor always produce a Killing vector $K$, and $K$ is either timelike or null, never spacelike. In the timelike case they show the whole geometry is fixed by a ten-dimensional $SU(5)$ structure (a metric, a Kähler form $Omega$ and a $(5,0)$-form $chi$) up to one component of the four-form that the Killing spinor equation simply cannot see. They then prove the converse, so the local form is necessary as well as sufficient, and add the extra equations that turn a supersymmetric geometry into a genuine solution. If correct, this turns 'find all supersymmetric M-theory backgrounds' from an open-ended search into a structured problem with a known answer template.

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

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

  • 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.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 4,378 input tokens, $0.0002 reported.

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

The abstract, sentence by sentence

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

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

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 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 kind of paper the classifier reports this is: theoretical result 0.74 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v3
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

89 later papers cite it

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

Pith read 31 of the 168 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 7 of 12 papers with this label · 4 by the same authors

By the same authors

How the literature uses it

87 arXiv papers cite this in 160 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 · 98 sentences without a confident label

Contests it 1 paper
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
Compares with it 4 papers
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

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.