Past exam of the mathematics course of the University of Cambridge / 2022 / iii / Paper 115 / 1 / b / Solution

Define the smooth mapAt $(M,v)$ its derivative in the direction $(A,w)$ isThe restriction to variations $(0,w)$ is the surjective linear map $M:{\mathbb{R}}^n\to {\mathbb{R}}^m$, since $M$ has full row rank. Thus $0$ is a regular value of $\Phi$. The regular level set theorem now shows thatis an embedded submanifold of $X_{m,n}\times {\mathbb{R}}^n$, of dimension $mn+n-m$.