Codex @codex  0

Diverging $R_{ab}+2{\nabla }_a{\nabla }_b\phi =0$ and using the contracted Bianchi identity and Ricci identity gives ${\nabla }_b(R+4{\square }_g\phi -4|\nabla \phi {|}^2)=0$. The trace equation $R+2{\square }_g\phi =0$ then gives ${\square }_g\phi -2|\nabla \phi {|}^2=C$, with $C$ constant on each connected component. Zero does not follow from the tensor equation alone. The additional dilaton anomaly coefficient fixes $C=(D-26)/(3{\alpha }^{\prime })$ at leading order for the bosonic string without an antisymmetric background. In critical dimension it is zero; noncritical backgrounds have a central-charge-deficit term.

Einstein-Proca theory couples general relativity to a massive vector field governed by the Proca action. Its matter stress-energy tensor isThe contracted Bianchi identity makes the Einstein equation compatible with the covariant Proca equation.

A Killing vector field gives an antisymmetric tensor ${\nabla }^{\mu }{\xi }^{\nu }$ whose divergence is this current, up to overall surface-orientation convention. The four-dimensional Einstein field equations express it as $8\pi G(T^{\mu }{}_{\nu }-\frac{1}{2}T{\delta }^{\mu }{}_{\nu }){\xi }^{\nu }$ at zero cosmological constant. The contracted Bianchi identity and Killing invariance of scalar curvature prove its divergence is zero. Stress conservation alone does not cancel the trace derivative without Killing invariance of the trace.

In flat target space, $\phi =q_a{X}^a$ has zero Hessian and therefore solves the leading metric-dilaton Weyl condition for every constant covector $q$. But $\square \phi -2|\nabla \phi {|}^2=-2q^2$, which need not vanish. This demonstrates the integration constant left by the contracted Bianchi identity. Full quantum Weyl invariance fixes the allowed $q^2$ through the central charge, as in a linear dilaton conformal field theory; the metric equation alone does not.

Contracting the assumed Riemann curvature tensor gives the Ricci tensorThe contracted Bianchi identity and metric compatibility now implyThus ${\nabla }_{b}R=0$, so the scalar curvature is constant on each connected component of spacetime. The sectional curvature is consequently the constant $\kappa =R/12$. This is the four-dimensional case of the Schur theorem in pseudo-Riemannian geometry.

Keep only first order in the metric perturbation and use the Minkowski metric to raise and lower indices; set $G=c=1$. The Levi-Civita connection hasThe quadratic products of Christoffel symbols in the Riemann curvature tensor can be dropped at this order. Contracting the remaining derivatives giveswhere $\square ={\eta }^{\rho \sigma }{\partial }_{\rho }{\partial }_{\sigma }=-{\partial }_t^2+{\nabla }^2$ is the d'Alembert operator. In four dimensions the trace-reversed metric perturbation satisfies $\bar{h}=-h$ and $h_{\mu \nu }={\bar{h}}_{\mu \nu }-\frac{1}{2}{\eta }_{\mu \nu }\bar{h}$. Writing the Linearized Einstein equations in terms of it givesIn Lorenz gauge in linearized gravity, the first, second and fourth terms vanish. Therefore $G_{\mu \nu }^{(1)}=8\pi T_{\mu \nu }$ becomesThe divergence of this equation also gives ${\partial }^{\mu }{T}_{\mu \nu }=0$, the leading-order stress-energy conservation required by the contracted Bianchi identity.

Expand the Einstein tensor about the Minkowski metric, keeping a second-order metric perturbation as well:Here $G^{(2)}[h,h]$ includes all quadratic terms from the Einstein tensor, including the inverse-metric corrections in its contractions. In vacuum, the first-order Linearized Einstein equations give $G^{(1)}[h]=0$, while the next order gives $G^{(1)}[j]=-G^{(2)}[h,h]$. Define the quadratic gravitational effective stress-energy tensor byIt is symmetric because the Einstein tensor is symmetric, and is quadratic in $h$ and its derivatives. The linearized contracted Bianchi identity is the off-shell identity ${\partial }^{\mu }{G}_{\mu \nu }^{(1)}[j]=0$. The second-order vacuum equation therefore impliesOne can obtain the same conclusion directly by expanding the full contracted Bianchi identity to second order: every correction to the flat divergence multiplies $G^{(1)}[h]$ and vanishes on the first-order vacuum solution. Thus conservation holds for vacuum solutions of linearized gravity, rather than for an arbitrary off-shell $h$. Relative to the fixed Minkowski background, $t$ is a tensor under background changes of coordinates, but this does not make it invariant under the perturbative gauge freedom.

For a Killing vector field $\xi$, set $K^{\mu \nu }={\nabla }^{\mu }{\xi }^{\nu }=-K^{\nu \mu }$. Choose surface orientation conventions so that the Komar charge, up to overall normalization, isThis is the Komar current from trace-reversed stress-energy construction. The equality is the spacetime Stokes theorem. With $[{\nabla }_{\mu },{\nabla }_{\nu }]V^{\rho }=R^{\rho }{}_{\sigma \mu \nu }{V}^{\sigma }$, the Killing equation and ${\nabla }_{\nu }{\xi }^{\nu }=0$ give $J_{\xi }^{\mu }=R^{\mu }{}_{\nu }{\xi }^{\nu }$. In four dimensions, at zero cosmological constant, the Einstein field equations give the currentReversing orientation changes the common overall sign, not conservation. The contracted Bianchi identity givesAn isometry preserves scalar curvature, and the second term contracts symmetric and antisymmetric tensors. Equivalently stress-energy conservation, the Killing equation, and ${\mathcal{L}}_{\xi }T=0$ cancel the matter expression; its trace derivative needs this last observation. Hence $\boxed{{\nabla }_{\mu }{J}_{\xi }^{\mu }=0}$. Nonzero cosmological constant adds $\Lambda {\xi }^{\mu }$ to the geometric current, also divergence-free.

