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?



Algebraic de Rham cohomology vs. analytic de Rham cohomology
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](http://www.ams.org/mathscinet-getitem?mr=199194). It is short, beautiful, and in English.


