Infinite stationary measures of measured group actions

Mohammedsaid Alhalimi,Tom Hutchcroft,Minghao Pan,Omer Tamuz,Tianyi Zheng
2024-10-31
Abstract:Let $\Gamma$ be a finitely generated group, and let $\mu$ be a nondegenerate, finitely supported probability measure on $\Gamma$. We show that every co-compact $\Gamma$ action on a locally compact Hausdorff space admits a nonzero $\mu$-stationary Radon measure. The main ingredient of the proof is a stationary analogue of Tarski's theorem: we show that for every nonempty subset $A \subseteq \Gamma$ there is a $\mu$-stationary, finitely additive measure on $\Gamma$ that assigns unit mass to $A$.
Group Theory,Dynamical Systems
What problem does this paper attempt to address?