Measures and stabilizers of group Cantor actions

Abstract

We consider a minimal equicontinuous action of a finitely generated group \begin{document}$ G $\end{document} on a Cantor set \begin{document}$ X $\end{document} with invariant probability measure \begin{document}$ \mu $\end{document} , and the stabilizers of points for such an action. We give sufficient conditions under which there exists a subgroup \begin{document}$ H $\end{document} of \begin{document}$ G $\end{document} such that the set of points in \begin{document}$ X $\end{document} whose stabilizers are conjugate to \begin{document}$ H $\end{document} has full measure. The conditions are that the action is locally quasi-analytic and locally non-degenerate. An action is locally quasi-analytic if its elements have unique extensions on subsets of uniform diameter. The condition that the action is locally non-degenerate is introduced in this paper. We apply our results to study the properties of invariant random subgroups induced by minimal equicontinuous actions on Cantor sets and to certain almost one-to-one extensions of equicontinuous actions.