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 of an abelian category as follows.
He first modifies the notion of the defining sheaf of ideals of a closed subscheme to the notion of defining ideal of a topologizing subcategory as the endofunctor which is the subfunctor of identity assigning to any the intersection of kernels of all morphisms where . One can show that if is an inclusion of topologizing subcategories, then . In particular, for Gabriel multiplication of topologizing subcategories we have .
Then the conormal bundle is simply , similarly to the sheaf case.
Revised on May 12, 2011 17:00:07
by Urs Schreiber