Infinite stationary measures of co-compact group actions

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$.