If a projective complete intersection is cut out by a homogeneous regular sequence of degrees , then and . The classes of the defining equations form the conormal basis: the first syzygies of a regular sequence are the Koszul complex relations, whose coefficients vanish modulo the defining ideal. Thus the generator classes have no residual linear relations. Dualizing gives the stated normal sheaf.
Articles by others on the same topic
There are currently no matching articles.