ScalingStacks

Lemma 3 [03SD]

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

Lemma 3

1) The operator RδR_{\delta} is a homomorphism of complexes.

2) If Z1,Z2∈YZ_{1},Z_{2}\in Y are two oriented submanifolds of finite volume such that they intersect transversally at finitely many points, and d​i​m​Z1+d​i​m​Z2=d​i​m​Ydim\,Z_{1}+dim\,Z_{2}=dim\,Y, Z¯1∩Z¯2=Z1∩Z2\overline{Z}_{1}\cap\overline{Z}_{2}={Z}_{1}\cap{Z}_{2}, then for sufficiently small δ\delta one has:

∫YRδ​([Z1])∧Rδ​([Z2])=d​e​g​(Z1∩Z2)∈𝐙\int_{Y}R_{\delta}([Z_{1}])\wedge R_{\delta}([Z_{2}])=deg(Z_{1}\cap Z_{2})\in{\bf Z}

3) There exists a linear operator hδ:Ω∗​(Y)→Ω∗​(Y)h_{\delta}:\Omega^{\ast}(Y)\to\Omega^{\ast}(Y) such that its kernel has support in NδN_{\delta}, the wave front W​F​(hδ)WF(h_{\delta}) is the conormal bundle of d​i​a​g⊂Y×Ydiag\subset Y\times Y, and

dhδ+hδd=id−(Rδ)|Ω∗(Y).dh_{\delta}+h_{\delta}d=id-(R_{\delta})_{|\Omega^{\ast}(Y)}.

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