Contents

Definition

Of submanifolds

In differential geometry a conormal bundle of an embedded submanifold is the (fiberwise linear) dual of the normal bundle.

Of locally ringed subspaces

The phrase conormal bundle is also used for more general conormal sheaf in the study of locally ringed spaces, especially of analytic spaces and algebraic schemes.

Of abelian subcategories

Even more generally, Alexander Rosenberg defines a conormal bundle of a topologizing subcategory $S$ of an abelian category $A$ as follows. He first generalizes the notion of the defining sheaf of ideals to topologizing subcategories as the endofunctor $ℐ={ℐ}_S\in \mathrm{End}(A)$ which is the subfunctor of identity ${\mathrm{Id}}_A$ assigning to any $M\in A$ the intersection of kernels $\mathrm{Ker}(f)$ of all morphisms $f:M\to N$ where $N\in \mathrm{Ob}(S)$. Then the conormal bundle is simply ${\Omega }_S=ℐ/{ℐ}^2$, as in the sheaf case.