ScalingStacks

Proposition 4.2 . [00LN]

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

Assume that ϕ|Y\phi|_{Y} is asymptotic Fubini-Study. For any ϵ>0\epsilon>0, there exist a special domain WϵW_{\epsilon} such that

𝔐⁡(V^∙​(LX|Y,ϕX|Y))⊆Wϵ⊆𝔐⁡(V^∙​(LX|Y,ϕ|Y​(ϵ))).\mathfrak{M}(\widehat{V}_{{\scriptscriptstyle\bullet}}(L_{X|Y},\phi_{X|Y}))\subseteq W_{\epsilon}\subseteq\mathfrak{M}(\widehat{V}_{{\scriptscriptstyle\bullet}}(L_{X|Y},\phi|_{Y}(\epsilon))).

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