CAT(0) cube complexes and inner amenability (Q2245012)

Summary: We here consider inner amenability from a geometric and group theoretical perspective. We prove that for every non-elementary action of a group \(G\) on a finite dimensional irreducible CAT(0) cube complex, there is a nonempty \(G\)-invariant closed convex subset such that every conjugation invariant mean on \(G\) gives full measure to the stabilizer of each point of this subset. Specializing our result to trees leads to a complete characterization of inner amenability for HNN-extensions and amalgamated free products. One novelty of the proof is that it makes use of the existence of certain idempotent conjugation-invariant means on \(G\). We additionally obtain a complete characterization of inner amenability for permutational wreath product groups. One of the main ingredients used for this is a general lemma which we call the location lemma, which allows us to ``locate'' conjugation invariant means on a group \(G\) relative to a given normal subgroup \(N\) of \(G\). We give several further applications of the location lemma beyond the aforementioned characterization of inner amenable wreath products.