Let $X$ be a nice variety over $mathbb{C}$, where nice probably means smooth and proper.
I want to know: How can we show that the hypercohomology of the algebraic de Rham complex agrees with the hypercohomology of the analytic de Rham complex (equivalently the cohomology of the constant sheaf $mathbb{C}$ in the analytic topology)? Does this follow immediately from GAGA? If not, how do you prove it?
I think that this does not follow immediately from GAGA because, while the sheaves $Omega_X^i$ are coherent, the de Rham $d$ is not a map of coherent sheaves (it is not multiplicative). Am I correct in my thinking?
No comments:
Post a Comment