ScalingStacks

Proof. [02V7]

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.

Since the special fibre is reduced, by equation (2.29)

c1(L,∥⋅∥)∧δXΣ=1e∑i=0k(degℒEiδξi+∑j∈ΘidegℒFi,jδξi,j).c_{1}(L,\|\cdot\|)\land\delta_{X_{\Sigma}}=\frac{1}{e}\sum_{i=0}^{k}\left(\deg_{\mathcal{L}}E_{i}\delta_{\xi_{i}}+\sum_{j\in\Theta_{i}}\deg_{\mathcal{L}}F_{i,j}\delta_{\xi_{i,j}}\right).

Denote this measure temporarily by μ\mu. Then

(θΣ)∗​(ρΣ)∗​μ\displaystyle(\theta_{\Sigma})_{\ast}(\rho_{\Sigma})_{\ast}\mu =1e​∑i=0k(degℒ⁡Ei+∑j∈Θidegℒ⁡Fi,j)​δξi\displaystyle=\frac{1}{e}\sum_{i=0}^{k}\left(\deg_{\mathcal{L}}E_{i}+\sum_{j\in\Theta_{i}}\deg_{\mathcal{L}}F_{i,j}\right)\delta_{\xi_{i}}
=1e​∑i=0k(D⋅Ei+∑j∈ΘiD⋅Fi,j)​δξi\displaystyle=\frac{1}{e}\sum_{i=0}^{k}\left(D\cdot E_{i}+\sum_{j\in\Theta_{i}}D\cdot F_{i,j}\right)\delta_{\xi_{i}}
=1e​∑i=0k∑l=0k(αl​El+∑s∈Θlαl,s​Fl,s)⋅(Ei+∑j∈ΘiFi,j)​δξi\displaystyle=\frac{1}{e}\sum_{i=0}^{k}\sum_{l=0}^{k}\left(\alpha_{l}E_{l}+\sum_{s\in\Theta_{l}}\alpha_{l,s}F_{l,s}\right)\cdot\left(E_{i}+\sum_{j\in\Theta_{i}}F_{i,j}\right)\delta_{\xi_{i}}
=1e​∑i=0k(αi−1​Ei−1+αi​Ei+αi+1​Ei+1)⋅(Ei+∑j∈ΘiFi,j)​δξi\displaystyle=\frac{1}{e}\sum_{i=0}^{k}\left(\alpha_{i-1}E_{i-1}+\alpha_{i}E_{i}+\alpha_{i+1}E_{i+1}\right)\cdot\left(E_{i}+\sum_{j\in\Theta_{i}}F_{i,j}\right)\delta_{\xi_{i}}
=1e​∑i=0k(αi−1−2​αi+αi+1)​δξi.\displaystyle=\frac{1}{e}\sum_{i=0}^{k}(\alpha_{i-1}-2\alpha_{i}+\alpha_{i+1})\delta_{\xi_{i}}.

In the previous computation, we have used that, since El⋅div⁡(ϖ)=Fl,s⋅div⁡(ϖ)=0E_{l}\cdot\operatorname{div}(\varpi)=F_{l,s}\cdot\operatorname{div}(\varpi)=0, then

Fl,s⋅(Ei+∑j∈ΘiFi,j)\displaystyle F_{l,s}\cdot(E_{i}+\sum_{j\in\Theta_{i}}F_{i,j}) =0, for all i,j,l,s,\displaystyle=0,\text{ for all }i,j,l,s,
El⋅(Ei+∑j∈ΘiFi,j)\displaystyle E_{l}\cdot(E_{i}+\sum_{j\in\Theta_{i}}F_{i,j}) ={0, if ​l≠i−1,i,i+1,1, if ​l=i−1,i+1,−2, if ​l=i.\displaystyle=\begin{cases}0,&\text{ if }l\not=i-1,i,i+1,\\ 1,&\text{ if }l=i-1,i+1,\\ -2,&\text{ if }l=i.\end{cases}

An analogous computation shows that

(5.64) c1(L,∥⋅∥𝕊)∧δXΣ=1e∑i=0k(αi−1−2αi+αi+1)δξi.c_{1}(L,\|\cdot\|_{\mathbb{S}})\land\delta_{X_{\Sigma}}=\frac{1}{e}\sum_{i=0}^{k}(\alpha_{i-1}-2\alpha_{i}+\alpha_{i+1})\delta_{\xi_{i}}.

∎

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