$G_δ$-topology and compact cardinals

Abstract

For a topological space $X$, let $X_δ$ be the space $X$ with $G_δ$-topology of $X$. For an uncountable cardinal $κ$, we prove that the following are equivalent: (1) $κ$ is $ω_1$-strongly compact. (2) For every compact Hausdorff space $X$, the Lindelöf degree of $X_δ$ is $\le κ$. (3) For every compact Hausdorff space $X$, the weak Lindelöf degree of $X_δ$ is $\le κ$. This shows that the least $ω_1$-strongly compact cardinal is the supremum of the Lindelöf and the weak Lindelöf degrees of compact Hausdorff spaces with $G_δ$-topology. We also prove the least measurable cardinal is the supremum of the extents of compact Hausdorff spaces with $G_δ$-topology. For the square of a Lindelöf space, using weak $G_δ$-topology, we prove that the following are consistent: (1) the least $ω_1$-strongly compact cardinal is the supremum of the (weak) Lindelöf degrees of the squares of regular $T_1$ Lindelöf spaces. (2) The least measurable cardinal is the supremum of the extents of the squares of regular $T_1$ Lindelöf spaces.