Affine principal neighbourhoods from ideal-sheaf vanishing

ID: affine-principal-neighbourhoods-from-ideal-sheaf-vanishing

Let have an affine open neighbourhood , and let . Evaluation gives with kernel . If first sheaf cohomology of every coherent ideal sheaf vanishes, a global section of can be chosen with . Then is a principal open subset of an affine variety and is affine.

New to topics? Read the docs here!