Conformal extensions of functions defined on arbitrary subsets of Riemann surfaces (Q2514375)

The authors obtain conditions which allow to extend a function \(f\) from an arbitrary subset \(E\) of a Riemann surface conformally to some open set containing \(E\). Theorem 1. Let \(X\) and \(Y\) be Riemann surfaces and \(E\) be an arbitrary subset of \(X\). Suppose for a function \(f:E\rightarrow Y\) that the cluster sets \(C(f,p)\), \(p\in X\), are pairwise disjoint and, for each \(p\in E\), there is an open neighborhood \(U_p\subset X\) of \(p\) and a holomorphic mapping \(\Phi_p:U_p\rightarrow Y\) such that \(\Phi_p(q)=f(q)\) for all \(q\in U_p\cap E\) and \(\Phi'_p(p)\neq 0\) for each \(p\in E\). Then \(f\) extends to a one-to-one conformal mapping \(\Phi:V\rightarrow W\) of some open neighborhood \(V\) of \(E\) onto an open subset \(W\) of \(Y\). For a point \(p\in X\), the cluster set \(C(f,p)\) of \(f\) at \(p\) is defined as the set of all values \(w\in Y\) such that there is a sequence \(z_n\in E\), \(z_n\rightarrow p\), for each \(f(z_n)\rightarrow w\).