ScalingStacks

Remark 6.27 . [04L2]

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

Suppose we are given two normal forms of cylindrical type ℱu,H\mathcal{F}_{u,H} and ℱu′,H′\mathcal{F}_{u^{\prime},H^{\prime}}. From the results in [1] (cf. also Theorem 4.13), a necessary condition for fHf_{H} and fH′f_{H^{\prime}} to be symplectically conjugate is that HΔ=HΔ′H_{\Delta}=H^{\prime}_{\Delta}, so suppose this holds. This gives a symplectomorphism, which we denote by ΦH,H′\Phi_{H,H^{\prime}}, between the total spaces XX and X′X^{\prime} of the two fibrations which conjugates (X,fH,B)(X,f_{H},B) and (X′,fH′,B′)(X^{\prime},f_{H^{\prime}},B^{\prime}). By pulling back (V′,u′)(V^{\prime},u^{\prime}) via this symplectomorphism and computing the Taylor series, we obtain a sequence of fibrewise closed sections of 𝔏∗\mathfrak{L}^{\ast} which we call ΦH,H′⋅ℓ′\Phi_{H,H^{\prime}}\cdot\ell^{\prime}. Using the same arguments as in the proof of Theorem 6.12 (cf.[2], Theorem 6.11), we can then show that ℱu,H\mathcal{F}_{u,H} and ℱu′,H′\mathcal{F}_{u^{\prime},H^{\prime}} are symplectically conjugate if and only if ΦH,H′⋅ℓ′=ℓ\Phi_{H,H^{\prime}}\cdot\ell^{\prime}=\ell. In particular, when H=H′H=H^{\prime}, they are symplectically conjugate if and only if ℓ=ℓ′\ell=\ell^{\prime}.

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