Ping pong on CAT(0) cube complexes (Q329443): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 00:00, 5 March 2024

scientific article
Language Label Description Also known as
English
Ping pong on CAT(0) cube complexes
scientific article

    Statements

    Ping pong on CAT(0) cube complexes (English)
    0 references
    0 references
    0 references
    21 October 2016
    0 references
    Summary: Let \(G\) be a group acting properly and essentially on an irreducible, non-Euclidean finite dimensional CAT(0) cube complex \(X\) without a global fixed point at infinity. We show that for any finite collection of simultaneously inessential subgroups \(\{H_1,\ldots,H_k\}\) in \(G\), there exists an element \(g\) of infinite order such that \(\forall i,\langle H_i,g\rangle\cong H_i\ast\langle g\rangle\). We apply this to show that any group, acting faithfully and geometrically on a non-Euclidean possibly reducible CAT(0) cube complex, has property \(P_{\mathrm{naive}}\) i.e. given any finite list \(\{g_1,\ldots,g_k\}\) of elements from \(G\), there exists \(g\) of infinite order such that \(\forall i,\langle g_i,g\rangle\cong\langle g_i\rangle\ast\langle g\rangle\). This applies in particular to the Burger-Mozes simple groups that arise as lattices in products of trees. The arguments utilize the action of the group on the boundary of strongly separated ultrafilters and moreover, allow us to summarize equivalent conditions for the reduced \(C^\ast\)-algebra of the group to be simple.
    0 references
    geometric group theory
    0 references
    CAT(0) cube complexes
    0 references

    Identifiers