ScalingStacks

Proof . [03SE]

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

Proof . Part 1) follows from the fact that ρδ\rho_{\delta} is a closed current. Part 2) follows from the fact that RδR_{\delta} changes the supports of Zi,i=1,2Z_{i},i=1,2 by O⁡(δ)O(\delta). To prove part 3) one observes that the operators i​did and (Rδ)|Ω∗(Y)(R_{\delta})_{|\Omega^{\ast}(Y)} preserve the space of smooth forms Ω∗​(Y)\Omega^{\ast}(Y), and ρδ\rho_{\delta} is cohomologous to [d​i​a​g][diag]. ■\blacksquare

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