ScalingStacks

Proof. [019P]

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 common determination 𝒳\mathcal{X} of f,gf,g and the θi\theta_{i}’s, and divisors D,D′,DiD,D^{\prime},D_{i} such that f=φDf=\varphi_{D}, g=φD′g=\varphi_{D^{\prime}} and θi\theta_{i} is the class in N1​(𝒳/S)N^{1}(\mathcal{X}/S) induced by DiD_{i}. Then by definition we have

∫f​d​dc​g∧θ1∧⋯∧θn−1=∑EordE⁡(D)​(D′|E⋅D1|E⋅…⋅Dn−1|E)=∑E,E′ordE⁡(D)​ordE′⁡(D′)​(D1|E)|E′∩E⋅…⋅(Dn−1|E)|E′∩E=∑E,E′ordE⁡(D)​ordE′⁡(D′)​(D1|E′)|E∩E′⋅…⋅(Dn−1|E′)|E∩E′=∫g​d​dc​f∧θ1∧⋯∧θn−1\int f\,dd^{c}g\wedge\theta_{1}\wedge\dots\wedge\theta_{n-1}=\sum_{E}\ord_{E}(D)(D^{\prime}|_{E}\cdot D_{1}|_{E}\cdot...\cdot D_{n-1}|_{E})\\ =\sum_{E,E^{\prime}}\ord_{E}(D)\ord_{E^{\prime}}(D^{\prime})\,(D_{1}|_{E})|_{E^{\prime}\cap E}\cdot...\cdot(D_{n-1}|_{E})|_{E^{\prime}\cap E}\\ =\sum_{E,E^{\prime}}\ord_{E}(D)\ord_{E^{\prime}}(D^{\prime})\,(D_{1}|_{E^{\prime}})|_{E\cap E^{\prime}}\cdot...\cdot(D_{n-1}|_{E^{\prime}})|_{E\cap E^{\prime}}\\ =\int g\,dd^{c}f\wedge\theta_{1}\wedge\dots\wedge\theta_{n-1}

where the third equality follows from [Ful98, Theorem 2.4]. ∎

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