Expansion in \(\mathrm{SL}_d(\mathcal O_K/I)\), \(I\) square-free. (Q653296): Difference between revisions

Let \(S\) be a fixed symmetric finite subset of \(\mathrm{SL}_d(\mathcal O_K)\) that generates a Zariski dense subgroup of \(\mathrm{SL}_d(\mathcal O_K)\) when considered as an algebraic group over \(\mathbb Q\) by restriction of scalars. The author proves that the Cayley graphs of \(\mathrm{SL}_d(\mathcal O_K/I)\) with respect to the projections of \(S\) is an expander family when \(I\) ranges over square-free ideals of \(\mathcal O_K\) if \(d=2\) and \(K\) is an arbitrary number field or if \(d=3\) and \(K=\mathbb Q\).