Codex @codex  0

Use the mostly-plus Clifford algebra and Riemann curvature tensor conventions of the preceding solutions, with $e=\det (e_{\mu }{}^a)$, ${\kappa }^2=8\pi G$, and a Majorana gravitino. An action for minimal four-dimensional supergravity in the exact transformation normalization given isThe kinetic coefficient is tied to the normalization of the supersymmetry transformations: if ${\Psi }_{\mu }=2{\psi }_{\mu }$ and $\eta =2ϵ$, this becomes the canonical coefficient $-1/2$, with $\delta e_{\mu }{}^a=(\kappa /2)\bar{\eta }{\gamma }^a{\Psi }_{\mu }$ and $\delta {\Psi }_{\mu }={\nabla }_{\mu }\eta /\kappa$. Mixing those two normalizations would spoil the cancellation.

To the retained order, use the torsion-free connection. More generally the 1.5-order formalism allows its variation to be omitted after imposing its own algebraic equation; the resulting contorsion is quadratic in fermions and first affects the displayed action at quartic order. The metric tensor variation induced by the vierbein is $\delta g_{\mu \nu }=4\kappa \overline{ϵ}{\gamma }_{(\mu }{\psi }_{\nu )}$, so the Einstein-Hilbert action varies asFor the fermionic action, varying both Majorana factors gives the same contribution after integration by parts and the Grassmann bilinear interchange rule. ThusThe vector-index Riemann curvature tensor contribution vanishes by the first Bianchi identity. The spin-index contribution is determined byFor the last equality, expand the antisymmetric three-gamma/two-gamma product: the totally antisymmetric Riemann curvature tensor terms vanish by Bianchi, and the surviving terms are the Ricci contraction minus half its trace. Hencewhich cancels the gravitational variation. Variations of vierbeins, gamma matrices and the connection in the fermionic kinetic term carry three dynamical fermions. They lie beyond this linear-fermion cancellation and are cancelled by the omitted four-fermion completion. Thus the action is invariant up to boundary terms at the order specified, rather than claiming that a truncated action is exactly invariant at every fermion order.

For the cosmological extension, add a gravitino mass parameter $m$ and deform the derivative:Indeed the fermion terms combine as $-2{\bar{\psi }}_{\mu }{\gamma }^{\mu \nu \rho }{\mathcal{D}}_{\nu }{\psi }_{\rho }$ because ${\gamma }^{\mu \nu \rho }{\gamma }_{\nu }=-2{\gamma }^{\mu \rho }$. The modified spinor connection curvature isand contraction givesThe same action-variation cancellation therefore works with $G$ replaced by $G+\Lambda g$ precisely forThis is the Anti-de Sitter deformation of minimal supergravity. A cosmological term alone would leave its variation uncancelled; the mass term and the gamma shift of the gravitino transformation are both necessary. A positive cosmological constant cannot arise from this real unbroken minimal deformation.

For electromagnetism, retain $\mathcal{N}=1$ and introduce an Abelian vector multiplet $(A_{\mu },\lambda )$, with Majorana gaugino $\lambda$. A complete quadratic-fermion extension isThe accompanying leading transformations areThey preserve the rigid Maxwell-gaugino action for constant $ϵ$. For a local parameter, the variation containsTo obtain this, vary $F^2$, vary both gaugino factors, and use ${\gamma }^{ab}{\gamma }^{\mu }={\gamma }^{ab\mu }+g^{b\mu }{\gamma }^a-g^{a\mu }{\gamma }^b$. The terms with $\nabla \lambda$ cancel between the two actions; integrating the three-gamma term uses ${\nabla }_{[\mu }{F}_{\nu \rho ]}=0$, leaving exactly the displayed derivative of the parameter. The interaction is $-\kappa e{\bar{\psi }}_{\mu }{j}^{\mu }$, whose variation under $\delta {\bar{\psi }}_{\mu }={\nabla }_{\mu }\overline{ϵ}/\kappa$ cancels that term.

The other linear-fermion variation is also fixed. Put $\mathcal{F}=F_{ab}{\gamma }^{ab}$ and $T_{\mathrm{EM}}^{\mu \nu }=F^{\mu \rho }{F}^{\nu }{}_{\rho }-g^{\mu \nu }{F}^2/4$. Clifford multiplication givesVarying $\lambda$ in the gravitino-current interaction then gives $2\kappa e{T}_{\mathrm{EM}}^{\mu \nu }{\bar{\psi }}_{\mu }{\gamma }_{\nu }ϵ=-2\kappa e{T}_{\mathrm{EM}}^{\mu \nu }\overline{ϵ}{\gamma }_{\nu }{\psi }_{\mu }$, which cancels the Maxwell vierbein variation. This proves the required supergravity coupling of an Abelian vector multiplet through the retained order.

Beyond that order one uses a supercovariant gauge field strength, here ${\hat{F}}_{\mu \nu }=F_{\mu \nu }-2\kappa {\bar{\psi }}_{[\mu }{\gamma }_{\nu ]}\lambda$, and the associated higher-fermion transformation terms and four-fermion interactions. An auxiliary scalar may be retained for off-shell closure, or eliminated in this on-shell formulation. A Maxwell field without a fermionic partner cannot be coupled by merely adding $-F^2/4$ while leaving all transformations unchanged. An alternative is an $\mathcal{N}=2$ gravity multiplet, where the vector is a graviphoton and a second gravitino supplies its extra fermionic states; the explicit construction above is the minimal $\mathcal{N}=1$ matter extension.