The Extended Real Line with Reentry: Separating US from KC in the Clontz Hierarchy
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866913054352998400 |
|---|---|
| author | Lattenero, Damian Rafael |
| author_facet | Lattenero, Damian Rafael |
| contents | We construct the Extended Real Line with Reentry (ERI): identify $\{-\infty, 0, +\infty\}$ to a single point $\ast$ in $\overline{\mathbb{R}}$, and require every neighborhood of $\ast$ to have dense preimage. The resulting space is compact, path-connected, and sober; it is $T_1$ and US (uniquely sequential), but not weakly Hausdorff, not KC, and not Hausdorff. In the refined hierarchy of Clontz, ERI sits at the $k_2$-Hausdorff level. A search of pi-Base for compact US-not-KC spaces returns three entries -- $\mathbb{Q}^{\ast} \times \mathbb{Q}^{\ast}$, $ω_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 $\mathcal{D}_Y$ is the least restrictive admissible modifier preserving US, and that the hierarchy level $k_2\mathrm{H}$-not-$\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-$k_2\mathrm{H}$ level runs through non-first-countable base spaces. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_03228 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | The Extended Real Line with Reentry: Separating US from KC in the Clontz Hierarchy Lattenero, Damian Rafael General Topology 54A20, 54B15, 54D10, 54D25, 54D30, 54D55, 54G20 We construct the Extended Real Line with Reentry (ERI): identify $\{-\infty, 0, +\infty\}$ to a single point $\ast$ in $\overline{\mathbb{R}}$, and require every neighborhood of $\ast$ to have dense preimage. The resulting space is compact, path-connected, and sober; it is $T_1$ and US (uniquely sequential), but not weakly Hausdorff, not KC, and not Hausdorff. In the refined hierarchy of Clontz, ERI sits at the $k_2$-Hausdorff level. A search of pi-Base for compact US-not-KC spaces returns three entries -- $\mathbb{Q}^{\ast} \times \mathbb{Q}^{\ast}$, $ω_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 $\mathcal{D}_Y$ is the least restrictive admissible modifier preserving US, and that the hierarchy level $k_2\mathrm{H}$-not-$\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-$k_2\mathrm{H}$ level runs through non-first-countable base spaces. |
| title | The Extended Real Line with Reentry: Separating US from KC in the Clontz Hierarchy |
| topic | General Topology 54A20, 54B15, 54D10, 54D25, 54D30, 54D55, 54G20 |
| url | https://arxiv.org/abs/2603.03228 |