Proof. [04IS]
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.
Let be a focus-focus fibration over a small open neighborhood of its node . Let and denote by the integral affine manifold induced by . Let be the associated Lagrangian bundle over . It can be shown that has a Lagrangian section such that . Then from Theorem 3.3 it follows that is symplectically conjugate to .
Now let and let be a small neighborhood of . Denote by and by the Lagrangian bundle over given by the restriction of to . Recall that both and are simple affine manifold with singularities. Then, after taking and small enough, there exists an integral affine isomorphism . From Corollary 3.4, the latter isomorphism induces is a symplectic conjugation,
which can be used to symplectically glue to . Define to be the symplectic manifold obtained after applying this gluing over all points and the resulting fibration. It is clear that is a semi-stable compactification of such that . It is easy to check that is topologically conjugate to a simply connected elliptic fibration with 24 singular fibres of type . It follows that is diffeomorphic to a K3 surface. ∎