higher geometry / derived geometry
Ingredients
Concepts
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
Constructions
Examples
derived smooth geometry
Theorems
is the classifying space for (principal bundles with structure group) the unitary group .
is the limit of the sequence of canonical inclusions of complex Grassmannians :
(Milnor & Stasheff 74, page 169)
As the complex Grassmannian can be written as a homogenous space by
the group structure carries over to .
The smallest classifying space is the infinite complex projective space . It is also a Eilenberg–MacLane space , hence principal bundles over a space are classified by its second cohomology in the ring of integers:
Higher classifying spaces are not necessarily Eilenberg-MacLane spaces, but continuous maps into them are possible, giving the idea behind characteristic classes. But they are defined for vector bundles, which can be constructed from principal bundles using the balanced product? .
The cohomology ring of with coefficients in the ring of integers is generated by the Chern classes and given by
This theorem also holds if is replaced by a general ring .
The canonical inclusions yield canonical inclusions of their respective classifying spaces. The colimit is denoted
which is the classifying space of the stable unitary group .
John Milnor, Jim Stasheff, Characteristic classes, Princeton Univ. Press (1974) (ISBN:9780691081229, doi:10.1515/9781400881826, pdf)
Allen Hatcher, Algebraic Topology, Cambridge University Press (2002) [ISBN:9780521795401, webpage]
See also
Last revised on March 12, 2024 at 08:40:43. See the history of this page for a list of all contributions to it.