Normal sheaf of a projective complete intersection
ID: normal-sheaf-of-a-projective-complete-intersection
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.
New to topics? Read the docs here!