ScalingStacks

Proof. [014X]

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.

With the above notation it is immediate to check that

ρ∗​e2​(ψ−ϕB)=e2​(ρ∗​ψ−ϕB′).\rho^{*}e^{2(\psi-\phi_{B})}=e^{2(\rho^{*}\psi-\phi_{B^{\prime}})}.

We are thus reduced to a log smooth pair (X′,B′)(X^{\prime},B^{\prime}), i.e. X′X^{\prime} is smooth and B′B^{\prime} has snc support, and the proof is then trivial. ∎

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