topology (point-set topology, point-free topology)
see also differential topology, algebraic topology, functional analysis and topological homotopy theory
Basic concepts
fiber space, space attachment
Extra stuff, structure, properties
Kolmogorov space, Hausdorff space, regular space, normal space
sequentially compact, countably compact, locally compact, sigma-compact, paracompact, countably paracompact, strongly compact
Examples
Basic statements
closed subspaces of compact Hausdorff spaces are equivalently compact subspaces
open subspaces of compact Hausdorff spaces are locally compact
compact spaces equivalently have converging subnet of every net
continuous metric space valued function on compact metric space is uniformly continuous
paracompact Hausdorff spaces equivalently admit subordinate partitions of unity
injective proper maps to locally compact spaces are equivalently the closed embeddings
locally compact and second-countable spaces are sigma-compact
Theorems
Analysis Theorems
Generally, given some kind of space equipped with the action of a group, the locus of fixed points of the action may form a suitable sub-space: the fixed point space.
Specifically, given a topological group and a topological G-space, its fixed point space is the set of the set-theoretic fixed points of the -action, equipped with the subspace topology.
For more see at topological G-space the section Change of groups and fixed loci.
The statement of Elmendorf's theorem is essentially that the equivariant homotopy theory of topological -spaces is equivalently encoded in their systems of -fixed point spaces, as varies over closed subgroups of .
In equivariant stable homotopy theory the concept of fixed point spaces branches into various closely related, but different concepts:
categorical fixed point spectra?
In equivariant differential topology:
(existence of -invariant tubular neighbourhoods)
Let be a smooth manifold, a Lie group and a proper action by diffeomorphisms.
If is a closed smooth submanifold inside the -fixed locus
then admits a -invariant tubular neighbourhood .
Moreover, any two choices of such -invariant tubular neighbourhoods are -equivariantly isotopic.
(Kankaanrinta 07, theorem 4.4, theorem 4.6)
(fixed loci of smooth proper actions are submanifolds)
Let be a smooth manifold, a Lie group and a proper action by diffeomorphisms.
Then the -fixed locus is a smooth submanifold.
(see also this MO discussion)
Let be any fixed point. Since this is in particular a closed invariant submanifold, Prop. applies and shows that an open neighbourhood of in is -equivariantly diffeomorphic to a linear representation . The fixed locus of that is hence diffeomorphic to an open neighbourhood of in .
Without the assumption of proper action in Prop. the conclusion generally fails. See this MO comment for a counter-example.
For a topological group, consider the category of TopologicalGSpaces.
For any subgroup, consider
the coset space ;
the Weyl group .
Observing that for the -fixed locus inherits a canonical action of , we have a functor
Notice that acts canonically on the left of , while still acts from the right (both by group multiplication on representatives):
Therefore there exists a functor in the other direction:
(passage to fixed loci is a right adjoint)
These are adjoint functors, with the -fixed locus functor (1) being the right adjoint:
To see the hom-isomorphism characterizing this adjunction, consider for and a -equivariant continuous function
This restricts to an -equivariant function on the -topological subspace
Since is a fixed locus for , by equivariance this restriction has to factor through the -fixed locus of :
But given that and since every other point of is an image under the -action of a point in , this restriction already determines uniquely.
Since this construction is manifestly natural in and , we have a natural bijection , which establishes the hom-isomorphism for the pair of adjoint functors in (2).
The adjunction (2) factors as:
Here the functor on the top right, , is the identity on the underlying topological spaces, but extends the action from to , namely through the projection homomorphims .
For more on this see at Topological G-space – Fixed loci with residual Weyl gorup action:
Last revised on September 22, 2024 at 06:19:50. See the history of this page for a list of all contributions to it.