A note about \(G\)-equivariant homotopies and isotopies, where \(G\) is a Lie group (Q1305359)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A note about \(G\)-equivariant homotopies and isotopies, where \(G\) is a Lie group
scientific article

    Statements

    A note about \(G\)-equivariant homotopies and isotopies, where \(G\) is a Lie group (English)
    0 references
    0 references
    7 February 2000
    0 references
    Let \(G\) be a good Lie group, i.e., a closed subgroup of a Lie group having only finitely many connected components. For example, every linear Lie group is good. Let \(M\) be a proper \(C^r\) \(G\)-manifold \((1 \leq r \leq \omega)\), and \(N\) a \(C^r\) \(G\)-manifold. Assume that \(N\) is also proper if \(G\) has infinitely many connected components. The author proves that (1) a continuous \(G\)-map \(M \to N\) is \(G\)-homotopic to a \(C^r\) \(G\)-map by a homotopy which approximates the constant homotopy, (2) two \(G\)-homotopic \(C^r\) \(G\)-maps \(M \to N\) are \(C^r\) \(G\)-homotopic. He also proves that if \(M\) is a proper \(C^{\omega}\) \(G\)-manifold, then (1) a \(C^{\infty}\) \(G\)-diffeomorphism \(M \to M\) is \(C^{\infty}\) \(G\)-isotopic to a \(C^{\omega}\) \(G\)-diffeomorphism, and (2) two \(C^{\infty}\) \(G\)-isotopic \(C^{\omega}\) \(G\)-diffeomorphisms \(M \to M\) are \(C^{\omega}\) \(G\)-isotopic. The proofs of the case where \(G\) has only finitely many connected components are based on the existence of global slices of proper \(G\)-manifolds.
    0 references
    proper \(G\)-manifolds
    0 references
    real analytic \(G\)-manifolds
    0 references
    \(G\)-homotopies
    0 references
    \(G\)-isotopies
    0 references
    global slices
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references