ScalingStacks

Proposition 3.26 . [00LE]

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

Let ϕ\phi be a asymptotic Fubini-Study metric on LL. Consider two algebra norms ⦀⋅⦀ϕ|Y\vvvert\mathord{\cdot}\vvvert_{\phi|_{Y}} and ⦀⋅⦀ϕ,X|Y\vvvert\mathord{\cdot}\vvvert_{\phi,X|Y} on V∙​(LX|Y)V_{{\scriptscriptstyle\bullet}}(L_{X|Y}). Then the three metrics are equal

𝒫(⦀⋅⦀ϕ,X|Y)=𝒫(⦀⋅⦀ϕ|Y)=ϕ|Y.\mathcal{P}(\vvvert\mathord{\cdot}\vvvert_{\phi,X|Y})=\mathcal{P}(\vvvert\mathord{\cdot}\vvvert_{\phi|_{Y}})=\phi|_{Y}.

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