Ping pong on CAT(0) cube complexes

DOI10.4171/CMH/395MaRDI QIDQ329443zbMATH OpenFDO

Authors A. Kar, Michah Sageev

Publication date 21 October 2016

Published in Commentarii Mathematici Helvetici (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1507.05744

zbMATH Keywords

CAT(0) cube complexesgeometric group theory

Mathematics Subject Classification ID

Geometric group theory (20F65) (C^*)-algebras and (W^*)-algebras in relation to group representations (22D25)

Abstract: Let $G$ be a group acting properly and essentially on an irreducible, non-Euclidean finite dimensional CAT(0) cube complex $X$ without fixed points 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 $foralli$, $langle{H}_i,ganglecong{H}_i\ast langlegangle$. 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_{naive}$ i.e. given any finite list $g_1,ldots,g_k$ of elements from $G$, there exists $g$ of infinite order such that $foralli$, $langle{g}_i,gangleconglangle{g}_{i}angle\ast langlegangle$. This applies in particular to the Burger-Moses simple groups that arise as lattices in products of trees. The arguments utilize the action of the group on its Poisson boundary and moreover, allow us to summarise equivalent conditions for the reduced $C^{\ast }$-algebra of the group to be simple.

Review text

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.

Recommendations

• Groups acting on \(\text{CAT}(0)\) cube complexes
• A note on the acylindrical hyperbolicity of groups acting on CAT(0) cube complexes
• Rank rigidity for CAT(0) cube complexes.
• The Poisson boundary of CAT(0) cube complex groups.
• CAT(0) cube complexes and groups

Cites work

• C^*-simplicity and the unique trace property for discrete groups
• Boundaries of reduced C^-algebras of discrete groups
• Contracting elements and random walks
• Cores for quasiconvex actions
• Finite index subgroups of graph products.
• Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces
• Lattices in product of trees
• On quasiconvex subgroups of word hyperbolic groups
• Rank rigidity for CAT(0) cube complexes.
• Relatively hyperbolic groups are \(C^*\)-simple.
• Some groups whose reduced C^*-algebra is simple
• The Poisson boundary of CAT(0) cube complex groups.
• The Tits Alternative for Cat(0) Cubical Complexes

Cited in

(12)

• Rank-one isometries of CAT(0) cube complexes and their centralisers
• Superrigidity of actions on finite rank median spaces
• The Tits alternative for finite rank median spaces
• Cubulable Kähler groups
• \(C^*\)-simplicity and the amenable radical
• Property \(P_{\mathrm{naive}}\) for acylindrically hyperbolic groups
• Homotopy equivalent boundaries of cube complexes
• Hyperbolic and cubical rigidities of Thompson's group V
• Cyclic hyperbolicity in \(\mathrm{CAT}(0)\) cube complexes
• Invariant C^-subalgebras of the reduced group C^-algebra
• Integrable measure equivalence rigidity of right-angled Artin groups via quasi-isometry
• On the girth of groups acting on CAT(0) cube complexes

This page was built for publication: Ping pong on CAT(0) cube complexes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q329443)