Hyperplane exact sequence for twisting sheaves

ID: hyperplane-exact-sequence-for-twisting-sheaves

For a hyperplane with inclusion , multiplication by its defining linear homogeneous polynomial gives the short exact sequence of sheaves
The long exact sequence in sheaf cohomology relates twists in consecutive degrees and consecutive dimensions. Surjectivity of restriction on global homogeneous polynomials, together with eventual positive-twist vanishing, proves vanishing of intermediate cohomology by descending induction. The top-degree dimensions satisfy for , where .

New to topics? Read the docs here!