On the coverings of proper families of 1-dimensional complex spaces (Q5954535)

We quote from the introduction: We want to show the following result concerning the stability of holomorphic convexity for covering spaces.NEWLINENEWLINENEWLINETheorem 1.1. Let \(\pi: X\to T\) be a proper holomorphic surjective map of complex spaces, let \(t_0\in T\) be any point, and denote by \(X_{t_0}:= \pi^{-1}(t_0)\) the fiber of \(\pi\) at \(t_0\). Assume that \(\dim X_{t_0}= 1\). Let \(\sigma:\widetilde X\to X\) be a covering space and let \(\widetilde X_{t_0}= \sigma^{-1}(X_{t_0})\). If \(\widetilde X_{t_0}\) is holomorphically convex, then there is an open neighborhood \(D_1\) of \(t_0\) such that \((\pi\circ \sigma)^{-1}(D_1)\) is holomorphically convex.NEWLINENEWLINENEWLINERemark 1.2. This result is the main achievement of the note of \textit{T. Ohsawa} [Nagoya Math. J. 147, 107-112 (1997; Zbl 0902.32004)]. However, as will be explained at the end of our article, we have serious questions about his proof. Therefore, we consider it necessary to give a complete and clear proof of Theorem 1.1.