Abstract
In 1960, H. Grauert proved the following coherence theorem [2]: Let X, Y be complex spaces and π: X → Y a proper holomorphic map. Then, for every coherent analytic sheaf J on X, all direct image sheaves Rnπ*J are coherent. We give a new proof of this theorem, based on ideas of B. Malgrange. This proof does not use induction on the dimension of the base space Y and can be generalized to relative-analytic spaces X → Y where Y belongs to a bigger category of ringed spaces, which contains in particular all complex spaces and differentiable manifolds.
Similar content being viewed by others
Literatur
P. DELIGNE: Technique de descente cohomologique. (Tract subversif).
H. GRAUERT: Ein Theorem der analytischen Garbentheorie und die Modulräume komplexer Strukturen. Publ. Math. I.H.E.S., no 5, Paris 1960.
A. GROTHENDIECK: Eléments de géométrie algébrique, chap. OIII. Publ. Math. I.H.E.S., no 11, Paris 1961.
A. GROTHENDIECK: Techniques de construction en géométrie analytique V, VIII. Séminaire Henri Cartan 13e année 1960/61, Exposés 12 et 15.
R. KIEHL: Der Endlichkeitssatz für eigentliche Abbildungen in der nichtarchimedischen Funktionentheorie. Inventiones Math. 2 (1967), 191–214.
R. KIEHL: Variationen über den Kohärenzsatz von Grauert. Vervielfältigtes Manuskript. Frankfurt/M. 1970.
K. KNORR: Der Grauertsche Projektionssatz. Inventiones Math. 12 (1971), 118–172.
Séminaire de Géométrie Algébrique (SGA) no 6, Exposés I, III. I.H.E.S., Bures-sur-Yvette 1966/1967.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Forster, O., Knorr, K. Ein beweis des Grauertschen bildgarbensatzes nach ideen von B. Malgrange. Manuscripta Math 5, 19–44 (1971). https://doi.org/10.1007/BF01397607
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01397607