Solution

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

The projection is tensorial. Although a covariant derivative is not -linear in its second argument, the extra term in is proportional to , whose contraction with the normal vanishes. Thus is -linear in both arguments and defines a tensor on the hypersurface.
Since ,
Therefore the extrinsic curvature is

New to topics? Read the docs here!