The converse between local compactness and local solidity of the unit filter

Let XX be a topological space. The set {1}{\left\{ 1 \right\}} is an element of the lattice of multiplicative filters mF(O(X))\operatorname{mF}(\mathcal{O}(X)).

Local compactness–local solidity conjecture. XX is locally compact if and only if

{1}mF(O(X)){\left\{ 1 \right\}} \in \operatorname{mF}(\mathcal{O}(X))

is locally solid.

The forward implication follows from the fact that a locally compact topological space induces a quantale whose unit filter is locally solid; the converse is posed as an open question.

Sources & referencesView supporting material

Primary source

Bangzheng Li and Yichen Xiao, “Commutative Quantale and Localization”, arXiv:2508.02991 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.