On countable dense and \(n\)-homogeneity (Q2862966)

A group \(G\) of homeomorphisms of a separable topological space \(X\) makes \(X\) \(\omega\)-absorbing if for every countable dense subset \(D\) of \(X\) and each \(x \in X\), there exists \(g \in G\) such that \(g(D \cup \{x\}) \subset D\); \(G\) makes \(X\) wCDH provided that for any finite set \(F \subset X\) and countable dense subsets \(D\) and \(E\) of \(X\), both disjoint from \(F\), there exists \(g \in G\) such that \(g(D) \subset E\) and \(g(x) = x\) for each \(x \in F\). The author starts from a generalization of his earlier result [\textit{J. van Mill}, Fundam. Math. 214, No. 3, 215--239 (2011; Zbl 1248.54016)] and proves that \(G\) makes \(X\) strongly \(n\)-homogeneous provided \(X\) is infinite, \(G\) makes \(X\) wCDH, and no set of size \(n-1\) separates \(X\). The main two results of the paper assert that if a homeomorphism group \(G\) makes a nontrivial connected space \(X\) wCDH, then \(G\) makes \(X\) \(n\)-homogeneous for any \(n\); and that \(X\) is strongly \(2\)-homogeneous provided \(X\) is, in addition to the above, locally connected. The paper is concluded with a counterexample to Watson's problem; that is, an example of a connected regular Lindelöf countable dense homogeneous space that is not strongly \(2\)-homogeneous.