In
mathematics, the classifying space for the
unitary group U(n) is a space BU(n) together with a universal bundle EU(n) such that any hermitian bundle on a
paracompact spaceX is the pull-back of EU(n) by a map X → BU(n) unique up to homotopy.
This space with its universal fibration may be constructed as either
Here, H denotes an infinite-dimensional complex Hilbert space, the ei are vectors in H, and is the
Kronecker delta. The symbol is the
inner product on H. Thus, we have that EU(n) is the space of
orthonormaln-frames in H.
Let Fn(Ck) be the space of orthonormal families of n vectors in Ck and let Gn(Ck) be the Grassmannian of n-dimensional subvector spaces of Ck. The total space of the universal bundle can be taken to be the direct limit of the Fn(Ck) as k → ∞, while the base space is the direct limit of the Gn(Ck) as k → ∞.
Validity of the construction
In this section, we will define the topology on EU(n) and prove that EU(n) is indeed contractible.
The group U(n) acts freely on Fn(Ck) and the quotient is the Grassmannian Gn(Ck). The map
whenever . By taking k big enough, precisely for , we can repeat the process and get
This last group is trivial for k > n + p. Let
be the
direct limit of all the Fn(Ck) (with the induced topology). Let
be the
direct limit of all the Gn(Ck) (with the induced topology).
Lemma: The group is trivial for all p ≥ 1.
Proof: Let γ : Sp → EU(n), since Sp is
compact, there exists k such that γ(Sp) is included in Fn(Ck). By taking k big enough, we see that γ is homotopic, with respect to the base point, to the constant map.
In addition, U(n) acts freely on EU(n). The spaces Fn(Ck) and Gn(Ck) are
CW-complexes. One can find a decomposition of these spaces into CW-complexes such that the decomposition of Fn(Ck), resp. Gn(Ck), is induced by restriction of the one for Fn(Ck+1), resp. Gn(Ck+1). Thus EU(n) (and also Gn(C∞)) is a CW-complex. By
Whitehead Theorem and the above Lemma, EU(n) is contractible.
Proof: Let us first consider the case n = 1. In this case, U(1) is the circle S1 and the universal bundle is S∞ → CP∞. It is well known[2] that the cohomology of CPk is isomorphic to , where c1 is the
Euler class of the U(1)-bundle S2k+1 → CPk, and that the injections CPk → CPk+1, for k ∈ N*, are compatible with these presentations of the cohomology of the projective spaces. This proves the Proposition for n = 1.
There are homotopy fiber sequences
Concretely, a point of the total space is given by a point of the base space classifying a complex vector space , together with a unit vector in ; together they classify while the splitting , trivialized by , realizes the map representing direct sum with
Applying the
Gysin sequence, one has a long exact sequence
where is the
fundamental class of the fiber . By properties of the Gysin Sequence[citation needed], is a multiplicative homomorphism; by induction, is generated by elements with , where must be zero, and hence where must be surjective. It follows that must always be surjective: by the
universal property of
polynomial rings, a choice of preimage for each generator induces a multiplicative splitting. Hence, by exactness, must always be injective. We therefore have
short exact sequences split by a ring homomorphism
Thus we conclude where . This completes the induction.
Consider topological complex K-theory as the cohomology theory represented by the spectrum . In this case, ,[3] and is the free module on and for and .[4] In this description, the product structure on comes from the H-space structure of given by Whitney sum of vector bundles. This product is called the
Pontryagin product.
The K-theory reduces to computing K0, since K-theory is 2-periodic by the
Bott periodicity theorem, and BU(n) is a limit of complex manifolds, so it has a
CW-structure with only cells in even dimensions, so odd K-theory vanishes.
Thus , where , where t is the Bott generator.
K0(BU(1)) is the ring of
numerical polynomials in w, regarded as a subring of H∗(BU(1); Q) = Qw], where w is element dual to tautological bundle.
For the n-torus, K0(BTn) is numerical polynomials in n variables. The map K0(BTn) → K0(BU(n)) is onto, via a
splitting principle, as Tn is the
maximal torus of U(n). The map is the symmetrization map
and the image can be identified as the symmetric polynomials satisfying the integrality condition that
where
is the
multinomial coefficient and contains r distinct integers, repeated times, respectively.
Infinite classifying space
The canonical inclusions induce canonical inclusions on their respective classifying spaces. Their respective colimits are denoted as:
J. F. Adams (1974), Stable Homotopy and Generalised Homology, University Of Chicago Press,
ISBN0-226-00524-0 Contains calculation of and .
S. Ochanine; L. Schwartz (1985), "Une remarque sur les générateurs du cobordisme complex", Math. Z., 190 (4): 543–557,
doi:
10.1007/BF01214753 Contains a description of as a -comodule for any compact, connected Lie group.
L. Schwartz (1983), "K-théorie et homotopie stable", Thesis, Université de Paris–VII Explicit description of
A. Baker; F. Clarke; N. Ray; L. Schwartz (1989), "On the Kummer congruences and the stable homotopy of BU", Trans. Amer. Math. Soc., 316 (2), American Mathematical Society: 385–432,
doi:
10.2307/2001355,
JSTOR2001355