On the image of an algebraic projective space (Q412577): Difference between revisions

For \(X\) being a Kähler manifold, \(Y\) a complex manifold, and \(p:X\to Y\) an equidimensional proper holomorphic map, \textit{J. Varouchas} [``Stabilité de la classe des variétés Kaehleriennes par certains morphismes propres'', Invent. Math. 77, 117--127 (1984; Zbl 0529.53049)] showed that \(Y\) is also Kähler. The same author in [``Kähler spaces and proper open morphisms'', Math. Ann. 283, No. 1, 13--52 (1989; Zbl 0632.53059)] extended this result to complex spaces. On the other hand, it is known that the image of a Moishezon space by a holomorphic map is again Moishezon. It was \textit{B. G. Moishezon} who showed in [``On \(n\)-dimensional compact complex varieties with \(n\) algebraically independent meromorphic functions. I-III'', Am. Math. Soc., Transl., II. Ser. 63, 51--177 (1967; Zbl 0186.26204)] that a compact complex manifold is projective if and only if it is Kähler and Moishezon. Note that the corresponding result does not hold for spaces with singularities even for normal complex surfaces (see [\textit{H. Grauert}, ``Über Modifikationen und exzeptionelle analytische Mengen'', Math. Ann. 146, 331--368 (1962; Zbl 0173.33004)]). The main result of the paper under review is the following. Suppose that \(X\) and \(Y\) are reduced compact complex spaces and \(p:X\to Y\) is a surjective holomorphic mapping. Assume that \(X\) is projective algebraic, \(Y\) is normal, and all fibers of \(p\) have the same dimension. Then \(Y\) is projective algebraic.