A geometric argument for geodesics in manifolds also being geodesics in hypersurafces? I've read that when a hypersurface within a manifold contains a curve, if the curve is a geodesic in the manifold, it is also a geodesic in the hypersurface.
This is quite abstract for me, I've only recently started learning GR, could someone provide a geometric (or if necessary, algebraic) argument for why this is true? Is the converse ever/always/never true? 
(Based on my limited intuition, I'd guess sometimes but not always, but I can't think of anything a professor wouldn't call 'handwavey').
Cheers
 A: Ehlers (1961) in the classic paper "Contributions to the relativistic mechanics of continuous media" states:

A vortex-free flow is rigid precisely when its orthogonal hypersurfaces are totally geodesic.

(1993 translation). As for "flow", this need not be an actual fluid, but simply a 4-velocity field. Background fact: hypersurfaces orthogonal to the 4-velocities exist if and only if the motion is vorticity-free (this follows from Frobenius' theorem). Totally geodesic means every geodesic in the hypersurface is also a geodesic on the full manifold.
For example, think of static observers in Schwarzschild spacetime (the ones with fixed $r>2M$, $\theta$, and $\phi$ coordinates; with 4-velocities proportional to the Killing vector field which is timelike at infinity). This velocity field is rigid, and the orthogonal hypersurfaces have $t=\textrm{const}$, and these must be totally geodesic. As another example, consider observers which "fall from rest at infinity". This is not a rigid velocity field, because tidal forces lead to shear and expansion, and it turns out the radial direction within the hypersurfaces is not a geodesic within the manifold. A final example, consider a homogeneous and isotropic universe, with the velocity field "comoving" with the average local matter flow. This is not rigid in an expanding universe, hence the hypersurfaces of constant cosmic time are not totally geodesic! This surprised me when I first realised it.
This response probably does not address everything in your question, but I hope it helps.
