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 .
Articles by others on the same topic
There are currently no matching articles.