Remainders of topological and paratopological groups (Q1942061)

In 2007, Arhangel'skiĭ\ proved that if the remainder \(Y\) of a non-locally compact topological group \(G\) has a \(G_{\delta}\)-diagonal or a point-countable base, then both \(G\) and \(Y\) are separable and metrizable. Recently, \textit{C. Liu} [Topology Appl. 156, No. 5, 849--854 (2009; Zbl 1162.54007)] and \textit{F. Lin} [Kodai Math. J. 34, No. 3, 505--518 (2011; Zbl 1234.54046)] further investigated properties of the remainder which provide conditions for the group and the remainder to be separable and metrizable spaces, and posed several questions. In this paper, the authors consider these questions and give partial answers. For example, they obtain the following results. Let \(G\) be a non-locally compact topological group with a remainder \(Y\) in some compactification \(bG\) of \(G\). (1) If each \(y\in Y\) has an open neighborhood \(U(y)\) such that every countably compact subset of \(U(y)\) is a metrizable \(G_{\delta}\)-subset of \(U(y)\), then \(G\) is separable metrizable and \(Y\) is a first-countable, Lindelöf \(p\)-space. (2) If \(Y\) satisfies one of the following conditions: locally a point-countable \(p\)-meta-base; locally a \(\delta\theta\)-base; locally a quasi-\(G_{\delta}\)-diagonal; locally a CSS-space, then \(bG\) is separable metrizable. (3) \(bG\) is separable metrizable if and only if every countably compact subset of \(Y\) is compact, and \(Y\) is locally a \(\sigma\)-locally countable network or locally a BCO. The authors also give several results of the type for a non-locally compact paratopological group.