ScalingStacks

Proof. [05DV]

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.

Since

𝔉k(y,0)=(Π∗dαk|L⁡(y,0),∗hΠ∗dImβk|L⁡(y,0)),\mathfrak{F}_{k}(y,0)=(\Pi^{*}d\alpha_{k}|_{L(y,0)},*_{h}\Pi^{*}d{\rm Im}\beta_{k}|_{L(y,0)}),

we obtain the conclusion by straightforward calculations. ∎

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