A note on the local homotopy type of direct image sheaf complexes (Q1824068): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q734065 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Stanco Dimiev / rank | |||
Normal rank |
Revision as of 19:28, 20 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A note on the local homotopy type of direct image sheaf complexes |
scientific article |
Statements
A note on the local homotopy type of direct image sheaf complexes (English)
0 references
1989
0 references
Analysing the different proofs of the famous Grauert direct image theorem, the author remarks that a stronger result can be formulated concerning some intermediate part of the mentioned proofs. Roughly speaking, if f: \(X\to G\) is a proper holomorphic map of complex spaces and \({\mathcal F}\) be a coherent sheaf on X, then for a suitable Čech- representation \({\mathcal C}({\mathfrak U},{\mathcal M})\) of the direct image \(Rf_*({\mathcal F})\), \({\mathfrak U}\) being a simplicial covering of X and \({\mathcal M}\) some resolution of \({\mathcal F}\), it is proved that the quasi- isomorphism \({\mathcal L}\to {\mathcal C}({\mathfrak U}',{\mathcal M})\) of complexes of S after shrinking S around some point \(0\in S\) (in fact \({\mathfrak U}'\) is a small shinking of \({\mathfrak U}\), the homogeneous components of \({\mathcal L}\) being finite and free over \({\mathcal O}_ S)\), is a continuous homotopy- equivalence in the category of complexes of Frechet sheaves. The precise treatement of the subject involves a lot of notations and special notions.
0 references
complex space
0 references
coherent sheaf
0 references
simplicial covering
0 references
homotopy-equivalence
0 references