Topological group criterion for \(C(\mathbf X)\) in compact-open-like topologies. II. (Q1032890)

If \(Y\) is a space then \(\mathcal C\) is the family of all cozero sets in \(\beta Y\) which contain \(Y\). The authors denote by \({\mathcal C}_\delta\) the family of all countable intersections of the elements of \(\mathcal C\). For any set \(Z \subset \beta Y\) let \({\mathcal K}(Z)\) be the family of all compact subsets of \(Z\); if \(K\in{\mathcal K}(Z)\) then \(U(K)=\{f\in C(\beta Z): f(K)\subset\{0\}\}\). The family \(\{U(K): K\in {\mathcal K}(S)\}\) is a basis of neighbourhoods of the identity for a Hausdorff topology \(\sigma_S\) on \(C(\beta Y)\) for every set \(S\in {\mathcal C}_\delta\). The family \(\sigma^{\mathcal C}= \bigcap \{\sigma_S: S\in {\mathcal C}_\delta\}\) is a topology on \(C(\beta Y)\) in which the inversion \(f\to -f\) is a homeomorphism and the addition \(+\) is separately continuous. The authors study when the addition is jointly continuous in the space \((C(\beta Y), \sigma^{\mathcal C})\). It was known that this is the case if the Hewitt extension \(\upsilon Y\) of the space \(Y\) is Lindelöf and Čech-complete. The authors show that the converse to this fact fails in general; however, the main result of the paper states that, under the Continuum Hypothesis, if \(Y\) is a separable metrizable space and the addition is jointly continuous in the space \((C(\beta Y), \sigma^{\mathcal C})\) then \(Y\) is Čech-complete.