ScalingStacks

Corollary 3.23 . [00L8]

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

Corollary 3.23.

If ๐’ซโก(ฯ•)\mathcal{P}(\phi) is continous, then for any ฯต>0\epsilon>0, one has

๐”โก(V^โˆ™โ€‹(L,ฯ•))โІIntVโˆ™topโ€‹(๐”โก(V^โˆ™โ€‹(L,ฯ•โก(ฯต)))),\mathfrak{M}(\widehat{V}_{{\scriptscriptstyle\bullet}}(L,\phi))\subseteq\text{Int}^{\mathrm{top}}_{V_{{\scriptscriptstyle\bullet}}}(\mathfrak{M}(\widehat{V}_{{\scriptscriptstyle\bullet}}(L,\phi(\epsilon)))),

where IntVโˆ™top\text{Int}^{\mathrm{top}}_{V_{{\scriptscriptstyle\bullet}}} denotes the topological interior as subspace of Specโก(Vโˆ™โ€‹(L))an\spec(V_{{\scriptscriptstyle\bullet}}(L))^{\mathrm{an}}.

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