English

Lifting all elements in $\mathrm{SL}_n(\mathbb{Z}/q\mathbb{Z})$

Number Theory 2026-03-26 v2

Abstract

We show that every element of SLn(Z/qZ)\mathrm{SL}_{n}(\mathbb{Z}/q\mathbb{Z}) can be lifted to an element of SLn(Z)\mathrm{SL}_{n}(\mathbb{Z}) of norm at most Cq2logqCq^2\log q, while there exists an element such that every lift of it is of norm at least q2+o(1)q^{2+o(1)}. This should be compared to the recent result that almost every element has a lift of norm bounded by q1+1/n+o(1)q^{1+1/n+o(1)}. The main step in the proof is showing that for every qq, there is a small element in (Z/qZ)×(\mathbb{Z}/q\mathbb{Z})^\times with a large nn-th root, which is a result of independent interest.

Cite

@article{arxiv.2310.10269,
  title  = {Lifting all elements in $\mathrm{SL}_n(\mathbb{Z}/q\mathbb{Z})$},
  author = {Amitay Kamber and Péter P. Varjú},
  journal= {arXiv preprint arXiv:2310.10269},
  year   = {2026}
}

Comments

26 pages, revision based on referee's report. Final accepted version to appear in J. Eur. Math. Soc

R2 v1 2026-06-28T12:51:49.838Z