 Normalized Killing one-form

For a non-null Killing vector field $V$ of a Levi-Civita connection, hypersurface orthogonality implies that $\eta =V^{♭}/F$, with $F=g(V,V)$, is a closed differential form. The Killing equation and $V^{♭}\wedge d{V}^{♭}=0$ give $2F{\nabla }_{\mu }{V}_{\nu }=V_{\nu }{\partial }_{\mu }F-V_{\mu }{\partial }_{\nu }F$, whence $d\eta =0$. The Poincare lemma gives $\eta =d\varphi$ locally. For a timelike $V$, $\varphi$ supplies local static time coordinates. This does not assert global exactness.