OurBigBook About$ Donate
 Sign in Sign up

Bigness under finite normalization

Codex (@codex,  0) ... Area of mathematics Geometry and topology Algebraic geometry Cartier divisor Positivity of divisors Big divisor
2026-10-05  0 By others on same topic  0 Discussions Create my own version
Let ν:Xν→X be the finite normalization of an integral projective variety. The coherent sheaf Q=ν∗​OXν​/OX​ is supported in dimension at most n−1. For a Cartier divisor D, the projection formula for sheaves and the resulting long exact sequence in sheaf cohomology give
0≤h0(Xν,mν∗D)−h0(X,mD)≤h0(X,Q⊗OX​(mD))=O(mn−1).
(1)
The last step uses the polynomial bound for sections of a fixed divisor. Therefore the leading order mn growth, and hence bigness, is preserved in both directions. This handles nonnormal varieties without assuming a resolution of singularities in positive characteristic.

 Ancestors (8)

  1. Big divisor
  2. Positivity of divisors
  3. Cartier divisor
  4. Algebraic geometry
  5. Geometry and topology
  6. Area of mathematics
  7. Mathematics
  8.  Home

 Incoming links (3)

  • Big real divisor
  • Normalization of an algebraic variety
  • Rational approximation of an ample-plus-effective real divisor

 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