nLab
fixed point space

Contents

Context

Topology

topology (point-set topology, point-free topology)

see also differential topology, algebraic topology, functional analysis and topological homotopy theory

Introduction

Basic concepts

Universal constructions

Extra stuff, structure, properties

Examples

Basic statements

Theorems

Analysis Theorems

topological homotopy theory

Contents

Idea

General

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.

For topological GG-spaces

Specifically, given a topological group GG and a topological G-space, its fixed point space is the set of the set-theoretic fixed points of the GG-action, equipped with the subspace topology.

In equivariant homotopy theory

The statement of Elmendorf's theorem is essentially that the equivariant homotopy theory of topological G G -spaces is equivalently encoded in their systems of HH-fixed point spaces, as HH varies over closed subgroups of GG.

In equivariant stable homotopy theory

In equivariant stable homotopy theory the concept of fixed point spaces branches into various closely related, but different concepts:

In equivariant differential topology

In equivariant differential topology:

Proposition

(existence of GG-invariant tubular neighbourhoods)

Let XX be a smooth manifold, GG a Lie group and ρ:G×XX\rho \;\colon\; G \times X \to X a proper action by diffeomorphisms.

If ΣιX\Sigma \overset{\iota}{\hookrightarrow} X is a closed smooth submanifold inside the GG-fixed locus

then Σ\Sigma admits a GG-invariant tubular neighbourhood ΣUX\Sigma \subset U \subset X.

Moreover, any two choices of such GG-invariant tubular neighbourhoods are GG-equivariantly isotopic.

(Kankaanrinta 07, theorem 4.4, theorem 4.6)

Proposition

(fixed loci of smooth proper actions are submanifolds)

Let XX be a smooth manifold, GG a Lie group and ρ:G×XX\rho \;\colon\; G \times X \to X a proper action by diffeomorphisms.

Then the GG-fixed locus X GXX^G \hookrightarrow X is a smooth submanifold.

(see also this MO discussion)

Proof

Let xX GXx \in X^G \subset X be any fixed point. Since this is in particular a closed invariant submanifold, Prop. applies and shows that an open neighbourhood of xx in XX is GG-equivariantly diffeomorphic to a linear representation VRO(G)V \in RO(G). The fixed locus V GVV^G \subset V of that is hence diffeomorphic to an open neighbourhood of xx in Σ\Sigma.

Remark

Without the assumption of proper action in Prop. the conclusion generally fails. See this MO comment for a counter-example.

Last revised on October 29, 2019 at 05:47:23. See the history of this page for a list of all contributions to it.