Isomorphisms between groups of equivariant homeomorphisms of G-manifolds with one orbit type (Q438705): Difference between revisions

Let the compact Lie group \(G\) act freely on the paracompact connected smooth manifolds \(M\) and \(N\) so that there is an isomorphism \(\Phi:\mathcal H_G(M)_0\to\mathcal H_G(N)_0\), the group of homeomorphisms \(G\)-equivariant, compactly supported isotopic to the identity. Let \(\pi:M\to B_M\) (resp. \(N\to B_N\)) be a principal \(G\)-bundle inducing the homomorphism \(\tilde\pi:\mathcal H_G(M)_0\to\mathcal H_G(B_M)_0\) (resp. \(\mathcal H_G(N)_0\to\mathcal H_G(B_N)_0)\). There are a homeomorphism \(\tau:B_M\to B_N\) with \(\tilde\pi(\Phi(f))=\tau\tilde\pi(f)\tau^{-1}\) and for all \(x\in B_M\) an open neighbourhood \(U\) of \(x\), isomorphisms \(\phi_U:\text{Sect}(\pi^{-1}(U))\to\text{Gau}(\pi^{-1}(U))\) and \(\phi_{\tau(U)}:\text{Sect}(\pi^{-1}(\tau(U)))\to\text{Gau}(\pi^{-1}(\tau(U)))\) and a homeomorphism \(\sigma_U:\pi^{-1}(U)\to\pi^{-1}(\tau(U))\) with \(\Phi(h)=\phi_{\tau(U)}\big(\sigma_U\phi^{-1}_U(h)\tau^{-1}\big)\).