Skip to content

The gravitational current keeps its coordinate tag

The action supplies Einstein’s canonical gravitational current and its exact off-shell divergence. An explicit flat example shows why internal frame invariance does not make that current a coordinate tensor.

The action supplies Einstein’s canonical gravitational current and its exact off-shell divergence. An explicit flat example shows why internal frame invariance does not make that current a coordinate tensor.

8. Gravitational energy and coordinate dependence

The action determines a canonical coordinate-translation current. Because q(E)q(E) is pointwise, the chain rule gives

∂HZ∂(∂αEaλ)∂σEaλ=H∂αqμν∂σqμν.(8.1)\frac{\partial\mathcal H_Z}{\partial(\partial_\alpha E^a{}_{\lambda})} \partial_\sigma E^a{}_{\lambda} =H_{\partial_\alpha q^{\mu\nu}}\partial_\sigma q^{\mu\nu}. \tag{8.1}

The dependence of ω(E)\omega(E) is already included in (7.5) and its variation. With Einstein’s normalization define

−2κtασ=Γ ⁣Eαμν∂σqμν−δσαH.(8.2)-2\kappa t^\alpha{}_{\sigma} =\Gamma_{\!\mathrm E}^\alpha{}_{\mu\nu}\partial_\sigma q^{\mu\nu} -\delta^\alpha_\sigma H. \tag{8.2}

The fixed nonzero κ\kappa is normalized later by the Newtonian comparison. From the product and chain rules,

−2κ∂αtασ=Wμν∂σqμν.(8.3)\boxed{-2\kappa\partial_\alpha t^\alpha{}_{\sigma} =W_{\mu\nu}\partial_\sigma q^{\mu\nu}.} \tag{8.3}

Second derivatives of qq cancel in the canonical divergence; the remaining coefficient is its Euler residual. Thus vacuum gives Einstein (49).

Substituting inverse-metric compatibility into (8.2) yields

κtασ=12δσαH−qμνCαμβCβνσ.(8.4)\boxed{\kappa t^\alpha{}_{\sigma} =\tfrac12\delta^\alpha_\sigma H -q^{\mu\nu}C^\alpha{}_{\mu\beta}C^\beta{}_{\nu\sigma}.} \tag{8.4}

The two differentiated metric terms are equal after index relabelling. Calling the final product KασK^\alpha{}_{\sigma} gives tr⁡K=H\operatorname{tr}K=H and κtr⁡t=H\kappa\operatorname{tr}t=H, which establish Einstein (50) and the mixed identity

∂α(qσβΓ ⁣Eαμβ)+κ(tσμ−12δμσtr⁡t)=qσβWμβ.(8.5)\boxed{\partial_\alpha(q^{\sigma\beta}\Gamma_{\!\mathrm E}^\alpha{}_{\mu\beta}) +\kappa(t^\sigma{}_{\mu}-\tfrac12\delta^\sigma_\mu\operatorname{tr}t) =q^{\sigma\beta}W_{\mu\beta}.} \tag{8.5}

To prove it, expand the derivative, replace ∂Γ ⁣E\partial\Gamma_{\!\mathrm E} with W−AW-A, and use inverse compatibility to split (∂q)Γ ⁣E(\partial q)\Gamma_{\!\mathrm E} into qA+KqA+K. The qAqA terms cancel, and (8.4) cancels KK. On the unit-volume vacuum sector this is Einstein (51); conversely invertibility of qq recovers W=0W=0. Four conservation equations alone are weaker: the witness (7.12) has W≠0W\ne0 but Wμν∂σqμν=0W_{\mu\nu}\partial_\sigma q^{\mu\nu}=0 since ν=1\nu=1.

For a fixed spatial coordinate region VV, vacuum conservation gives

ddt∫Vt4σd3x=−∫∂VtiσnioutdS=∫∂VtiσniindS,(8.6)\frac{\mathrm{d}}{\mathrm{d}t}\int_Vt^4{}_{\sigma}\mathrm{d}^3x =-\int_{\partial V}t^i{}_{\sigma}n_i^{\rm out}\mathrm{d}S =\int_{\partial V}t^i{}_{\sigma}n_i^{\rm in}\mathrm{d}S, \tag{8.6}

recovering the inward-normal convention of Einstein (49a). Moving boundaries require an additional transport term.

A retained non-tensor readout

Einstein explicitly states that tt is not a tensor. A determinant-one nonlinear chart change makes this limitation concrete:

X=ex,Y=y,Z=z,T=te−x.(8.7)X=e^x,\quad Y=y,\quad Z=z,\quad T=te^{-x}. \tag{8.7}

Take EE to be its Jacobian, the pullback of a Cartesian calibration. Its coframe is exact, ω=0\omega=0, and C=E−1dEC=E^{-1}\mathrm{d}E. Direct calculation gives

R=0,ν=1,W=0,H=−2e−2x,κ(tασ)=diag⁡(0,−e−2x,−e−2x,0).(8.8)R=0,\quad \nu=1,\quad W=0,\quad H=-2e^{-2x},\qquad \kappa(t^\alpha{}_{\sigma})=\operatorname{diag}(0,-e^{-2x},-e^{-2x},0). \tag{8.8}

The array is zero in the original Cartesian coordinates. A tensor cannot change from zero to nonzero by a coordinate transformation. Its divergence nevertheless vanishes, as (8.3) requires. Internal frame invariance is not coordinate tensoriality; the chart remains an essential tag on this energy readout. No positive local energy density or globally invariant charge is inferred.

Finally, vacuum is not flatness. The independent calibration

E=diag⁡(r1/3,r1/3,r−1/6,r−1/2),x4=r>0(8.9)E=\operatorname{diag}(r^{1/3},r^{1/3},r^{-1/6},r^{-1/2}),\qquad x^4=r>0 \tag{8.9}

has ν=1\nu=1, Ric⁡=W=0\operatorname{Ric}=W=0 but R1414=1/(18r2)R^1{}_{414}=1/(18r^2). Both curvature implementations and the current identities agree on this fixture. It verifies the distinction motivating §14 without introducing a different vacuum law.

Published source: The Foundations of General Relativity: A Source–Readout Reconstruction of Einstein’s 1916 Theory. Read the original PDF alongside the web treatment.