Convergence of formal morphisms of completions of complex spaces (Q1306447): Difference between revisions

Let \(\Phi:\widehat X|S\to\widehat Y|T\) be a formal morphism between completions of reduced complex spaces \(X\) and \(Y\) along compact analytic subsets \(S\) and \(T\), respectively. Assume that \(X\) is integral along \(S\) i.e. the germ along \(S\) of smooth point set of \(X\) has an arbitrarily small connected representative. Consider the assertion that \[ \Phi\text{ is convergent everywhere or nowhere}.\tag{*} \] If \(S\) is Moishezon space and if \(\Phi\) is a formal function (i.e. if \(Y\) is \(\mathbb{C}\) or the completion of \(\mathbb{C})\), (*) follows from Gabrielov's theorem on homomorphisms of analytic algebras or from Sadullaev's algebraicity criterion for affine analytic set [\textit{S. Izumi}, J. Math. Kyoto Univ. 32, No. 1, 245-258 (1992; Zbl 0805.32005)]. As for formal morphisms, this paper presents the following two conditions under which (*) is affirmative. (i) \(S\) is Moishezon, no image of local irreducible component of \(\widehat X|S\) is contained in a thin subspace of \(\widehat Y|T\) and \(|\Phi|(S)\) can be contracted into one point by a generically finite morphism defined on \(Y\). Here, `image' and `thinness' are interpreted not topologically but algebraically. (ii) \(S\) is Moishezon, \(\Phi\) is adic with full generic rank and \(X\setminus T\) is smooth. In Appendix it is remarked that Whitney-Shiota formal function [\textit{M. Shiota}, Publ. Res. Inst. Math. Sci. Kyoto Univ. 12, 49-53 (1976; Zbl 0338.13026)] assures the existence of a topologically 0-dimensional formal complex space which cannot be obtained as a completion of a complex space.