Congruence subgroup conjecture for groups generated by root unipotents
Fix a nonzero rational number q=st∈Q∩(−4,4)q=\tfrac{s}{t}\in\mathbb{Q}\cap(-4,4)q=ts∈Q∩(−4,4) in lowest terms, with gcd(s,t)=1\gcd(s,t)=1gcd(s,t)=1. Let Γq\Gamma_qΓq be the group generated by the root unipotents associated t…