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 .
Articles by others on the same topic
There are currently no matching articles.