pith. sign in

arxiv: 2603.03228 · v5 · submitted 2026-03-03 · 🧮 math.GN

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

Damian Rafael Lattenero This is my paper

Pith reviewed 2026-05-15 17:25 UTC · model grok-4.3

classification 🧮 math.GN
keywords extended real lineuniquely sequential spacesClontz hierarchycompact path-connected spacesfilter-modified quotientUS-not-KCweakly Hausdorffk2-Hausdorff
0
0 comments X

The pith

The Extended Real Line with Reentry is compact, path-connected, US but not KC or weakly Hausdorff.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs the Extended Real Line with Reentry (ERI) by identifying the points negative infinity, zero, and positive infinity to a single point and requiring neighborhoods of this point to have dense preimages in the original space. This produces a compact, path-connected space that is uniquely sequential (US) and sober but fails to be weakly Hausdorff or KC. It is the first known example of such a space that remains path-connected, as earlier compact US-not-KC spaces were all totally disconnected. The construction is generalized to a Filter-Modified Quotient using a density modifier on any suitable base space.

Core claim

By identifying three points at infinity and zero in the extended reals to one point * and enforcing that every neighborhood of * has dense preimage, the resulting ERI space is compact and path-connected while being T1, US, and sober but neither weakly Hausdorff nor KC, placing it at the k2-Hausdorff level in the Clontz hierarchy.

What carries the argument

The Filter-Modified Quotient (FMQ) defined by the density modifier D_Y, which collapses points under a density condition on neighborhoods to preserve the US property.

If this is right

  • The ERI is the first compact path-connected US-not-KC space.
  • The density modifier D_Y is the least restrictive admissible modifier that preserves US.
  • The k2H-not-wH level remains invariant under infinite closed nowhere-dense collapse sets, iteration of the construction, and arbitrary products.
  • The only remaining direction to a US-not-k2H space requires non-first-countable base spaces.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • This construction suggests that similar reentry identifications could separate other separation axioms in path-connected compact spaces.
  • Applying FMQ to other bases like the circle might yield additional examples with different connectivity properties.
  • The invariance under products implies that products of ERI with itself or other spaces stay at the same hierarchy level.

Load-bearing premise

The density condition that every neighborhood of the identified point has dense preimage is enough to make the space US but not weakly Hausdorff while keeping it compact and path-connected.

What would settle it

A sequence in the ERI space that converges to two different points, or a neighborhood of * with non-dense preimage that still satisfies the topology, would show the space fails to be US or the construction does not work as claimed.

read the original abstract

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}$, $\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 $\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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper constructs the Extended Real Line with Reentry (ERI) by identifying −∞, 0, and +∞ in the extended reals to a single point ∗ and defining neighborhoods of ∗ to be those sets whose preimage under the quotient map is dense in the base space. It claims that the resulting space is compact, path-connected, sober, T₁, and US but neither weakly Hausdorff nor KC, thereby separating US from KC at the k₂H-not-wH level of the Clontz hierarchy. The construction is generalized to Filter-Modified Quotients (FMQ) on arbitrary compact Hausdorff bases without isolated points; the density modifier D_Y is shown to be the least restrictive admissible modifier preserving US, and the hierarchy level is invariant under infinite closed nowhere-dense collapses, iteration, and arbitrary products. The only remaining direction toward US-not-k₂H requires non-first-countable bases.

Significance. If the topology is well-defined and the proofs hold, ERI supplies the first compact path-connected US-not-KC space, filling a documented gap where all previously known examples (Q*×Q*, S37, S165) are totally disconnected. The invariance theorems under products and iterations, together with the minimality result for the density modifier, would strengthen the separation results in the Clontz hierarchy and provide a flexible construction method for further counterexamples.

major comments (2)
  1. [§2] §2 (Construction of ERI and FMQ): The neighborhood filter at ∗ is defined by requiring q^{-1}(U) dense in the base space. This collection is not obviously closed under finite intersections, since the intersection of two dense subsets of the extended reals need not be dense (e.g., a set dense in (−∞,0) whose complement in (0,∞) contains a nowhere-dense Cantor set of positive measure, paired with a complementary dense set in the positives). The manuscript must either prove that the generated filter satisfies the topology axioms while preserving density, or exhibit an explicit filter base whose finite intersections remain dense. This issue is load-bearing for the claims of compactness, path-connectedness, US, and the placement at k₂H-not-wH.
  2. [§3] §3 (Proof that ERI is US but not KC): The argument that ERI is US relies on the density condition to ensure unique sequential limits. However, if the topology is not first verified to be well-defined, the sequential properties cannot be established. Please supply the explicit sequential characterization and verify that no two distinct points have the same sequential neighborhoods under the density rule.
minor comments (2)
  1. [Abstract] The abstract states that a pi-Base search returned three totally disconnected examples; a short parenthetical description or citation for each (Q*×Q*, S37, S165) would improve readability.
  2. [§2] Notation for the quotient map q and the density modifier D_Y is introduced without an explicit equation number; adding (1) or (2) would aid cross-referencing in later sections.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and for identifying key points that require clarification in the construction. We will revise the manuscript to address the concerns about the well-definedness of the topology and the sequential properties. These revisions will include an explicit filter base and proofs to support the claims.

