Compact localization and co-sobriety of Smyth power spaces

Wei Ji; Xiaoquan Xu

Home/Archive/arXiv

arXiv · 2610.14446

Compact localization and co-sobriety of Smyth power spaces

Wei Ji·Xiaoquan Xu

View original source ↗Read source document ↗Export metadata ↓

Abstract

We establish a compact-localization theorem for finite iterates of the Smyth power space. Successive union maps assign to every finite-level Smyth object a canonical least compact saturated carrier in the original space, and co-sobriety at each positive finite level is equivalent to co-sobriety of the corresponding iterates over all compact saturated carriers. Consequently, if every compact saturated subspace of a $T_0$-space $X$ is stably compact---in particular, if every such subspace is Hausdorff---then $\PS^n(X)$ is co-sober for every finite $n\geq 1$. This applies to every $k_1$-Hausdorff space and hence to every Hausdorff or metrizable space. For the first iterate, we also give a direct full-Vietoris argument, independent of stable compactness, which shows that each $k$-irreducible compact saturated family is generated by its union.

Explore related subjects

math.GN

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Wei Ji, Xiaoquan Xu. 2026-10-10. Compact localization and co-sobriety of Smyth power spaces. https://arxiv.org/abs/2610.14446

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Function spaces with compact-open topology need not be sober

We exhibit sober spaces $X$ and $Y$ such that the function space $[X \to Y]_K$ of continuous maps, equipped with the compact-open topology, is not sober; the codomain can be chosen to be the Sierpiński space $S$. Our construction builds on Isbell's complete lattice $M$, whose Scott space $ΣM$ is non-sober. Let $H = Q(M)$ be the set of nonempty compact saturated subsets of $ΣM$, ordered by reverse inclusion. Since $H$ is well known to be a spatial frame, the space $X = \mathrm{pt}(H)$ is sober with $\mathcal{O}(X) \cong H$. The key technical result is that sobriety of the space $H$ would entail sobriety of the original Scott space $ΣM$. This contradicts Isbell's example, and the desired counterexample follows.

math.GN↗

arXiv2026

The Extended Real Line with Reentry: A Compact Path-Connected US-not-KC Space

We construct what is, to the author's knowledge, the first compact path-connected US-not-KC space. The Extended Real Line with Reentry (ERI) identifies $-\infty$, $0$ and $+\infty$ to a single point $\ast$ of the extended real line and requires every neighborhood of $\ast$ to have dense preimage under the quotient map. ERI es compact, path-connected, sober, and Baire; it is $T_1$, US, and has unique limits even for transfinite sequences, but not KC, not weakly Hausdorff, and not Hausdorff; sequential convergence is explicit: $\hat{x}_n \to \ast$ iff $(x_n)$ has no accumulation point in $\mathbb{R}\setminus\{0\}$. The compact US-not-KC spaces previously on record are totally disconnected or fail path-connectedness; a one-point extension of $(0,1)$, analyzed alongside, achieves the same separation and is not homeomorphic to ERI.

math.GN↗

arXiv2026

Arbitrary Stage Spectra for Raikov Remainders Along Quotient Towers

Let $θ$ be an ordinal and let $(N_α)_{α\leqθ}$ be a continuous increasing tower of closed normal subgroups of a Hausdorff topological group $G$, with $N_0=\{e\}$. Write $ρG$ for the Raikov completion of $G$, and put $K_α=\overline{N_α}^{ρG}$ and $H_α=GK_α$. The successive and limit differences of the groups $H_α$ mark the first stages at which points of $ρG$ become old quotient points. For every nonzero ordinal $θ$ and every set $S\subseteq(0,θ]$, there is a Hausdorff pseudocompact Boolean group with a continuous tower of closed normal subgroups such that every member of the tower is pseudocompact and the nonempty strata occur exactly at the stages in $S$. The terminal quotient can simultaneously be chosen isomorphic to $\mathbb Z/2\mathbb Z$, and for every $δ<θ$ the successive factor $N_{δ+1}/N_δ$ is compact exactly when $δ+1\notin S$. Thus a tower may have a single nonempty stratum at a limit stage even when every successive factor is compact. For a closed normal subgroup $N$ of $G$, let $\widehat q:ρG\toρ(G/N)$ extend the quotient homomorphism and put $K=\overline N^{ρG}$. Over $gN\in G/N$, the fiber in $ρG\setminus G$ is $g(K\setminus N)$, homeomorphic to $ρN\setminus N$, while for $y\in\widehat q(ρG)\setminus(G/N)$ the entire $\widehat q$-fiber lies in $ρG\setminus G$ and is homeomorphic to $ρN$. For precompact kernels this gives a canonical decomposition, and nested quotients give the two-stage identity underlying the transfinite filtration. Further results concern pseudocompact Raikov remainders and include countable Abelian examples.

math.GN↗