\(G_{\delta}\)-points in remainders of topological groups and some addition theorems in compacta (Q2390505)

A space \(Y\) is said to be bisequential at a point \(y\in Y\) if, for every ultrafilter \(\eta\) on \(Y\) converging to \(y\), some countable subfamily \(\mu\) of \(\eta\) converges to \(y\). If a space is bisequential at each of its points, then it is called bisequential. One of the basic results of this paper is the following statement: If \(y\) is a \(G_\delta\)-point in a remainder \(Y\) of a topological group \(G\), where the cardinality of \(G\) is Ulam non-measurable, then \(Y\) is bisequential at \(y\). A space \(X\) is of point-countable type (of countable type) if every point (every compact subspace, respectively) is contained in a compact subspace with a countable base of neighbourhoods in \(X\). A space \(X\) is weakly HN-complete if the remainder \(Z\) of \(X\) in the Čech-Stone compactification \(\beta X\) of \(X\) is a space of point-countable type. It is known that : If \(X\) is a weakly HN-complete space, and \(Y\) is a remainder of \(X\), then every \(G_\delta\)-point \(y\) of \(Y\) is a point of bisequentiality of \(Y\). In the paper under review the author shows that if \(G\) is a topological group with a remainder \(Y\) of countable pseudocharacter, then \(Y\) is bisequential, and either \(G\) is metrizable and \(|Y |\leq 2^\omega\), or \(Y\) is countably compact and first countable. Finally, the author proves an unusual addition theorem: Theorem 14. Suppose that \(G\) is a non-locally compact topological group of Ulam non-measurable cardinality, and that \(bG\) is its compactification. Suppose further that the remainder \(Y =bG \setminus G\) has a \(G_\delta\)-point \(b\) (in \(Y\)). Then either no subspace \(Z\) of \(bG\) weakly complementary to \(G\) in \(bG\) is homeomorphic to a topological group, or \(bG\) is separable and metrizable.