3
$\begingroup$

Suppose $t$ is a globally smooth Killing coordinate function in $(M,g)$ such that $\partial_t$ is a Killing vector field. This gives rise to an embedding $\mathbb R \times \Omega$ for the manifold $M$. Under what conditions can we deduce that the metric must take the form: $$ g(t,x) = \,dt^2+ 2\,dt\otimes \eta + h $$ where $\eta$ is a one-form and $h$ is a Riemannian metric on $\Omega$ with both $\eta$ and $h$ independent of $t$.

$\endgroup$

1 Answer 1

1
$\begingroup$

Here is the general form of metric tensor that is invariant with respect to vertical shifts: $$ g(t,x) = f(x){\cdot} dt^2+ 2{\cdot} dt\circ \eta + h.$$

Evidently, $g(\partial_t,\partial_t)=f(x)$. So it is sufficient to assume $g(\partial_t,\partial_t)=1$.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .