ScalingStacks

Proof. [04KY]

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.

We take as coordinates (b1,b2,b3)(b_{1},b_{2},b_{3}) on BB the ones given by the normalization of the singularity in Theorem 4.6. Then the proof goes essentially as in Proposition 4.8. As in the smooth case, one can define γ\gamma as being represented by an 33-tuple of sections b↦(γ1​(b),γ2​(b),γ3​(b))b\mapsto(\gamma_{1}(b),\gamma_{2}(b),\gamma_{3}(b)), each one given by certain composition of Hamiltonian flows. In this case, however, b↦γ2​(b)b\mapsto\gamma_{2}(b) does not vary smoothly but piecewise smoothly, failing to be smooth along Γ\Gamma. The contribution of the path γ2∩𝔘\gamma_{2}\cap\mathfrak{U} to the periods λ2±\lambda_{2}^{\pm} is λ0\lambda_{0}. On the other hand, the contribution of γ2∩X−𝔘\gamma_{2}\cap X-\mathfrak{U} is d​H±dH^{\pm}. In contrast, the other two periods can be computed along paths entirely contained in 𝔘\mathfrak{U} which implies that they are smoothly defined on BB. ∎

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