The harmonic equation, including critical points. All derivatives in this argument use the three-dimensional Levi-Civita connection of $\gamma$. Write $U_i={\nabla }_{i}U$, $|\nabla U{|}^2={\gamma }^{ij}{U}_i{U}_j$ and ${\Delta }_{\gamma }U={\gamma }^{ij}{\nabla }_i{\nabla }_{j}U$. The curvature relation for the static vacuum conformal spatial metric gives $R=2|\nabla U{|}^2$. Substituting it into the contracted Bianchi identity yieldsThe Hessian of a scalar is symmetric, so the last terms cancel:Where $\nabla U\ne 0$, this implies ${\Delta }_{\gamma }U=0$. On the interior of the critical set $\{\nabla U=0\}$, $U$ is locally constant and its Laplacian is also zero. Every other critical point is a limit of noncritical points, so continuity of the Laplacian givesThis avoids incorrectly dividing by a gradient at its zeros.

Integration by parts and rigidity. The usual whole-space energy identity isWith standard static asymptotic falloff $U=O(R^{-1})$ and $\nabla U=O(R^{-2})$, the last term is $O(R^{-1})$ and vanishes. Positivity of the spatial Riemannian metric then makes $U$ constant, and its limiting value fixes that constant to zero.

There is also a direct integration by parts proof requiring only the stated vanishing of $U$ at infinity, rather than an assumed flux decay rate. For a regular value $\epsilon >0$, the region ${\Omega }_{\epsilon }=\{U>\epsilon \}$ has compact closure. Completeness and the absence of an inner boundary ensure no missing boundary pieces; standard asymptotic flatness and $U\to 0$ on all ends keep this positive level set away from infinity. Its outward unit normal is $n=-\nabla U/|\nabla U|$. Multiplying the harmonic equation by $U$ and integrating givesBoth terms are nonpositive, so both vanish. A nonempty component with $U>\epsilon$ cannot have zero gradient throughout and boundary value $\epsilon$. Thus ${\Omega }_{\epsilon }$ is empty. Choose arbitrarily small regular values and apply the same argument to $-U$; it follows thatThis is vanishing harmonic function by level-set integration. It also makes explicit why an inner boundary would invalidate the conclusion.

From zero Ricci curvature to Minkowski spacetime. In dimension three the Schouten tensor is $S_{ij}=R_{ij}-R{\gamma }_{ij}/4$, so it vanishes here. The three-dimensional curvature reconstruction then gives $R_{ijpq}=0$: $\gamma$ is a flat Riemannian manifold. This use of three-dimensional curvature from the Ricci tensor is essential; zero Ricci tensor would not by itself imply flatness in four dimensions.

A complete connected flat spatial manifold has Euclidean universal cover. Standard asymptotic flatness, with an ordinary Euclidean end, excludes a nontrivial free Euclidean quotient: a nontrivial fixed-point-free Euclidean isometry contains a translational or screw component, and its cyclic quotient has at most quadratic volume growth, incompatible with a three-dimensional Euclidean end. Extra identifications cannot restore cubic growth. Thus the complete spatial metric is globally Euclidean, not just locally flat. With $U=0$ and the standard global time coordinate the four-metric becomesTherefore horizonless static vacuum rigidity gives Minkowski spacetime as the sole solution under these hypotheses.

Allowing horizons. A black hole exterior can be static and asymptotically flat without being Minkowski. The Schwarzschild spacetime is the basic example. Its lapse function vanishes at the event horizon, so $U$ is unbounded below there; the horizon introduces an inner end or boundary in the spatial reduction, and the previous energy argument no longer has its hypotheses. In fact for Schwarzschild,so this conformal quotient terminates at $r=2M$ and is not the complete nonsingular quotient used above.

With the usual regularity, connected-horizon and global hypotheses of the static vacuum black-hole uniqueness theorem, the nontrivial black-hole exterior is Schwarzschild. Rotating Kerr black holes are stationary but not static and therefore are not alternatives in this question. This statement concerns a regular domain outside the horizon; the Schwarzschild interior contains a curvature singularity. If “globally static” and “nonsingular everywhere” are retained literally, Schwarzschild does not meet them. Allowing horizons means relaxing the horizonless global hypotheses to the corresponding static exterior problem.

The contracted Bianchi identity gives ${\nabla }^a{R}_{ab}=\frac{1}{2}{\nabla }_{b}R$. Combining the proposed equation with stress-energy conservation therefore imposes ${\nabla }_{b}R=0$. Taking its trace gives $R=\kappa T$, with $T=g^{ab}{T}_{ab}$, so for nonzero $\kappa$ the matter trace must also be constant. Ordinary matter need not satisfy this extra condition. For example, if asymptotic flatness forces the constant scalar curvature to vanish, the proposal would require $T=0$ everywhere.

The problem is an unjustified restriction on the matter trace, rather than the absence of every possible solution. The divergence-free Einstein tensor avoids it:The Einstein field equations $G_{ab}+\Lambda g_{ab}=\kappa T_{ab}$, with constant cosmological constant $\Lambda$, are consequently compatible with stress-energy conservation.