Negative curves of a big real divisor lie in finitely many divisors

ID: negative-curves-of-a-big-real-divisor-lie-in-finitely-many-divisors

Write a big real Cartier divisor on an integral projective variety as , with ample and effective real Cartier. Every curve outside has . Therefore curves negative against lie in finitely many support components of codimension one. On a projective scheme use componentwise bigness on a projective scheme and collect the supports on its finitely many integral components; codimension one is taken in the relevant component.

New to topics? Read the docs here!