Searching for Absolute $\mathcal{CR}$-Epic Spaces

http://dx.doi.org/10.4153/CJM-2007-020-9
Canad. J. Math. 59(2007), 465-487

  Published:2007-06-01
 Printed: Jun 2007

In previous papers, Barr and Raphael investigated the situation of a topological space $Y$ and a subspace $X$ such that the induced map $C(Y)\to C(X)$ is an epimorphism in the category $\CR$ of commutative rings (with units). We call such an embedding a $\CR$-epic embedding and we say that $X$ is absolute $\CR$-epic if every embedding of $X$ is $\CR$-epic. We continue this investigation. Our most notable result shows that a Lindel\"of space $X$ is absolute $\CR$-epic if a countable intersection of $\beta X$-neighbourhoods of $X$ is a $\beta X$-neighbourhood of $X$. This condition is stable under countable sums, the formation of closed subspaces, cozero-subspaces, and being the domain or codomain of a perfect map. A strengthening of the Lindel\"of property leads to a new class with the same closure properties that is also closed under finite products. Moreover, all \s-compact spaces and all Lindel\"of $P$-spaces satisfy this stronger condition. We get some results in the non-Lindel\"of case that are sufficient to show that the Dieudonn\'e plank and some closely related spaces are absolute $\CR$-epic.