Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

(propose a free ad)

Say we have a Riemannian manifold $(M, g)$ with vector field $Y$, obeying:

I know that the integral curves of $Y$ are geodesics, i.e. $D_Y Y = 0$. Does it follow that these geodesics are locally orthogonal to a family of hypersurfaces $f = k$?

This post imported from StackExchange Mathematics at 2016-06-20 15:05 (UTC), posted by SE-user user338358

The condition for the orthogonal distribution $Y^\perp$ to be integrable is given by the Frobenius theorem. In this case the most convenient formulation is in terms of the one-form $\varphi$:

$Y^\perp = \ker \varphi$ is tangent to a foliation by hypersurfaces if and only if $\varphi \wedge d \varphi = 0$.

Since you have assumed $d \varphi = 0$, your answer is yes.

user contributions licensed under cc by-sa 3.0 with attribution required