ScalingStacks

Proof. [04J5]

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.

The proof is the same as in [1] Proposition 3.10. Let s=b1+−1​b2s=b_{1}+\sqrt{-1}b_{2} and r3=b3r_{3}=b_{3}. Roughly speaking, one considers the maps given by σ1​(s,r)=(s¯/ϵ,r,θ0)\sigma_{1}(s,r)=\left(\bar{s}/\penalty\epsilon,r,\theta_{0}\right) and σ2​(s,r)=(ϵ,s/ϵ,r,θ0)\sigma_{2}(s,r)=(\epsilon,s/\penalty\epsilon,r,\theta_{0}) for small ϵ>0\epsilon>0 and θ0∈S1\theta_{0}\in S^{1} fixed; these define sections of f|U=Ff|_{U}=F disjoint from Crit⁡(F)\Crit(F), where FF is as in (14). The Hamiltonian vector fields ηi\eta_{i} of FiF_{i} extend to X∖UX\setminus U. One can define a basis γ\gamma of H1​(Fb¯,ℤ)H_{1}(F_{\bar{b}},\mathbb{Z}) in terms of suitable composition of the integral curves of ηi\eta_{i}. The period λ1\lambda_{1} is obtained by integrating along the path γ1\gamma_{1} starting at σ1​(s,r)\sigma_{1}(s,r), passing through σ2​(s,r)\sigma_{2}(s,r) and going back to σ1​(s,r)\sigma_{1}(s,r). The contribution of γ1∩U\gamma_{1}\cap U to the period λ1\lambda_{1} is λ0\lambda_{0}, whereas the contribution of γ1∩X∖U\gamma_{1}\cap X\setminus U is d​HdH. The remaining periods can be computed integrating along classes in H1​(Fb¯,ℤ)H_{1}(F_{\bar{b}},\mathbb{Z}) represented by integral curves of η2\eta_{2} and η3\eta_{3}, respectively. ∎

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