Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

The topology of finite and infinite-dimensional Stiefel manifolds

Nizar El Idrissi

Abstract

Stiefel manifolds arise naturally as spaces of linear monomorphisms and as total spaces of universal frame bundles over Grassmannians. While their finite-dimensional topology is governed by Bott periodicity and nontrivial characteristic classes, the infinite-dimensional theory exhibits a striking collapse phenomenon stemming from Kuiper's contractibility theorem. In this expository article, we present a unified treatment of finite and infinite-dimensional Stiefel manifolds over real and complex Hilbert spaces, emphasizing three structural principles: \\ (i) the interpretation of Stiefel manifolds as spaces of injective operators, \\ (ii) the polar decomposition as a canonical factorization yielding both homotopy decompositions and principal bundle structures, and \\ (iii) the role of Grassmannians as classifying spaces in the stable limit. \\ We show that the polar decomposition provides a global homeomorphism \[ \operatorname{St}(n,H) \cong \operatorname{St}_{\operatorname{orth}}(n,H) \times \operatorname{P}_n(\mathbb{F}) \] valid in arbitrary Hilbert dimension, and that this factorization isolates the entire difference between finite and infinite-dimensional topology. In finite dimension, Bott periodicity and characteristic classes control the nontriviality of the universal bundle; in infinite dimension, Kuiper's theorem forces the contractibility of orthonormal Stiefel manifolds while preserving the nontriviality of the finite-rank universal bundle. This perspective clarifies the precise mechanism behind the "stable" approximation of Grassmannians and highlights the structural transition between classical and Hilbertian topology.

The topology of finite and infinite-dimensional Stiefel manifolds

Abstract

Stiefel manifolds arise naturally as spaces of linear monomorphisms and as total spaces of universal frame bundles over Grassmannians. While their finite-dimensional topology is governed by Bott periodicity and nontrivial characteristic classes, the infinite-dimensional theory exhibits a striking collapse phenomenon stemming from Kuiper's contractibility theorem. In this expository article, we present a unified treatment of finite and infinite-dimensional Stiefel manifolds over real and complex Hilbert spaces, emphasizing three structural principles: \\ (i) the interpretation of Stiefel manifolds as spaces of injective operators, \\ (ii) the polar decomposition as a canonical factorization yielding both homotopy decompositions and principal bundle structures, and \\ (iii) the role of Grassmannians as classifying spaces in the stable limit. \\ We show that the polar decomposition provides a global homeomorphism valid in arbitrary Hilbert dimension, and that this factorization isolates the entire difference between finite and infinite-dimensional topology. In finite dimension, Bott periodicity and characteristic classes control the nontriviality of the universal bundle; in infinite dimension, Kuiper's theorem forces the contractibility of orthonormal Stiefel manifolds while preserving the nontriviality of the finite-rank universal bundle. This perspective clarifies the precise mechanism behind the "stable" approximation of Grassmannians and highlights the structural transition between classical and Hilbertian topology.
Paper Structure (9 sections, 9 theorems, 8 equations, 1 table)

This paper contains 9 sections, 9 theorems, 8 equations, 1 table.

Table of Contents

  1. Introduction
  2. Stiefel manifolds
  3. Polar decomposition and principal bundle structure
  4. Connectedness of orthonormal Stiefel manifolds
  5. Homotopy classification in finite dimensions
  6. Characteristic classes of the tautological vector bundle over Grassmannians
  7. Nontriviality of the principal bundle $\operatorname{St}(n,H) \to \operatorname{Gr}_n(H)$
  8. Examples
  9. Summary and concluding remarks

Key Result

Theorem 3.1

For any Hilbert space $H$ (finite or infinite-dimensional, real or complex) and any integer $n \leq \dim H$, there is a homeomorphism where $\operatorname{P}_n(\mathbb{F})$ denotes the set of positive definite self-adjoint matrices with coefficients in $\mathbb{F}$.

Theorems & Definitions (21)

  • Definition 2.1
  • Remark 2.2
  • Theorem 3.1: Polar decomposition homeomorphism
  • proof
  • Remark 3.2
  • Corollary 3.3
  • Theorem 3.4: Principal bundle structure
  • proof
  • Theorem 4.1: Connectedness of real orthonormal Stiefel manifolds
  • proof
  • ...and 11 more