The category of orthogonal spaces is the category of topological functors from the topological category of finite-dimensional real inner product spaces (with linear isometric embeddings) to the topological category of topological spaces (with continuous maps).
Here a topological space, or simply a space, refers to an object in a convenient category of spaces, namely, compactly generated weakly Hausdorff space.
Orthogonal spaces are turned into a relative category using the notion of a global equivalence, which are introduced via an equivariant version of the Whitehead theorem. A morphism is a global equivalence if for any compact Lie group , any continuous orthogonal representation of on a finite-dimensional real inner product space, any , and any continuous maps and such that , we can find a continuous orthogonal representation of , a -equivariant linear isometric embedding and a continuous map such that and is homotopic to relative .
In particular, if and are constant functors, then is a global equivalence if and only if is a weak homotopy equivalence of topological spaces.
Global equivalences can also be characterized as morphisms such that for any compact Lie group and for some (hence any) complete -universe , the canonical map of underlying -spaces
is a -equivariant weak equivalence? (i.e., a weak homotopy equivalence on -fixed points for any closed subgroup of ), where runs over all finite-dimensional subrepresentations of .
The global classifying space of a compact Lie group is defined as
where is any faithful representation of . Here denotes the enriched hom in the topological category .
If is another such faithful representation, then the canonical maps
are global equivalences.
For example, if , then the underlying nonequivariant space of is .
Last revised on November 22, 2020 at 04:07:09. See the history of this page for a list of all contributions to it.