Van Engelen's Borel classification conjecture for zero-dimensional spaces
Van Engelen's Borel classification conjecture for zero-dimensional spaces
Let be a zero-dimensional Borel space that is not locally compact. A meager topological group is a topological group whose underlying space is meager, and a filter is the corresponding topological space notion used in the paper. Theorem van Engelen asserts that, for zero-dimensional spaces that are not locally compact, these two conditions are equivalent: being a meager topological group and being homeomorphic to a filter.
Van Engelen's conjecture. The same equivalence holds for every zero-dimensional Borel space that is not locally compact.
This extends van Engelen's theorem from zero-dimensional spaces to all zero-dimensional Borel spaces. The source explicitly describes the Borel version as open.
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Sources & referencesView supporting material
Primary source
Andrea Medini, “A complete classification of the zero-dimensional homogeneous spaces under determinacy”, arXiv:2312.10735 (2025).
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.