Skip to content

Local Supersymmetry and Supergravity as Low-Energy EFT

Supergravity is the effective field theory obtained when supersymmetry is local and the graviton and gravitino are dynamical. It is not the same problem as placing a rigid supersymmetric QFT on a nondynamical curved background. The low-energy description is organized by local supersymmetry, diffeomorphisms, local Lorentz symmetry, derivative order, supersymmetry-breaking scales, and the cutoff—without assuming a string compactification or ultraviolet completion.

Required background. Applying EFT Power Counting to Gravity supplies gravitational counting, while Graded Spacetime Symmetry and the Supersymmetry Theorems supplies the rigid algebra.

Helpful background. Rigid Supersymmetry from Nondynamical Supergravity Backgrounds fixes the contrasting background construction, and Loops, Counterterms, and Closure of an EFT Expansion supplies loop closure.

In four-dimensional minimal N=1\mathcal N=1 supergravity, the on-shell gravity multiplet contains the vierbein eμae_\mu{}^a and a Majorana gravitino ψμ\psi_\mu. Its gauge symmetries include diffeomorphisms, local Lorentz transformations, and local supersymmetry. Schematically,

δϵeμa1MPlϵˉγaψμ,δϵψμ=Dμϵ+.\delta_\epsilon e_\mu{}^a \sim \frac{1}{M_{\mathrm{Pl}}}\bar\epsilon\gamma^a\psi_\mu, \qquad \delta_\epsilon\psi_\mu =D_\mu\epsilon+\cdots .

Closure without using equations of motion requires auxiliary fields. In the old-minimal off-shell formulation these are a complex scalar and a real vector; other formulations use different auxiliaries. They are algebraic at two derivatives and do not represent asymptotic particles. Integrating them out must be done consistently across every invariant.

After canonical normalization, the two-derivative action has the schematic site-sign form

L2=MPl22R12ψˉμγμνρDνψρ+Laux+Lm.\mathcal L_2 =-\frac{M_{\mathrm{Pl}}^2}{2}R -\frac12\bar\psi_\mu\gamma^{\mu\nu\rho}D_\nu\psi_\rho +\mathcal L_{\mathrm{aux}}+\mathcal L_{\mathrm m}.

The relative coefficients and auxiliary terms are fixed by local supersymmetry. Gauge fixing now includes the spin-two gauge complex, local Lorentz gauge, and the fermionic local-supersymmetry gauge with its commuting ghost sector. Deser and Zumino’s original construction exhibits the cancellation between Einstein and Rarita–Schwinger variations Deser and Zumino 1976, pp. 335–337.

The structure map inserts supergravity after gravitational power counting because supersymmetry restricts whole operator multiplets rather than changing the need for a cutoff.

Local supersymmetry groups graviton, gravitino, auxiliary, matter, gauge-fixing, and ghost terms into power-counted supergravity invariants

Supergravity EFT counts complete local-supersymmetry invariants and all associated gauge sectors; auxiliary fields enforce off-shell closure but are not automatically propagating states. The map is schematic and not to scale.

First application: two and four derivatives

Section titled “First application: two and four derivatives”

Let EE be the characteristic physical energy, m3/2m_{3/2} the gravitino mass when local supersymmetry is broken, and ΛSUGRA\Lambda_{\mathrm{SUGRA}} the EFT cutoff. A two-derivative amplitude obeys the gravitational count

A2(EMPl)ngF ⁣(m3/2E,EΛSUGRA),\mathcal A_2\sim \left(\frac{E}{M_{\mathrm{Pl}}}\right)^{n_g} F\!\left(\frac{m_{3/2}}E,\frac{E}{\Lambda_{\mathrm{SUGRA}}}\right),

with ngn_g determined by external legs and topology. The leading local corrections are not arbitrary isolated curvature terms; they are supersymmetric completions,

L4=aMPl2ΛSUGRA2[W2]susy+bMPl2ΛSUGRA2[RRˉ]susy+,\mathcal L_4 =\frac{aM_{\mathrm{Pl}}^2}{\Lambda_{\mathrm{SUGRA}}^2} \,[\mathcal W^2]_{\mathrm{susy}} +\frac{bM_{\mathrm{Pl}}^2}{\Lambda_{\mathrm{SUGRA}}^2} \,[\mathcal R\bar{\mathcal R}]_{\mathrm{susy}} +\cdots ,

where aa and bb are dimensionless and the component brackets begin with dimension-four curvature invariants, together with their correlated gravitino, auxiliary, and possibly matter interactions. Let Kcurv\mathcal K_{\mathrm{curv}} denote the largest independent curvature scale sampled in a physical frame. The explicit MPl2/ΛSUGRA2M_{\mathrm{Pl}}^2/\Lambda_{\mathrm{SUGRA}}^2 therefore gives a dimension-four Lagrangian and makes the relative effect

A4A2=O ⁣(E2ΛSUGRA2,KcurvΛSUGRA2).\frac{\mathcal A_4}{\mathcal A_2} =O\!\left(\frac{E^2}{\Lambda_{\mathrm{SUGRA}}^2}, \frac{\mathcal K_{\mathrm{curv}}}{\Lambda_{\mathrm{SUGRA}}^2}\right).

A one-loop supermultiplet contributes a further 1/(16π2)1/(16\pi^2) and its complete state-dependent mass spectrum. Supersymmetric cancellations can remove particular coefficients, but broken multiplet splittings and the regulator must be included before claiming a cancellation. The component and superspace organization, including old- and new-minimal auxiliaries, is given in Freedman and Van Proeyen 2012, chs. 16–18.

If a higher-derivative invariant gives an auxiliary field a formal kinetic term, the extra pole must be compared with ΛSUGRA\Lambda_{\mathrm{SUGRA}}. Below the cutoff the term is inserted perturbatively unless matching establishes a genuine light multiplet. Exact treatment of a finite truncation can manufacture false states just as in nonsupersymmetric gravity EFT.

In rigid curved-space supersymmetry, one freezes a supergravity multiplet to background values that solve generalized Killing-spinor conditions and sends the gravitational coupling out of the dynamical problem. The vierbein, gravitino source, and auxiliaries are not integrated over. They generate no graviton, gravitino, or supergravity-ghost loops.

Promoting those sources to dynamical fields without adding the supergravity action, constraints, gauge fixing, and MPlM_{\mathrm{Pl}} counting invents degrees of freedom and loop diagrams. Conversely, freezing a genuine supergravity field removes physical backreaction. The choice is determined by the theory being approximated, not by notation shared between the two constructions.

The chapter comparison table licenses a supergravity result only after the off-shell formulation, auxiliary prescription, supersymmetry-breaking data, gauge complex, active multiplets, regulator, cutoff, and observable are named. Complete model catalogs and compactification data lie outside this page.

The failure map’s loop-classification branch catches the rigid/dynamical confusion directly.

Treating a rigid nondynamical supersymmetry background as a propagating supergravity multiplet creates false states and loop counting

Rigid curved-background supersymmetry and dynamical supergravity share source fields but differ in integration variables, constraints, ghosts, and Planck-suppressed loops. The map is schematic and not to scale.