ScalingStacks

Lemma 6.4 . [01GD]

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

Lemma 6.4.

We have

ρ∗​(φ⁡(v)​𝒳0+∑j∈LDv​φ​(ej)​bj​Ej)|EJ′=(μ∗​G)|EJ′\left.\rho^{*}\left(\varphi(v)\,\mathcal{X}_{0}+\sum_{j\in L}D_{v}\varphi(e_{j})\,b_{j}E_{j}\right)\right|_{E^{\prime}_{J}}=(\mu_{*}G)|_{E^{\prime}_{J}}

in Pic⁡(EJ′)𝐐\Pic(E^{\prime}_{J})_{\mathbf{Q}}.

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