ホッジ構造
証明の概要は、非完備性と特異性を処理する2つのパートから構成される。どちらのパートも（広中による）特異点解消を本質的に使用する。特異点を持つ場合、代数多様体は単体的スキーム（simplicial scheme）に置き換えられ、さらに複雑なホモロジー代数へ至り、（コホモロジーではなく）複体のホッジ構造のより技術的な考え方が使われる。