Return to Answer

$\newcommand{\bRP}{\mathbb{RP}}$ $\newcommand{\bR}{\mathbb{R}}$ The result about the complement of a point in $\bRP^{n+1}$ is related to the natural cell decomposition of $\bRP^{n+1}$. The counterpart of this decomposition for higher Grassmannians is the so called Schubert decomposition and you can find a particularly readable description in Chapter 6 of Milnor & Stasheff's classic Characteristic Classes.

These cell decompositions have a Morse theoretic description, and this point of view will enable you to construct embeddings of many homogeneous spaces in to Grassmannians.

Fix afinite dimensional Euclidean space $V$ and denote by $\DeclareMathOperator{\Gr}{\boldsymbol{Gr}}$ $\Gr_k(V)$ the Grassmanian of $k$-dimensional subspaces of $V$. $\DeclareMathOperator{\Sym}{Sym}$. For a subspace $S\in\Gr_k(V)$, denote by $P_S$ the orthogonal projection onto $S$ viewed as a symmetric operator $P_S: V\to V$. Denote by $\Sym(V)$ the space of symmetric linear operators $V\to V$.

The correspondence

$$\Gr_k(V)\ni S\mapsto P_S\in\Sym(V) $$

produces a smooth embedding $\Gr_k(V\hookrightarrow \Sym(V)$.

The space $\Sym(V)$ is equipped with a natural inner product $\DeclareMathOperator{\tr}{tr}$

$$(A,B)=\tr(AB),\;\;\forall A,B\in \Sym(V). $$

This induces a Riemann metric on $\Gr_k(V)$.

Any operator $ A\in \Sym(V)$ defines a linear function $\ell_A:\Sym(V)\to\bR$, $B\mapsto \tr(AB)=(A,B)$. We denote by $f_A$ the restriction of $\ell_A$ to $\Gr_k(V)$.

For generic $A$ the function $f_A:\Gr_k(V)\to \bR$ is a Morse function. We denote by $\nabla f_A$ the gradient of $f_A$ with respect to the induced metric and by $\Phi_A^t$ the flow on $\Gr_k(V)$ generated by $-\nabla f_A$. Assuming $A$ generic, i.e., it has distinct eigenvalues, then the unstable manifolds of this flow are precisely the Schubert cells giving the Schubert cellular decomposition described by Milnor and Stasheff.

When $A$ is not generic $f_A$ is not necessarily Morse but it is Morse-Bott. In this case the critical submanifolds of $f_A$ are intersting homogeneous spaces. For example, if you take $A$ to be the orthogonal projection on a $1$-dimensional subspace $L$,then the restriction of $\ell_A$ to $\Gr_1(V)$ is Morse-Bott. Its absolute minima form a critical submanifold diffeomorphic to $\Gr_1(L^\perp)$, where $L^\perp$ is the orthogonal complement of $L$ in $V$. This function has a unique maximum, the point $L\in\Gr_1(V)$. From these two facts you get the statement about the complement of a point in $\Gr_1(V)$ mentioned at the begining of your question.

One can use the same function

$$\Gr_2(V)\ni S\mapsto \tr(P_LP_S)\in\bR $$

to obtain other interesting embeddings. For more details and other examples see this very nice article by Dynnikov and Veselov and Chapter 3 of my book on Morse theory.

Update 1.  $\Gr_2(\bR^{n-1})$ embeds in $\Gr_2(\bR^n)$. Using the above notation observe that $\Gr_2(L^perp)$ embeds in $\Gr_2(V)$ with normal bundle the tautological bundle. This submanifold consists of the minima of the function $f_A$ where $A=P_L$. The complement of tubular neighborhood is not a disk though.

The maxima of the function $f_A$ consists of $2$-planes containing $L$. It is not hard to see that this set can be identified with lines in $V$ perpendicular to $L$, i.e., $\Gr_1(L^\perp)$. The normal bundle of this embedding is quotient tautological bundle. This shows that $\newcommand{\bD}{\mathbb{D}}$

$$\Gr_2(\bR^n)= \bD_{\Gr_2(\bR^{n-1})}\cup_\partial \bD_{\Gr_{n-2}(\bR^{n-1})}, $$

where $\bD_{\Gr_k(V)}$ denotes the unit disk bundle of the tautological vector bundle over $\Gr_k(V)$, and $\cup_\partial$ denotes the gluing of two manifolds along their diffeomorphic boundaries.

$\newcommand{\bRP}{\mathbb{RP}}$ $\newcommand{\bR}{\mathbb{R}}$ The result about the complement of a point in $\bRP^{n+1}$ is related to the natural cell decomposition of $\bRP^{n+1}$. The counterpart of this decomposition for higher Grassmannians is the so called Schubert decomposition and you can find a particularly readable description in Chapter 6 of Milnor & Stasheff's classic Characteristic Classes.

These cell decompositions have a Morse theoretic description, and this point of view will enable you to construct embeddings of many homogeneous spaces in to Grassmannians.

Fix an $n$-dimensional dimensional Euclidean space $V$ and denote by $\DeclareMathOperator{\Gr}{\boldsymbol{Gr}}$ $\Gr_k(V)$ the Grassmanian of $k$-dimensional subspaces of $V$. $\DeclareMathOperator{\Sym}{Sym}$. For a subspace $S\in\Gr_k(V)$, denote by $P_S$ the orthogonal projection onto $S$ viewed as a symmetric operator $P_S: V\to V$. Denote by $\Sym(V)$ the space of symmetric linear operators $V\to V$.

The correspondence

$$\Gr_k(V)\ni S\mapsto P_S\in\Sym(V) $$

produces a smooth embedding $\Gr_k(V\hookrightarrow \Sym(V)$.

The space $\Sym(V)$ is equipped with a natural inner product $\DeclareMathOperator{\tr}{tr}$

$$(A,B)=\tr(AB),\;\;\forall A,B\in \Sym(V). $$

This induces a Riemann metric on $\Gr_k(V)$.

Any operator $ A\in \Sym(V)$ defines a linear function $\ell_A:\Sym(V)\to\bR$, $B\mapsto \tr(AB)=(A,B)$. We denote by $f_A$ the restriction of $\ell_A$ to $\Gr_k(V)$.

For generic $A$ the function $f_A:\Gr_k(V)\to \bR$ is a Morse function. We denote by $\nabla f_A$ the gradient of $f_A$ with respect to the induced metric and by $\Phi_A^t$ the flow on $\Gr_k(V)$ generated by $-\nabla f_A$. Assuming $A$ generic, i.e., it has distinct eigenvalues, then the unstable manifolds of this flow are precisely the Schubert cells giving the Schubert cellular decomposition described by Milnor and Stasheff.

When $A$ is not generic $f_A$ is not necessarily Morse but it is Morse-Bott. In this case the critical submanifolds of $f_A$ are intersting homogeneous spaces. For example, if you take $A$ to be the orthogonal projection on a $1$-dimensional subspace $L$,then the restriction of $\ell_A$ to $\Gr_1(V)$ is Morse-Bott. Its absolute minima form a critical submanifold diffeomorphic to $\Gr_1(L^\perp)$, where $L^\perp$ is the orthogonal complement of $L$ in $V$. This function has a unique maximum, the point $L\in\Gr_1(V)$. From these two facts you get the statement about the complement of a point in $\Gr_1(V)$ mentioned at the begining of your question.

One can use the same function

$$\Gr_2(V)\ni S\mapsto \tr(P_LP_S)\in\bR $$

to obtain other interesting embeddings. For more details and other examples see this very nice article by Dynnikov and Veselov and Chapter 3 of my book on Morse theory.

Update 1. Here is an answer to your question. The Grassmannian $\Gr_2(\bR^{n-1})$ embeds in $\Gr_2(\bR^n)$. Using the above notation observe that $\Gr_2(L^\perp)$ ($2$-planes in $L^\perp$) embeds in $\Gr_2(V)$. The normal bundle of this embedding is the tautological $2$-plane bundle over $\Gr_2(L^\perp)$. This submanifold consists of the minima of the function $f_A$ where $A=P_L$. The complement of tubular neighborhood is not a disk though.

The maxima of the function $f_A$ consists of $2$-planes containing $L$. It is not hard to see that this set can be identified with lines in $V$ perpendicular to $L$, i.e., $\Gr_1(L^\perp)$. The normal bundle of this embedding is quotient tautological bundle, i.e.,the quotient of the trivial bundle $$ L^\perp\times \Gr_1(L^\perp)\to\Gr_1(L^\perp)$$ by the universal line bundle over $\Gr_1(L^\perp)$. Since the critical points of the function $f_A$ are either global minima or global maxima we deduce shows that $\newcommand{\bD}{\mathbb{D}}$

$$\Gr_2(\bR^n)= \bD_{\Gr_2(\bR^{n-1})}\cup_\partial \bD_{\Gr_{n-2}(\bR^{n-1})}, $$

where $\bD_{\Gr_k(V)}$ denotes the unit disk bundle of the tautological vector bundle over $\Gr_k(V)$, and $\cup_\partial$ denotes the gluing of two manifolds along their diffeomorphic boundaries.

$\newcommand{\bRP}{\mathbb{RP}}$ $\newcommand{\bR}{\mathbb{R}}$ The result about the complement of a point in $\bRP^{n+1}$ is related to the natural cell decomposition of $\bRP^{n+1}$. The counterpart of this decomposition for higher Grassmannians is the so called Schubert decomposition and you can find a particularly readable description in Chapter 6 of Milnor & Stasheff's classic Characteristic Classes.

These cell decompositions have a Morse theoretic description, and this point of view will enable you to construct embeddings of many homogeneous spaces in to Grassmannians.

Fix afinite dimensional Euclidean space $V$ and denote by $\DeclareMathOperator{\Gr}{\boldsymbol{Gr}}$ $\Gr_k(V)$ the Grassmanian of $k$-dimensional subspaces of $V$. $\DeclareMathOperator{\Sym}{Sym}$. For a subspace $S\in\Gr_k(V)$, denote by $P_S$ the orthogonal projection onto $S$ viewed as a symmetric operator $P_S: V\to V$. Denote by $\Sym(V)$ the space of symmetric linear operators $V\to V$.

The correspondence

$$\Gr_k(V)\ni S\mapsto P_S\in\Sym(V) $$

produces a smooth embedding $\Gr_k(V\hookrightarrow \Sym(V)$.

The space $\Sym(V)$ is equipped with a natural inner product $\DeclareMathOperator{\tr}{tr}$

$$(A,B)=\tr(AB),\;\;\forall A,B\in \Sym(V). $$

This induces a Riemann metric on $\Gr_k(V)$.

Any operator $ A\in \Sym(V)$ defines a linear function $\ell_A:\Sym(V)\to\bR$, $B\mapsto \tr(AB)=(A,B)$. We denote by $f_A$ the restriction of $\ell_A$ to $\Gr_k(V)$.

For generic $A$ the function $f_A:\Gr_k(V)\to \bR$ is a Morse function. We denote by $\nabla f_A$ the gradient of $f_A$ with respect to the induced metric and by $\Phi_A^t$ the flow on $\Gr_k(V)$ generated by $-\nabla f_A$. Assuming $A$ generic, i.e., it has distinct eigenvalues, then the unstable manifolds of this flow are precisely the Schubert cells giving the Schubert cellular decomposition described by Milnor and Stasheff.

When $A$ is not generic $f_A$ is not necessarily Morse but it is Morse-Bott. In this case the critical submanifolds of $f_A$ are intersting homogeneous spaces. For example, if you take $A$ to be the orthogonal projection on a $1$-dimensional subspace $L$,then the restriction of $\ell_A$ to $\Gr_1(V)$ is Morse-Bott. Its absolute minima form a critical submanifold diffeomorphic to $\Gr_1(L^\perp)$, where $L^\perp$ is the orthogonal complement of $L$ in $V$. This function has a unique maximum, the point $L\in\Gr_1(V)$. From these two facts you get the statement about the complement of a point in $\Gr_1(V)$ mentioned at the begining of your question.

One can use the same function

$$\Gr_2(V)\ni S\mapsto \tr(P_LP_S)\in\bR $$

to obtain other interesting embeddings. For more details and other examples see this very nice article by Dynnikov and Veselov and Chapter 3 of my book on Morse theory.

$\newcommand{\bRP}{\mathbb{RP}}$ $\newcommand{\bR}{\mathbb{R}}$ The result about the complement of a point in $\bRP^{n+1}$ is related to the natural cell decomposition of $\bRP^{n+1}$. The counterpart of this decomposition for higher Grassmannians is the so called Schubert decomposition and you can find a particularly readable description in Chapter 6 of Milnor & Stasheff's classic Characteristic Classes.

These cell decompositions have a Morse theoretic description, and this point of view will enable you to construct embeddings of many homogeneous spaces in to Grassmannians.

Fix afinite dimensional Euclidean space $V$ and denote by $\DeclareMathOperator{\Gr}{\boldsymbol{Gr}}$ $\Gr_k(V)$ the Grassmanian of $k$-dimensional subspaces of $V$. $\DeclareMathOperator{\Sym}{Sym}$. For a subspace $S\in\Gr_k(V)$, denote by $P_S$ the orthogonal projection onto $S$ viewed as a symmetric operator $P_S: V\to V$. Denote by $\Sym(V)$ the space of symmetric linear operators $V\to V$.

The correspondence

$$\Gr_k(V)\ni S\mapsto P_S\in\Sym(V) $$

produces a smooth embedding $\Gr_k(V\hookrightarrow \Sym(V)$.

The space $\Sym(V)$ is equipped with a natural inner product $\DeclareMathOperator{\tr}{tr}$

$$(A,B)=\tr(AB),\;\;\forall A,B\in \Sym(V). $$

This induces a Riemann metric on $\Gr_k(V)$.

Any operator $ A\in \Sym(V)$ defines a linear function $\ell_A:\Sym(V)\to\bR$, $B\mapsto \tr(AB)=(A,B)$. We denote by $f_A$ the restriction of $\ell_A$ to $\Gr_k(V)$.

For generic $A$ the function $f_A:\Gr_k(V)\to \bR$ is a Morse function. We denote by $\nabla f_A$ the gradient of $f_A$ with respect to the induced metric and by $\Phi_A^t$ the flow on $\Gr_k(V)$ generated by $-\nabla f_A$. Assuming $A$ generic, i.e., it has distinct eigenvalues, then the unstable manifolds of this flow are precisely the Schubert cells giving the Schubert cellular decomposition described by Milnor and Stasheff.

When $A$ is not generic $f_A$ is not necessarily Morse but it is Morse-Bott. In this case the critical submanifolds of $f_A$ are intersting homogeneous spaces. For example, if you take $A$ to be the orthogonal projection on a $1$-dimensional subspace $L$,then the restriction of $\ell_A$ to $\Gr_1(V)$ is Morse-Bott. Its absolute minima form a critical submanifold diffeomorphic to $\Gr_1(L^\perp)$, where $L^\perp$ is the orthogonal complement of $L$ in $V$. This function has a unique maximum, the point $L\in\Gr_1(V)$. From these two facts you get the statement about the complement of a point in $\Gr_1(V)$ mentioned at the begining of your question.

One can use the same function

$$\Gr_2(V)\ni S\mapsto \tr(P_LP_S)\in\bR $$

to obtain other interesting embeddings. For more details and other examples see this very nice article by Dynnikov and Veselov and Chapter 3 of my book on Morse theory.

Update 1. $\Gr_2(\bR^{n-1})$ embeds in $\Gr_2(\bR^n)$. Using the above notation observe that $\Gr_2(L^perp)$ embeds in $\Gr_2(V)$ with normal bundle the tautological bundle. This submanifold consists of the minima of the function $f_A$ where $A=P_L$. The complement of tubular neighborhood is not a disk though.

The maxima of the function $f_A$ consists of $2$-planes containing $L$. It is not hard to see that this set can be identified with lines in $V$ perpendicular to $L$, i.e., $\Gr_1(L^\perp)$. The normal bundle of this embedding is quotient tautological bundle. This shows that $\newcommand{\bD}{\mathbb{D}}$

$$\Gr_2(\bR^n)= \bD_{\Gr_2(\bR^{n-1})}\cup_\partial \bD_{\Gr_{n-2}(\bR^{n-1})}, $$

where $\bD_{\Gr_k(V)}$ denotes the unit disk bundle of the tautological vector bundle over $\Gr_k(V)$, and $\cup_\partial$ denotes the gluing of two manifolds along their diffeomorphic boundaries.

$\newcommand{\bRP}{\mathbb{RP}}$ $\newcommand{\bR}{\mathbb{R}}$ The result about the complement of a point in $\bRP^{n+1}$ is related to the natural cell decomposition of $\bRP^{n+1}$. The counterpart of this decomposition for higher Grassmannians is the so called Schubert decomposition and you can find a particularly readable description in Chapter 6 of Milnor & Stasheff's classic Characteristic Classes.

These cell decompositions have a Morse theoretic description, and this point of view will enable you to construct embeddings of many homogeneous spaces in to Grassmannians.

Fix afinite dimensional Euclidean space $V$ and denote by $\DeclareMathOperator{\Gr}{\boldsymbol{Gr}}$ $\Gr_k(V)$ the Grassmanian of $k$-dimensional subspaces of $V$. $\DeclareMathOperator{\Sym}{Sym}$. For a subspace $S\in\Gr_k(V)$, denote by $P_S$ the orthogonal projection onto $S$ viewed as a symmetric operator $P_S: V\to V$. Denote by $\Sym(V)$ the space of symmetric linear operators $V\to V$.

The correspondence

$$\Gr_k(V)\ni S\mapsto P_S\in\Sym(V) $$

produces a smooth embedding $\Gr_k(V\hookrightarrow \Sym(V)$.

The space $\Sym(V)$ is equipped with a natural inner product $\DeclareMathOperator{\tr}{tr}$

$$(A,B)=\tr(AB),\;\;\forall A,B\in \Sym(V). $$

This induces a Riemann metric on $\Gr_k(V)$.

Any operator $ A\in \Sym(V)$ defines a linear function $\ell_A:\Sym(V)\to\bR$, $B\mapsto \tr(AB)=(A,B)$. We denote by $f_A$ the restriction of $\ell_A$ to $\Gr_k(V)$.

For generic $A$ the function $f_A:\Gr_k(V)\to \bR$ is a Morse function. We denote by $\nabla f_A$ the gradient of $f_A$ with respect to the induced metric and by $\Phi_A^t$ the flow on $\Gr_k(V)$ generated by $-\nabla f_A$. Assuming $A$ generic, i.e., it has distinct eigenvalues, then the unstable manifolds of this flow are precisely the Schubert cells giving the Schubert cellular decomposition described by Milnor and Stasheff.

When $A$ is not generic $f_A$ is not necessarily Morse but it is Morse-Bott. In this case the critical submanifolds of $f_A$ are intersting homogeneous spaces. For example, if you take $A$ to be the orthogonal projection on a $1$-dimensional subspace $L$,then the restriction of $\ell_A$ to $\Gr_1(V)$ is Morse-Bott. Its absolute minima form a critical submanifold diffeomorphic to $\Gr_1(L^\perp)$, where $L^\perp$ is the orthogonal complement of $L$ in $V$. This function has a unique maximum, the point $L\in\Gr_1(V)$. From these two facts you get the statement about the complement of a point in $\Gr_1(V)$ mentioned at the begining of your question.

Use the same function

$$\Gr_2(V)\ni S\mapsto \tr(P_LP_S) $$

to obtain other interesting embeddings. For more details and other examples see this very nice article by Dynnikov and Veselov and Chapter 3 of my book on Morse theory.

$\newcommand{\bRP}{\mathbb{RP}}$ $\newcommand{\bR}{\mathbb{R}}$ The result about the complement of a point in $\bRP^{n+1}$ is related to the natural cell decomposition of $\bRP^{n+1}$. The counterpart of this decomposition for higher Grassmannians is the so called Schubert decomposition and you can find a particularly readable description in Chapter 6 of Milnor & Stasheff's classic Characteristic Classes.

These cell decompositions have a Morse theoretic description, and this point of view will enable you to construct embeddings of many homogeneous spaces in to Grassmannians.

Fix afinite dimensional Euclidean space $V$ and denote by $\DeclareMathOperator{\Gr}{\boldsymbol{Gr}}$ $\Gr_k(V)$ the Grassmanian of $k$-dimensional subspaces of $V$. $\DeclareMathOperator{\Sym}{Sym}$. For a subspace $S\in\Gr_k(V)$, denote by $P_S$ the orthogonal projection onto $S$ viewed as a symmetric operator $P_S: V\to V$. Denote by $\Sym(V)$ the space of symmetric linear operators $V\to V$.

The correspondence

$$\Gr_k(V)\ni S\mapsto P_S\in\Sym(V) $$

produces a smooth embedding $\Gr_k(V\hookrightarrow \Sym(V)$.

The space $\Sym(V)$ is equipped with a natural inner product $\DeclareMathOperator{\tr}{tr}$

$$(A,B)=\tr(AB),\;\;\forall A,B\in \Sym(V). $$

This induces a Riemann metric on $\Gr_k(V)$.

Any operator $ A\in \Sym(V)$ defines a linear function $\ell_A:\Sym(V)\to\bR$, $B\mapsto \tr(AB)=(A,B)$. We denote by $f_A$ the restriction of $\ell_A$ to $\Gr_k(V)$.

For generic $A$ the function $f_A:\Gr_k(V)\to \bR$ is a Morse function. We denote by $\nabla f_A$ the gradient of $f_A$ with respect to the induced metric and by $\Phi_A^t$ the flow on $\Gr_k(V)$ generated by $-\nabla f_A$. Assuming $A$ generic, i.e., it has distinct eigenvalues, then the unstable manifolds of this flow are precisely the Schubert cells giving the Schubert cellular decomposition described by Milnor and Stasheff.

When $A$ is not generic $f_A$ is not necessarily Morse but it is Morse-Bott. In this case the critical submanifolds of $f_A$ are intersting homogeneous spaces. For example, if you take $A$ to be the orthogonal projection on a $1$-dimensional subspace $L$,then the restriction of $\ell_A$ to $\Gr_1(V)$ is Morse-Bott. Its absolute minima form a critical submanifold diffeomorphic to $\Gr_1(L^\perp)$, where $L^\perp$ is the orthogonal complement of $L$ in $V$. This function has a unique maximum, the point $L\in\Gr_1(V)$. From these two facts you get the statement about the complement of a point in $\Gr_1(V)$ mentioned at the begining of your question.

One can use the same function

$$\Gr_2(V)\ni S\mapsto \tr(P_LP_S)\in\bR $$

to obtain other interesting embeddings. For more details and other examples see this very nice article by Dynnikov and Veselov and Chapter 3 of my book on Morse theory.