Normal bundle of a regular zero locus
ID: normal-bundle-of-a-regular-zero-locus
The derivative of a section defining a regular zero locus patches intrinsically along that locus because changes of trivialization introduce derivative terms multiplied by the vanishing section. Its tangent kernel and surjectivity give . Combining this with adjunction for a smooth submanifold gives .
New to topics? Read the docs here!