Essential holonomy of Cantor actions

Publication date: 12 May 2022

Abstract: A group action has essential holonomy if the set of points with non-trivial holonomy has positive measure. If such an action is topologically free, then having essential holonomy is equivalent to the action not being essentially free, which means that the set of points with non-trivial stabilizer has positive measure. In this paper, we investigate the relation between the property of having essential holonomy and structure of the acting group for minimal equicontinuous actions on Cantor sets. We show that if such a group action is locally quasi-analytic and has essential holonomy, then every commutator subgroup in the group lower central series has elements with positive measure set of points with non-trivial holonomy. In particular, this gives a new proof that a minimal equicontinuous Cantor action by a nilpotent group has no essential holonomy. We also show that the property of having essential holonomy is preserved under return equivalence and continuous orbit equivalence of minimal equicontinuous Cantor actions. Finally, we give examples to show that the assumption on the action that it is locally quasi-analytic is necessary.

Mathematics Subject Classification ID

Dynamical systems involving transformations and group actions with special properties (minimality, distality, proximality, expansivity, etc.) (37B05) General groups of measure-preserving transformations and dynamical systems (37A15) Limits, profinite groups (20E18) Measurable group actions (22F10) Compact groups of homeomorphisms (57S10)

This page was built for publication: Essential holonomy of Cantor actions