A note on the local homotopy type of direct image sheaf complexes (Q1824068)

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.