Expansion in SL_d( O_K/I), I square-free.

From MaRDI portal
Publication:653296




Abstract: Let S be a fixed symmetric finite subset of SL_d(O_K) that generates a Zariski dense subgroup of SL_d(O_K) when we consider it as an algebraic group over Q by restriction of scalars. We prove that the Cayley graphs of SL_d(O_K/I) with respect to the projections of S is an expander family if I ranges over square-free ideals of O_K if d=2 and K is an arbitrary numberfield, or if d=3 and K=Q.









This page was built for publication: Expansion in \(\mathrm{SL}_d(\mathcal O_K/I)\), \(I\) square-free.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q653296)