Elliptic fibrations over surfaces. I (Q4026029)

[For the entire collection see Zbl 0744.00034.] Let \(\Delta^ 2\) be the unit polydisc with coordinates \((t_ 1,t_ 2)\), and set \(\ell_ i:=\{t_ i=0\}\). A germ of minimal projective elliptic fibration is given by a projective surjective morphism, \(f:X\to\Delta^ 2\), having elliptic curves as general fibers, and such that \(X\) is \(\mathbb{Q}\)-factorial, it has only terminal singularities, and its canonical divisor is \(f\)-nef. The author proves the following theorem: Let \(f:X\to\Delta^ 2\) be a germ of minimal projective elliptic fibration whose discriminant locus is contained in \(\ell_ 1\cup\ell_ 2\). Assume that the fibers over general points of \(\ell_ 1\) and \(\ell_ 2\) are of type \(I_ a\) and \(I_ b\) respectively. Then: 1. \(X\) is nonsingular and has trivial canonical bundle, 2. \(f\) is a flat morphism, 3. the central fiber \(f^{-1}(0)\) is of type \(I_{a+b}\), and 4. the pull-back \(f^*(\ell_ 1+\ell_ 2)\) is a simple normal crossing divisor with \((a+b)\)-components.