Conormal bundle (source code)

= Conormal bundle
{title2=$N^*Y$}
{wiki}

For a submanifold $Y\subseteq X$, its conormal bundle consists of covectors annihilating $TY$. A cotangent lift sends $N^*Y$ to $N^*f(Y)$.