Friday, 8 April 2016

ag.algebraic geometry - Algebraic de Rham cohomology vs. analytic de Rham cohomology

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