For constant sectional curvature , spin curvature is . The added Clifford term in has the opposite commutator, making flat. On a simply connected region, parallel transport of any initial spinor is path independent and constructs solutions of . Thus Anti-de Sitter spacetime and its universal cover admit the associated Killing spinors locally and, with appropriate global spin data, globally.
Kappa symmetry projector 2026-10-14
With , the two complementary linear projections select its two eigenspaces. A bosonic brane preserves a background Killing spinor precisely when its target-space supersymmetry variation can be compensated by kappa symmetry, giving . This condition must hold at every worldvolume point; several branes require a common solution. The full superspace construction is described in Superspace Geometry for Supermembrane Backgrounds.
Killing spinor 2026-10-14
A Killing spinor is a nonzero supersymmetry parameter that makes the fermionic transformations vanish on a bosonic background. In undeformed minimal four-dimensional supergravity it is parallel, ; in its cosmological deformation the equation uses . Its commuting Dirac current is a Killing vector, since the spinor equation makes the symmetric covariant derivative of the current vanish. General supergravity theories also impose the vanishing of matter-fermion transformations.
The transverse harmonic function solves the field equations away from membrane sources. Positive centres contribute in eight dimensions. Its Killing spinors are with one oriented membrane projector, giving sixteen supersymmetries. The three-form's sign and membrane orientation must be chosen together.
With the membrane Freund-Rubin compactification flux and the required radius ratio, the Killing spinor equation separates into AdS4 and sphere equations with correlated signs. The respective real solution dimensions are four and eight, giving thirty-two. The associated Killing-spinor connections have vanishing curvature for these choices, so arbitrary initial spinor data generate solutions locally; standard global spin structures give the usual maximally supersymmetric background.
// Target: geometry-and-topology.bigb
A D-brane is a localized RR-charged source whose long-distance fields solve supergravity. The extremal charged -brane solutions carry the same RR charges, brane tension and preserved supersymmetry as the open-string construction. For the standard asymptotically flat cases , the D-brane supergravity solution in the string frame is
The function is a positive harmonic function away from the source, in transverse dimensions. In an electric gauge, , with its orientation chosen to match the source. Magnetic branes use the dual flux; for the D3-brane, the five-form includes both electric and magnetic pieces and is self-dual. Killing spinors obey one brane projector, leaving sixteen supersymmetries. Aligned multicenter harmonic functions describe several branes with no static binding force.
To check this identification directly, insert an equally oriented static probe into the solution. Put , so the asymptotic tension is . The induced-volume factor is ; combined with , its DBI action density is . Its Wess-Zumino brane coupling contributes . Hence the total static Lagrangian density is the constant , independently of position. This gives the parallel D-brane no-force identity in the spacetime description.
The supergravity background is the back-reacted, coarse long-distance description, while the boundary-condition description exposes the light open-string degrees of freedom. Controlled use of supergravity requires curvature small in string units and suitable local coupling. Singular cores and the special codimension-two or domain-wall cases are not automatically resolved by the elementary harmonic ansatz.
On a bosonic configuration, the target-space supersymmetry transformation changes the fermionic coordinate by , where is a background Killing spinor. A kappa symmetry convention is
The configuration preserves a supersymmetry if this change can be cancelled by a local kappa symmetry transformation. Multiplying by proves necessity of
Conversely, if this holds, choosing cancels the variation. Reversing the brane orientation reverses the corresponding kappa symmetry projector.
The preserved parameters must solve this equation everywhere on the brane and satisfy the background Killing spinor equations. Thus the fraction of all thirty-two eleven-dimensional supersymmetries is
One traceless constant kappa symmetry projector in flat space preserves sixteen parameters. Further independent commuting projectors often halve that number again, but a position-dependent projector requires a common global solution; its pointwise rank alone does not determine the answer. To quote a fraction of the background supersymmetry, divide instead by the number of its Killing spinors.
For the supermembrane, let be the embedding in eleven-dimensional superspace. Define the pulled-back supervielbein, the induced worldvolume metric, and induced gamma matrices by
For a chosen orientation,
The Clifford algebra shows that ; in an orthonormal membrane frame this reduces to . Its trace is zero, so its two eigenspaces each have real dimension sixteen.
The full supermembrane action in an on-shell eleven-dimensional supergravity superspace is
Here is the super-three-form and denotes the pullback of a differential form. Its bosonic restriction is the ordinary supergravity potential, but its fermionic components are retained in this action. The magnitude of its Wess-Zumino brane coupling equals the membrane tension; the sign fixes the orientation and the matching sign of . In flat superspace one may take , with the super-three-form chosen to obey the standard supergravity superspace constraints. Thus this is a fermionic, kappa symmetry-invariant action, rather than merely its bosonic truncation.
To construct an ordinary calibration, first take a flux-free static background with a unit covariantly constant spinor . In a compatible orientation and mostly-plus Clifford algebra, the membrane spinor calibration form is
For an oriented orthonormal spatial pair , . The matrix on the right is the static membrane , a Hermitian involution, so this value is at most one, with equality precisely when . Parallel transport of the spinor and gamma matrices gives , hence .
A calibration is a closed differential form whose value on each oriented unit tangent plane is at most one; its comass is at most one. A calibrated submanifold saturates the bound, . For any homologous competitor with the same boundary, Stokes theorem gives
This proves that calibration implies volume minimization, and in particular that the membrane's spatial surface is a minimal surface. The closure condition is indispensable. A general flux-coupled Killing spinor need not produce a closed ordinary calibration; the corresponding generalized calibration bounds the full brane energy including its potential coupling. The flux-free construction above is the ordinary volume-minimizing case.
For the flux-coupled membrane, the standard spinor bilinears give a Killing vector and a two-form satisfying , in matching supergravity conventions. In a stationary gauge , Cartan's magic formula gives
This closed charge form provides the membrane generalized calibration; its potential term is what changes the volume bound into an energy bound.
For bosonic embedding coordinates , the supermembrane action truncates to
The first term is its induced worldvolume volume and the second is its Wess-Zumino brane coupling. A membrane of the opposite orientation reverses .
The M2-brane supergravity solution admits the harmonic function
with arbitrary centre positions in eight transverse dimensions. Away from the sources, the Laplacian of each term is zero. The unrestricted positions describe static separated membranes carrying aligned charges, so their separations have no potential. Physically, their gravitational attraction is cancelled by their four-form charge repulsion. This is the M2-brane probe no-force identity, which can also be checked directly without relying only on the existence of the multicentre solution.
Keep the field-strength ordering printed in the paper and use . If , a gauge vanishing at infinity is
The last equality uses the sign acquired by moving a one-form past a three-form. For this convention the parallel probe has . In static gauge, at a fixed transverse position, its induced worldvolume metric is , hence and
Using the opposite convention for , and orientation together yields the same cancellation. Changing only the probe charge produces an anti-membrane, with nonconstant potential . Thus the orientation cannot be dropped from the argument.
The cancellation also survives an expansion for slow transverse motion. With ,
There is no static potential and no position dependence in the leading kinetic coefficient.
Near an isolated positive membrane charge, write with and . The regular membrane near-horizon limit removes the asymptotically flat constant and gives
Set . Then
Thus the Anti-de Sitter spacetime radius is half the sphere radius. In orthonormal units the four-form has magnitude along the AdS volume form, the Freund-Rubin compactification flux.
The full asymptotically flat solution has spinors subject to one oriented membrane projector, leaving sixteen real parameters. In the throat, the Killing spinor equation separates into the standard AdS and sphere equations with correlated signs fixed by the flux. There are four real AdS solutions and eight real solutions for the required signs, so
This is maximal supersymmetry of AdS4 times S7: the additional sixteen spinors need not extend through the asymptotically flat region. A multicentre geometry therefore remains globally sixteen-supersymmetric even though each regular local throat has this enhancement. The classical supergravity description is controlled when is large compared with the eleven-dimensional Planck length; singular harmonic multipoles not representing regular positive membrane centres do not automatically have the same throat.
Use static gauge for a D3-brane in flat space and let be one physical transverse displacement. Put and , so the fields entering the DBI action are dimensionless. With no magnetic field, writing gives
Introduce the dimensionless electric displacement in DBI theory, . Its Hamiltonian density obeys the DBI Hamiltonian bound for an electric spike:
The electric bound is saturated when . On that locus the constitutive relation also gives . With the Gauss law constraint in gauge theory away from charges, the electric BPS equations for a one-scalar D3-brane are therefore
The magnetic version is , . More generally, one constant charge angle gives the aligned dyonic branch , with harmonic. A single aligned electric, magnetic or dyonic spike preserves eight of the D3 vacuum's sixteen supersymmetry generators. Thus “one-half BPS” here means one-half of the linearly realized worldvolume supersymmetry; the string–D3 configuration preserves one-quarter of the thirty-two spacetime supersymmetries.
The electric BIon is the single-centre harmonic solution
The sign fixes its electric charge and spike orientation. The scalar is an actual transverse coordinate, so as describes a long narrow spike emerging from an asymptotically planar D3-brane. It carries fundamental strings ending on the brane. A magnetic BIon similarly represents D1-branes, and an aligned dyonic BIon represents a (p,q) string.
The string-tension interpretation of BIon energy follows explicitly. With , the energy above the planar-brane vacuum outside a small radius is
Its divergence is the energy of a semi-infinite string, with the correct finite tension. For a magnetic spike, instead, and the same calculation gives the D1-brane tension . The solution solves the full nonlinear DBI action, not just its weak-field expansion.
Figure 1.
BIon geometry: a D3-brane develops a narrow spike carrying string charge
. Details.
The validity of the abelian BIon approximation concerns its derivative expansion, string loops and gravitational backreaction. Large field strengths are included by the DBI action, but rapidly varying field strengths and embedding curvature require corrections. Far outside the singular core these corrections can be small. The transition region has ; an electric throat can be parametrically controlled with while keeping gravitational backreaction small with . For a magnetic throat the corresponding conditions are and . The weak-coupling and large-charge windows allow both requirements. The ideal tip is not uniformly controlled by the single abelian effective action, so one should not infer exact microscopic core physics solely from its formal singularity.
Less supersymmetry survives when independent, compatible geometric or charge projectors must hold simultaneously. A useful purely geometric family is a D3-brane whose spatial worldvolume is a special Lagrangian submanifold of . In a graph , the conditions are
The first condition makes symmetric, so locally . Pulling back gives . Hence the phase-zero special Lagrangian graph equation is
where is the sum of the pairwise products of the three Hessian eigenvalues. The positive real branch fixes the orientation. These curved D3 geometries minimize volume by their calibration and generically preserve four spacetime supersymmetries, one-quarter of the D3 worldvolume supersymmetry. Special flat graphs can preserve more.
The generic count follows from the common tangent-plane projectors. With complex coordinate pairs , the phase-preserving rotations require and . Multiplication by turns these into two independent commuting involution conditions with eigenvalue . Each halves the sixteen-dimensional planar D3 eigenspace, leaving . This is an intersection of compatible kappa symmetry projectors, rather than a count based on the rank of a single projector at one point.
Charge-carrying examples include compatible networks of differently oriented (p,q) strings ending on D3-branes. At each string junction, charge vectors add to zero and tension vectors balance; their directions and charge phases must also give common kappa symmetry projectors. They can impose further independent conditions beyond the planar D3 projector. Geometrically, several transverse scalar profiles describe the corresponding spikes and intersections. Merely replacing one electric spike by an aligned dyonic spike does not lower its preserved fraction; additional independent conditions are what reduce the common Killing spinor space.
On a bosonic background, a Killing spinor is a nonzero spinor parameter that makes all fermionic supersymmetry variations vanish. It identifies an unbroken supersymmetry of the background; the number of independent solutions counts preserved supercharges. In simple ungauged minimal four-dimensional supergravity, with the gravitino set to zero, its equation is and the bosonic field equations are . In theories with additional fields or a cosmological deformation, the Killing-spinor equation instead uses the corresponding modified connection.
Use commuting spinors to form ordinary geometric bilinears, and orient the Dirac current to the future with in mostly-plus signature. Since the spinor and gamma matrices are parallel,
Thus is actually parallel, and in particular is a Killing vector field. In a local orthonormal frame,
For every spatial unit vector , is Hermitian and squares to one. Its eigenvalues are , so . Taking along the spatial current gives
A nonzero parallel spinor cannot vanish at an isolated point, so this causal Dirac current is nonzero everywhere on a connected solution. Its squared norm is constant: it cannot alternate between timelike and null regions.
If is timelike, normalize its constant norm. Its parallel dual one-form is closed, and its orthogonal distribution is integrable. Adapted local coordinates put the metric in the product form
The time independence follows because is Killing, and the unit lapse and zero cross terms follow from parallelism. The vacuum equations give . In three dimensions the Riemann tensor is completely determined by the Ricci tensor and its scalar contraction, so is flat. Therefore
Constant spinors in its flat frame provide all local Killing spinors. Global identifications are possible only when they preserve a compatible spin structure and the required spinors.
If is null, its parallelism first gives a Brinkmann coordinate system with . The parallel-spinor condition further restricts the local spin holonomy to the stabilizer of that spinor. In four dimensions, for a nonzero Weyl component represented by , its stabilizer in is the upper-triangular group , : the two real null rotations, with no transverse rotation. Consequently the transverse frame is flat and the allowed curvature is of the wave type . Using the coordinate freedom to remove transverse cross terms gives the local plane-fronted gravitational wave form
Here and the only potentially nonzero Ricci component is , so the last equation is exactly the vacuum equation. Conversely, in the coframe , , , the nonzero spin-connection matrices are proportional to . Constant spinors with are therefore parallel. Every harmonic transverse profile, with arbitrary dependence, gives such a supersymmetric vacuum wave; the flat profile is included. This verifies both the form and sufficiency in the parallel-spinor classification of vacuum four-geometries.
There is a reality-condition subtlety in interpreting the branches. A single commuting four-dimensional Majorana spinor has a null current of a commuting Majorana spinor: its two-component representation gives . A timelike current can instead come from a Dirac Killing spinor or a sum of independent real-spinor currents. The conditional timelike classification above remains valid, but does not assert a generic timelike current for a single real Majorana parameter.
For the final question use constant sectional curvature , so . The spinor curvature identity gives
Define the Anti-de Sitter Killing-spinor connection . Since and the connection is torsion-free,
Thus the modified connection is flat. On a simply connected region, transport any initial spinor with this connection; flatness makes the result path independent and supplies actual nonzero solutions, not merely a necessary integrability condition. Hence
has a full local space of solutions on Anti-de Sitter spacetime, and globally on its universal cover. Global quotients require compatible spinor monodromy. These are Killing spinors of the cosmological deformation, not parallel-spinor vacua of the undeformed zero-cosmological-constant theory.
A Killing spinor is a nonzero spinor parameter for which the fermionic supersymmetry variations vanish on a bosonic background. In minimal four-dimensional supergravity without a cosmological term this means
It is an overdetermined equation and expresses an unbroken supersymmetry of the background. In the cosmological deformation the corresponding equation is ; in theories with additional bosonic fields their contributions also enter the fermion variations.
For the undeformed theory the connection preserves both the spinor adjoint and gamma matrices. Consequently the Dirac current
obeys . In particular , so is a Killing vector, and in fact is parallel. For the real cosmological deformation, and instead give , whose symmetric part again vanishes.
The causal property uses an ordinary commuting spinor. Take an orthonormal frame with , , and . Then . Reverse its time orientation and write , so
The matrices are Hermitian and obey . For every spatial unit vector , , whence . Choose along the spatial part of to obtain
A nonzero Killing spinor cannot vanish at an isolated point: its defining connection equation transports its value along every curve. Thus on a connected background this is a nonzero, nowhere-spacelike causal Dirac spinor current. The estimate does not need the Majorana condition, but it does need commuting components; Grassmann bilinears have no such ordinary positivity order.
For the positive energy theorem, take a complete asymptotically flat spacelike hypersurface with a spin structure , with suitable decay, Einstein constraint equations, and matter satisfying the dominant energy condition. Assume there are no inner boundaries, or that any inner-boundary contribution has the required nonnegative sign. The auxiliary commuting spinor approaches an arbitrary constant at spatial infinity. Define the real Nester two-form
Antisymmetry removes second derivatives except through the Riemann curvature tensor. Differentiation and the three-gamma spinor curvature identity used above give
The first term comes from differentiating the two spinor factors. For the second term, replace by half their commutator; its spin-curvature contraction is from each conjugate term. This is the reason the Einstein tensor, and hence the matter energy density, enters the boundary-charge identity.
In an orthonormal frame adapted to the future normal of , put . Since ,
Here is the spacetime spin connection pulled back to , including its extrinsic curvature. Choose the auxiliary spinor to solve the elliptic Witten spinor equation
The standard asymptotic-flatness and completeness hypotheses permit this boundary-value problem; the positivity identity also excludes a decaying homogeneous zero mode. It is this hypersurface equation that removes the negative square. A spacetime Killing spinor is not assumed for a general initial-data set.
Stokes' theorem and now give
The dominant energy condition makes the second integrand nonnegative because and are future causal. Evaluating the two-form with the asymptotic spin connection identifies its surface integral with the ADM energy and momentum:
For example its energy term uses to first order in the asymptotic spatial metric tensor perturbation. With this is exactly the ADM normalization. Since has eigenvalues , positivity for every boundary spinor proves
Killing spinors describe saturation: their spatial derivative term vanishes, and the contracted matter term must also vanish for the corresponding charge to be zero. They characterize preserved supersymmetry rather than being prerequisites for positivity. Under the usual rigidity hypotheses, zero total four-momentum makes the nonnegative integral vanish for a full basis of asymptotic spinors; their parallel extensions force a vanishing Riemann curvature tensor and give the Minkowski vacuum. A single Killing spinor with null current alone does not justify asserting that every component of the total momentum vanishes.
Spinor calibration form 2026-10-14
In a flux-free static supergravity background with a parallel unit Killing spinor, this two-form satisfies the membrane tangent-plane bound because is a Hermitian involution. Its eigenvalues are , so , with equality precisely at the kappa symmetry projector condition. Parallel transport gives and hence . This constructs an ordinary calibration; flux backgrounds instead call for a generalized calibration.
String junction 2026-10-14
At a junction of (p,q) strings, their oriented charge vectors sum to zero. A static junction also balances the tension vectors. Supersymmetry further correlates spatial directions with charge phases so that the arms share kappa symmetry projectors. Additional independent conditions reduce the common Killing spinor space; an aligned dyonic string alone does not reduce its fraction relative to an aligned fundamental string.
// Target: geometry-and-topology.bigb