The metric directly gives
with no mixed products. Hence
is an orthonormal frame.
The dual orthonormal coframe is
because .
One has
Cartan's torsion-free first structure equation and metric compatibility give the only nonzero connection 1-forms:
Cartan's second structure equation gives
and, for ,
With all indices lowered and the curvature convention in the question, the independent nonzero orthonormal Riemann curvature tensor components are
together with those obtained from the Riemann symmetries.
Put
Contracting the curvature components gives
in the orthonormal frame, with no sum on . Vacuum requires and for every . Since the are not all zero, some , forcing and then . Conversely these conditions make every Ricci component vanish. Thus the Kasner metric is vacuum exactly when
so .

Articles by others on the same topic (0)

There are currently no matching articles.