Einstein field equations in empty space, question about non-zero curvature

Surely regardless of the mathematics, in empty space it should still be forced zero by the fact that nothing is there?

The moon orbits the Earth despite the fact that it is, for all intents and purposes, in a vacuum (i.e. the local matter/energy density is zero).

The point is that matter and energy in one localized region produce spacetime curvature elsewhere - even if the energy density in those other regions vanishes. You know this already - otherwise gravitational fields wouldn't exist in vacuum - but the book makes the point that the field equations imply that this is only possible for spacetimes with $d\geq 4$.


I believe one analogy might help. Think about electrostatics. The electric potential $\Phi$ satisfies Poisson's equation

$$\nabla^2\Phi=-\frac{\rho}{\epsilon_0}.$$

This is one equation between functions, so this means that when we evaluate the two functions on the same point they agree. If we have one region $U\subset \mathbb{R}^3$ on which there is no electric charge, this means that the charge density restricted to $U$, namely $\rho|_{U}$ is zero. In other words: if $x\in U$ then $\rho(x)=0$.

On this region it is then clear that

$$\nabla^2\Phi = 0$$

which is Laplace's equation. The fact that on $U$ there is no charge and $\Phi$ satisfies Laplace's equation is not an argument for inexistence of an electric field on $U$. Actually there might be some charge density elsewhere producing a field.

One common example: a localized charge density $\rho$ meaning that $\rho$ vanishes outside some large enough ball. One field will be produced and will be nonzero outside that ball, even though there is no charge elsewhere.

Now let's talk General Relativity. Einstein's field equations states that

$$R_{\mu\nu}-\frac{1}{2}g_{\mu\nu}R=\kappa T_{\mu\nu}.$$

What can happen perfectly well is that $T_{\mu\nu}$ is non-zero in some regions and zero in others like in the example above.

Think for example of one localized matter distribution: one isolated planet or star.

In these cases you can think like that: you have points on which $T_{\mu\nu}\neq 0$ and points on which $T_{\mu\nu}=0$ and there has to be a solution compatible with these two conditions. So the $T_{\mu\nu}\neq 0$ region will give you one metric tensor, which must be compatible with the solution on $T_{\mu\nu}=0$ and thus you have the matter influence on that region without matter. In other words, matter in one region produces spacetime curvature which can affect regions without matter perfectly well.

Of course the influence of matter in regions without matter doesn't extends indefinitely. If you have one isolated system for example, in regions close to it, without matter there is spacetime curvature produced by the system, but far away this influence sould become negligible and the spacetime curvature should go to zero. This ends up leading to the definition of assymptotically flat spacetimes.