ScalingStacks

Proposition 2.18 . [02IY]

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

Proposition 2.18.

Let (𝒳,β„’,e)(\mathcal{X},\mathcal{L},e) and (𝒳′,β„’β€²,eβ€²)(\mathcal{X}^{\prime},{\mathcal{L}}^{\prime},e^{\prime}) be proper models of (X,L)(X,L), and f:𝒳′→𝒳f\colon\mathcal{X}^{\prime}\to\mathcal{X} a morphism of models such that (β„’β€²)βŠ—e≃fβˆ—β€‹β„’βŠ—eβ€²({\mathcal{L}}^{\prime})^{\otimes e}\simeq f^{\ast}{\mathcal{L}}^{\otimes e^{\prime}}. Then the metrics on LanL^{{\text{\rm an}}} induced by both models agree.

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