ポアンカレ双対
If we assume also that "M" is compact, Poincaré duality identifies this with