No label defined (Q3973879)

Let \(X\to S\), \(Y\to S\) be two deformations of a compact complex space \(X_0\) over a reduced complex space \(S\). Assume that in a neighbourhood \(U\) of the distinguished point \(0\in S\), we have an isomorphism \(X(s)\simeq Y(s)\) for all \(s\in U\). If one of the deformations, say \(X\to S\) is trivial, that is \(X=X_0\times S\) over \(S\), then the two deformations are isomorphic near 0. [\textit{W. Fischer} and \textit{H. Grauert}, Nachr. Akad. Wiss. Gött., II. Math.-Phys. Kl. 1965, 89--94 (1965; Zbl 0135.12601)]. But in general, two deformations are not isomorphic [\textit{G. Schumacher}, Invent. Math. 71, 295--307 (1983; Zbl 0521.32019) and \textit{J. Wehler}, Math. Ann. 231, 77--90 (1977; Zbl 0363.32016)]. In the present paper the author gives conditions under which two deformations are isomorphic. Let \(\underline A\) be the category of Banach-analytic spaces and \(\underline P\) be one of the following categories: -- anaflat families of compact complex spaces -- anaflat families of coherent analytic sheaves with compact support on a complex space --- families of principal fiber bundles over a compact complex space. Here ``anaflat'' means the Banach-analytic generalization of the notion of ``flat''. Then we have a groupoid \(q: \underline P\to\underline A\), by attaching the base space to a family \(X\to S\). The following theorem is a generalization of the Fischer-Grauert theorem. Theorem. Let \(b\in\underline P\) be a family and \(S:=q(b)\) be reduced. If \(b(s)\simeq b(0)\) for all \(s\) in a neighbourhood of \(0\in S\), then \(b\) is trivial near 0, that is, \(b=b(0)\times S\) near 0. The author also announces the following theorem. Theorem. Let \(b\), \(c\) be objects in \(\underline P\) such that \(S:=q(b)=q(c)\) is reduced. If for every one-dimensional subgerm \((\mathbb{C},0)\subset(S,0)\) there exists a sequence \(s_n\) of points \(\mathbb{C}\) converging to 0 and a sequence \(\alpha_n: b(s_n)\simeq c(s_n)\) of isomorphisms, converging in \(\text{Isom}(a,b)\), then \(b\) and \(c\) are isomorphic near 0. The author also gives several results proved in his previous papers [``Existenz semiuniverseller Deformationen in der komplexen Analysis'' (1988; Zbl 0644.32012) and Math. Z. 203, No. 2, 263--277 (1990; Zbl 0662.32019)]. [For the entire collection see Zbl 0722.00013.]