ScalingStacks

Proof. [04NQ]

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.

The statement on the multiplicities follows from the definition of WiσW^{\sigma}_{i}, as

Wσi=−∑l∈Ldet(ul,(ul′)l′∈Lσ∖{i})det(ui,(ul′)l′∈Lσ∖{i})Dl.W^{\sigma}_{i}=-\sum_{l\in L}\frac{\det(u_{l},(u_{l^{\prime}})_{l^{\prime}\in L_{\sigma}\setminus\{i\}})}{\det(u_{i},(u_{l^{\prime}})_{l^{\prime}\in L_{\sigma}\setminus\{i\}})}D_{l}.

Moreover, WiσW^{\sigma}_{i} is a linear combination of the divisors of the rr-tuple Δ\Delta, hence its restriction to ZZ is principal by Corollary 1.2.2. ∎

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