mが次元formula_19のコンパクトな複素曲面でれば、ポアンカレ双対