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.


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\).











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)