Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2005/ii/paper-1/24h/iii/solution

Regard the space of real matrices as , and use the smooth determinant map. For invertible , factor . Expanding the determinant to first order gives
since the linear coefficient of is the sum of the diagonal entries of . At every with determinant one, taking makes this derivative . Thus one is a regular value, and part (ii) makes a submanifold of dimension .
Its tangent space is the kernel of this differential. At the identity,
Indeed tangent derivatives of curves with constant determinant lie in that kernel, and the local regular-value coordinates show every kernel vector is tangent to the level set.

New to topics? Read the docs here!