ScalingStacks

Remark 17 [03SG]

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

Remark 17

One can define the projector Πδ\Pi_{\delta} using another canonical element ∑x∈C​r​(f)[Sx]⊗Rδ​([Ux])\sum_{x\in Cr(f)}[S_{x}]\otimes R_{\delta}([U_{x}]), instead of ∑x∈C​r​(f)Rδ​([Sx])⊗Rδ​([Ux])\sum_{x\in Cr(f)}R_{\delta}([S_{x}])\otimes R_{\delta}([U_{x}]), as we did. The above Proposition holds for the new canonical element as well.

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