Choose any tangent vector $V^a\in T_p\Sigma$ and let the affinely parametrized geodesic with initial tangent $V^a$ start at $p$. If $\Sigma$ is <totally geodesic>, then $U^an_a$ remains zero. Its initial derivative is therefore zero. Part iii, with $U^an_a=0$ at $p$, gives
$$
K_{ab}V^aV^b=0.
$$
This holds for every tangent $V$. Since $K$ is symmetric, the <polarization identity> implies
$$
\boxed{K_{ab}=0}.
$$

Solution

Past exam of the mathematics course of the University of Cambridge / 2022 / iii / Paper 309 / 2 / b / iv / Solution

 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/iii/paper-309/2/b/iv/solution