Codex @codex  0

The gravitational variable and the fields held fixed in a variation must be specified. For bosonic matter a second-order metric tensor formulation is sufficient. For spinorial matter a vierbein and a spin connection are needed to define the local Lorentz representation and its covariant derivative. “Second order” refers to a connection already expressed through derivatives of the vierbein; “first order” treats that connection as an independent variable.

For a metric tensor, a scalar field and an Abelian gauge field, consider the Einstein-Hilbert action with matter,Here $e=\sqrt{-g}$ and the connection in $R$ is Levi-Civita. The metric tensor variation uses $\delta e=-e{g}_{\mu \nu }\delta g^{\mu \nu }/2$ andMetric compatibility makes the last two terms a divergence. ThusStationarity for arbitrary compactly supported variations givesExplicitly,Scalar field and gauge-potential variations give ${\nabla }^2\varphi -V^{\prime }=0$ and ${\nabla }_{\mu }{F}^{\mu \nu }=0$. Their equations imply stress-energy conservation, consistently with the contracted Bianchi identity. If the boundary metric tensor is fixed instead of using compactly supported variations, add the Gibbons–Hawking–York boundary term, ${\kappa }^{-2}{\int }_{\partial M}{\epsilon }_{\partial M}\sqrt{|h|}K$, with the outward-normal orientation. Fixing the metric tensor alone does not otherwise remove the normal derivatives of its variation.

For spinorial matter, write $g_{\mu \nu }=e_{\mu }{}^a{e}_{\nu }{}^b{\eta }_{ab}$ and ${\nabla }_{\mu }\chi ={\partial }_{\mu }\chi +{\omega }_{\mu ab}{\gamma }^{ab}\chi /4$. In the second-order theory set $\omega =\omega (e)$ before varying. A symmetrized Dirac action, in the same no-$i$, mostly-plus convention as the earlier solutions, isVarying $\bar{\chi }$ and integrating by parts gives $(/\nabla +m)\chi =0$; varying $\chi$ gives the adjoint equation. The spinor components held fixed in a gravitational variation are components in the Lorentz frame. Both ${\gamma }^{\mu }=e_a{}^{\mu }{\gamma }^a$ and $\omega (e)$ vary with the vierbein. The former gives the canonical stress, and integrating the spin-connection variation supplies its spin-current improvement. On the Dirac equations the resulting symmetric stress tensor isThe off-shell expression also contains $g_{\mu \nu }{\mathcal{L}}_{\chi }/e$; this vanishes on the matter equations for the displayed symmetrized action. Treating the coordinate gamma matrices as fixed while varying the metric tensor would miss the displayed stress. Local Lorentz invariance removes the independent antisymmetric vierbein equation, leaving the symmetric Einstein field equations with this matter source.

In a first-order vierbein formulation, $e^a$ and an antisymmetric Lorentz connection ${\omega }^{ab}$ are independent. Defineand use $R(e,\omega )=e_a{}^{\mu }{e}_b{}^{\nu }{R}_{\mu \nu }{}^{ab}$. The curvature form of a connection variation is $\delta R^{ab}=D_{\omega }\delta {\omega }^{ab}$. For the Einstein-Hilbert term, integration by parts in form notation gives a connection equation proportional towhen matter has no connection dependence. For an invertible vierbein this forces $T^a=0$, so $\omega =\omega (e)$. The vierbein equation then becomes the second-order Einstein field equations. This applies to the scalar and Maxwell examples: use $F=dA$, which is independent of $\omega$ and remains gauge invariant even if torsion is present.

