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 orthogonal group .
is the limit of the sequence of canonical inclusions of real Grassmannians :
(Milnor & Stasheff 74, page 151)
As the real Grassmannian can be written as a homogenous space by
the group structure carries over to .
The smallest classifying space is the infinite real projective space . It is also a Eilenberg–MacLane space , hence principal bundles over a space are classified by its first cohomology in the field of two elements:
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 field is generated by the Stiefel-Whitney classes and given by
(Milnor & Stasheff 74, Theorem 7.1.), (Hatcher 02, Theorem 4D.4.)
The cohomology ring of with coefficients in the field of rational numbers is generated by the Pontrjagin classes and given by
The canonical inclusions yield canonical inclusions of their respective classifying spaces. The colimit is denoted as
and indeed the classifying space for the stable orthogonal 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:35. See the history of this page for a list of all contributions to it.