Kurt Gödel found a solution of Einstein’s equations for general relativity.
His solution has closed time lines.
The metric is:
ds2 = −(dt + exdz)2 + dx2 + dy2+(exdz)2/2.
−∞ < t, x, y, z <∞.
The above equation comes from Wikipedia.
Another paper gives us:
ds2 = dz2 − dt2 + dx2 − 2 ex/a dt dy − (ex/a dy)2.
I believe neither of these for the coefficients of the spacial differentials (squared) must always be positive!!
The cross term doesn’t ameliorate things!
The signature must be (1, 3), not (2, 2).
Well actually you can't tell without putting the metric in a diagonal form.
See below.
With terms off the diagonal the claim above is shaky but consider map from a circle to a small loop of directions from event <0, 0, 0, 0>.
For 0 ≤ θ ≤ 2π: (cos θ) dt + (sin θ)dz.
These directions go from a forward time arrow (θ=0) to a backward time arrow (θ=π) and ds2 is always negative.
In a proper Lorentz metric (of signature (− , +, +, +)) there is no path between such arrows with ds2 < 0.
The metric does not divide the future from the past, even locally.
It is peculiar locally, as well as globally.
Gödel found a metric with uniform signature (−, −, +, +) that solves Einstein’s equations.
I wonder if there is a solution with signature (+, +, +, +).
If we hold t and y constant we get a hyperbolic metric for the resulting 2D subspace:
>ds2 = (exdz)2 + ...
The two metrics:
ds2 = dx2 + (exdz)2
ds2 = (dx2 + dy2)/y2
are congruent with the following map:
Let ex = 2.
We have
| g = |
| g2 =
|
| g4 =
|
| 433 | 0 | 0 | 444
| | 0 | 1 | 0 | 0
| | 0 | 0 | 1 | 0
| | 444 | 0 | 0 | 544
|
| g8 =
|
| 384625 | 0 | 0 | 433788
| | 0 | 1 | 0 | 0
| | 0 | 0 | 1 | 0
| | 433788 | 0 | 0 | 493072
|
|
If we express g in the basis of its eigen vectors, it will be diagonal and its true signature will be evident.
| g = |
| −1 | 0 | 0 | 2ex
| | 0 | 1 | 0 | 0
| | 0 | 0 | 1 | 0
| | 2ex | 0 | 0 | −e2x/2
| |
| g2 = |
| 1 + 4e2x | 0 | 0 | −2ex − e3x
| | 0 | 1 | 0 | 0
| | 0 | 0 | 1 | 0
| | −2ex − e3x | 0 | 0 | 4e2x + e4x/4
| |
For large x:
| g2 = |
| 4e2x | 0 | 0 | −e3x
| | 0 | 1 | 0 | 0
| | 0 | 0 | 1 | 0
| | −e3x | 0 | 0 | e4x/4
| |
| g4 = |
| e6x | 0 | 0 | e7x/4
| | 0 | 1 | 0 | 0
| | 0 | 0 | 1 | 0
| | e7x/4 | 0 | 0 | e8x/16
| |
| g8 = |
| e14x4−2 | 0 | 0 | e15x4−3
| | 0 | 1 | 0 | 0
| | 0 | 0 | 1 | 0
| | e15x4−3 | 0 | 0 | e16x4−4
| |
| g16 = |
| e30x4−6 | 0 | 0 | e31x4−7
| | 0 | 1 | 0 | 0
| | 0 | 0 | 1 | 0
| | e31x4−7 | 0 | 0 | e32x4−8
| |
The eigen vectors are clearly <4, 0, 0, ex>, <0, 1, 0, 0>,
<0, 0, 1, 0> and <4, 0, 0, ex>.
We have two parallel eigen vectors. This is not good.