Poincaré duality
X を（フビニ-スタディ計量に対応する）標準シンプレクティック形式と複素形式を持つ複素射影平面とし、formula_21 を直線 L のポアンカレ双対とすると、