Delphi.science

The Algebra of compact-open subsets in the spectrum of the ring $C(T)$ for an infinite compact Hausdorff space $T$

Evgeny Kuznetsov

arXivarxiv/2608.08251Aug 8, 2026math.GNscore 0

For a commutative Bezout ring R, we give a criterion, in terms of colon ideals with principal radical, for the lattice $\mathring{\mathcal{K}}(\mathrm{Spec}(R))$ of compact open subsets of $\mathrm{Spec}(R)$ to be a Heyting algebra. Bezhanishvili and Tressl showed that $\mathring{\mathcal{K}}(\mathrm{Spec}(C(T)))$ is pseudocomplemented whenever T is a basically disconnected compact Hausdorff space, and asked whether $\mathrm{Spec}(C(β\mathbb{N}))$ is actually an Esakia space. We show it is not: applying our criterion to $C(β\mathbb{N}) \cong \ell^\infty(\mathbb{N},\mathbb{R})$ produces a…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2608.08251
curl -X POST /api/v1/records/arxiv/2608.08251/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.08251/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'