Cohomology of a projective plane hypersurface

ID: cohomology-of-a-projective-plane-hypersurface

For a nonzero homogeneous polynomial of degree , multiplication gives . Intermediate cohomology of the twisting sheaves vanishes. The top cohomology of has Laurent basis with and . There are such monomials, with zero basis for . The long exact sequence gives the displayed dimensions. The calculation allows singular, reducible and nonreduced hypersurfaces; it is an arithmetic-genus calculation, not an assertion about a normalization's genus.

New to topics? Read the docs here!