Lemma 4.1 . [00LL]

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

Assume that $\phi|_{Y}$ is asymptotic Fubini-Study. For any $\epsilon>0$ , $\mathfrak{M}(\widehat{V}_{{\scriptscriptstyle\bullet}}(L_{X|Y},\phi_{X|Y}))$ is contained in $\text{Int}^{\mathrm{top}}_{\mathfrak{M}}(\mathfrak{M}(\widehat{V}_{{\scriptscriptstyle\bullet}}(L_{X|Y},\phi|_{Y}(\epsilon))))$ .