Table of Contents
Fetching ...

Wreath products of groups acting with bounded orbits

Paul-Henry Leemann, Grégoire Schneeberger

Abstract

If $\textbf{S}$ is a subcategory of metric spaces, we say that a group G has property $B\textbf{S}$ if any isometric action on an $\textbf{S}$-space has bounded orbits. Examples of such subcategories include metric spaces, affine real Hilbert spaces, CAT(0) cube complexes, connected median graphs, trees or ultra-metric spaces. The corresponding properties $B\textbf{S}$ are respectively Bergman's property, property FH (which, for countable groups, is equivalent to the celebrated Kazhdan's property (T)), property FW (both for CAT(0) cube complexes and for connected median graphs), property FA and uncountable cofinality. Historically many of these properties were defined using the existence of fixed points. Our main result is that for many subcategories $\textbf{S}$, the wreath product $G\wr_XH$ has property $B\textbf{S}$ if and only if both $G$ and $H$ have property $B\textbf{S}$ and $X$ is finite. On one hand, this encompasses in a general setting previously known results for properties FH and FW. On the other hand, this also applies to the Bergman's property. Finally, we also obtain that $G\wr_XH$ has uncountable cofinality if and only if both $G$ and $H$ have uncountable cofinality and $H$ acts on $X$ with finitely many orbits.

Wreath products of groups acting with bounded orbits

Abstract

If is a subcategory of metric spaces, we say that a group G has property if any isometric action on an -space has bounded orbits. Examples of such subcategories include metric spaces, affine real Hilbert spaces, CAT(0) cube complexes, connected median graphs, trees or ultra-metric spaces. The corresponding properties are respectively Bergman's property, property FH (which, for countable groups, is equivalent to the celebrated Kazhdan's property (T)), property FW (both for CAT(0) cube complexes and for connected median graphs), property FA and uncountable cofinality. Historically many of these properties were defined using the existence of fixed points. Our main result is that for many subcategories , the wreath product has property if and only if both and have property and is finite. On one hand, this encompasses in a general setting previously known results for properties FH and FW. On the other hand, this also applies to the Bergman's property. Finally, we also obtain that has uncountable cofinality if and only if both and have uncountable cofinality and acts on with finitely many orbits.

Paper Structure

This paper contains 15 sections, 25 theorems, 13 equations, 1 table.

Key Result

Theorem 1.1

Let $G$ and $H$ be two discrete groups with $G$ non-trivial and let $X$ be a set on which $H$ acts. The wreath product $G \wr_X H$ has property (T) if and only if $G$ and $H$ have property (T) and $X$ is finite.

Theorems & Definitions (49)

  • Theorem 1.1: MR2106770MR2176470
  • Theorem 1.2: MR2764930
  • Theorem 1.3: Cornulier2013LS2020
  • Theorem 1
  • Proposition 2
  • Theorem 3
  • Definition 2.1
  • Example 2.2
  • Lemma 2.3
  • proof
  • ...and 39 more