ポアンカレ双対
を得る。この同型は、ポアンカレ双対性