ScalingStacks

Theorem 6.7 . [017Q]

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

Theorem 6.7.

Let ψ#\psi^{\#} be a residually metrized model metric on KXK_{X}, and let ψ′#\psi^{\prime\#} be its pull-back to X′X^{\prime}. Then

p∗​μψ′#=md​μψ#p_{*}\mu_{\psi^{\prime\#}}=m^{d}\mu_{\psi^{\#}}

with d=dimSk⁡(ψ#)d=\dim\operatorname{Sk}(\psi^{\#}).

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