To answer the final question, assume that the total space of the taulogical bundle $E\to G(k,n)$ embeds into $G(k,n+1)$ such that $G(k,n+1)\setminus E$ consists of a single point only. Then $G(k,n+1)$ is the Thom space of $E$. The Thom isomorphism for $E$ shows that $H^\ell(G(k,n+1);\mathbb Z/2)=0$ for $0<\ell<k$. But $G(k,n+1)$ is not orientable, so $H^1(G(k,n+1);\mathbb Z/2)\ne 0$. Hence for $k\ge 2$, no such embedding exists.
Sebastian Goette
- 6.8k
- 2
- 36
- 62