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?
Best Answer
I don't think you can get this directly from GAGA. The reference that I know for this result is Grothendieck, On the de Rham cohomology of algebraic varieties. It is short, beautiful, and in English.