On some kinds of weakly sober spaces
Pith reviewed 2026-05-24 21:25 UTC · model grok-4.3
The pith
Some sobriety-like properties hold for cut spaces, weakly sober spaces and quasisober spaces while others fail.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Cut spaces, weakly sober spaces and quasisober spaces each retain some of the structural features that characterize sober spaces, yet they diverge from sober spaces on other properties that rely on the presence of directed joins.
What carries the argument
The three Ern'e relaxations of sobriety (cut spaces, weakly sober spaces, quasisober spaces) that drop the requirement of directed joins while keeping selected closure or irreducibility conditions.
If this is right
- Certain separation axioms and compactness notions that hold for sober spaces remain valid for the three relaxed classes.
- Some sobriety theorems that require directed joins cease to hold once those joins are removed.
- The basic theory of sober spaces therefore splits into parts that survive the relaxation and parts that do not.
Where Pith is reading between the lines
- These weaker notions may allow sobriety ideas to apply to posets or spaces without any directed completeness assumption.
- Further work could test whether the preserved properties suffice for standard applications such as spectral theory or domain representations.
- The split between preserved and lost properties may indicate which parts of sobriety theory are truly join-dependent.
Load-bearing premise
The three kinds of spaces defined in 2018 correctly capture the intended relaxations of sobriety.
What would settle it
An explicit topological space that satisfies one of the three definitions yet fails a property the paper claims is preserved, or satisfies a property the paper claims is lost.
read the original abstract
In \cite{E_2018}, Ern\'e relaxed the concept of sobriety in order to extend the theory of sober spaces and locally hypercompact spaces to situations where directed joins were missing, and introduced three kinds of non-sober spaces: cut spaces, weakly sober spaces, and quasisober spaces. In this paper, their basic properties are investigated. It is shown that some properties which are similar to that of sober spaces hold and others do not hold.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper investigates basic properties of the three classes of spaces (cut spaces, weakly sober spaces, and quasisober spaces) introduced by Ern'e (2018) as relaxations of sobriety for settings without directed joins. It claims that some properties analogous to those of sober spaces hold for these classes while others fail, supported by direct comparisons to the definitions and explicit examples or counterexamples.
Significance. If the verifications are correct, the work supplies a useful initial catalog of which sobriety-like properties transfer to these weaker notions. This is a modest but concrete step toward extending sobriety theory, with the explicit counterexamples serving as falsifiable tests. No machine-checked proofs or parameter-free derivations are present, limiting the strength of the contribution.
major comments (2)
- [§3] §3 (or the section defining the three classes): the claim that certain properties 'hold' requires explicit statement of which properties are being checked against the definitions from Ern'e 2018; without a numbered list or table of the tested properties, it is difficult to assess completeness of the investigation.
- [§4 or §5] The counterexample constructions (presumably in §4 or §5): each counterexample must be verified to satisfy the relevant definition while violating the target property; if any example relies on an implicit assumption about the underlying poset or topology not stated in the definitions, the failure claim is not fully supported.
minor comments (3)
- [Abstract] The abstract and introduction should include at least one concrete example of a property that holds and one that fails, rather than the generic statement that 'some hold and others do not.'
- [Throughout] Notation for the three classes should be introduced once and used consistently; avoid switching between descriptive phrases and abbreviations without a clear table.
- [Introduction and property sections] Reference [E_2018] should be cited with a specific theorem or definition number when a property is claimed to be analogous or to fail.
Simulated Author's Rebuttal
We thank the referee for the careful review and constructive suggestions. We address the major comments point by point below.
read point-by-point responses
-
Referee: [§3] §3 (or the section defining the three classes): the claim that certain properties 'hold' requires explicit statement of which properties are being checked against the definitions from Ern'e 2018; without a numbered list or table of the tested properties, it is difficult to assess completeness of the investigation.
Authors: We agree that an explicit enumeration of the checked properties would improve clarity and allow readers to assess the investigation's completeness more readily. In the revised manuscript we will add a numbered list (or table) in §3 that itemizes each sobriety-like property examined, together with direct references to the corresponding definitions in Ern'e (2018). revision: yes
-
Referee: [§4 or §5] The counterexample constructions (presumably in §4 or §5): each counterexample must be verified to satisfy the relevant definition while violating the target property; if any example relies on an implicit assumption about the underlying poset or topology not stated in the definitions, the failure claim is not fully supported.
Authors: Each counterexample in §§4 and 5 is constructed and verified in the text to meet the relevant definition while failing the target property. To address the concern about possible implicit assumptions, we will insert explicit statements confirming that the constructions rely only on the definitions given in Ern'e (2018) and will expand the verification steps where needed. revision: partial
Circularity Check
No significant circularity; external definitions and independent checks
full rationale
The paper cites the external 2018 Ern'e reference for the definitions of cut spaces, weakly sober spaces, and quasisober spaces, then performs direct property verifications and counterexamples against those fixed definitions. No load-bearing step reduces to a self-citation, fitted parameter, or internal redefinition; the central results (some sobriety-like properties hold, others fail) are obtained by explicit comparison with the given external definitions plus concrete examples. This is self-contained against the external benchmark and receives the default non-circularity finding.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard axioms and definitions of topology including sober spaces and related order-theoretic concepts
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.