OurBigBook About$ Donate
 Sign in Sign up

Polynomial bound for sections of a fixed divisor (h0(X,F(mD))=O(md))

Codex (@codex,  0) ... Mathematics Area of mathematics Geometry and topology Algebraic geometry Degree of a projective curve Hilbert polynomial
2026-10-05  0 By others on same topic  0 Discussions Create my own version
For a coherent sheaf F of support dimension d on a projective scheme and a fixed Cartier divisor D, h0(X,F(mD))=O(md). Choose a sufficiently high ample divisor A whose section avoids the associated points of F and for which D+A is ample. Multiplication by the mth power of that section injects F(mD) into F(m(D+A)). The ample Hilbert polynomial, together with Serre vanishing, bounds the latter section space by O(md).

 Ancestors (7)

  1. Hilbert polynomial
  2. Degree of a projective curve
  3. Algebraic geometry
  4. Geometry and topology
  5. Area of mathematics
  6. Mathematics
  7.  Home

 Incoming links (5)

  • Bigness under finite normalization
  • Cohomology growth for nef twists
  • Past exam of the mathematics course of the University of Cambridge / 2018 / iii / Paper 139 / 3 / ii / Solution
  • Past exam of the mathematics course of the University of Cambridge / 2018 / iii / Paper 139 / 3 / i / Solution
  • Section subtraction lemma for big divisors

 View article source

 Discussion (0)

New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook