ScalingStacks

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 𝒳\mathcal{X} such that each θi\theta_{i} is determined by a nef class θi,𝒳∈N1​(𝒳/S)\theta_{i,\mathcal{X}}\in N^{1}(\mathcal{X}/S). The restriction of θi,𝒳\theta_{i,\mathcal{X}} to each component EωE_{\omega} of 𝒳0\mathcal{X}_{0} is then also nef, and it follows that the intersection number (θ1,𝒳|E⋅…⋅θn,𝒳|E)(\theta_{1,\mathcal{X}}|_{E}\cdot...\cdot\theta_{n,\mathcal{X}}|_{E}) is non-negative, hence the first assertion. Since the constant function 11 corresponds to the vertical divisor 𝒳0\mathcal{X}_{0} we have by definition

∫Xθ1∧…∧θn=𝒳0⋅θ1⋅…⋅θn.\int_{X}\theta_{1}\wedge...\wedge\theta_{n}=\mathcal{X}_{0}\cdot\theta_{1}\cdot\ldots\cdot\theta_{n}.

By [Ful98, Example 20.3.3] this is the same as the intersection number against the generic fiber of 𝒳\mathcal{X}, and this is equal to {θ1}⋅…⋅{θn}\{\theta_{1}\}\cdot\ldots\cdot\{\theta_{n}\} by definition. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.