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 using Proposition 4.17. Now given a negative vertex , we have that a neighborhood of is affine isomorphic to a neighborhood of zero in the local model Example 3.12. Consider a negative Lagrangian fibration (cf. Definition 7.1), which we have constructed in Theorem 7.3. The discriminant locus of has the shape of an amoeba with thin legs and there is a disc containing the codimension part of such that is smooth except at points of (cf. part (i) and (ii) of Definition 7.1). Moreover we may assume that is affine isomorphic to , where is a neighborhood of in the affine manifold with singularities of Example 3.13 and contains and is homeomorphic to a disc (cf. point (iii) of Definition 7.1). It may happen that is too big for us to glue the Lagrangian negative fibration as it is. However, if we replace with for a sufficiently small , this has the effect of scaling the affine coordinates on the base by a factor of (i.e. of making the amoeba as small as we please). Therefore we may assume that . Moreover, we may also assume that the legs of (in affine coordinates) are straight towards their ends, i.e. they coincide with the legs of outside an open subset such that . The localized thickening of around consists in replacing with and defining . The affine structure is inherited from . This can be done at every negative vertex . Tautologically, we have that is symplectically conjugate to and therefore we can glue to .
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. ∎