Poincare dual (source code)

= Poincare dual
{c}
{title2=$\operatorname{PD}[Y]$}

For an oriented codimension-$r$ closed submanifold $Y\subset M$, its Poincare dual is the class in $H^r(M)$ whose cup-product evaluation against any complementary class equals intersection with $Y$.