Poincaré duality
従って、交叉形式も第2ホモロジー群上のペアと考えることができる。ポアンカレ双対性は、交叉形式が（捩れの違いを除いて）であることも意味する。