Expanders and box spaces

We finally introduce the full box space of G, i.e. the metric disjoint union of all finite quotients of G. We prove that the full box space of a group mapping onto the free group F2 is not coarsely equivalent to the full box space of an S-arithmetic group satisfying the Congruence Subgroup Property.