18

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.

Qmechanic
  • 201,751

5 Answers5

11

As a simplified, purely mathematical answer, the signature of the metric is baked into the initial/boundary conditions. First of all note that it cannot change along a smooth enough connected space-time, as regions of different signatures would need to be separated by sets on which the metric is degenerate, i.e. singularities where GR does not hold. So once the signature is fixed at some point, it is fixed everywhere.

Now consider the kinds of problems we would like to solve:

If you want to use GR to predict future behavior of something, e.g. of our solar system, you would start with its current state as initial data and continue from there. We know that the current state has a locally Minkowski metric. But then all future states have the same signature.

Another type of problem that is studied abstractly a lot, is the influence of gravity on the space-time around a heavy object, e.g. the Schwarzschild-solution. We think of this object as existing somewhere in our universe. Even though we do not model the rest of the universe, we would like the solution in empty space far away from the object (i.e. the boundary condition at infinity) to behave similarly to the empty space we know. So the boundary condition again specifies a Minkowski signature.

The same applies to all other problems. If the signature of your solution is different from the signature we have at home, there is no way to find a space-time that connects your solution to us. Whatever universe you are calculating, if the signature is wrong, it might have some mathematical interest, but (at least within GR) it is completely inaccessible to our physical reality and thus strictly speaking not physics.

mlk
  • 415
  • 2
  • 7
  • Simplified mathematics is one of my favorite things. I also like numerics as a great way of gaining a more concrete understanding, but it seems to be a giant pain for general relativity. – Zinklestoff May 26 '22 at 07:39
  • By far the best answer to date. Some extra comments here: https://physics.stackexchange.com/a/782884/226902 – Quillo Oct 03 '23 at 06:11
10

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.

  • 1
    Oh a side comment: while the definition of stress-energy doesn't encode the Lorentz signature, we note that having imposed Lorentz-signature, we often make several "energy conditions", such as the weak energy condition/dominant-energy condition etc, and defining these conditions requires that we already have a Lorentzian metric (we view some of these conditions as being physically realistic/desirable). – user1061016 May 24 '22 at 20:10
  • I'm guessing that for a numerical simulation you'd need to bake the Lorentzian signature into the algorithm or "renormalize" the metric after each time step. – Zinklestoff May 24 '22 at 20:19
  • 2
    @Zinklestoff If we assume the spacetime manifold $M$ is connected (very reasonable, since physically we wouldn't be able to 'interact' with the other components) and that we have a continuous $(0,2)$ tensor field $g$ which at each point is non-degenerate, then $g$ must have a fixed signature throughout the entire manifold. So, if you start off with Lorentz signature, and you end up with a non-degenerate tensor field, then it must have Lorentz-signature throughout. Having said this, I know little about numerics and PDEs and IVP/BVP, so you'd have to look elsewhere for more details. – user1061016 May 24 '22 at 20:39
  • @Zinklestoff: the most common strategy for numeric evolution is to do a 3+1 decomposition of the spaceitme, where you reduce the problem to, for some choice of a time coordinate, time-evolving a spatial 3-slice of the spacetime. So, I guess, in a sense, the "signature is baked in", but you're not really doing any disservice to the original theory doing this. – Zo the Relativist May 26 '22 at 06:12
  • 1
    I think OP's item 2 is accurate (along with item 5). As @user1061016 noted, the choice of signature in the initial/boundary conditions determines the signature throughout spacetime. – nanoman May 26 '22 at 14:43
  • "when coming up with any particular solution, such as Schwarzschild, or Kerr or anything else, the ansatz already imposes Lorentz signature." You are asking that the spacetime is asymptotically Minkowsky: so the requirement is in the boundary conditions/initial condition (point 2). – Quillo Oct 03 '23 at 05:43
5

The Lorentzian signature of the metric is "baked into" the local causal structure (the set of "light cones", one at each event) of spacetime, which plays a role in the initial value formulation.

Quillo
  • 4,972
robphy
  • 11,748
4

Quoted from Pseudo-Riemannian manifold - Lorentzian manifold:

A principal premise of general relativity is that spacetime can be modeled as a 4-dimensional Lorentzian manifold of signature $(-,+,+,+)$ or, equivalently, $(+,-,-,-)$.

So this is similar to your option 5.

3

4-dimensional Lorenzian manifold was the most natural way to express the invariance of light velocity (Maxwell's wave equation), in terms of metric $$ds^2=c^2 dt^2-dx^2-dy^2-dz^2$$ For Herman Minkowski, Einstein's mathematics teacher and co-founder of General Relativity mathematical formulation, time was just the 4-dimension. However, colloquially speaking, physics is mathematics but with units. That are for time and space apparently different. The same metric equation can be written in a dual 4-dimensional Riemaniann space as $$c^2 dt^2=ds^2+dx^2+dy^2+dz^2,$$ where the coordinate $s$ represents the 4-dimension and the coordinate time $t$ is affine parameter with $c~dt$ as a path's length, see for example "Riemannian manifolds dual to static spacetimes" [1].

The Lorenzian metric (signature) is merely convention used by physicists because our perception of the fourth dimension is not the same as of the spatial ones. We are not able to see it directly. Indirectly, we register it by difference in elapsed proper time for observers that follow different paths in the 4-dimensional space.

[1] : https://arxiv.org/abs/2004.10505

JanG
  • 1,831