Table of Contents
Fetching ...

A CAT(0) alternative for amenable groups and a Kazhdan-type rigidity principle

Hiroyasu Izeki, Ran Ji, Anders Karlsson, Yunhui Wu

Abstract

We prove that finitely generated amenable groups acting on CAT(0) spaces satisfy the following alternative: either every action on a geodesically complete CAT(0) space with bounded geometry (or finite dimension) has a global fixed point, or the group admits a fixed-point-free action on $\mathbb{R}^n$. As a consequence, finitely generated amenable torsion groups and finitely generated virtually simple amenable groups cannot act nontrivially on geodesically complete CAT(0) spaces with bounded geometry or on finite-dimensional complete CAT(0) spaces. The proof relies on a Kazhdan-type rigidity theorem for groups with the Euclidean fixed point property: if such a group acts on a geodesically complete CAT(0) space of bounded geometry with almost fixed points, then it has a genuine fixed point. This yields several further corollaries, including a rigidity dichotomy for drift and that any finitely generated torsion group acting on a geodesically complete visibility CAT(0) space with bounded geometry must have a global fixed point. These results make substantial progress on the longstanding problem of understanding actions of torsion groups on CAT(0) spaces.

A CAT(0) alternative for amenable groups and a Kazhdan-type rigidity principle

Abstract

We prove that finitely generated amenable groups acting on CAT(0) spaces satisfy the following alternative: either every action on a geodesically complete CAT(0) space with bounded geometry (or finite dimension) has a global fixed point, or the group admits a fixed-point-free action on . As a consequence, finitely generated amenable torsion groups and finitely generated virtually simple amenable groups cannot act nontrivially on geodesically complete CAT(0) spaces with bounded geometry or on finite-dimensional complete CAT(0) spaces. The proof relies on a Kazhdan-type rigidity theorem for groups with the Euclidean fixed point property: if such a group acts on a geodesically complete CAT(0) space of bounded geometry with almost fixed points, then it has a genuine fixed point. This yields several further corollaries, including a rigidity dichotomy for drift and that any finitely generated torsion group acting on a geodesically complete visibility CAT(0) space with bounded geometry must have a global fixed point. These results make substantial progress on the longstanding problem of understanding actions of torsion groups on CAT(0) spaces.

Paper Structure

This paper contains 7 sections, 20 theorems, 53 equations.

Key Result

Lemma 2.1

Let $Y$ be a complete $\mathrm{CAT}(0)$ space, and let $\Gamma$ be a finitely generated group acting on $Y$ via a homomorphism $\rho:\Gamma \rightarrow \mathrm{Isom}(Y)$. Suppose that $\rho(\Gamma)$ fixes a point $\xi$ in $\partial Y$. Let $c:[0,\infty] \to Y$ be a geodesic ray with $c(\infty)=\xi$. is a complete $\mathrm{CAT}(0)$ space on which $\Gamma$ acts via a homomorphism $\rho':\Gamma \righ

Theorems & Definitions (41)

  • Lemma 2.1
  • proof
  • Lemma 2.2
  • proof
  • Remark 2.1
  • Proposition 3.1
  • Theorem 3.2
  • proof
  • Theorem 3.3: Theorem A, equal dimension
  • proof
  • ...and 31 more