“…Recall that at is the quotient of the tangent space to at by the tangent space to at , and that the co‐normal bundle is the dual bundle of . For a smooth algebraic variety over and a locally closed smooth subvariety one defines the tangent bundle , the cotangent bundle , the normal bundle and the co‐normal bundle as usual, see, for example, [, Section 2]. For a strict morphism between strict submanifolds of , respectively, and , we write for the linear map from the tangent space to at to the tangent space to at , and …”