Math 2.0

Algebraic topology Fibrations and bundles Example

Stiefel manifold

Example

Let 1≤k≤n1 \le k \le n. The real Stiefel manifold Vk(ℝn)V_k(\R^n) is the set of orthonormal kk-frames in ℝn\R^n: Vk(ℝn)={(v1,…,vk)∈(ℝn)k:⟨vi,vj⟩=δij for all i,j},V_k(\R^n) = \set{(v_1, \ldots, v_k) \in (\R^n)^k : \ip{v_i}{v_j} = \delta_{ij} \text{ for all } i, j}, with the subspace topology of (ℝn)k(\R^n)^k. It is a compact smooth manifold of dimension nk−k(k+1)/2nk - k(k+1)/2.

Check: Vk(ℝn)V_k(\R^n) is closed and bounded in (ℝn)k(\R^n)^k, hence compact. It is the level set of the map (v1,…,vk)↦(⟨vi,vj⟩)i≤j(v_1, \ldots, v_k) \mapsto (\ip{v_i}{v_j})_{i \le j} to the space of symmetric k×kk \times k matrices at the identity matrix, and this value is regular. The space of symmetric k×kk \times k matrices has dimension k(k+1)/2k(k+1)/2, which gives the dimension.

Remarks

Special cases: V1(ℝn)=Sn−1V_1(\R^n) = S^{n-1}, and Vn(ℝn)V_n(\R^n) is the orthogonal group O(n)O(n). For V2(ℝ3)V_2(\R^3) the dimension is 6−3=36 - 3 = 3, and indeed (v1,v2)↦(v1,v2,v1×v2)(v_1, v_2) \mapsto (v_1, v_2, v_1 \times v_2) identifies it with the rotation group SO(3)SO(3).

Stiefel manifolds give standard fiber bundles. The map Vk(ℝn)→Sn−1V_k(\R^n) \to S^{n-1}, (v1,…,vk)↦v1(v_1, \ldots, v_k) \mapsto v_1, is a fiber bundle with fiber Vk−1(ℝn−1)V_{k-1}(\R^{n-1}). The map Vk(ℝn)→Gk(ℝn)V_k(\R^n) \to G_k(\R^n) that sends a frame to the subspace it spans is a principal O(k)O(k)-bundle over the Grassmannian. Using these bundles one shows that Vk(ℝn)V_k(\R^n) is (n−k−1)(n - k - 1)-connected; as n→∞n \to \infty, the bundle Vk(ℝ∞)→Gk(ℝ∞)V_k(\R^\infty) \to G_k(\R^\infty) becomes the universal bundle for O(k)O(k).

Further reading

  1. Web https://en.wikipedia.org/wiki/Stiefel_manifold
About this page
TagW7RCXS3CHT
URIm2://W7RCXS3CHT
Kindexample
WritingW0 stub
MSC55R10, 57R22
Instance ofSmooth manifold
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.