ScalingStacks

Proposition 2.94 . [00K1]

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

Let ϕ:X→Y\phi:X\rightarrow Y be a morphism of schemes of locally finite type over Spec⁡k\spec k. Then it induces a continuous map ϕan:Xan→Yan\phi^{\mathrm{an}}:X^{\mathrm{an}}\rightarrow Y^{\mathrm{an}}. And ϕ\phi is (1) separated, (2) injective, (3) surjective, (4) an open immersion and (5) an isomorphism if and only if ϕan\phi^{\mathrm{an}} has the same property. ([Ber, Proposition 3.4.6])

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