ScalingStacks

Proposition 6 [03SF]

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 6

Let us define for a sufficiently small δ\delta a linear operator D′​(Y)→Ω∗​(Y)D^{\prime}(Y)\to\Omega^{\ast}(Y) by the formula Πδ​(α)=∑x∈C​r​(f)(∫Yα∧Rδ​([Sx]))⋅Rδ​([Ux]).\Pi_{\delta}(\alpha)=\sum_{x\in Cr(f)}(\int_{Y}\alpha\wedge R_{\delta}([S_{x}]))\cdot R_{\delta}([U_{x}]).

Then

1) Πδ2​(α)=Πδ​(α)\Pi_{\delta}^{2}(\alpha)=\Pi_{\delta}(\alpha) if α∈Ω∗​(Y)\alpha\in\Omega^{\ast}(Y), and Πδ​d=d​Πδ.\Pi_{\delta}d=d\Pi_{\delta}.

2) The image Πδ​(M∗​(Y,f))\Pi_{\delta}(M^{\ast}(Y,f)) is a subcomplex in Ω∗​(Y)\Omega^{\ast}(Y) which is canonically isomorphic to the Morse complex M∗​(Y,f)M^{\ast}(Y,f).

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