{"id":"arxiv/2610.14446","url":"https://arxiv.org/abs/2610.14446","tags":["math.GN"],"score":0,"title":"Compact localization and co-sobriety of Smyth power spaces","domain":"math.GN","source":"arxiv","authors":["Wei Ji","Xiaoquan Xu"],"reviews":0,"subject":"math.GN","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-10","reactions":{}}