Let ${\displaystyle \mathbb {F} }$  stand for ${\displaystyle \mathbb {R} ,\mathbb {C} ,}$  or ${\displaystyle \mathbb {H} .}$  The Stiefel manifold ${\displaystyle V_{k}(\mathbb {F} ^{n})}$  can be thought of as a set of n × k matrices by writing a k-frame as a matrix of k column vectors in ${\displaystyle \mathbb {F} ^{n}.}$  The orthonormality condition is expressed by A*A = ${\displaystyle I_{k}}$  where A* denotes the conjugate transpose of A and ${\displaystyle I_{k}}$  denotes the k × k identity matrix. We then have

${\displaystyle V_{k}(\mathbb {F} ^{n})=\left\{A\in \mathbb {F} ^{n\times k}:A^{*}A=I_{k}\right\}.}$ 

The topology on ${\displaystyle V_{k}(\mathbb {F} ^{n})}$  is the subspace topology inherited from ${\displaystyle \mathbb {F} ^{n\times k}.}$  With this topology ${\displaystyle V_{k}(\mathbb {F} ^{n})}$  is a compact manifold whose dimension is given by

${\displaystyle {\begin{aligned}\dim V_{k}(\mathbb {R} ^{n})&=nk-{\frac {1}{2}}k(k+1)\\\dim V_{k}(\mathbb {C} ^{n})&=2nk-k^{2}\\\dim V_{k}(\mathbb {H} ^{n})&=4nk-k(2k-1)\end{aligned}}}$ 

Each of the Stiefel manifolds ${\displaystyle V_{k}(\mathbb {F} ^{n})}$  can be viewed as a homogeneous space for the action of a classical group in a natural manner.

Every orthogonal transformation of a k-frame in ${\displaystyle \mathbb {R} ^{n}}$  results in another k-frame, and any two k-frames are related by some orthogonal transformation. In other words, the orthogonal group O(n) acts transitively on ${\displaystyle V_{k}(\mathbb {R} ^{n}).}$  The stabilizer subgroup of a given frame is the subgroup isomorphic to O(n−k) which acts nontrivially on the orthogonal complement of the space spanned by that frame.

Likewise the unitary group U(n) acts transitively on ${\displaystyle V_{k}(\mathbb {C} ^{n})}$  with stabilizer subgroup U(n−k) and the symplectic group Sp(n) acts transitively on ${\displaystyle V_{k}(\mathbb {H} ^{n})}$  with stabilizer subgroup Sp(n−k).

In each case ${\displaystyle V_{k}(\mathbb {F} ^{n})}$  can be viewed as a homogeneous space:

${\displaystyle {\begin{aligned}V_{k}(\mathbb {R} ^{n})&\cong {\mbox{O}}(n)/{\mbox{O}}(n-k)\\V_{k}(\mathbb {C} ^{n})&\cong {\mbox{U}}(n)/{\mbox{U}}(n-k)\\V_{k}(\mathbb {H} ^{n})&\cong {\mbox{Sp}}(n)/{\mbox{Sp}}(n-k)\end{aligned}}}$ 

When k = n, the corresponding action is free so that the Stiefel manifold ${\displaystyle V_{n}(\mathbb {F} ^{n})}$  is a principal homogeneous space for the corresponding classical group.

When k is strictly less than n then the special orthogonal group SO(n) also acts transitively on ${\displaystyle V_{k}(\mathbb {R} ^{n})}$  with stabilizer subgroup isomorphic to SO(n−k) so that

${\displaystyle V_{k}(\mathbb {R} ^{n})\cong {\mbox{SO}}(n)/{\mbox{SO}}(n-k)\qquad {\mbox{for }}k<n.}$ 

The same holds for the action of the special unitary group on ${\displaystyle V_{k}(\mathbb {C} ^{n})}$ 

${\displaystyle V_{k}(\mathbb {C} ^{n})\cong {\mbox{SU}}(n)/{\mbox{SU}}(n-k)\qquad {\mbox{for }}k<n.}$ 

Thus for k = n − 1, the Stiefel manifold is a principal homogeneous space for the corresponding special classical group.

The Stiefel manifold can be equipped with a uniform measure, i.e. a Borel measure that is invariant under the action of the groups noted above. For example, ${\displaystyle V_{1}(\mathbb {R} ^{2})}$  which is isomorphic to the unit circle in the Euclidean plane, has as its uniform measure the obvious uniform measure (arc length) on the circle. It is straightforward to sample this measure on ${\displaystyle V_{k}(\mathbb {F} ^{n})}$  using Gaussian random matrices: if ${\displaystyle A\in \mathbb {F} ^{n\times k}}$  is a random matrix with independent entries identically distributed according to the standard normal distribution on ${\displaystyle \mathbb {F} }$  and A = QR is the QR factorization of A, then the matrices, ${\displaystyle Q\in \mathbb {F} ^{n\times k},R\in \mathbb {F} ^{k\times k}}$  are independent random variables and Q is distributed according to the uniform measure on ${\displaystyle V_{k}(\mathbb {F} ^{n}).}$  This result is a consequence of the Bartlett decomposition theorem.^[1]

A 1-frame in ${\displaystyle \mathbb {F} ^{n}}$  is nothing but a unit vector, so the Stiefel manifold ${\displaystyle V_{1}(\mathbb {F} ^{n})}$  is just the unit sphere in ${\displaystyle \mathbb {F} ^{n}.}$  Therefore:

