ScalingStacks

Proof. [05DM]

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.

By the smooth convergence of ω~k\tilde{\omega}_{k} and Lemma 3.2,

limk⟶∞∫Fr,k​(A)ω~k=∫Aω0=0,\lim_{k\longrightarrow\infty}\int_{F_{r,k}(A)}\tilde{\omega}_{k}=\int_{A}\omega_{0}=0,

for any cycle A∈H2​(S,ℤ)A\in H_{2}(S,\mathbb{Z}). For k≫1k\gg 1, we have

|∫Fr,k​(A)ωk|=igk2​(pk)​|∫Fr,k​(A)ω~k|<12​k2<1.|\int_{F_{r,k}(A)}\omega_{k}|=i^{2}_{g_{k}}(p_{k})|\int_{F_{r,k}(A)}\tilde{\omega}_{k}|<\frac{1}{2k^{2}}<1.

Since [Fr,k​(A)]∈H2​(Mk,ℤ)[F_{r,k}(A)]\in H_{2}(M_{k},\mathbb{Z}) and [ωk]∈H2​(Mk,ℤ)[\omega_{k}]\in H^{2}(M_{k},\mathbb{Z}), we obtain ∫Fr,k​(A)ωk∈ℤ\int_{F_{r,k}(A)}\omega_{k}\in\mathbb{Z}. This implies that |∫Fr,k​(A)ωk|=0|\int_{F_{r,k}(A)}\omega_{k}|=0, and we obtain the conclusion

∫AFr,k∗​ω~k=0.\int_{A}F_{r,k}^{*}\tilde{\omega}_{k}=0.

∎

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