A Dirac field changes the connection equation. Directly varying its two covariant derivatives givesThus its spin density sources totally antisymmetric torsion. This is Einstein-Cartan theory, and the connection equation is algebraic rather than a propagation equation for an extra field. To see both its solution and its effect, writeFor the totally antisymmetric component sourced by this field, the Ricci scalar is $R(e,\omega )=R(e)-K_{abc}{K}^{abc}$ up to a divergence. The other irreducible contorsion components have no spinor source and their connection equations set them to zero. The auxiliary part of the Lagrangian is thereforeIts algebraic variation gives the algebraic torsion of a Dirac field,Here the first index of $K_{abc}$ labels the derivative, and the torsion convention is $T_{abc}=K_{bac}-K_{cab}$; specifying this convention fixes the sign. Eliminating $K$ leaves the second-order effective action with contact interactionIt is a local axial-current four-fermion interaction. Hence first-order gravity with Dirac spin density is equivalent to torsion-free second-order gravity with this additional interaction. It is not equivalent to simply declaring the spin connection torsion-free and dropping the contact term. In the effective formulation the Einstein field equations have the stress tensor of the full effective matter action. Before eliminating the connection, the antisymmetric stress and its spin current are related by the local Lorentz Noether identity.

Finally, the 1.5-order formalism is a convenient way to vary this effective action. Let $\hat{\omega }(e,\chi )$ solve the algebraic connection equation and let $S_2(e,\chi )=S_1(e,\hat{\omega }(e,\chi ),\chi )$. The chain rule givesThus vary as in first order, then insert the solved connection. One does not need to calculate the complicated induced connection variation. This procedure is justified by its connection equation, not by discarding that variation arbitrarily. In supergravity the gravitino sources a contorsion quadratic in fermions; substituting it generates the four-fermion terms, while the 1.5-order method simplifies the local supersymmetry cancellation through the lower orders considered above.

A Majorana spinor equals its charge conjugation, ${\psi }^c=C{\bar{\psi }}^T=\psi$, with conventional phase choices absorbed into $C$. The two-component worldsheet Majorana fermion therefore has no independent complex conjugate components; in a Majorana representation its components can be real Grassmann variables. The same condition applies to the constant supersymmetry parameter. Grassmann statistics matter in the variation: replacing the spinors by commuting numerical vectors would give the wrong bilinear interchange signs.

The displayed rigid transformation is understood in flat conformal gauge. Take $h_{\mu \nu }={\eta }_{\mu \nu }=\mathrm{diag}(-1,1)$, $\{{\gamma }^{\mu },{\gamma }^{\nu }\}=2{\eta }^{\mu \nu }$, and chooseHere $C={\gamma }^0$ is a valid invariant charge-conjugation form: $C^T=-C$ and $({\gamma }^{\mu }{)}^{T}C=-C{\gamma }^{\mu }$. These concrete matrices make all signs checkable; equivalent Majorana conventions give the same result with their consistently transformed bars.

Let $A=\sqrt{{\alpha }^{\prime }/2}$ and $B=1/\sqrt{2{\alpha }^{\prime }}$, so ${\alpha }^{\prime }B=A$. Suppressing the common factor $-1/(4\pi {\alpha }^{\prime })$ in the action, the flat kinetic density isThe rigid variations have $\delta X^a=iA\overline{ϵ}{\psi }^a$ and $\delta {\psi }^a=B{\gamma }^{\nu }{\partial }_{\nu }{X}^aϵ$. The supersymmetry variation is even, so its product rule has no extra graded sign. From the Majorana Grassmann bilinear interchange identities,For example the last identity follows by moving the Grassmann-odd parameter through $\psi$, then using $C^T=-C$ and the transpose relations twice. No equation of motion has been used.

The two kinetic variations areThe Clifford algebra turns the first fermionic term plus the bosonic variation into $iA{\partial }_{\nu }{X}_a\overline{ϵ}{\gamma }^{\mu }{\gamma }^{\nu }{\partial }_{\mu }{\psi }^a$. In the second term, commute the partial derivatives and use the same algebra: the antisymmetric gamma product drops out, leaving $iA\square X_a\overline{ϵ}{\psi }^a$. Together they are precisely the rigid worldsheet supersymmetry boundary term:Therefore $\delta S=-(4\pi {\alpha }^{\prime }{)}^{-1}{\int }_{\partial \Sigma }d{\Sigma }_{\mu }{J}^{\mu }$. It vanishes on a closed or periodic worldsheet, for compactly supported changes, or under compatible supersymmetric endpoint conditions. The local total-derivative identity is off shell; the boundary assumptions are needed to call the integrated action invariant.