${\displaystyle {\begin{aligned}V_{1}(\mathbb {R} ^{n})&=S^{n-1}\\V_{1}(\mathbb {C} ^{n})&=S^{2n-1}\\V_{1}(\mathbb {H} ^{n})&=S^{4n-1}\end{aligned}}}$ 

Given a 2-frame in ${\displaystyle \mathbb {R} ^{n},}$  let the first vector define a point in Sⁿ⁻¹ and the second a unit tangent vector to the sphere at that point. In this way, the Stiefel manifold ${\displaystyle V_{2}(\mathbb {R} ^{n})}$  may be identified with the unit tangent bundle to Sⁿ⁻¹.

When k = n or n−1 we saw in the previous section that ${\displaystyle V_{k}(\mathbb {F} ^{n})}$  is a principal homogeneous space, and therefore diffeomorphic to the corresponding classical group:

${\displaystyle {\begin{aligned}V_{n-1}(\mathbb {R} ^{n})&\cong \mathrm {SO} (n)\\V_{n-1}(\mathbb {C} ^{n})&\cong \mathrm {SU} (n)\end{aligned}}}$ 

${\displaystyle {\begin{aligned}V_{n}(\mathbb {R} ^{n})&\cong \mathrm {O} (n)\\V_{n}(\mathbb {C} ^{n})&\cong \mathrm {U} (n)\\V_{n}(\mathbb {H} ^{n})&\cong \mathrm {Sp} (n)\end{aligned}}}$ 

Given an orthogonal inclusion between vector spaces ${\displaystyle X\hookrightarrow Y,}$  the image of a set of k orthonormal vectors is orthonormal, so there is an induced closed inclusion of Stiefel manifolds, ${\displaystyle V_{k}(X)\hookrightarrow V_{k}(Y),}$  and this is functorial. More subtly, given an n-dimensional vector space X, the dual basis construction gives a bijection between bases for X and bases for the dual space ${\displaystyle X^{*},}$  which is continuous, and thus yields a homeomorphism of top Stiefel manifolds ${\displaystyle V_{n}(X){\stackrel {\sim }{\to }}V_{n}(X^{*}).}$  This is also functorial for isomorphisms of vector spaces.

There is a natural projection

${\displaystyle p:V_{k}(\mathbb {F} ^{n})\to G_{k}(\mathbb {F} ^{n})}$ 

from the Stiefel manifold ${\displaystyle V_{k}(\mathbb {F} ^{n})}$  to the Grassmannian of k-planes in ${\displaystyle \mathbb {F} ^{n}}$  which sends a k-frame to the subspace spanned by that frame. The fiber over a given point P in ${\displaystyle G_{k}(\mathbb {F} ^{n})}$  is the set of all orthonormal k-frames contained in the space P.

This projection has the structure of a principal G-bundle where G is the associated classical group of degree k. Take the real case for concreteness. There is a natural right action of O(k) on ${\displaystyle V_{k}(\mathbb {R} ^{n})}$  which rotates a k-frame in the space it spans. This action is free but not transitive. The orbits of this action are precisely the orthonormal k-frames spanning a given k-dimensional subspace; that is, they are the fibers of the map p. Similar arguments hold in the complex and quaternionic cases.

We then have a sequence of principal bundles:

${\displaystyle {\begin{aligned}\mathrm {O} (k)&\to V_{k}(\mathbb {R} ^{n})\to G_{k}(\mathbb {R} ^{n})\\\mathrm {U} (k)&\to V_{k}(\mathbb {C} ^{n})\to G_{k}(\mathbb {C} ^{n})\\\mathrm {Sp} (k)&\to V_{k}(\mathbb {H} ^{n})\to G_{k}(\mathbb {H} ^{n})\end{aligned}}}$ 

The vector bundles associated to these principal bundles via the natural action of G on ${\displaystyle \mathbb {F} ^{k}}$  are just the tautological bundles over the Grassmannians. In other words, the Stiefel manifold ${\displaystyle V_{k}(\mathbb {F} ^{n})}$  is the orthogonal, unitary, or symplectic frame bundle associated to the tautological bundle on a Grassmannian.

When one passes to the ${\displaystyle n\to \infty }$  limit, these bundles become the universal bundles for the classical groups.

The Stiefel manifolds fit into a family of fibrations:

${\displaystyle V_{k-1}(\mathbb {R} ^{n-1})\to V_{k}(\mathbb {R} ^{n})\to S^{n-1},}$ 

thus the first non-trivial homotopy group of the space ${\displaystyle V_{k}(\mathbb {R} ^{n})}$  is in dimension n − k. Moreover,

${\displaystyle \pi _{n-k}V_{k}(\mathbb {R} ^{n})\simeq {\begin{cases}\mathbb {Z} &n-k{\text{ even or }}k=1\\\mathbb {Z} _{2}&n-k{\text{ odd and }}k>1\end{cases}}}$ 

This result is used in the obstruction-theoretic definition of Stiefel–Whitney classes.

• Flag manifold
• Matrix Langevin distribution^[2][3]

• Hatcher, Allen (2002). Algebraic Topology. Cambridge University Press. ISBN 0-521-79540-0.
• Husemoller, Dale (1994). Fibre Bundles ((3rd ed.) ed.). New York: Springer-Verlag. ISBN 0-387-94087-1.
• James, Ioan Mackenzie (1976). The topology of Stiefel manifolds. CUP Archive. ISBN 978-0-521-21334-9.
• "Stiefel manifold", Encyclopedia of Mathematics, EMS Press, 2001 [1994]