Proof. [019M]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
Pick a model such that each is determined by a nef class . The restriction of to each component of is then also nef, and it follows that the intersection number is non-negative, hence the first assertion. Since the constant function corresponds to the vertical divisor we have by definition
By [Ful98, Example 20.3.3] this is the same as the intersection number against the generic fiber of , and this is equal to by definition. ∎