The zeta function of sl2(ℤ) (Q4940663)

By using an analogue of Mann's probabilistic formula relating zeta functions counting \(d\)-generator subgroups, the following relationship for the zeta functions \(\zeta_L(s)\) and \(\zeta_{pL}(s)\) of \(L\) and \(pL\) where \(L\) is a Lie algebra and \(p\) is a prime: \[ p^{-s+2} (\zeta_{\mathbb{Z}_p^3}(s) - \zeta_L(s)) = (\zeta_{\mathbb{Z}_p^3}(s) - \zeta_{pL}(s)) \] is proved. It is further used to show that there exists a rational function \(P(Y)\) such that \[ \zeta_{{\mathfrak sl}_2 (\mathbb{Z})} = P(2^{-s}) \zeta(s) \zeta(s-1) \zeta(2s-2) \zeta(2s-1) \zeta(3s-1)^{-1}. \] It particularly implies that the zeta function of \(sl_2(\mathbb{Z})\) has a meromorphic continuation to the whole complex plane. The zeta functions counting normal subgroups in the congruence subgroups of \(SL_2(\mathbb{Z}_p)\) and ideals in \(p^n{\mathfrak sl}_2(\mathbb{Z}_p)\) are calculated for \(p> 2\). The analysis carried out in the present work results in calculating the obliquity of \(p^n{\mathfrak sl}_2(\mathbb{Z}_p)\) which measures the departure of ideals from the congruence filtration. The model-theoretic approach employing the Ax-Kochen principle to obtain the zeta functions of \(F_p [[t]]\)-Lie algebras is also explained.