Holomorphic mappings of once-holed tori. II. (Q2299602)

In the paper under review, the author continues his study on holomorphic mappings of once-holed tori. Let \(\mathfrak{T}\) denote the set of marked once-holed tori, where two marked once-holed tori are identified if there is a conformal mapping of one onto the other. As a set, it is the disjoint union of the Teichmüller space \(\mathfrak{T}'\) of a once-punctured torus and the reduced Teichmüller space \(\mathfrak{T}''\) of a once-holed torus that is not a once-punctured torus. Fix a Riemann surface \(Y_0\) with marked handle. For a given marked once-holed torus \(X\) there may or may not exist holomorphic mappings of \(X\) into \(Y_0\). Let us denote by \(\mathfrak{T}_a[Y_0]\) (resp. \(\mathfrak{T}_c[Y_0]\)) the set of \(X \in \mathfrak{T}\) such that there exists a holomorphic (resp. conformal) mapping of \(X\) into \(Y_0\). In a previous paper [J. Anal. Math. 129, 69--90 (2016; Zbl 1358.30015)] the author proved that \(\mathfrak{T}_a[Y_0]\) is a closed domain with Lipschitz boundary, and is a retract of the whole space \(\mathfrak{T}\). By means of a specific coordinate system in \(\mathfrak{T}\) it was proved that there exists a nonnegative number, \(\lambda_a[Y_0]\), the critical extremal length for the existence of holomorphic mappings, satisfying certain numerical properties. In the present paper, several main results are obtained. In Theorem 1 it is proved that if \(Y_0\) is not a marked torus or a marked once-punctured torus, then the boundary of \(\mathfrak{T}_a[Y_0]\) is not smooth. Let \(\lambda_c[Y_0]\) denote the critical extremal length for the existence of conformal mappings. In Theorems 2 and 4, the lengths \(\lambda_a[Y_0]\) and \(\lambda_c[Y_0]\) are respectively evaluated. Let \(Y_0\) be a Riemann surface with marked handle which is not a marked torus. Next, let \(\mathfrak{T}_{\sigma}[Y_0]\) be the set of marked once-holed tori having longer geodesics than corresponding geodesics on \(Y_0\). Since holomorphic mappings decrease hyperbolic lengths, we have that \(\mathfrak{T}_a[Y_0]\) is included in \(\mathfrak{T}_{\sigma}[Y_0]\). Then in Theorem 3 it is proved (i) \(\mathfrak{T}_\sigma[Y_0]\) is a closed domain with Lipschitz boundary, (ii) its boundary \(\partial \mathfrak{T}_\sigma[Y_0]\) meets \(\mathfrak{T}_a[Y_0]\) exactly at one point, and (iii) \(\mathfrak{T}_\sigma [Y_0] \setminus \mathfrak{T}_a[Y_0]\) is homeomorphic to \(\mathbb{C}^* \times [0,1)\), where \(\mathbb{C}^* =\mathbb{C}\setminus \{0\}\).