ScalingStacks

Proof. [00L1]

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.

By Proposition 2.94, the morphism p⁡(𝟎)p(\boldsymbol{0}) of schemes of finite type over Spec⁡k\spec k induces a continuous map betweeen the topological space of their analytification:

p​(𝟎)an:T​o​t​(L∨)an→(Spec⁡V∙​(L))an.p(\boldsymbol{0})^{\mathrm{an}}:Tot(L^{\vee})^{\mathrm{an}}\rightarrow(\spec V_{{\scriptscriptstyle\bullet}}(L))^{\mathrm{an}}.

Since

p⁡(𝟎):T​o​t​(L∨)∖𝕆→Spec⁡(V∙​(L))∖𝟎p(\boldsymbol{0}):Tot(L^{\vee})\setminus\mathbb{O}\rightarrow\spec(V_{{\scriptscriptstyle\bullet}}(L))\setminus\boldsymbol{0}

is an isomorphism of schemes of finite type, its analytification induces a homeomorphism by Proposition 2.94

p​(𝟎)an:T​o​t​(L∨)an∖𝕆an→(Spec⁡V∙​(L))an∖𝟎an.p(\boldsymbol{0})^{\mathrm{an}}:Tot(L^{\vee})^{\mathrm{an}}\setminus\mathbb{O}^{\mathrm{an}}\rightarrow(\spec V_{{\scriptscriptstyle\bullet}}(L))^{\mathrm{an}}\setminus\boldsymbol{0}^{\mathrm{an}}.

∎

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