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

Fix $I$ and write $I^{\prime }$ for the complementary column indices. Over $U_I$, decompose $M=(M_I,M_{I^{\prime }})$ and $v=(v_I,v_{I^{\prime }})$. The equation $Mv=0$ is equivalent toMatrix inversion is smooth on the invertible matrices, sois a smooth, fiberwise-linear trivialization $U_I\times {\mathbb{R}}^{n-m}\to {\pi }^{-1}(U_I)$. The sets $U_I$ cover the base, proving that $\pi :E_{m,n}\to X_{m,n}$ is a vector bundle of rank $n-m$. It is the kernel bundle of a constant-rank family of linear maps, and its rank also follows from the rank-nullity theorem.