On the stabilisers of points in groups with micro-supported actions (Q831203)

Let \(\mathcal{X}\) be a topological space and \(G\) a group of homeomorphisms of \(\mathcal{X}\). The group \(G\) acts on \(\mathcal{X}\) and an element \(x\in \mathcal{X}\) is called regular, if for every \(g\in \mathrm{Stab}_{G}(x)\) the set \(\mathrm{Fix}_{g}(\mathcal{X})\,=\,\{\,y\in \mathcal{X} \mid g(y)\,=\,y\,\}\) contains an open neighbourhoud of \(x\). In general, the set \(\mathrm{St}^{0}_{G}(x)\) (the neighbourhood stabiliser of \(x\)) of the elements of \(G\) with the property above is not entirely all the group \(\mathrm{St}_{G}(x)\), but it is a normal subgroup of \(\mathrm{St}_{G}(x)\) and the quotient \(\mathrm{St}_{G}(x)/\mathrm{St}^{0}_{G}(x)\) (the group of germs of \(x\)) accounts how the element \(x\in \mathcal{X}\) is far from being regular. Before we quote the main result of this paper we give some more terminology. The action of \(G\) on \(\mathcal{X}\) is called minimal if, for every \(x\in \mathcal{X}\), the orbit of \(x\) is dense in \(\mathcal{X}\). The action of \(G\) on \(\mathcal{X}\) is called locally minimal if, for every \(x\in \mathcal{X}\), there exists a neighbourhood \(U\subseteq \mathcal{X}\) of \(x\), such that, for all \(y\in U\), the intercection of the orbit of \(y\) with \(U\) is dense in \(U\). Equivalently, the action is minimal if and only if the space \(\mathcal{X}\) is decomposable as disjoint union \(\mathcal{X}\,=\,\sqcup_{i}W_{i}\), where the \(W_{i}\) are clopen \(G\)-invariant subsets of \(\mathcal{X}\) such that the action of \(G\) on each \(W_{i}\) is minimal. For an open \(U\subseteq \mathcal{X}\), the rigit stabilizer of \(U\) in \(G\) is the subgroup \(\mathrm{Rist}_{G}(U)=\{g\in G\mid g(x)=x\), for all \(x\in \mathcal{X}\setminus U\}\), namely contains all the elements of \(G\) that fix the complement of \(U\) pointwise. Theorem A. Let \(\mathcal{X}\) be a first-countable Hausdorff space, and let \(G\) be a group of homeomorphisms of \(\mathcal{X}\). Let us further assume that the action of \(G\) on \(\mathcal{X}\) is minimal and that, for any open set \(U\), the action of \(\mathrm{Rist} _{G}(U)\) on \(U\) is locally minimal. Then, for all \(x,y\in \mathcal{X}\), there exists a homeomorphism \(f:\mathcal{X}\longrightarrow\mathcal{X}\) in the Ellis semigroup of \(G\) such that \(f \mathrm{St}_{G}^{0}(x) f^{-1}=\mathrm{St}_{G}^{0}(y)\). In particular, \(\mathrm{St}_{G}^{0}(x)\) and \(\mathrm{St}_{G}^{0}(y)\) are isomorphic. (The Ellis semigroup of a group \(G\) acting on a topological space \(\mathcal{X}\) is the closure of the image of \(G\) in the set \(\mathcal{X}^{\mathcal{X}}\) of all maps from \(\mathcal{X}\) to \(\mathcal{X}\), with the topology of pointwise convergence.) The following corollary is obtained. Corollary B. Let \(G\) and \(\mathcal{X}\) be as in Theorem A. Then for all regular points \(x,y\in \mathcal{X}\), we have \(\mathrm{Stab}_{G}(x) \cong \mathrm{Stab}_{G}(y)\). It is pointed out (Proposition 3.8 in the paper) that the assumption that the rigid stabilisers act locally minimally is necessary in Theorem A. If the space is compact, then it is proved that two isomorphic stabilisers must have isomorphic groups of germs. More precisely, the author proves: Corollary C. (Corollary 2.7 in the paper) Let \(G\) be a group of homeomorphisms of a compact Hausdorff space \(\mathcal{X}\). Let us also suppose that the action of \(G\) on \( \mathcal{X}\) is minimal and that, for every open set \(U\) of \(\mathcal{X}\), the action of \(\mathrm{Rist} _{G}(U)\) on \(U\) is locally minimal. Let \(x,y\in \mathcal{X}\) be two points. If the groups of germs \(\mathrm{St}_{G}(x)/\mathrm{St}_{G}^{0}(x)\) and \(\mathrm{St}_{G}(y)/\mathrm{St}_{G}^{0}(y)\) of \(x\) and \(y\) are not isomorphic, then the stabilisers \(\mathrm{St}_{G}(x)\) and \(\mathrm{St}_{G}(y)\) are not isomorphic. In particular, if \(x\) is regular and \(y\) is singular, their stabilisers are not isomorphic. Here, the assumption that the space \(\mathcal{X}\) is compact is essential, as it is pointed out by an example (Example 3.4 in the paper). The third part of the paper is devoted to applications of the Theorem A and Corollary C to various groups or classes of groups. More precisely, there are results: 1. on topological full group of the homeomorphisms group of the Cantor space and 2. on the Thompson's groups \(F\), \(T\) and \(V\), which are important examples of groups of homeomorphisms of the interval \([0,1]\), the circle and the Cantor space, respectively. Here, the author refers the work of \textit{G. Golan} and \textit{M. Sapir} [St. Petersbg. Math. J. 29, No. 1, 51--79 (2018; Zbl 1400.20036)] on the stabilizers of the Thompson group \(F\), by which the strategy of the proof of Theorem A was partly inspired. 3. Also a complete classification, up to isomorphism, of stabilisers for the first Grigorchuk group is obtained.