ScalingStacks

Proof. [02RK]

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.

Let Λi∈Πi\Lambda_{i}\in\Pi_{i} such that A⁡(Λ1)⊂Λ2A(\Lambda_{1})\subset\Lambda_{2}. Then the map M~2→M~1{\widetilde{M}}_{2}\to{\widetilde{M}}_{1} given by (m,l)↦(H∨​m,⟨val⁡(p),m⟩+l)(m,l)\mapsto(H^{\vee}m,\langle{\operatorname{val}}(p),m\rangle+l) for m∈Mm\in M and l∈ℤl\in\mathbb{Z} (which is just the dual of the linearization of AA) induces a morphism of semigroups M~2,Λ2→M~1,Λ1{\widetilde{M}}_{2,\Lambda_{2}}\to{\widetilde{M}}_{1,\Lambda_{1}}. Since χm​(p)​ϖ−⟨val⁡(p),m⟩\chi^{m}(p)\varpi^{-\langle{\operatorname{val}}(p),m\rangle} belongs to K∘K^{\circ}, the assignment

χ(m,l)⟼(χm​(p)​ϖ−⟨val⁡(p),m⟩)​χ(H∨​m,⟨val⁡(p),m⟩+l)\chi^{(m,l)}\longmapsto(\chi^{m}(p)\varpi^{-\langle{\operatorname{val}}(p),m\rangle})\chi^{(H^{\vee}m,\langle{\operatorname{val}}(p),m\rangle+l)}

defines a ring morphism K∘​[M~2,Λ2]→K∘​[M~1,Λ1]K^{\circ}[{\widetilde{M}}_{2,\Lambda_{2}}]\to K^{\circ}[{\widetilde{M}}_{1,\Lambda_{1}}]. This morphism sends χ(0,1)−ϖ\chi^{(0,1)}-\varpi to χ(0,1)−ϖ\chi^{(0,1)}-\varpi, hence induces a morphism K∘​[𝒳Λ2]→K∘​[𝒳Λ1]K^{\circ}[{\mathcal{X}}_{\Lambda_{2}}]\to K^{\circ}[{\mathcal{X}}_{\Lambda_{1}}] and a map 𝒳Λ1→𝒳Λ2{\mathcal{X}}_{\Lambda_{1}}\to{\mathcal{X}}_{\Lambda_{2}}. Varying Λ1\Lambda_{1} and Λ2\Lambda_{2} we obtain maps, that glue together into a map

Φp,A:𝒳Π1⟶𝒳Π2.\Phi_{p,A}\colon{\mathcal{X}}_{\Pi_{1}}\longrightarrow{\mathcal{X}}_{\Pi_{2}}.

By construction, this map extends φp,H\varphi_{p,H} and is equivariant with respect to the morphism ρH\rho_{H}. ∎

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