The converse between local compactness and local solidity of the unit filter
Local compactness–local solidity conjecture. XXX is locally compact if and only if