ScalingStacks

Proposition 5.9 . [00MA]

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

Assume that ϕ\phi is a Fubini-Study metric. Then there exist C⁡(ϕ,Y)>0C(\phi,Y)>0 such that for any t¯∈V∙​(LX|Y)\underline{t}\in V_{{\scriptscriptstyle\bullet}}(L_{X|Y}), there exists s¯∈V∙​(L)\underline{s}\in V_{{\scriptscriptstyle\bullet}}(L) with

⦀s¯⦀ϕ≤C(ϕ,Y,X)⋅⦀t¯⦀ϕ|Y.\vvvert\underline{s}\vvvert_{\phi}\leq C(\phi,Y,X)\cdot\vvvert\underline{t}\vvvert_{\phi|_{Y}}.

In particular, for any n∈ℕn\in\mathbb{N} and tn∈V∙​(LX|Y)t_{n}\in V_{{\scriptscriptstyle\bullet}}(L_{X|Y}), there exists sn∈V∙​(L)s_{n}\in V_{{\scriptscriptstyle\bullet}}(L) with

∥sn∥n​ϕ≤C⁡(ϕ,Y,X)⋅∥tn∥n​ϕ|Y.\lVert s_{n}\rVert_{n\phi}\leq C(\phi,Y,X)\cdot\lVert t_{n}\rVert_{n\phi|_{Y}}.

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