English

Uniform non-amenability, cost, and the first l^2-Betti number

Group Theory 2010-04-27 v2 Dynamical Systems

Abstract

It is shown that 2β1(\G)h(\G)2\beta_1(\G)\leq h(\G) for any countable group \G\G, where β1(\G)\beta_1(\G) is the first 2\ell^2-Betti number and h(\G)h(\G) the uniform isoperimetric constant. In particular, a countable group with non-vanishing first 2\ell^2-Betti number is uniformly non-amenable. We then define isoperimetric constants in the framework of measured equivalence relations. For an ergodic measured equivalence relation RR of type \IIi\IIi, the uniform isoperimetric constant h(R)h(R) of RR is invariant under orbit equivalence and satisfies 2β1(R)2C(R)2h(R), 2\beta_1(R)\leq 2C(R)-2\leq h(R), where β1(R)\beta_1(\R) is the first 2\ell^2-Betti number and C(R)C(R) the cost of RR in the sense of Levitt (in particular h(R)h(R) is a non-trivial invariant). In contrast with the group case, uniformly non-amenable measured equivalence relations of type \IIi\IIi always contain non-amenable subtreeings. An ergodic version he(\G)h_e(\G) of the uniform isoperimetric constant h(\G)h(\G) is defined as the infimum over all essentially free ergodic and measure preserving actions α\alpha of \G\G of the uniform isoperimetric constant h(Rα)h(\R_\alpha) of the equivalence relation RαR_\alpha associated to α\alpha. By establishing a connection with the cost of measure-preserving equivalence relations, we prove that he(\G)=0h_e(\G)=0 for any lattice \G\G in a semi-simple Lie group of real rank at least 2 (while he(\G)h_e(\G) does not vanish in general).

Keywords

Cite

@article{arxiv.0711.0393,
  title  = {Uniform non-amenability, cost, and the first l^2-Betti number},
  author = {Russell Lyons and Mikaël Pichot and Stéphane Vassout},
  journal= {arXiv preprint arXiv:0711.0393},
  year   = {2010}
}

Comments

17 pp