Coherence Theory for Finite Holomorphic Maps
In this chapter it is shown that for every finite holomorphic map f: X →Y the image functor f * is exact in the category of coherent O X -sheaves. It is further proved that if S is a coherent O X -sheaf, then f *(S) is coherent. These two theorems are important ingredients in the proof of Theorem B (see Chapter IV, 1.2).
KeywordsAbelian Group Structure Sheaf Coherent Sheaf Coherence Theory Image Sheaf
Unable to display preview. Download preview PDF.