English

The Extended Real Line with Reentry: Separating US from KC in the Clontz Hierarchy

General Topology 2026-04-23 v5

Abstract

We construct the Extended Real Line with Reentry (ERI): identify {,0,+}\{-\infty, 0, +\infty\} to a single point \ast in R\overline{\mathbb{R}}, and require every neighborhood of \ast to have dense preimage. The resulting space is compact, path-connected, and sober; it is T1T_1 and US (uniquely sequential), but not weakly Hausdorff, not KC, and not Hausdorff. In the refined hierarchy of Clontz, ERI sits at the k2k_2-Hausdorff level. A search of pi-Base for compact US-not-KC spaces returns three entries -- Q×Q\mathbb{Q}^{\ast} \times \mathbb{Q}^{\ast}, ω1+1\omega_1+1 with doubled endpoint (S37), and the one-point compactification of the Arens-Fort space (S165) -- all totally disconnected. ERI is the first compact path-connected example. The same density condition on a general compact Hausdorff base without isolated points defines a Filter-Modified Quotient (FMQ). We prove that the density modifier DY\mathcal{D}_Y is the least restrictive admissible modifier preserving US, and that the hierarchy level k2Hk_2\mathrm{H}-not-wH\mathrm{wH} is invariant under infinite closed nowhere-dense collapse sets, iteration of the construction, and arbitrary products. The only remaining direction toward a US-not-k2Hk_2\mathrm{H} level runs through non-first-countable base spaces.

Cite

@article{arxiv.2603.03228,
  title  = {The Extended Real Line with Reentry: Separating US from KC in the Clontz Hierarchy},
  author = {Damian Rafael Lattenero},
  journal= {arXiv preprint arXiv:2603.03228},
  year   = {2026}
}