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!