Weak extension theorem for measure-preserving homeomorphisms of noncompact manifolds (Q841223)

Let \(G\) be a topological group acting on a \(\sigma\)-compact manifold \(M\), \(U\) an open subset of \(M\), and \(E^*(U,M)\) the space of proper embeddings \(U\to M\) with the compact-open topology, and write \(E^G(U,M)\) for the subspace of maps obtained by restricting elements of \(G\) to \(U\). The weak extension theorem gives a neighbourhood of the identity embedding and homotopies from that embedding to the restriction of any element to a compact subset of \(U\). Suppose further that \(\mu\) is a `good' Radon measure (non-atomic and positive on non-empty open sets) giving measure zero to the boundary of \(M\), allowing one to restrict attention to \(\mu\)-preserving and \(\mu\)-biregular homeomorphisms. The main result is a weak extension theorem for the group of \(\mu\)-preserving homeomorphisms. Similar problems for the Whitney topology are also discussed.