Realizing congruence subgroups inside the diffeomorphism group of a product of homotopy spheres (Q260563)

Let \(M\) be a smooth manifold homeomorphic to the \(n\)-fold product of \(k\)-dimensional spheres, \(k\) odd, and let \(\mathfrak R(k,n)\) consist of those \(A\in\text{GL}_n(\mathbb Z)\) for which there is a diffeomorphism \(f:M\to M\) such that \(f_*:H_k(M;\mathbb Z)\to H_k(M;\mathbb Z)\) has matrix \(A\). Then when \(k=1\) and \(n\not=4\) or \(k>1\) and \(n\geq 3\), the group \(\mathfrak R(k,n)\) contains a congruence subgroup, i.e., the kernel of the map SL\(_n(\mathbb Z)\to\text{SL}_n(\mathbb Z_m)\) for some \(m\).