Proposition 3.20 . [00L2]

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

The map $p(\mathbf{0})^{\mathrm{an}}$ induces a continuous map of topological spacecs

\overline{\mathbb{D}}^{\vee}(L,\mathcal{P}(\vvvert\mathord{\cdot}\vvvert),0)\rightarrow(\spec V_{{\scriptscriptstyle\bullet}}(L))^{\mathrm{an}}

which induces a homeomorphism between

\overline{\mathbb{D}}^{\vee}(L,\mathcal{P}(\vvvert\mathord{\cdot}\vvvert),0)\setminus\mathbb{O}^{\mathrm{an}}\rightarrow(\mathfrak{M}(\widehat{V}_{{\scriptscriptstyle\bullet}}(L,\vvvert\mathord{\cdot}\vvvert)))\setminus\mathbf{0}^{\mathrm{an}}.