Quotients of the congruence kernels of \(\text{SL}_ 2\) over arithmetic Dedekind domains (Q1903105)

Let \(C\) be a smooth projective curve over a finite field \(k\), which is absolutely connected, and let \(P\) be a closed point of \(C\). Let \({\mathcal C}={\mathcal C}(C,P,k)\) be the coordinate ring of the affine curve obtained by removing \(P\) from \(C\). Let \(\text{SL}_2({\mathcal C},q)\) be the principal congruence subgroup of \(\text{SL}_2(\mathcal C)\) and \(U_2({\mathcal C},q)\) be the subgroup generated by all unipotent matrices in \(\text{SL}_2({\mathcal C},q)\), where \(q\) is a \(\mathcal C\)-ideal. For all but finitely many \(q\), the quotient \(\text{SL}_2({\mathcal C},q)/U_2({\mathcal C},q)\) is a free, non-cyclic group of finite rank. This theorem (together with previous results) has the following consequence. Let \(G\) be any finitely generated group. Let \(C(\text{SL}_2(A))\) be the congruence kernel of \(\text{SL}_2(A)\), where \(A\) is an arithmetic Dedekind domain with only finitely many units. Then the profinite completion of \(G\) is a homomorphic image of \(C(\text{SL}_2(A))\). This is related to results of \textit{A. Lubotzky} [J. Algebra 77, 411-418 (1982; Zbl 0495.20021)] and \textit{O. V. Mel'nikov} [Dokl. Akad. Nauk SSSR 228, 1034-1036 (1976; Zbl 0369.20027)].