The Roelcke compactification of groups of homeomorphisms

From MaRDI portal



Abstract: Let X be a zero-dimensional compact space such that all non-empty clopen subsets of X are homeomorphic to each other, and let H(X) be the group of all self-homeomorphisms of X with the compact-open topology. We prove that the Roelcke compactification of H(X) can be identified with the semigroup of all closed relations on X whose domain and range are equal to X. We use this to prove that the group H(X) is topologically simple and minimal, in the sense that it does not admit a strictly coarser Hausdorff group topology.


Let \(G\) be a topological group and \(\mathcal N(G)\) be the filter of neighbourhoods of unity in \(G\). When \(U\) runs over \(\mathcal N(G)\), the covers of the form \(\{ UxU\mid x\in G\}\) generate the \(\mathcal L\wedge \mathcal R\)-uniformity on \(G\), which is called the \textit{lower uniformity} on \(G\) and the author calls it the \textit{Roelcke uniformity}. A topological group \(G\) is \textit{Roelcke-precompact} if and only if for every \(U\in\mathcal N(G)\) there exists a finite set \(F\subset G\) such that \(UFU=G\). The \textit{Roelcke completion} of a topological group \(G\) is the completion of the uniform space \((G, \mathcal L\wedge\mathcal R)\). If \(G\) is Roelcke-precompact, the Roelcke completion of \(G\) is called the \textit{Roelcke compactification} of \(G\). Let \(X\) be a zero-dimensional compact topological space such that all non-empty clopen subsets of \(X\) are homeomorphic to each other, and let \(Aut(X)\) be the group of all self-homeomorphisms of \(X\), equipped with the compact open topology. The author proves that the Roelcke compactification of \(Aut(X)\) can be identified with the semigroup of all closed relations on \(X\) whose domain and range are equal to \(X\), equipped with the Vietoris topology. It is also proven that the topological group \(Aut(X)\) is topologically simple and minimal.











This page was built for publication: The Roelcke compactification of groups of homeomorphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5929012)