A criterion for holomorphic families of Riemann surfaces to be virtually isomorphic (Q256908)

In a celebrated paper, \textit{Y. Imayoshi} and \textit{H. Shiga} [in: Holomorphic functions and moduli II. Proceedings of a workshop held March 13--19, 1986 (Berkeley, CA, USA). New York, NY: Springer-Verlag. Math. Sci. Res. Inst. Publ. 11, 207--219 (1988; Zbl 0696.30044)] gave an analytic proof of the finiteness theorem of holomorphic families of Riemann surfaces of fixed analytically finite type over a (fixed) Riemann surface. Their result gives an affirmative answer to the Shafarevich conjecture in the function field case. In this paper, the author gives a rigidity theorem for holomorphic disks associated to holomorphic families of Riemann surfaces, aiming at studying the geometry (the asymptotic boundary behavior) of such holomorphic disks. Indeed, this rigidity theorem is described with distributions of associated holomorphic disks and orbits of monodromies at infinity. Let \(T_{g;n}\) be the Teichmüller space of Riemann surfaces of analytically finite type \((g;n)\) with \(2g - 2 + n > 0.\) Let \(d_{T}\) be the Teichmüller distance on \(T_{g;n}\). Let \(\mathrm{Mod}_{g;n}\) be the Teichmüller modular group acting on \(T_{g;n}\) isometrically. (Weak Rigidity Theorem). Let \(\Gamma\) be the Fuchsian group of a Riemann surface of class \(O_{G}\) acting on the unit disk \(D\). Let \(M_{i} \), \(i = 1,2\), be locally non-trivial holomorphic families of Riemann surfaces of type \((g;n)\) over \(D/\Gamma\). Let \(\rho_{i}:\Gamma \rightarrow\mathrm{Mod}_{g;n}\) be a monodromy of the family \(M_{i}\). Suppose that there are \(x_{1}, x_{2} \in T_{g;n}\) and \(\varphi \in \mathrm{Mod}_{g;n}\) such that, for any \(M > 0\), there is a finite set \(C \subset \Gamma\) with the Gromov product of the Teichmüller distance \[ \big\langle \rho_{1}(\gamma)(x_{1})| \varphi \circ \rho_{2}(\gamma)(x_{2})\big\rangle_{x_{0}} > M \] for all \(\gamma \in \Gamma \backslash C\). Then \(M_{1}\) and \(M_{2}\) are virtually isomorphic, and the virtual isomorphism degree is at most \(42(2g - 2 + n)\). Furthermore, if a fiber of \(M_{i}\) has a trivial automorphism group, the two families are isomorphic.