ScalingStacks

Proposition 5.22 . [02TI]

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

The function ψι∗​L¯,ι∗​s′:N​(σ)ℝ→ℝ\psi_{\iota^{\ast}{\overline{L}},\iota^{\ast}s^{\prime}}\colon N(\sigma)_{\mathbb{R}}\to\mathbb{R} agrees with the restriction of ψ¯L¯,s′{\overline{\psi}}_{{\overline{L}},s^{\prime}} to N​(σ)ℝ⊂NσN(\sigma)_{\mathbb{R}}\subset N_{\sigma}.

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