Familles de graphes expanseurs et paires de Hecke

Let H be a subgroup of a group G. Suppose that (G,H) is a Hecke pair and that H is finitely generated by a finite symmetric set of size k. Then G/H can be seen as a graph (possibly with loops and multiple edges) whose connected components form a family (X_i)_i∈I of finite k-regular graphs. In this Note, we analyse when the size of these graphs is bounded or tends to infinity and we present criteria for (X_i)_i∈I to be a family of expanding graphs as well as some examples. To cite this article: M.B. Bekka et al., C. R. Acad. Sci. Paris, Ser. I 335 (2002) 463–468.