Dice Question Streamline Icon: https://streamlinehq.com

Existence of universal topological groups of uncountable weight

Determine whether there exists, for some uncountable cardinal τ, a universal topological group of weight τ; equivalently, establish whether there is a topological group G such that every topological group of weight at most τ embeds topologically as a subgroup of G.

Information Square Streamline Icon: https://streamlinehq.com

Background

Uspenskiy proved that there exists a universal topological group with a countable base, namely the homeomorphism group of the Hilbert cube with the compact–open topology. This raises the natural extension to uncountable weights.

The paper discusses why straightforward generalizations of Uspenskiy’s approach are blocked: topological characterizations of Tychonoff cubes Iτ for uncountable τ require absolute retract conditions that fail for many compact convex subsets, undermining attempts to use analogous methods to show universality of groups like ℋ(Iτ).

References

The obvious question from -- whether there are universal topological groups of uncountable weight -- is still open.

A universal $P$-group of weight $\aleph$ (2510.15855 - Mill, 17 Oct 2025) in Section 1 (Introduction)