On the image of an algebraic projective space (Q412577): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q589962 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Paweł Zapałowski / rank | |||
Normal rank |
Revision as of 18:01, 19 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the image of an algebraic projective space |
scientific article |
Statements
On the image of an algebraic projective space (English)
0 references
4 May 2012
0 references
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.
0 references
compact complex space
0 references
projective algebraic space
0 references
normal space
0 references
surjective holomorphic mapping
0 references