ScalingStacks

Remark 4.5.1 . [051S]

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 4.5.1.

It follows that d​Θ1d\Theta_{1} and Υ\Upsilon are cohomologous on a tubular neighborhood of 𝒫\mathcal{P} in 𝕃\mathbb{L}. One can also see this by a direct calculation. For example, by restricting to a slice with z>0z>0 and y=0y=0, it is clear by Lemma 3.33 we know Υ\Upsilon is cohomologous to k+​ωD|Hk_{+}\omega_{D}|_{H}. On the other hand, by definition d​Θ1d\Theta_{1} on this slice is given by (1−k++k−k−−k+)​d​Γ=k+​ωD(1-\frac{k_{+}+k_{-}}{k_{-}-k_{+}})d\Gamma=k_{+}\omega_{D} (using Lemma 3.25)

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