ScalingStacks

Lemma 3.4 . [00K8]

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

Lemma 3.4.

The homomorphism of inclusion of kk-algebras V⁡(L)→V^∙​(L,ϕ)V(L)\rightarrow\widehat{V}_{{\scriptscriptstyle\bullet}}(L,\phi) induces a continuous map between topological spaces 𝔐⁡(V^∙​(L,ϕ))→(Spec⁡V⁡(L))an\mathfrak{M}(\widehat{V}_{{\scriptscriptstyle\bullet}}(L,\phi))\rightarrow(\spec V(L))^{\mathrm{an}} which is closed. Moreover, the map is injective.

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