Enveloping semigroups as compactifications of topological groups
K. L. Kozlov, B. V. Sorin
TL;DR
The paper develops a general framework to construct Ellis compactifications $e_G$ of a topological group $G$ from a $\tau_p$-representation in a $G$-space $X$ and systematically compares these to Roelcke compactifications. It establishes a functorial correspondence between $G$-compactifications of phase spaces and Ellis compactifications, analyzes when uniformities align (yielding Roelcke precompactness), and applies the theory to concrete groups: permutation groups on discrete spaces and automorphism groups of ultrahomogeneous chains and LOTS. The results yield a detailed taxonomy of $G$-compactifications and their Ellis counterparts, including explicit descriptions of sim-compactifications and Rees quotients, and reveal when Ellis and Roelcke compactifications coincide or stand in a refined hierarchy. Overall, the work clarifies how representations in compact or linearly ordered spaces govern the structure of enveloping semigroups and their compactifications, with implications for topological dynamics and representation theory of large groups.
Abstract
Ellis's "functional approach" allows one to obtain proper compactifications of a topological group $G$ if $G$ can be represented as a subgroup of the homeomorphism group of a space $X$ in the topology of pointwise convergence and $G$-space $X$ is $G$-Tychonoff. These compactifications, called Ellis compactifications, are right topological monoids and $G$-compactifications of the group $G$ with its action by multiplication on the left on itself. A comparison is made between Ellis compactifications of $G$ and the Roelcke compactification of $G$. Uniformity corresponding to the Ellis compactification of $G$ for its representation in a compact space $X$ is established. Proper Ellis semigroup compactifications are described for groups ${\rm S}(X)$ (the permutation group of a discrete space $X$) and ${\rm Aut} (X)$ (automorphism group of an ultrahomogeneous chain $X$) in the permutation topology and ${\rm Aut} (X)$ of LOTS $X$ in the topology of pointwise convergence.
