Non-supramenable groups acting on locally compact spaces (Q2439225)

A group \(\Gamma\) is \textit{supramenable} if for any action of \(\Gamma\) on a set \(X\) and for any non-empty subset \(A\subset X\) there exists an invariant finitely additive measure \(\mu\) on \(X\) with \(0<\mu(A)<\infty\). The authors give several characterizations of supramenability, in particular, they prove that the following conditions are equivalent for any group \(\Gamma\): \newline (\(i\)) \(\Gamma\) is supramenable; \newline (\(ii\)) any co-compact \(\Gamma\)-action on a locally compact Hausdorff space admits a non-zero invariant Radon measure; \newline (\(iii\)) the Roe algebra \(l^\infty(\Gamma)\rtimes_{\text{red}}\Gamma\) contains no properly infinite projection; \newline (\(iv\)) there is no injective Lipschitz map from the free group \(\mathbb F_2\) to \(\Gamma\). Let now \(\Gamma\) act on a locally compact totally disconnected Hausdorff space \(X\), and let \(\mathbb K\) denote the algebra of all compact-open subsets of \(X\). A set \(K\in\mathbb K\) is \textit{\((X,\Gamma,\mathbb K)\)-paradoxical} (following Hausdorff-Banach-Tarski) if there exist pairwise disjoint sets \(K_1,K_2,\ldots,K_{n+m}\in\mathbb K\) and elements \(g_1,g_2,\ldots,g_{n+m}\in\Gamma\) such that \(K_j\subset K\) for all \(j\) and \(K=\cup_{j=1}^n g_j{\cdot} K_j=\cup_{j=n+1}^{n+m}g_j{\cdot} K_j\). An action of \(\Gamma\) on \(X\) is \textit{purely infinite} if every compact-open subset of \(X\) is \((X,\Gamma,\mathbb K)\)-paradoxical. When \(\Gamma\) is countable, the authors prove that \(\Gamma\) admits a free, minimal, purely infinite action on the locally compact non-compact Cantor set \(\mathbf K^*\) iff \(\Gamma\) is non-supramenable. In this case, the crossed product \(C^*\)-algebra \(C_0(\mathbf K^*)\rtimes_{\text{red}}\Gamma\) is a stable, simple, purely infinite \(C^*\)-algebra. Finally, when \(\Gamma\) is non-supramenable, the authors give several conditions providing that \(C_0(\mathbf K^*)\rtimes_{\text{red}}\Gamma\) is a stable Kirchberg algebra in the UCT class. In particular, this holds if \(\Gamma\) is amenable, or contains an infinite amenable subgroup of infinite index, or contains an exact non-supramenable subgroup.