No label defined (Q4350033)

The Miyaoka inequality in the theory of algebraic threefolds states that the Chern classes of a minimal threefold \(X\) satisfy \(c^2_1(X)\leq 3c_2(X)\), i.e., the 1-cycle \(3c_2-c^2_1\) is in the closure of the cone of effective curves. A minimal threefold is a normal projective \(\mathbb{Q}\)-factorial threefold with at most terminal singularities such that \(K_X\) is nef. Note that \(K_X\) is nef if and only if \(X\) is not uniruled. In the paper the authors investigate the natural question to determine the structure of Gorenstein minimal threefolds for which equality occurs. The first result states that every 3-dimensional Gorenstein model (i.e., a normal Gorenstein \(\mathbb{Q}\)-factorial projective threefold with at most terminal singularities) \(X\) with \(\kappa (X)\geq 0\) and \(c^2_1=3c_2\) is necessarily minimal, i.e., \(K_X\) is nef. The structure of Gorenstein minimal threefolds with \(c^2_1= 3c_2\) and \(\kappa (X)=0\) has already been studied by Shepherd-Barron and Wilson. The case \(\kappa (X)=3\) does not occur if \(X\) is smooth. In the intermediate case \(\kappa =1,2\) the authors prove the following main result. Theorem: Let \(X\) be a Gorenstein minimal threefold with \(\kappa =1,2\). Then \(X\) is automatically smooth, the Iitaka fibration is almost smooth in the sense that the only singular fibers are multiples of abelian surfaces, respectively elliptic curves, and \(X\) does not contain any rational curve. For the entire collection see [Zbl 0859.00021].