A co-sober Alexandrov space whose Scott power space is not co-sober
We show that the Scott power construction does not preserve co-sobriety. For a dcpo $P$, let $\operatorname{Fin}(P)$ be the poset of nonempty finitely generated upper sets ordered by reverse inclusion. We prove that co-sobriety of $Σ\operatorname{Fin}(P)$ implies co-sobriety of $ΣP$. The proof adapts the point-saturation and union argument used for full compact saturated power posets; the finite step follows from a result of Heckmann and Keimel. Applying this transfer to a dcpo with a non-co-sober Scott space yields a co-sober Alexandrov space whose Scott power space is not co-sober. We also…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2611.01516
curl -X POST /api/v1/records/arxiv/2611.01516/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2611.01516/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'