The congruence subgroup property for mapping class groups and the residual finiteness of hyperbolic groups

Abstract: Assuming that every hyperbolic group is residually finite, we prove the congruence subgroup property for mapping class groups of hyperbolic surfaces of finite type. Under the same assumption, it follows that profinitely equivalent hyperbolic 3-manifolds are commensurable.