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!