Ideal-sheaf vanishing for a coherent submodule of a trivial bundle

ID: ideal-sheaf-vanishing-for-a-coherent-submodule-of-a-trivial-bundle

If for every coherent ideal sheaf, projection to the last coordinate makes any coherent an extension of a coherent submodule of by an ideal sheaf. The long exact sequence in sheaf cohomology proves the assertion by mathematical induction on .

New to topics? Read the docs here!