Compacta and homogeneity. some globalization effects (Q2415922)

A space \(X\) is \textit{\(\mathsf{G}_\delta\)-homogeneous} if for every \(x\in X\) and \(\mathsf{G}_\delta\)-subset \(S\) of \(X\) there exists a homeomorphism \(h:X\longrightarrow X\) such that \(h(x)\in S\). Since \(\beta\omega\setminus\omega\) is \(\mathsf{G}_\delta\)-homogeneous by Theorem 2.10, the class of compact \(\mathsf{G}_\delta\)-homogeneous spaces is strictly larger than the class of compact homogeneous spaces. After introducing \(\mathsf{G}_\delta\)-homogeneity, the author shows that this notion is sufficient to obtain several results concerning compact homogeneous spaces. For example, \textit{R. de la Vega} [Topology Appl. 153, No. 12, 2118--2123 (2006; Zbl 1098.54002)] showed that every compact homogeneous space of countable tightness has weight at most \(2^\omega\). Corollary 3.8 shows that ``homogeneous'' can be relaxed to ``\(\mathsf{G}_\delta\)-homogeneous'' in de la Vega's result. As another example, Oleg Pavlov asked whether every compact homogeneous space \(X\) such that \(X\setminus\{x\}\) is the free topological sum of compact spaces for every \(x\in X\) is necessarily first-countable, and noted that the answer is ``yes'' under \(\mathsf{CH}\). Corollary 2.8 shows that \(\mathsf{CH}\) is not necessary, and that ``homogeneous'' can be relaxed to ``\(\mathsf{G}_\delta\)-homogeneous'' (in fact, it gives an even more general result). The paper also contains the following ``globalization'' result (see Theorem 2.3): if \(X\) is a compact homogeneous space with a non-empty closed subspace \(F\) such that \(F\) has countable tightness and \(X\setminus F\) is metalindelöf, then \(X\) has countable tightness. An important role is played by the aptly named ``Old Lemma'' from [\textit{A. V. Arhangel'skij}, Sov. Math., Dokl. 11, 597--601 (1970; Zbl 0212.54603); translation from Dokl. Akad. Nauk SSSR 192, 255--258 (1970)]: every non-empty compact space of countable tightness contains a non-empty closed \(\mathsf{G}_\delta\)-subset \(S\) and a separable closed subspace \(H\) such that \(S\subseteq H\).