ScalingStacks

Proof. [0273]

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 f:X′→Xf:X^{\prime}\to X be the projection. For x′∈X′anx^{\prime}\in{X^{\prime}}^{\mathrm{an}}, we set x=fan​(x′)x=f^{\mathrm{an}}(x^{\prime}). Then κ^​(x)⊆κ^​(x′)\hat{\kappa}(x)\subseteq\hat{\kappa}(x^{\prime}) and (L⊗kκ^​(x))⊗κ^​(x)κ^​(x′)=L′⊗k′κ^​(x′)(L\otimes_{k}\hat{\kappa}(x))\otimes_{\hat{\kappa}(x)}\hat{\kappa}(x^{\prime})=L^{\prime}\otimes_{k^{\prime}}\hat{\kappa}(x^{\prime}), that is, L⁡(x)⊗κ^​(x)κ^​(x′)=L′​(x′)L(x)\otimes_{\hat{\kappa}(x)}\hat{\kappa}(x^{\prime})=L^{\prime}(x^{\prime}). Moreover, V′⊗k′κ^​(x′)=(V⊗kκ^​(x))⊗κ^​(x)κ^​(x′)V^{\prime}\otimes_{k^{\prime}}\hat{\kappa}(x^{\prime})=(V\otimes_{k}\hat{\kappa}(x))\otimes_{\hat{\kappa}(x)}\hat{\kappa}(x^{\prime}), and by Lemma 1.10, ‖.‖κ^​(x′)′=‖.‖κ^​(x′)=‖.‖κ^​(x),κ^​(x′)\|\raisebox{1.72218pt}{.}\|^{\prime}_{\hat{\kappa}(x^{\prime})}=\|\raisebox{1.72218pt}{.}\|_{\hat{\kappa}(x^{\prime})}=\|\raisebox{1.72218pt}{.}\|_{\hat{\kappa}(x),\hat{\kappa}(x^{\prime})}. Thus the assertion follows from Lemma 1.11. ∎

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