Poincaré duality
の同型をもたらす。これは のポアンカレ双対性と標準的に同一視される。