Maximal equivariant compactifications

DOI10.1016/J.TOPOL.2022.108372MaRDI QIDQ6389754arXivFDO

Authors Michael Megrelishvili

Publication date 31 January 2022

Published in arXiv

Full work available at URL https://doi.org/10.1016/J.TOPOL.2022.108372

Mathematics Subject Classification ID

Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Transformation groups and semigroups (topological aspects) (54H15)

arXiv classification

math.DSmath.FAmath.GN

Abstract: Let $G$ be a locally compact group. Then for every $G$-space $X$ the maximal $G$-proximity $$ can be characterized by the maximal topological proximity $$ as follows: ${\displaystyle }$ A overline{�eta_G} B Leftrightarrow exists V in N_e VA overline{�eta} VB. ${\displaystyle }$ Here, $$ is the maximal $G$-compactification of $X$ (which is an embedding for locally compact $G$), $V$ is a neighborhood of $e$ and $$ means that the closures of $A$ and $B$ do not meet in $$. Note that the local compactness of $G$ is essential. This theorem comes as a corollary of a general result about maximal $mathcalU$-uniform $G$-compactifications for a useful wide class of uniform structures $mathcalU$ on $G$-spaces for not necessarily locally compact groups $G$. It helps, in particular, to derive the following result. Let $(mathbb{U}_1,d)$ be the Urysohn sphere and $G=Iso(mathbb{U}_1,d)$ is its isometry group with the pointwise topology. Then for every pair of subsets $A,B$ in $mathbb{U}_1$, we have ${\displaystyle }$ A overline{�eta_G} B Leftrightarrow exists V in N_e d(VA,VB) > 0. ${\displaystyle }$ More generally, the same is true for any $alep{h}_0$-categorical metric $G$-structure $(M,d)$, where $G:=Aut(M)$ is its automorphism group.

This page was built for publication: Maximal equivariant compactifications

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