read point-by-point responses

  1. Referee: §2: The neighborhood filter at ∗ is defined by requiring q^{-1}(U) dense in the base space. This collection is not obviously closed under finite intersections, since the intersection of two dense subsets need not be dense. The manuscript must prove that the generated filter satisfies the topology axioms or exhibit an explicit filter base whose finite intersections remain dense.

    Authors: We agree that the collection as stated may not be closed under intersections. In the revision, we will exhibit an explicit filter base for the neighborhoods of ∗: let B consist of all sets U containing ∗ such that q^{-1}(U) is dense and open in the extended reals. Since open dense sets in the extended reals have dense intersections (as the space is Baire, the intersection of two open dense sets is open dense), this base will be closed under finite intersections. We will prove that this generates the same filter as the density condition and preserves all claimed properties. This revision will be made in §2. revision: yes

  2. Referee: §3: The argument that ERI is US relies on the density condition to ensure unique sequential limits. However, if the topology is not first verified to be well-defined, the sequential properties cannot be established. Please supply the explicit sequential characterization and verify that no two distinct points have the same sequential neighborhoods under the density rule.

    Authors: With the topology now rigorously defined via the filter base in the revised §2, we will add in §3 an explicit sequential characterization: a sequence (x_n) converges to ∗ if and only if for every basic neighborhood U in the base B, the set {n | x_n in U} is infinite, which, due to density of q^{-1}(U), forces the sequence to be dense in the base space in the limit. For other points, standard convergence applies. We then prove US by showing that if a sequence converges to two different points, say a regular point p and ∗, this leads to contradiction because neighborhoods of p have preimages not dense (they miss intervals around other points). Thus, unique limits are ensured. This will be included in the revision. revision: yes

Circularity Check

0 steps flagged

No circularity: explicit quotient construction with density condition is self-contained

full rationale

The paper defines ERI directly via identification of three points to * in the extended reals together with the explicit rule that neighborhoods of * must have dense preimage under the quotient map. All subsequent claims (compactness, path-connectedness, US but not KC, position in Clontz hierarchy) are presented as consequences proved from this definition and standard topology, without any reduction of outputs to inputs by construction, fitted parameters renamed as predictions, or load-bearing self-citation chains. The cited Clontz hierarchy and pi-Base search are external benchmarks. No self-definitional, ansatz-smuggling, or renaming patterns appear. The construction is therefore independent of its claimed results.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claim rests on the ad hoc density condition introduced in the quotient construction; no free parameters are fitted to data, and the only invented entity is the new space itself.

axioms (1)
  • ad hoc to paper Every neighborhood of the identified point * must have dense preimage in the original extended reals.
    This density modifier is introduced specifically to achieve US while failing KC and is not derived from prior axioms.
invented entities (1)
  • Extended Real Line with Reentry (ERI) no independent evidence
    purpose: To realize a compact path-connected US-not-KC space at the k2-Hausdorff level.
    New space defined by the quotient identification plus the density condition; no independent evidence outside the construction is supplied.

