ケーラー多様体
Xb はケーラー多様体であるから、ホッジフィルトレーションは、ホッジ-リーマンの双線型関係式 (Hodge–Riemann bilinear relations)を満たす。このことは