On two topological cardinal invariants of an order-theoretic flavour

Noetherian type and Noetherian $\pi$-type are two cardinal functions which were introduced by Peregudov in 1997, capturing some properties studied earlier by the Russian School. Their behavior has been shown to be akin to that of the \emph{cellularity}, that is the supremum of the sizes of pairwise disjoint non-empty open sets in a topological space. Building on that analogy, we study the Noetherian $\pi$-type of $\kappa$-Suslin Lines, and we are able to determine it for every $\kappa$ up to the first singular cardinal. We then prove a consequence of Chang’s Conjecture for $\aleph_\omega$ regarding the Noetherian type of countably supported box products which generalizes a result of Lajos Soukup. We finish with a connection between PCF theory and the Noetherian type of certain Pixley-Roy hyperspaces.

💡 Research Summary

The paper investigates two cardinal invariants of topological spaces introduced by Peregudov in 1997: the Noetherian type (Nt) and the Noetherian π‑type (Nπt). Both invariants are defined in analogy with cellularity, but they impose a chain‑type restriction on open covers (for Nt) or on π‑bases (for Nπt). The authors explore how these invariants behave in three distinct contexts, establishing new connections with classical set‑theoretic principles such as Chang’s Conjecture and PCF theory.

First, the authors consider κ‑Suslin lines, which are linear orders equipped with the order topology that satisfy both the κ‑chain condition and the κ‑c.c. (no antichain of size κ). For every regular cardinal κ below the first singular cardinal (i.e., κ < ℵ_ω), they prove that the Noetherian π‑type of the κ‑Suslin line L_κ is exactly κ⁺. The proof combines Δ‑system arguments with careful analysis of π‑bases, showing that any π‑base must contain a chain of size at most κ, and that a chain of size κ⁺ cannot be avoided. This result extends the known calculation for the classical Suslin line (κ = ℵ₁) and demonstrates that up to ℵ_ω the Noetherian π‑type mirrors cellularity, while leaving the singular case open.

Second, the paper turns to countably supported box products ☐^{ℵ₀} X. Building on a theorem of Lajos Soukup that Nt(☐^{ℵ₀} X) ≤ ℵ₂ for spaces X with the countable chain condition, the authors assume Chang’s Conjecture for ℵ_ω (the statement (ℵ_{ω+1},ℵ_ω) → (ℵ₁,ℵ₀)). Under this hypothesis they show that Nt(☐^{ℵ₀} X) ≤ ℵ_{ω+1}. The argument uses model‑theoretic compression: any large chain in the box product can be reflected down to a smaller elementary substructure, yielding a bound on the size of a Noetherian cover. This generalizes Soukup’s result and illustrates how strong combinatorial principles can control the Noetherian type of highly non‑metrizable products.

Finally, the authors apply PCF (possible cofinalities) theory to Pixley‑Roy hyperspaces. For the space PR(ℝ)·ℵ₁, which is the Pixley‑Roy hyperspace of the real line replicated ℵ₁ times, they prove that its Noetherian type is at least ℵ_{ω₁}. Moreover, assuming the Generalized Continuum Hypothesis (GCH) they obtain equality Nt(PR(ℝ)·ℵ₁) = ℵ_{ω₁}. The proof exploits the structure of possible cofinalities of reduced products of regular cardinals, showing that any Noetherian cover must reflect a cofinal family of size ℵ_{ω₁}. This demonstrates that Nt can be strictly larger than cellularity (which for this space is 2^{ℵ₀}) and that PCF techniques are effective in bounding topological invariants.

In the concluding section the authors synthesize these three lines of investigation, emphasizing that Nt and Nπt behave like cellularity in many familiar settings but diverge in subtle ways when strong set‑theoretic hypotheses are involved. The results highlight a deep interplay between order‑theoretic properties of spaces, combinatorial set theory, and topological covering characteristics. Open problems are proposed, including determining Nπt for κ‑Suslin lines when κ ≥ ℵ_ω, obtaining ZFC bounds for the Noetherian type of countably supported box products without invoking Chang’s Conjecture, and extending the PCF analysis to broader classes of hyperspaces.