 The proof roughly consists of two parts, taking care of noncompactness and singularities.Both parts use the resolution of singularities (due to Hironaka) in an essential way.In the singular case, varieties are replaced by simplicial schemes, leading to more complicated homological algebra, and a technical notion of a Hodge structure on complexes (as opposed to cohomology) is used.