BU(n)

BU(n)
Name	BU(n)
Type	Topological space; classifying space
Related	Unitary group, Chern class, K-theory, Grassmannian

BU(n)

BU(n) is the classifying space for rank‑n complex vector bundles and the base in which principal U(n)‑bundles become universal. It appears as a fundamental object linking the topology of Unitary group representations, characteristic classes such as Chern class, and cohomology theories like K-theory. BU(n) organizes families of complex vector bundles over spaces such as Sphere, Complex projective space, and CW complexs via homotopy classes of maps into BU(n).

Definition and basic properties

BU(n) is defined up to homotopy equivalence as the quotient of a contractible space by a free action of U(n); concretely one may take BU(n) = EU(n)/U(n) where EU(n) is a contractible total space for a universal principal Unitary group bundle. As a classifying space it satisfies the representability property: isomorphism classes of rank‑n complex vector bundles over a paracompact space X correspond bijectively to homotopy classes [X, BU(n)]. BU(n) is connected, has the homotopy type of a CW complex built from even‑dimensional cells, and admits a tautological or universal rank‑n complex bundle often called the universal bundle over BU(n). The inclusion maps BU(n) → BU(n+1) induce a direct system whose colimit BU = colim BU(n) classifies stable complex bundles and is central in topological K-theory.

Homotopy and cohomology

The homotopy groups π_k(BU(n)) relate to those of Unitary group via the long exact sequence of the fibration U(n) → EU(n) → BU(n), giving π_k(BU(n)) ≅ π_{k-1}(U(n)) for k ≥ 1. Bott periodicity for Unitary groups yields periodic patterns in these homotopy groups and underlies computations of π_* of BU and BU(n) stabilization phenomena used in Stable homotopy theory. The integral cohomology ring H^*(BU(n); ℤ) is a polynomial algebra generated by the universal Chern classs c_1, c_2, …, c_n with deg c_i = 2i; this identification is pivotal in characteristic class theory and in computations involving Splitting principle arguments. The mod p cohomology of BU(n) connects with the action of Steenrod algebra operations and with the study of torsion in characteristic classes; spectral sequences such as the Serre spectral sequence for fibrations and the Atiyah–Hirzebruch spectral sequence for K-theory are commonly used tools.

Classifying space and universal bundle

BU(n) carries a canonical rank‑n tautological complex vector bundle ξ_n → BU(n), constructed as the associated bundle EU(n) ×_{U(n)} ℂ^n. For any CW complex X, pullback of ξ_n along a map f: X → BU(n) yields the corresponding rank‑n complex vector bundle over X, establishing BU(n) as a classifying space in the sense of Brown representability theorem when restricted to vector bundles. The universal principal U(n)‑bundle U(n) → EU(n) → BU(n) admits characteristic classes which pull back to Chern classes of any bundle classified by a map to BU(n). The relationships with Grassmannian manifolds arise via finite Grassmannians Gr_n(ℂ^N) and the stabilization maps Gr_n(ℂ^N) → Gr_n(ℂ^{N+1}) whose colimit models BU(n); similarly, tautological subbundles over Grassmannians approximate the universal bundle.

Representation and structure for small n

For n = 1, BU(1) is homotopy equivalent to CP^∞ and classifies complex line bundles; H^*(BU(1); ℤ) = ℤ[c_1]. For n = 2 and n = 3, BU(2) and BU(3) are approximated by Grassmannians Gr_2(ℂ^N) and Gr_3(ℂ^N) for sufficiently large N; explicit cell decompositions and Schubert calculus on Schubert varietys allow computations of cohomology rings and Chern class relations. Low‑dimensional homotopy groups reflect the classical isomorphisms π_1(BU(n)) = 0 and π_2(BU(n)) ≅ ℤ for n ≥ 1, with higher groups stabilized by Bott periodicity; connections to SU(n)‑bundles and determinant maps also give structural decompositions, and for small n representation theory of Unitary groups yields identifications of characteristic classes for associated vector bundles.

Applications in topology and geometry

BU(n) features in classification problems for vector bundles over manifolds such as Sphere, Torus, and Complex projective space; maps into BU(n) encode obstructions to trivializations measured by Chern classs. In complex and algebraic geometry, classifying maps to BU(n) underpin the topological classification of holomorphic vector bundles over varieties like Riemann surfaces and Complex toruses, and interact with moduli spaces such as the Moduli space of vector bundles via topological invariants. BU(n) and its stabilization BU play central roles in the formulation of Atiyah–Singer index theorem problems, in constructions of universal families in gauge theory (e.g., connections on principal U(n)‑bundles over Four-manifolds), and in the definition and computation of characteristic numbers appearing in cobordism and Hirzebruch–Riemann–Roch theorem contexts.

Historical context and notable results

The emergence of BU(n) as a classifying space traces to foundational work on characteristic classes by Stiefel, Whitney, Chern, and the development of classifying spaces in the mid‑20th century by Milnor and Stasheff. Bott’s periodicity theorem established the periodic structure of unitary homotopy groups and transformed computations involving BU and BU(n). Notable results include the identification of H^*(BU(n); ℤ) with the polynomial algebra on universal Chern classes (attributed to Chern and formalized in later algebraic topology), the use of Grassmannian models in Schubert calculus developed by Giambelli and modernized by Hirzebruch, and applications to index theory by Atiyah and Singer. Subsequent work linking BU(n) to K-theory by Atiyah and Bott and to moduli problems in algebraic geometry remains central in contemporary research.

Category:Classifying spaces