Continuity of the stabilizer map and irreducible extensions

Adrien Le Boudec,Todor Tsankov
2023-11-04
Abstract:Let $G$ be a locally compact group. For every $G$-flow $X$, one can consider the stabilizer map $x \mapsto G_x$, from $X$ to the space $\mathrm{Sub}(G)$ of closed subgroups of $G$. This map is not continuous in general. We prove that if one passes from $X$ to the universal irreducible extension of $X$, the stabilizer map becomes continuous. This result provides, in particular, a common generalization of a theorem of Frolík (that the set of fixed points of a homeomorphism of an extremally disconnected compact space is open) and a theorem of Veech (that the action of a locally compact group on its greatest ambit is free). It also allows to naturally associate to every $G$-flow $X$ a stabilizer $G$-flow $\mathrm{S}_G(X)$ in the space $\mathrm{Sub}(G)$, which generalizes the notion of stabilizer uniformly recurrent subgroup associated to a minimal $G$-flow introduced by Glasner and Weiss.
Group Theory,Dynamical Systems
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is the continuity problem of the stabilizer map \(x \mapsto G_x\) in the \(G\)-flow \(X\) of a locally compact group \(G\). Specifically, the author proves that if one moves from \(X\) to the universal irreducible extension \(\hat{X}_G\) of \(X\), then the stabilizer map becomes continuous. This result not only provides a common generalization of Frolík's theorem (the fixed - point set of a homeomorphism on an extremely disconnected compact space is open) and Veech's theorem (the action of a locally compact group on its maximal ambit \(S_a(G)\) is free), but also allows one to naturally associate each \(G\)-flow \(X\) with a stabilizer \(G\)-flow \(S_G(X)\) in the \(\text{Sub}(G)\) space, which generalizes the concept of the uniformly recurrent subgroup of the minimal \(G\)-flow introduced by Glasner and Weiss. ### Main Results The main results of the paper can be summarized in the following theorem: **Theorem 1.1**: Let \(G\) be a locally compact group and \(X\) be a Gleason - complete \(G\)-flow. Then the stabilizer map \(X \to \text{Sub}(G)\), \(x \mapsto G_x\) is continuous. An important application of this theorem is that for any \(G\)-flow \(X\), this theorem applies to the Gleason - complete flow \(\hat{X}_G\) and shows that taking the irreducible extension of \(X\) is sufficient to solve the continuity problem of the stabilizer map on \(X\). ### Further Applications 1. **Topologically Free and Free Actions**: - The paper also explores the relationship between topologically free actions and free actions and proves that for a locally compact group \(G\) and a \(G\)-flow \(X\), the following conditions are equivalent: - \(X\) is topologically free; - \(\hat{X}_G\) is free. - In particular, a Gleason - complete flow is topologically free if and only if it is free. 2. **Boundary Flows**: - For each locally compact group \(G\), the stabilizer map on its Furstenberg boundary \(\partial F G\) is continuous. In particular, the following conditions are equivalent: - \(G\) has a topologically free boundary; - The action of \(G\) on \(\partial F G\) is free. 3. **Stabilizer Flows**: - Theorem 1.1 also allows one to associate a stabilizer flow with any \(G\)-flow \(X\) without the minimality assumption. Specifically, consider the Gleason - complete flow \(\hat{X}_G\) of \(X\) and take the image of the stabilizer map of \(\hat{X}_G\) on \(\text{Sub}(G)\). Definition 5.1 gives the definition of the stabilizer flow and proves that when \(X\) is minimal, the stabilizer flow and the stabilizer URS are equal. ### Conclusion This paper solves the continuity problem of the stabilizer map by introducing the concept of Gleason - complete flow and provides several important applications, including the properties of topologically free actions, boundary flows, and stabilizer flows. These results not only deepen the understanding of \(G\)-flows but also provide new tools and perspectives for further research in related fields.