On the group of \(S^ 1\)-equivariant homeomorphisms of the 3-sphere (Q1913425)

Summary: Let \(G\) be a locally compact abelian group and \(\xi\) be a principal \(G\)-bundle: \(G\to E @> p >> B\), where \(E\) is path connected and \(B\) is a locally finite CW complex. We recall that \(G\) acts freely on the right of \(E\). Then we denote by \(\text{Top} (B)\) the topological group of homeomorphisms of \(B\) and by \(\text{Top}_G (E)\) the group of \(G\)-equivariant homeomorphisms of \(E\). Furthermore, let \(\alpha\) be a map of \(B\) into the classifying space \(BG\) whose homotopy class \([\alpha]\) classifies the principal bundle \(\xi\). Then we have Corollary 4. Let \(G\) be a locally compact abelian group, then we have the following Serre fibration: \[ \text{map} (B,G)\to\text{Top}_G(E) @>\Phi>> \text{Top}^{[\alpha]} (B), \] where \(\text{Top}^{[\alpha]} (B)\) is the subspace of \(\text{Top} (B)\) consisting of homeomorphisms \(f:B \to B\) such that \(f^* ([\alpha]) = [\alpha]\). As a special case, let \(S^1 \to S^3 \to S^2\) be the Hopf principal bundle. By using Corollary 4 we have Theorem 5. There exists a weak homotopy equivalence \(\text{Top}_{s^1} (S^3) {\underset {w} \simeq} \text{Spin}^c (3)\).