pith-pipeline@v0.9.0 · 5576 in / 1472 out tokens · 80638 ms · 2026-05-15T17:25:31.861012+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages · 3 internal anchors

  1. [1]

    BetweenT1 and T2,

    A. Wilansky, “BetweenT1 and T2,”Amer. Math. Monthly74(1967), no. 3, 261–266. doi:10.2307/2316014

    work page doi:10.2307/2316014 1967

  2. [2]

    Non-HausdorffT1 properties,

    S. Clontz, “Non-HausdorffT1 properties,” arXiv:2312.08328v2 [math.GN], 2024

    work page arXiv 2024

  3. [3]

    An anti-Hausdorff Fréchet space in which convergent sequences have unique limits,

    E. K. van Douwen, “An anti-Hausdorff Fréchet space in which convergent sequences have unique limits,”Topology Appl.51(1993), no. 2, 147–158. doi:10.1016/0166-8641(93)90147-6

    work page doi:10.1016/0166-8641(93)90147-6 1993

  4. [4]

    Maximal (sequentially) compact topologies

    H.-P. A. Künzi and D. van der Zypen, “Maximal (sequentially) compact topologies,” inCategori- cal Structures and Their Applications, World Scientific, 2004, pp. 173–187; arXiv:math/0306082. 31

    work page internal anchor Pith review Pith/arXiv arXiv 2004

  5. [5]

    Sequential convergence in topological spaces

    A. Goreham, “Sequential convergence in topological spaces,” arXiv:math/0412558 [math.GN], 2004

    work page internal anchor Pith review Pith/arXiv arXiv 2004

  6. [6]

    Spaces in which sequences suffice,

    S. P. Franklin, “Spaces in which sequences suffice,”Fund. Math.57(1965), 107–115. doi:10.4064/fm-57-1-107-115

    work page doi:10.4064/fm-57-1-107-115 1965

  7. [7]

    J. R. Munkres,Topology, 2nd ed., Prentice Hall, 2000

    work page 2000

  8. [8]

    Willard,General Topology, Addison-Wesley, 1970; reprinted Dover, 2004

    S. Willard,General Topology, Addison-Wesley, 1970; reprinted Dover, 2004

    work page 1970

  9. [9]

    L. A. Steen and J. A. Seebach,Counterexamples in Topology, 2nd ed., Springer, 1978

    work page 1978

  10. [10]

    Engelking,General Topology, revised ed., Sigma Series in Pure Mathematics, vol

    R. Engelking,General Topology, revised ed., Sigma Series in Pure Mathematics, vol. 6, Helder- mann Verlag, Berlin, 1989

    work page 1989

  11. [11]

    Minimal KC spaces are compact,

    A. Bella and C. Costantini, “Minimal KC spaces are compact,”Topology Appl.155(2008), 1426–1429. doi:10.1016/j.topol.2008.04.005

    work page doi:10.1016/j.topol.2008.04.005 2008

  12. [12]

    Separation Axioms Among US,

    S. Clontz and M. Williams, “Separation Axioms Among US,” arXiv:2502.16764 [math.GN], 2025

    work page arXiv 2025

  13. [13]

    Dolecki and F

    S. Dolecki and F. Mynard,Convergence Foundations of Topology, World Scientific, 2016

    work page 2016

  14. [14]

    P. T. Johnstone,Stone Spaces, Cambridge Studies in Advanced Mathematics, vol. 3, Cambridge University Press, 1982

    work page 1982

  15. [15]

    Wann sind alle stetigen Abbildungen inY konstant?

    H. Herrlich, “Wann sind alle stetigen Abbildungen inY konstant?”Math. Z.90(1965), 152–154. doi:10.1007/BF01112210

    work page doi:10.1007/bf01112210 1965

  16. [16]

    The FDS-property and spaces in which compact sets are closed,

    O. T. Alas, M. G. Tkachenko, V. V. Tkachuk, and R. G. Wilson, “The FDS-property and spaces in which compact sets are closed,”Sci. Math. Jpn.61(2005), no. 3, 473–480

    work page 2005

  17. [17]

    Clontzet al., π-Base: a community database of topological counterexamples, https:// topology.pi-base.org/

    S. Clontzet al., π-Base: a community database of topological counterexamples, https:// topology.pi-base.org/

    work page

  18. [18]

    Structure and classification of topological spaces and cardinal invariants,

    A. V. Arhangel’ski˘ ı, “Structure and classification of topological spaces and cardinal invariants,” Russian Math. Surveys33(1978), no. 6, 33–96. doi:10.1070/RM1978v033n06ABEH003884

    work page doi:10.1070/rm1978v033n06abeh003884 1978

  19. [19]

    On 3-manifolds that cover themselves

    A. V. Arhangel’ski˘ ı and S. P. Franklin, “Ordinal invariants for topological spaces,”Michigan Math. J.15(1968), no. 3, 313–320. doi:10.1307/mmj/1029000034

    work page doi:10.1307/mmj/1029000034 1968

  20. [20]

    Generalized metric spaces,

    G. Gruenhage, “Generalized metric spaces,” inHandbook of Set-Theoretic Topology(K. Kunen and J. E. Vaughan, eds.), North-Holland, Amsterdam, 1984, pp. 423–501

    work page 1984

  21. [21]

    Juhász,Cardinal Functions in Topology—Ten Years Later, Mathematical Centre Tracts, vol

    I. Juhász,Cardinal Functions in Topology—Ten Years Later, Mathematical Centre Tracts, vol. 123, Mathematisch Centrum, Amsterdam, 1980

    work page 1980

  22. [22]

    J. R. Porter and R. G. Woods,Extensions and Absolutes of Hausdorff Spaces, Springer-Verlag, New York, 1988. doi:10.1007/978-1-4612-3712-9

    work page doi:10.1007/978-1-4612-3712-9 1988

  23. [23]

    Brauer groups of genus zero extensions of number fields

    D. van der Zypen, “Minimal Hausdorff, minimal Urysohn, and minimal T1 topologies,” arXiv:math/0302019 [math.GN], 2003

    work page internal anchor Pith review Pith/arXiv arXiv 2003

  24. [24]

    Cardinal functions I,

    R. E. Hodel, “Cardinal functions I,” inHandbook of Set-Theoretic Topology(K. Kunen and J. E. Vaughan, eds.), North-Holland, Amsterdam, 1984, pp. 1–61. 32

    work page 1984

  25. [25]

    The fundamental equations of a submersion

    N. E. Steenrod, “A convenient category of topological spaces,”Michigan Math. J.14(1967), no. 2, 133–152. doi:10.1307/mmj/1028999711. 33

    work page doi:10.1307/mmj/1028999711 1967