ScalingStacks

Proof. [019K]

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.

Choose a common determination of the forms θi\theta_{i}, and define ∫Xf⁡(θ1∧⋯∧θn)\int_{X}f\,(\theta_{1}\wedge\dots\wedge\theta_{n}) using (2.2). The fact that ∫Xf⁡(θ1∧⋯∧θn)\int_{X}f\,(\theta_{1}\wedge\dots\wedge\theta_{n}) does not depend on the choice of a determination 𝒳\mathcal{X} is a consequence of the projection formula

π∗​D⋅θ1,𝒳⋅…⋅θn,𝒳=D⋅π∗​θ1,𝒳⋅…⋅π∗​θn,𝒳\pi_{*}D\cdot\theta_{1,\mathcal{X}}\cdot\ldots\cdot\theta_{n,\mathcal{X}}=D\cdot\pi^{*}\theta_{1,\mathcal{X}}\cdot\ldots\cdot\pi^{*}\theta_{n,\mathcal{X}}

if π:𝒳′→𝒳\pi:\mathcal{X}^{\prime}\to\mathcal{X}, and DD is any vertical divisor in 𝒳′\mathcal{X}^{\prime}.

Then by construction θ1∧⋯∧θn\theta_{1}\wedge\dots\wedge\theta_{n} can be identified with the atomic measure ∑iwi​δxi\sum_{i}w_{i}\delta_{x_{i}} with wi=(θ1,𝒳|Ei⋅…⋅θn,𝒳|Ei)w_{i}=(\theta_{1,\mathcal{X}}|_{E_{i}}\cdot\ldots\cdot\theta_{n,\mathcal{X}}|_{E_{i}}). This measure is supported on the divisorial points associated to the irreducible components of 𝒳0\mathcal{X}_{0}. The last statement is clear. ∎

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