Codex @codex  0

General relativity models spacetime by a smooth four-dimensional Lorentzian manifold whose metric tensor governs clock readings, causal cones and free-particle motion. The Einstein equivalence principle motivates local special relativity and universal geodesic free fall for test bodies; it does not by itself select a unique gravitational field equation. We assume a Levi-Civita connection, a metric tensor as the gravitational field with no additional dynamical gravitational variables, and matter with a covariantly conserved stress-energy tensor. Units have $c=1$.

The existence of local inertial frames is a local statement. At any regular event choose an orthonormal frame and Riemann normal coordinates, so that $g_{ab}={\eta }_{ab}$ and ${\Gamma }^a{}_{bc}=0$ at the event, with metric signature $(+---)$. Metric compatibility then gives ${\partial }_c{g}_{ab}=0$ there. The geodesic equation at that point is the special-relativistic inertial equation. Along a timelike geodesic, a parallel-transported orthonormal frame gives Fermi normal coordinates, eliminating the connection along the central worldline. These constructions do not in general eliminate second derivatives of the metric tensor in a neighborhood. The Riemann curvature tensor is built from the derivatives of the connection coefficients as well as their quadratic terms; nonzero Riemann curvature tensor components can remain when all connection coefficients vanish at a chosen point. Conversely, Polar coordinates in Minkowski spacetime can have nonzero connection coefficients but zero Riemann curvature tensor. Connection coefficients alone are therefore not an invariant measure of gravity.

For the tensorial content, consider a two-parameter family of geodesics parametrized by an affine parameter, with tangent $U$ and connecting field $J$. Their coordinate construction gives $[U,J]=0$, and torsion-freeness gives ${\nabla }_{U}J={\nabla }_{J}U$. Since ${\nabla }_{U}U=0$, commuting derivatives in the convention of Question 1 yields geodesic deviation:The left side is covariant relative acceleration, rather than the second coordinate derivative of an arbitrary separation. In an orthonormal frame in free fall with $U=(1,0,0,0)$, its spatial components are $D^2{J}^i/d{\tau }^2=-R^i{}_{00j}{J}^j$. This is a measurable tidal force, and a coordinate transformation cannot make a nonzero Riemann curvature tensor disappear. It is the distinction between gravity at one event and the behavior of an extended freely falling laboratory.

In a static Newtonian limit, $g_{00}=1+2\Phi$ and ${\Gamma }^i{}_{00}={\partial }_i\Phi$, so the test-body acceleration is $-\nabla \Phi$. The curvature-sign convention in Killing derivative identities gives $R^i{}_{00j}\simeq {\partial }_i{\partial }_j\Phi$. Hence relative acceleration is the negative Hessian of the gravitational potential. For the Newtonian potential of a point mass $\Phi =-GM/r$, the Hessian has radial eigenvalue $-2GM/r^3$ and two tangential eigenvalues $GM/r^3$: radial separations stretch and tangential ones compress. Outside the source the Ricci tensor can vanish while the Riemann curvature tensor remains nonzero. Its vacuum tidal part is encoded by the Weyl tensor; vacuum does not mean flatness. Gravitational waves likewise carry Riemann curvature tensor disturbances without a local material source.

To obtain the field equations, make the additional dynamical assumptions explicit: locality and diffeomorphism invariance of general relativity; a symmetric metric tensor field equation using at most second derivatives of the metric tensor; a geometrical left-hand side linear in the Riemann curvature tensor with constant coefficients; and compatibility with local matter conservation. These restrictions exclude higher-curvature or extra-field alternatives. Under them the available rank-two curvature contractions give the ansatzThe contracted Bianchi identity and metric compatibility giveFor this to vanish identically for arbitrary metric tensors, $b=-a/2$. Assuming $a\ne 0$ and absorbing its normalization into the coupling givesThe permitted constant term is the cosmological constant. Its value is not fixed by the equivalence principle. Conservation of $T$ follows for generally covariant matter on its equations of motion: varying the matter action under a compactly supported infinitesimal diffeomorphism, then integrating its term $T^{ab}{\nabla }_a{\xi }_b$ by parts, gives ${\nabla }_a{T}^{ab}=0$. The divergence-free Einstein tensor is consistent with this identity.

The coupling sign must be fixed in the actual curvature-sign convention in Killing derivative identities, with $R_{ab}=R^c{}_{acb}$. For the static weak-field approximation, $R_{00}\simeq -\Delta \Phi$. Set $\Lambda =0$ for the local asymptotically flat Newtonian comparison. In four dimensions the trace equation gives $R=-\kappa T$, so $R_{00}=\kappa (T_{00}-\frac{1}{2}{g}_{00}T)\simeq \kappa \rho /2$ for slowly moving matter. Matching $\Delta \Phi =4\pi G\rho$ forces $\kappa =-8\pi G$. Thus, with this convention,Under the opposite curvature-sign convention in Killing derivative identities the coupling sign reverses, as in Einstein-equation coupling under reversed curvature. This sign statement is compatible with the supplied linearized handout. Local inertial frames remove the connection at an event; tidal Riemann curvature tensor effects remain tensorial, and the field equations require dynamical assumptions beyond the equivalence principle.

