The congruence subgroup property for the hyperelliptic modular group: the open surface case (Q845251)

Let \(H_{g,n}\) be the hyperelliptic modular group with \(n + 2g -2\) positive and let \(S_{g,n}\) be a compact Riemann surface of genus g with n points removed. It is shown that for any given finite index subgroup \(H\) of \(H_{g,n}\), there exists a finite index characteristic subgroup \(K\) of \(\pi_1(S_{g,n})\) such that the kernel of the induced representation \(H_{g,n} \rightarrow \mathrm{Out}(\pi_1(S_{g,n})/K)\) is contained in \(H\).