ScalingStacks

Proposition 7.2 . [04L9]

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

Proposition 7.2.

Let ℱ\mathcal{F} be a Lagrangian negative fibration. With the notation as in Definition 7.1, let U0=U−(D′∪Δτ)U_{0}=U-(D^{\prime}\cup\Delta_{\tau}) and X⁡(U0,𝒜τ)X(U_{0},\mathscr{A}_{\tau}) be the associated Lagrangian torus bundle. Then, if ℱ\mathcal{F} has a smooth Lagrangian section, ℱ0\mathcal{F}_{0} is symplectically conjugate to X⁡(U0,𝒜τ)X(U_{0},\mathscr{A}_{\tau}).

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