Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/ii/paper-1/26i/c/i/solution

If and , the spectral theorem gives eigenvalues . Thus is orthogonal projection onto a line and
for a unit vector ; the only choices are and .
The smooth map , , has image and fibers . Near , restrict to the hemisphere ; there is one-to-one and has smooth inverse obtained by choosing the positive local unit eigenvector. Combining this with a chart of supplies two-dimensional local parametrizations. Hence is a two-dimensional submanifold, diffeomorphic to .

New to topics? Read the docs here!