Choose a very ample divisor such that has a nonzero global section; this is possible by taking a sufficiently high ample twist. Since is integral, multiplication by its th power injects into . By Serre vanishing and the Hilbert polynomial, . ConsequentlyThis is the polynomial bound for sections of a fixed divisor. The same proof works for a coherent sheaf of support dimension , by choosing the multiplying section to avoid its associated points; the bound is then .
Articles by others on the same topic
There are currently no matching articles.