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!