The Noether gauging procedure starts by allowing a constant symmetry parameter to depend on position. For an internal symmetry written as $\delta {\varphi }^i={ϵ}^A{T}_A{\varphi }^i$, integration by parts identifies the Noether current:up to a boundary term. Introduce a gauge field $A_{\mu }^A$ and add $-g{A}_{\mu }^A{j}_A^{\mu }$, with the inhomogeneous gauge transformation $\delta A_{\mu }^A=g^{-1}{\partial }_{\mu }{ϵ}^A+\cdots$. This cancels the displayed variation. The current coupling has its own variation, so one iterates: add the needed higher-order interactions and corrections to the gauge transformations, and require closure of the local symmetry algebra. For an ordinary gauge theory, this reorganizes derivatives into gauge covariant derivatives and fixes the nonlinear gauge field strength. Gauging is therefore more than replacing a constant parameter by a function.

For rigid supersymmetry, the corresponding Noether current is the spinor-valued supercurrent $S^{\mu }$. A local Majorana spinor parameter gives a variation proportional to $({\partial }_{\mu }\overline{ϵ})S^{\mu }$. A gravitino ${\Psi }_{\mu }$, with an inhomogeneous transformation $\delta {\Psi }_{\mu }\sim {\kappa }^{-1}{\partial }_{\mu }ϵ$, cancels it through a coupling proportional to $\kappa {\bar{\Psi }}_{\mu }{S}^{\mu }$. The commutator of two rigid supersymmetry transformations is a translation. With local parameters, the translation parameter becomes position dependent, so the completion must also gauge translations: it introduces the vierbein, diffeomorphism invariance of general relativity, and local Lorentz transformations. The gravitino and graviton thus belong to the same supergravity multiplet.

For pure minimal four-dimensional supergravity, start with the free massless Fierz-Pauli action and the free Rarita-Schwinger field kinetic term. The Noether gauging procedure replaces the former by the Einstein-Hilbert action and couples the latter to the vierbein and spin connection. In a canonical normalization the leading transformations can be writtenAn overall sign or phase changes with the curvature and Majorana spinor conventions, but the relative normalization must be used consistently. To see why these terms fit together, first work to quadratic order in fermions, so the spin connection is torsion free. Varying the Rarita-Schwinger field kinetic term under $\delta {\Psi }_{\mu }={\nabla }_{\mu }ϵ/\kappa$ produces an antisymmetric double spinor covariant derivative. The spinor curvature identity and the Einstein tensor contraction of spin curvature give, in the matching curvature convention,The resulting Einstein tensor term cancels the variation of the Einstein-Hilbert action under $\delta e_{\mu }{}^a$. This is the essential first nontrivial cancellation in the construction.

At higher fermion order, the variations of the vierbein and spin connection produce further terms. Treating the spin connection as independent makes its Euler-Lagrange field equation algebraic. Its solution is a gravitino-induced torsion connection. With ${\Psi }_a=e_a{}^{\mu }{\Psi }_{\mu }$ and ${\gamma }^{ab}=[{\gamma }^a,{\gamma }^b]/2$, a conventional canonical normalization givesEquivalently, with $T^a=d{e}^a+{\tilde{\omega }}^a{}_b\wedge e^b$, the torsion tensor obeysThe Majorana Grassmann bilinear interchange makes the right-hand side antisymmetric in $\mu ,\nu$. Eliminating the spin connection generates the four-fermion completion. In the 1.5-order formalism one substitutes its solution but varies the other fields holding the connection fixed: the omitted chain-rule term is $(\delta S/\delta \omega )\delta \tilde{\omega }=0$. The remaining cubic fermion variations cancel by the Clifford algebra and Fierz rearrangements. This produces the displayed supergravity action in its compact connection-dependent form. Calling this formulation on shell means that no independent auxiliary fields have been retained and that closure of the supersymmetry algebra uses the propagating Euler-Lagrange field equations; it does not mean that action invariance is obtained only by setting every variation to zero on a solution.

In the antisymmetrized kinetic term, ${\Psi }_{\sigma }$ is a spinor-valued one-form and the derivative is conventionally writtenThis is the Lorentz-covariant exterior-derivative convention for that term. If one instead uses the full affine covariant derivative of a vector-spinor, a coordinate-index connection is also present and the antisymmetrization must include its torsion tensor correction. The crucial physical distinction from pure metric general relativity is the spin connection contains gravitino-induced contorsion, rather than being the torsion-free Levi-Civita connection. It reduces to the ordinary spinor covariant derivative when the gravitino vanishes.

A spacetime is a smooth four-dimensional manifold equipped with a smooth Lorentzian metric, conventionally of metric signature $(-,+,+,+)$, and a choice of time orientation. The usual manifold assumptions include the Hausdorff space and second-countable space conditions. A physical model also specifies matter fields and requires the Einstein field equations and matter equations.

Diffeomorphism invariance of general relativity means that relabelling events by a smooth invertible map, while transforming the metric tensor and every matter field together, preserves the form of the equations. Passively, a coordinate change gives new components for the same geometric fields. Actively, pulling all fields back by a diffeomorphism gives another representative of the same physical geometry, subject to any prescribed boundary conditions or boundary symmetries.

The geometry and matter together carry the physical content; coordinate labels do not. A diffeomorphism need not be an isometry of a fixed metric, and unrelated metrics are not automatically physically equivalent.