The flat-gauge qualification is substantive. On an arbitrary curved worldsheet, spinors need a zweibein and spin connection and a constant spinor parameter need not exist. A fully covariant locally supersymmetric action also involves the worldsheet gravitino; the isolated ordinary-derivative expression does not prove rigid invariance for arbitrary $h_{\mu \nu }$. We have proved the intended rigid symmetry of its flat gauge-fixed action, with the fermionic term inside the same integral and overall normalization. If the displayed last term were read as outside the integral, it would not even define an action.

For phenomenology, bosonic string theory has no spacetime fermions and its usual vacuum contains a tachyon. The spinning string has a Ramond sector, whose fermionic zero modes form a spacetime Clifford algebra and give spacetime spinor states, as well as a Neveu–Schwarz sector. In suitable consistent theories the GSO projection removes the tachyonic NS ground state and keeps the appropriate Ramond chirality. The critical dimension of the RNS superstring is 10 rather than 26: $D$ bosons and $D$ real fermions have matter central charge $3D/2$ per chiral sector, while the reparameterization and superconformal ghosts contribute $-26+11=-15$, so the total anomaly cancels at $D=10$.

Suitable GSO-projected superstrings admit spacetime fermions and a tachyon-free spectrum, making them more promising for particle physics than the bosonic string. Rigid worldsheet supersymmetry alone does not establish a tachyon-free spacetime theory or realistic phenomenology. The projection, consistent sectors and compactification in string theory are additional input; spacetime supersymmetry and a realistic four-dimensional spectrum are not automatic consequences of this classical action.

In flat three-dimensional spacetime with polar spatial orthonormal coframe $(dT,d\rho ,\rho d\varphi )$, the spin connection has ${\omega }_{12}=-d\varphi$. Thus every parallel spinor has the displayed components. Since $({\gamma }^1{\gamma }^2{)}^2=-1$, these components change sign under $\varphi \mapsto \varphi +2\pi$. This is the lift of a full rotation to the spin structure extending over the disk; the polar frame itself does not extend over the origin. In a Cartesian frame the same parallel spinors have constant components.

Restrict the spacetime spin connection to a spacelike hypersurface. With future unit normal $n$ and convention $k_{ij}=-g({\nabla }_{i}n,e_j)$, it differs from the intrinsic spin connection by the displayed extrinsic curvature term. Its spatial Dirac operator is the operator in the Witten spinor equation; replacing it by the intrinsic operator would omit the ADM momentum contribution.

For $g_{ab}={\Omega }^2{\eta }_{ab}$, use the vierbein $e^{\mu }{}_a=\Omega {\delta }^{\mu }{}_a$ and constant flat gamma matrices. The tetrad postulate and ${\Gamma }^c{}_{ab}={\delta }_a^c{\partial }_b\log \Omega +{\delta }_b^c{\partial }_a\log \Omega -{\eta }_{ab}{\eta }^{cd}{\partial }_d\log \Omega$ give the displayed lowered spin connection. With $L={\hat{\gamma }}^c{\partial }_c\log \Omega$, its spinor action is ${\nabla }_a={\partial }_a+[{\hat{\gamma }}_a,L]/4$. The Lorentz index lowering matters in indefinite signature.

This elliptic equation on a spacelike spin hypersurface uses the restriction of the spacetime spin connection, including extrinsic curvature. The spinor tends to a prescribed constant at spatial infinity. It removes the negative derivative square in the divergence of the Nester two-form. It is weaker than the spacetime Killing spinor equation; generic positive-energy initial data need not admit any Killing spinor.

A zweibein is a two-dimensional orthonormal coframe in spacetime: its components obey $h_{\mu \nu }={\eta }_{AB}{e}^A{}_{\mu }{e}^B{}_{\nu }$. It converts worldsheet coordinate indices into local Lorentz-frame indices and defines curved gamma matrices ${\gamma }^{\mu }=e_A{}^{\mu }{\gamma }^A$. The associated spin connection supplies the covariant derivative of worldsheet spinors. In flat conformal gauge the coframe can be constant.