Congruence subgroups from representations of the three-strand braid group
Ng and Schauenburg proved that the kernel of a -dimensional topological quantum field theory representation of is a congruence subgroup. Motivated by their result, we explore when the kernel of an irreducible representation of the braid group with finite image enjoys a congruence subgroup property. In particular, we show that in dimensions two and three, when the projective order of the image of the braid generator is between 2 and 5 the kernel projects onto a congruence subgroup of and compute its level. However, we prove for three dimensional representations, the projective order is not enough to decide the congruence property. For each integer of the form with odd, we construct a pair of non-congruence subgroups associated with three-dimensional representations having finite image and mapping to a matrix with projective order . Our technique uses classification results of low dimensional braid group representations, and the Fricke-Wohlfarht theorem in number theory.