General Relativity – Where is the Lorentz Signature Enforced?

curvaturedifferential-geometrygeneral-relativitymetric-tensorspacetime

I'm trying to understand general relativity. Where in the field equations is it enforced that the metric will take on the (+—) form in some basis at each point?

Some thoughts I've had:

  1. It's baked into the Ricci tensor. This doesn't make sense to me because you can define the Riemann curvature for standard non Lorentzian surfaces.

  2. It's baked into the initial/boundary conditions which then propagate to the rest of spacetime.

  3. It's baked into the stress-energy tensor. This doesn't make sense to me because the vacuum equations are also Lorentzian.

  4. It's baked into the Einstein tensor and has something to do with conservation in energy.

  5. It's an implicit assumption and non-Lorentzian solutions are ignored.

  6. I'm looking at the whole thing wrong.

Best Answer

The Lorentz signature is just part of the theory; for example in a weak-field limit, we should reduce to special relativity, which is described using Lorentz signature (in order to talk about light, and also because Lorentz signature allows us to encode time and space into a single entity, and defines our notions of causality).

  1. No, it's not in the Ricci tensor. Any smooth manifold admits a connection $\nabla$, and with respect to this connection we can consider its curvature tensor $R^a_{\,bcd}$, and from this by taking a contraction we can define the Ricci tensor $R_{ab}= R^s_{\,asb}$. And connections can be very arbitrary, not necessarily even arising from a pseudo-Riemannian metric.
  2. I don't see any direct links.
  3. No it's not in the stress energy tensor. For instance, suppose we have an arbitrary pseudo-Riemannian metric $g$ (arbitrary signature $(p,q)$). We can still consider its Einstein tensor $R_{ab}-\frac{1}{2}Rg_{ab}$. By setting this to $0$, we see that $\Bbb{R}^4$ with the standard flat pseudo-Riemannian metric $\eta_{p,q}$ is a solution. However, for this to bear any resemblance to (special) relativity we need a $(1,3)$ signature split.
  4. See (3).
  5. Yes (though I'd say it's an explicit assumption).
  6. You mentioned (5), so you're not looking at it wrong.

Also, when coming up with any particular solution, such as Schwarzschild, or Kerr or anything else, the ansatz already imposes Lorentz signature.

Related Question