ScalingStacks

Theorem 8.2 . [04M0]

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

Theorem 8.2.

Given a compact simple integral affine 33-manifold with singularities (B,Δ,𝒜)(B,\Delta,\mathscr{A}), all of whose negative vertices are straight (i.e. locally isomorphic to Example 3.12), there is a localized thickening (Δ⧫,{Dp−}p−∈𝒩)(\Delta_{\blacklozenge},\{D_{p^{-}}\}_{p^{-}\in\mathcal{N}}) of Δ\Delta and a smooth, compact symplectic 66-manifold (X,ω)(X,\omega) together with a piecewise smooth Lagrangian fibration f:X→Bf:X\rightarrow B such that

  • (i)

    ff is smooth except along ⋃p−∈𝒩f−1​(Dp−)\bigcup_{p^{-}\in\mathcal{N}}\,f^{-1}(D_{p^{-}});

  • (ii)

    the discriminant locus of ff is Δ⧫\Delta_{\blacklozenge};

  • (iii)

    there is a commuting diagram

    X⁡(B⧫,𝒜⧫)→ΨXf0↓↓fB⧫→ιB\begin{CD}X(B_{\blacklozenge},\mathscr{A}_{\blacklozenge})@>{\Psi}>{}>X\\ @V{f_{0}}V{}V@V{}V{f}V\\ B_{\blacklozenge}@>{\iota}>{}>B\end{CD}

    where ψ\psi is a symplectomorphism and ι\iota the inclusion;

  • (iv)

    over a neighborhood of a positive vertex of Δ⧫\Delta_{\blacklozenge} the fibration is positive, over a neighborhood of a point on an edge the fibration is generic-singular, over a neighborhood of Dp−D_{p^{-}} the fibration is Lagrangian negative.

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