Unit-ideal certificate from a principal affine cover

ID: unit-ideal-certificate-from-a-principal-affine-cover

If finitely many cover , the morphism with coefficients is onto. If its kernel has vanishing first sheaf cohomology, the long exact sequence in sheaf cohomology lifts the global section to coefficients . This turns a geometric cover into a unit ideal in the ring of global sections.

New to topics? Read the docs here!