On the isometrization of groups of homeomorphisms

Abstract

Let $G$ be a group of homeomorphisms of a topological space $X$. $G$ is $\textit{(properly) isometrizable}$ if there exists a $G$-invariant (proper) gauge structure on $X$. $G$ is $\textit{equiregular}$ if for every $x \in X$ and every open neighborhood $U$ of $x$ in $X$ there is an open neighborhood $V$ of $x$ in $X$ such that $cl(V) \subset U$ and every $y \in X$ has an open neighborhood $N_y$ with the property that for every $g \in G$, if $g(N_y) \cap cl(V) \neq \emptyset$, then $g(N_y) \subset U$. $G$ is $\textit{nearly proper}$ if for all compact subsets $A$ and $B$ of $X$, $cl$ ( $\bigcup$ { $g(A):g\in G$ and $g(A)\cap B \neq \emptyset$ } ) is compact. $G$ $\textit{acts properly on}$ $X$ if for all compact subsets $A$ and $B$ of $X$, the subset $G_{A,B}$ = { $g\in G : g(A) \cap B \neq \emptyset$ } is compact when $G$ is endowed with the compact-open topology. THE ISOMETRIZATION THEOREM: If $X$ is a Hausdorff space and $G$ \ $X$ is a paracompact regular space, then: $G$ is isometrizable if and only if $G$ is equiregular. THE PROPER ISOMETRIZATION THEOREM: If $X$ is a locally compact $σ$-compact Hausdorff space and $G$ \ $X$ is a regular space, then: $G$ is properly isometrizable if and only if $G$ is equiregular and nearly proper. The PROPER ISOMETRIZATION THEOREM has the following corollary. THEOREM OF ABEL-MANOUSSOS-NOSKOV: If $X$ is a locally compact $σ$-compact Hausdorff space and $G$ acts properly on $X$, then $X$ is properly isometrizable.