ScalingStacks

Proof. [00L9]

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 3.20, the left hand side 𝔐​(V^∙​(L,ϕ))\mathfrak{M}(\widehat{V}_{{\scriptscriptstyle\bullet}}(L,\phi)) is identified with p​(𝟎)an​(𝔻¯∨​(L,ϕ))p(\boldsymbol{0})^{\mathrm{an}}(\overline{\mathbb{D}}^{\vee}(L,\phi)), which is contained in the open subset p​(𝟎)an​(𝔻∨​(L,ϕ⁡(ϵ)))p(\boldsymbol{0})^{\mathrm{an}}(\mathbb{D}^{\vee}(L,\phi(\epsilon))). This open subset is contained in p​(𝟎)an​(𝔻¯∨​(L,ϕ⁡(ϵ)))p(\boldsymbol{0})^{\mathrm{an}}(\overline{\mathbb{D}}^{\vee}(L,\phi(\epsilon))) which is identified with 𝔐⁡(V^∙​(L,ϕ⁡(ϵ)))\mathfrak{M}(\widehat{V}_{{\scriptscriptstyle\bullet}}(L,\phi(\epsilon))), hence this open subset is contained in the topological interior of the later, the right hand side. ∎

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