[Paper Review] The maximal G-compactifications of G-spaces with special actions

Vitalij A. Chatyrko, К.Л. Козлов|ArXiv.org|Apr 10, 2002

Advanced Topology and Set Theory1 references22 citations

TL;DR

This paper establishes conditions under which the maximal G-compactification of a G-space coincides with the completion of the space under a specific uniformity induced by the group action. It characterizes G-spaces with special dynamical properties—particularly those satisfying (a), (b), or (c)—and shows that when the uniformity $U_G$ is finer than the maximal totally bounded uniformity $U^*$, the maximal G-compactification equals the Stone–Čech compactification $\beta X$. The key contribution is a topological characterization of when $\beta_G X = \beta X$ via uniform structures and orbit behavior.

ABSTRACT

An action on a G-space induces uniformities on the phase space. It is shown when the maximal G-compactification of a G-space can be obtained as a completion of the phase space with respect to one of these uniformities. Structure of G-spaces with special actions is investigated.

Motivation & Objective

• To determine when the maximal G-compactification of a G-space coincides with its completion under a group-induced uniformity.
• To investigate the structure of G-spaces under special dynamical conditions (a), (b), and (c), relating to orbit closures and topological behavior.
• To clarify the relationship between equiuniformities, uniform completeness, and G-compactifications in the context of Tychonoff G-spaces.
• To extend previous results on bounded and equiuniform actions by introducing new characterizations using uniformity refinements and orbit properties.

Proposed method

• Introduces two families of coverings $\gamma_O = \{Ox \mid x \in X\}$ and $\overline{\gamma}_O = \{\overline{Ox} \mid x \in X\}$ for open neighborhoods $O$ of the identity in $G$, generating uniformities $U_G$ and $\overline{U}_G$.
• Uses the concept of equiuniformity—uniformities compatible with the topology, invariant under the group action, and bounded by the action—to characterize G-compactifications.
• Applies the completion of a uniform space with respect to an equiuniformity to construct a $G$-compactification, leveraging Megrelishvili's theorem on equivariant extensions.
• Establishes that if $U_G$ is finer than the maximal totally bounded uniformity $U^*$, then the completion of $X$ under $U_G$ yields the maximal $G$-compactification $\beta_G X = \beta X$.
• Analyzes orbit structures via properties (a), (b), and (c), showing that (a) implies clopen decomposition into orbit closures, (b) ensures each clopen set is the closure of any of its points’ orbits, and (c) implies orbits are homeomorphic to quotient spaces of $G$.
• Employs topological arguments involving star refinements, interior and closure properties, and continuity of the group action to prove equivalence of uniformity refinements and topological compatibility.

Experimental results

Research questions

• RQ1 Under what conditions is the maximal G-compactification of a G-space equal to the completion of the space under the uniformity $U_G$ induced by the group action?
• RQ2 When does the family $\overline{U}_G$ generate a uniformity compatible with the topology of the G-space?
• RQ3 Does every G-space satisfying property (a) admit a dense invariant subspace satisfying property (b)?
• RQ4 Does every G-space satisfying property (b) admit a dense invariant subspace satisfying property (c)?
• RQ5 Can every compactification of a Tychonoff space arise as a G-compactification for some group action on the space?

Key findings

• If the uniformity $U_G$ is finer than the maximal totally bounded uniformity $U^*$, then the maximal $G$-compactification $\beta_G X$ equals the Stone–Čech compactification $\beta X$.
• The family $\overline{U}_G$ generates a uniformity on $X$ if and only if $\overline{U}_G$ is compatible with the topology of $X$, and in that case $U_G$ and $\overline{U}_G$ coincide.
• For a $G$-space satisfying property (a), the space decomposes into a disjoint union of clopen sets, each equal to the closure of the orbit of any of its points.
• For a $G$-space satisfying property (b), each clopen component is the closure of the orbit of any of its points, but orbits may not be homeomorphic.
• For a $G$-space satisfying property (c), each orbit is homeomorphic to a quotient space of $G$, and the orbit map $g \mapsto gx$ is open.
• The uniformity $U_G$ is finer than $U$ if and only if $\overline{U}_G$ is finer than $U$, and if $U_G$ is compatible with the topology, then $U_G = \overline{U}_G$.