Dualité de Poincaré
Si $M$ est une varété réelle de dimension $n$, pour tout $p \in \mathbb{N}$, on a l'isomorphisme $$ H_p(M;\mathbb{C} _M) \simeq H_c^{n-p}(M; \mathbb{C} _M {\displaystyle\mathop{\otimes}_\mathbb{Z} } \mbox{or} _M) $$ où $\mbox{or} _M$ est le faisceau d'orientation de $M$.