ScalingStacks

Proposition 4.18 . [04JL]

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

Let (B,Δ,𝒜)(B,\Delta,\mathscr{A}) be a simple affine 3-manifold with singularities and let p,p′∈Δp,p^{\prime}\in\Delta be points connected by an edge JJ. Suppose there are disjoint neighborhoods VV and V′V^{\prime} of pp and p′p^{\prime} respectively and a neighborhood WW of JJ, with W∩Δ=JW\cap\Delta=J, such that the following conditions hold

  • (i)

    if B~=B0∪(V∪V′)\tilde{B}=B_{0}\cup(V\cup V^{\prime}), there exists a Lagrangian fibration ℱ=(X,ω,f,B~)\mathcal{F}=(X,\omega,f,\tilde{B}) and a commuting diagram

    X⁡(B0,𝒜)→ΨXf0↓↓fB0→ιB~\begin{CD}X(B_{0},\mathscr{A})@>{\Psi}>{}>X\\ @V{f_{0}}V{}V@V{}V{f}V\\ B_{0}@>{\iota}>{}>\tilde{B}\end{CD}

    where Ψ\Psi is a symplectomorphism and ι\iota the inclusion.

  • (ii)

    ℱ|W∩V\mathcal{F}|_{W\cap V} and ℱ|W∩V′\mathcal{F}|_{W\cap V^{\prime}} are generic-singular fibrations.

Then, if we let B~′=B~∪W\tilde{B}^{\prime}=\tilde{B}\cup W, there exists a Lagrangian fibration ℱ′=(X′,ω′,f′,B~′)\mathcal{F}^{\prime}=(X^{\prime},\omega^{\prime},f^{\prime},\tilde{B}^{\prime}) and a commuting diagram

X⁡(B0,𝒜)→Ψ′X′f0↓↓f′B0→ιB~′\begin{CD}X(B_{0},\mathscr{A})@>{\Psi^{\prime}}>{}>X^{\prime}\\ @V{f_{0}}V{}V@V{}V{f^{\prime}}V\\ B_{0}@>{\iota}>{}>\tilde{B}^{\prime}\end{CD}

where Ψ′\Psi^{\prime} is also a symplectomorphism.

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