Locally compact, ω1-compact spaces

An omega(1)-compact space is a space in which every closed discrete subspace is countable. We give various general conditions under which a locally compact, omega(1)-compact space is sigma-countably compact, i.e., the union of countably many countably compact spaces. These conditions involve very elementary properties.Many results shown here are independent of the usual (ZFC) axioms of set theory, and the consistency of some may involve large cardinals. For example, it is independent of the ZFC axioms whether every locally compact, omega(1)-compact space of cardinality N-1 is sigma-countably compact. Whether N-1 can be replaced with N-2 is a difficult unsolved problem. Modulo large cardinals, it is also ZFC-independent whether every hereditarily normal, or every monotonically normal, locally compact, omega(1)-compact space is sigma-countably compact.As a result, it is also ZFC-independent whether there is a locally compact, omega(1)- compact Dowker space of cardinality N-1, or one that does not contain both an uncountable closed discrete subspace and a copy of the ordinal space omega(1). Set theoretic tools used for the consistency results include the existence of a Souslin tree, the Proper Forcing Axiom (PFA), and models generically referred to as MM(S)[S]. Most of the work is done by the P-Ideal Dichotomy (PID) axiom, which holds in the latter two cases, and which requires no large cardinal axioms when directly applied to topological spaces of cardinality N-1, as it is in several theorems.(c) 2023 Published by Elsevier B.V.

Automated summary

In this paper, various conditions are given for a locally compact, omega(1)-compact space to be sigma-countably compact. Many of the results are independent of the usual (ZFC) axioms of set theory and may involve large cardinals. The paper also discusses unsolved problems and the use of set theoretic tools for consistency results.