ScalingStacks

Proof. [04M1]

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.

The proof is quite simple. First we glue positive fibrations over sufficiently small neighborhoods of positive vertices of Δ\Delta using Proposition 4.17. Now given a negative vertex p−∈𝒩p^{-}\in\mathcal{N}, we have that a neighborhood of p−p^{-} is affine isomorphic to a neighborhood UU of zero in the local model Example 3.12. Consider a negative Lagrangian fibration ℱ−=(X−,ω−,f−,B−)\mathcal{F}^{-}=(X^{-},\omega^{-},f^{-},B^{-}) (cf. Definition 7.1), which we have constructed in Theorem 7.3. The discriminant locus Δ−\Delta^{-} of f−f^{-} has the shape of an amoeba with thin legs and there is a disc DD containing the codimension 11 part of Δ−\Delta^{-} such that f−f^{-} is smooth except at points of (f−)−1​(D)(f^{-})^{-1}(D) (cf. part (i) and (ii) of Definition 7.1). Moreover we may assume that B−−(Δ−∪D)B^{-}-(\Delta^{-}\cup D) is affine isomorphic to (U′−(D′∪Δτ),𝒜τ)(U^{\prime}-(D^{\prime}\cup\Delta_{\tau}),\mathscr{A}_{\tau}), where U′U^{\prime} is a neighborhood of 00 in the affine manifold with singularities of Example 3.13 and D′⊂{x1=0}D^{\prime}\subset\{x_{1}=0\} contains 00 and is homeomorphic to a disc (cf. point (iii) of Definition 7.1). It may happen that U′U^{\prime} is too big for us to glue the Lagrangian negative fibration as it is. However, if we replace ω−\omega^{-} with ϵ​ω−\epsilon\,\omega^{-} for a sufficiently small ϵ>0\epsilon>0, this has the effect of scaling the affine coordinates on the base by a factor of ϵ\epsilon (i.e. of making the amoeba as small as we please). Therefore we may assume that U′⊂UU^{\prime}\subset U. Moreover, we may also assume that the legs of Δ−\Delta^{-} (in affine coordinates) are straight towards their ends, i.e. they coincide with the legs of Δ\Delta outside an open subset U′′U^{\prime\prime} such that D′⊂U¯′′⊂U′D^{\prime}\subset\bar{U}^{\prime\prime}\subset U^{\prime}. The localized thickening Δ⧫\Delta_{\blacklozenge} of Δ\Delta around p−p^{-} consists in replacing U′∪ΔU^{\prime}\cup\Delta with Δ−\Delta^{-} and defining Dp−=D′D_{p^{-}}=D^{\prime}. The affine structure 𝒜⧫\mathscr{A}_{\blacklozenge} is inherited from 𝒜\mathscr{A}. This can be done at every negative vertex p−p^{-}. Tautologically, we have that X⁡(U′−(Dp−∪Δ⧫),𝒜⧫)X(U^{\prime}-(D_{p^{-}}\cup\Delta_{\blacklozenge}),\mathscr{A}_{\blacklozenge}) is symplectically conjugate to (f−)−1​(B−−(Δ−∪D))(f^{-})^{-1}(B^{-}-(\Delta^{-}\cup D)) and therefore we can glue X−X^{-} to X⁡(B⧫,𝒜⧫)X(B_{\blacklozenge},\mathscr{A}_{\blacklozenge}).

Finally, now that singular fibres have been glued on top of all vertices, it only remains to glue generic-singular fibres along the edges. This can be easily done by applying directly Proposition 4.18, notice in fact that Lagrangian negative fibrations are smooth and generic-singular towards the ends of the legs. ∎

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