Lemma 3.19 . [00L0]

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

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

p(\boldsymbol{0})^{\mathrm{an}}:Tot(L^{\vee})^{\mathrm{an}}\rightarrow(\spec V_{{\scriptscriptstyle\bullet}}(L))^{\mathrm{an}}.

Moreover, it induces a homeomorphism

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