Definition 20.1.4160343D71D40A

Definition 20.1.41.60343D71D40A Let $\mathbb {D}_1,\ldots ,\mathbb {D}_ n$ be nef b-divisors over $X$. Then we define their intersection as

where $\omega $ is a Kähler form on $X$.

Note that as $\epsilon \to 0+$, $\left( \mathbb {D}_1+\epsilon \mathbb {D}(\omega ),\ldots ,\mathbb {D}_ n+\epsilon \mathbb {D}(\omega ) \right)$ is decreasing, as a consequence of 20.1.40 4. Similarly, by 20.1.40 4 again, the definition is independent of the choice of $\omega $.