ScalingStacks

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 fV:XV→Vf_{V}:X_{V}\rightarrow V be a focus-focus fibration over a small open neighborhood VV of its node 0∈V0\in V. Let V∗=V−{0}V^{\ast}=V-\{0\} and denote by (V∗,𝒜V)(V^{\ast},\mathscr{A}_{V}) the integral affine manifold induced by fVf_{V}. Let X⁡(V∗,𝒜V)X(V^{\ast},\mathscr{A}_{V}) be the associated Lagrangian T2T^{2} bundle over V∗V^{\ast}. It can be shown that fVf_{V} has a Lagrangian section s:V→XVs:V\rightarrow X_{V} such that s⁡(V)∩Crit⁡(fV)=∅s(V)\cap\Crit(f_{V})=\varnothing. Then from Theorem 3.3 it follows that fV−1​(V∗)⊂XVf^{-1}_{V}(V^{\ast})\subset X_{V} is symplectically conjugate to X⁡(V∗,𝒜V)X(V^{\ast},\mathscr{A}_{V}).

Now let P∈ΔP\in\Delta and let U⊂BU\subset B be a small neighborhood of PP. Denote by U∗=U−PU^{\ast}=U-P and by X⁡(U∗,𝒜)X(U^{\ast},\mathscr{A}) the Lagrangian T2T^{2} bundle over U∗U^{\ast} given by the restriction of X⁡(B0,𝒜)X(B_{0},\mathscr{A}) to U∗U^{\ast}. Recall that both UU and VV are simple affine manifold with singularities. Then, after taking UU and VV small enough, there exists an integral affine isomorphism V∗≅U∗V^{\ast}\cong U^{\ast}. From Corollary 3.4, the latter isomorphism induces is a symplectic conjugation,

fV−1​(V∗)≅X⁡(V∗,𝒜V)≅X⁡(U∗,𝒜),f^{-1}_{V}(V^{\ast})\cong X(V^{\ast},\mathscr{A}_{V})\cong X(U^{\ast},\mathscr{A}),

which can be used to symplectically glue XVX_{V} to X⁡(B0)X(B_{0}). Define (X,ω)(X,\omega) to be the symplectic manifold obtained after applying this gluing over all points P∈ΔP\in\Delta and f:X→Bf:X\rightarrow B the resulting fibration. It is clear that (X,ω)(X,\omega) is a semi-stable compactification of (X⁡(B0,𝒜),ω0)(X(B_{0},\mathscr{A}),\omega_{0}) such that ι∗​ω=ω0\iota^{\ast}\omega=\omega_{0}. It is easy to check that (X,ω,f,B)(X,\omega,f,B) is topologically conjugate to a simply connected elliptic fibration with 24 singular fibres of type I1I_{1}. It follows that XX is diffeomorphic to a K3 surface. ∎

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