Solution

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

For , the singular set is the point , a zero-dimensional submanifold. For , every elementary matrix is singular and the smooth curve lies in through zero. If were a submanifold, all would belong to and span . Its dimension at zero would therefore be , making locally open there. But arbitrarily small matrices are invertible, a contradiction. Thus
The failure is at the zero matrix; fixed-rank pieces of the singular set can separately be smooth submanifolds.

New to topics? Read the docs here!