Solvable Subgroup Theorem for simplicial nonpositive curvature

Abstract

Given a group [Formula: see text] with bounded torsion that acts properly on a systolic complex, we show that every solvable subgroup of [Formula: see text] is finitely generated and virtually abelian of rank at most [Formula: see text]. In particular, this gives a new proof of the above theorem for systolic groups. The main tools used in the proof are the Product Decomposition Theorem and the Flat Torus Theorem.