Hypersurface orthogonality ($n\wedge dn=0$)

A nowhere-zero differential one-form $n$ is hypersurface orthogonal if locally $n=Fdt$ with $F\ne 0$. Its kernel consists of tangent vectors to the level hypersurfaces of $t$. Frobenius theorem makes this equivalent to $n\wedge dn=0$, where $d$ is the exterior derivative. With a torsion-free Levi-Civita connection, this is $n_{[\alpha }{\nabla }_{\beta }{n}_{\gamma ]}=0$. For a timelike unit normal, projecting the derivative on both indices gives zero antisymmetric part, which explains why hypersurface orthogonality implies symmetric extrinsic curvature.

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.