Number of maximal subgroups of the Cantor space homeomorphism group

Determine how many maximal subgroups the homeomorphism group of the Cantor space, operatorname{Homeo}(2^N), has.

Background

The paper establishes that several homeomorphism groups, including those of the rational numbers, Baire space, N \times 2N, \omega2, and the Sorgenfrey line, have precisely 2{\mathfrak c} maximal subgroups. The Cantor space 2N is excluded from the main counting theorem because it is homeoclastic but cannot be partitioned into infinitely many topological moieties, and hence is not \aleph_0-homeoclastic. The authors note that point stabilisers already provide at least \mathfrak c maximal subgroups of \operatorname{Homeo}(2N), while each point stabiliser is isomorphic to \operatorname{Homeo}(N \times 2N) and therefore contains 2{\mathfrak c} maximal subgroups. Nevertheless, the total number of maximal subgroups of \operatorname{Homeo}(2N) is left unresolved.

References

Since the Cantor space is not \aleph_0-homeoclastic, the following natural question remains open. How many maximal subgroups does \operatorname{Homeo}(2N) have?

Maximal subgroups of homeomorphism groups  (2608.28211 - Bardyla et al., 28 Aug 2026) in Question 2.1 (labelled \ref{question_cantor}), Section 2, immediately after Corollary \ref{cor:manyexamples}