Non-standard automorphisms and non-congruence subgroups of \(\mathrm{SL}_{2}\) over Dedekind domains contained in function fields (Q814779)

Let \(K\) be an algebraic function field of one variable with constant field \(k\) and let \(C\) be the Dedekind domain consisting of all those elements of \(K\) which are integral outside a fixed place infinity of \(K\). The authors introduce ``non-standard'' automorphisms of the group \(\text{SL}_2(C)\), generalizing a result of Reiner for the special case \(\text{SL}_2(k[t])\). For the (arithmetic) case where \(k\) is finite, they use these to transform congruence subgroups into non-congruence subgroups of almost any level. This enables them to investigate the existence, number, and minimal index of non-congruence subgroups of prescribed level. They also provide a group-theoretic characterization of those \(\text{SL}_2(C)\) where \(C\) is a principal ideal domain.