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!