Polynomial bound for sections of a fixed divisor
ID: polynomial-bound-for-sections-of-a-fixed-divisor
For a coherent sheaf of support dimension on a projective scheme and a fixed Cartier divisor , . Choose a sufficiently high ample divisor whose section avoids the associated points of and for which is ample. Multiplication by the th power of that section injects into . The ample Hilbert polynomial, together with Serre vanishing, bounds the latter section space by .
New to topics? Read the docs here!