Hostname: page-component-7b7567c8c-2n9c9 Total loading time: 0 Render date: 2026-11-15T00:58:39.696Z Has data issue: false hasContentIssue false

Dynamical decompositions of $\unicode[STIX]{x1D6FD}X\setminus X$

Published online by Cambridge University Press:  22 July 2015

YEVHEN ZELENYUK
Affiliation:
School of Mathematics, University of the Witwatersrand, Private Bag 3, Wits 2050, South Africa email yevhen.zelenyuk@wits.ac.za, yuliya.zelenyuk@wits.ac.za
YULIYA ZELENYUK
Affiliation:
School of Mathematics, University of the Witwatersrand, Private Bag 3, Wits 2050, South Africa email yevhen.zelenyuk@wits.ac.za, yuliya.zelenyuk@wits.ac.za
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

Let $X$ be a locally compact, $\unicode[STIX]{x1D70E}$ -compact, non-compact Hausdorff space and let $\unicode[STIX]{x1D6FD}X$ be the Stone-Čech compactification of $X$ . Let $G$ be a countably infinite discrete group continuously acting on $X$ , and suppose that, for every $g\in G$ , $\text{Fix}(g)=\{x\in X:gx=x\}$ is compact. The action of $G$ on $X$ induces the action on $\unicode[STIX]{x1D6FD}X$ , and so on $X^{\ast }=\unicode[STIX]{x1D6FD}X\setminus X$ . Let ${\mathcal{D}}$ denote the finest decomposition of $X^{\ast }$ into closed invariant subsets such that the corresponding quotient space of $X^{\ast }$ is Hausdorff. Such a decomposition can be defined for any action of $G$ on a compact Hausdorff space. Applying it to every member of ${\mathcal{D}}$ gives us a decomposition ${\mathcal{D}}^{2}$ of $X^{\ast }$ , then ${\mathcal{D}}^{3}$ , and so on. We show that (1) ${\mathcal{D}}^{\unicode[STIX]{x1D714}_{1}}$ is the coarsest decomposition of $X^{\ast }$ into closed invariant topologically transitive subsets, (2) there is a dense subset of points $p\in X^{\ast }$ such that $\overline{Gp}\in {\mathcal{D}}^{2}\setminus {\mathcal{D}}$ , in particular, ${\mathcal{D}}$ is non-trivial and ${\mathcal{D}}^{2}$ is finer than ${\mathcal{D}}$ , and (3) for every ordinal $\unicode[STIX]{x1D6FC}<\unicode[STIX]{x1D714}_{1}$ , there is $p\in X^{\ast }$ such that $\overline{Gp}\in {\mathcal{D}}^{\unicode[STIX]{x1D6FC}+2}\setminus {\mathcal{D}}^{\unicode[STIX]{x1D6FC}+1}$ , so all the decompositions ${\mathcal{D}}^{\unicode[STIX]{x1D6FC}}$ , $\unicode[STIX]{x1D6FC}\leq \unicode[STIX]{x1D714}_{1}$ , are distinct.

Information

Type
Research Article
Copyright
© Cambridge University Press, 2015