From Sheaf Cohomology to the Algebraic de Rham Theorem

This chapter proves Grothendieck's algebraic de Rham theorem. It first proves Grothendieck's algebraic de Rham theorem more or less from scratch for a smooth complex projective variety X, namely, that there is an isomorphism H*(Xₐₙ,ℂ) ≃ H*X,Ω‎subscript alg superscript bullet) between the complex singular cohomology of Xan and the hypercohomology of the complex Ω‎subscript alg superscript bullet of sheaves of algebraic differential forms on X. The proof necessitates a discussion of sheaf cohomology, coherent sheaves, and hypercohomology. The chapter then develops more machinery, mainly the Čech cohomology of a sheaf and the Čech cohomology of a complex of sheaves, as tools for computing hypercohomology. The chapter thus proves that the general case of Grothendieck's theorem is equivalent to the affine case.