The Teichmüller distance between finite index subgroups of \(PSL_2(\mathbb{Z})\) (Q960051)

Let \(f : S^{1} \rightarrow S^{1}\) be a homeomorphism of the unit circle onto itself. We say that \(f\) is a \(K-\)quasisymmetric map if there exists a \(K-\)quasiconformal map \(F : D \rightarrow D\) of the unit disc onto itself so that the continuous extension of \(F\) on \(S^{1}\) agrees with \(f.\) Theorem 1. For every \(\varepsilon > 0\) there exist two finite index subgroups of \(PSL_{2}(\mathbb Z)\) which are conjugated by a \((1 + \varepsilon)\)-quasisymmetric homeomorphism of the unit circle and this conjugation homeomorphism is not conformal. Problem. Let \(M\) be a hyperbolic Riemann surface. Is it true that for every \(\varepsilon > 0\) there exist two coverings \(M_{1}, M_{2} \rightarrow M\) and a \((1 + \varepsilon)\)-quasiconformal homeomorphism \(F : M_{1} \rightarrow M_{2}\) that is not homotopic to a conformal map? Corollary 1. Let \(T_{0}\) denote the Modular torus. Then for every \(\varepsilon > 0\) there are finite degree, regular coverings \(\pi_{1} : M_{1} \rightarrow T_{0}\) and \(\pi_{2} : M_{2} \rightarrow T_{0},\) and a \((1 + \varepsilon)\)-quasiconformal homeomorphism \(F : M_{1} \rightarrow M_{2}\) that is not homotopic to a conformal map. As an application of the above results, they showed that the orbit of the basepoint in the Teichmueller space \(T(S^{p})\) of the punctured solenoid \(S^{p}\) under the action of the corresponding Modular group (which is the mapping class group of \(S^{p})\) has the closure in \(T(S^{p})\) strictly larger than the orbit and that the closure is necessarily uncountable.