ScalingStacks

Proposition 2.86 . [00JR]

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.86.

Let ϕ:AZ→AW\phi:A_{Z}\to A_{W} be a homomorphism of kk-algebras of finite type where Z=Spec⁡(AZ)Z=\spec(A_{Z}) and W=Spec⁡(AW)W=\spec(A_{W}). Then there is an induced continuous map ϕ⋆:Wa​n→Za​n\phi^{\star}:W^{an}\to Z^{an}, which sends a multiplicative seminorm |⋅|w|\cdot|_{w} to |ϕ⁡(⋅)|w|\phi(\cdot)|_{w}.

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