{"id":"arxiv/2610.36551","url":"https://arxiv.org/abs/2610.36551","tags":["math.GN"],"score":0,"title":"Function spaces with compact-open topology need not be sober","domain":"math.GN","source":"arxiv","authors":["Bei Liu","Qingguo Li"],"reviews":0,"subject":"math.GN","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-27","reactions":{}}