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!