Homeomorphism groups of homogeneous compacta need not be minimal (Q429348)

A~topological group~\(G\) is called minimal if its topology cannot be properly weakened to another group topology. It was asked by Stojanov (about 1984) whether the homeomorphism group \(\mathcal H(X)\) of a~homogeneous compactum~\(X\) is minimal, where as usual, \(\mathcal H(X)\) is endowed with the compact-open topology. A~topological group is non-archimedean if it has a~local base at the identity consisting of open subgroups. The author proves the next theorem: Let \(X\) be an \(n\)-dimensional compact space with \(n\geq1\) such that every nonempty open set \(U\subseteq X\) has a~compact subset \(A\subseteq U\) that homotopically dominates the \(n\)-sphere. Then \(\mathcal H(X)\) admits a~weaker non-archimedean group topology whose weight does not exceed the weight of~\(X\). It follows that the \(n\)-dimensional Menger universal continuum is not minimal.