Universal metric proper G-spaces

DOI10.1016/J.TOPOL.2015.12.049MaRDI QIDQ5963981zbMATH OpenOpenAlexFDO

Authors Natella Antonyan, Sergey A. Antonyan

Publication date 26 February 2016

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.topol.2015.12.049

equivariant embedding invariant metric locally compact group proper \(G\)-space universal \(G\)-space

Embedding (54C25) Absolute neighborhood extensor, absolute extensor, absolute neighborhood retract (ANR), absolute retract spaces (general properties) (54C55) Transformation groups and semigroups (topological aspects) (54H15)

Review text

Given a topological group \(G\), say that \(X\) is a \(G\)-space, if there exists a continuous action \(G \times X \to X\). It is a common practice to denote by \(gx\) the image of the pair \((g,x)\in G \times X\) under the action. If \(Y\) is also a \(G\)-space, then a map \(f : X\to Y\) is called equivariant, if \(f(gx) = gf(x)\) for every \(x\in X\) and \(g\in G\). Say that \(f\) is a \(G\)-map if \(f\) is continuous and equivariant; an equivariant homeomorphic embedding is called a \(G\)-embedding.NEWLINENEWLINESuppose that \(X\) is a \(G\)-space for some locally compact group \(G\). It is said that subsets \(U,V\subset X\) are thin with respect to each other if the set \(\{g\in G : gU\cap V \neq \emptyset\}\) has compact closure in \(G\). Furthermore, a set \(U\subset X\) is called small if every point of \(X\) has a neighborhood which is thin with respect to \(U\). A \(G\)-space \(X\) is proper, if every point of \(X\) has a small neighborhood. The class of all metrizable proper \(G\)-spaces that admit a \(G\)-invariant metric is denoted by \(G\)-\(\mathcal M\).NEWLINENEWLINEA \(G\)-space \(Y\in G\)-\(\mathcal M\) is called a \(G\)-equivariant absolute retract provided that for any closed \(G\)-embedding of \(Y\) in a \(G\)-space \(X\in G\)-\(\mathcal M\) there exists a \(G\)-retraction \(r : X \to Y\). The main result of the paper states that for any infinite cardinal \(\kappa\), if the weight of a locally compact group \(G\) does not exceed \(\kappa\), then there exists a proper metric space \(\mathcal I_\infty(G,\kappa)\) of weight \(\kappa\) which is a \(G\)-equivariant absolute retract and every metrizable proper \(G\)-space \(X\) of weight \(\kappa\) can be equivariantly embedded in \(\mathcal I_\infty(G,\kappa)\).

Recommendations

Cites work

Cited in

(18)

This page was built for publication: Universal metric proper \(G\)-spaces

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