The 3-canonical system on 3-folds of general type (Q531279)

Let \(X\) be a projective minimal Gorenstein 3-fold of general type with \(\mathbb{Q}\)-factorial terminal singularities. The author classifies minimal Gorenstein 3-folds of general type according to the birationality of 3-canonical system on \(X\). Let \(\phi_m\) be the \(m\)-canonical map corresponding to the complete linear system \(|mK_X|\). Let \(d\) be the dimension of \(\phi_1(X)\). If \(\phi_3\) on \(X\) is not birational, then \(X\) must be one of the following types: (1) \(p_g(X)\leq 7\); (2) \(p_g\geq 8\), while: {\parindent=6mm \begin{itemize}\item[(a)] \(d=3\), \(X\) contains a surface which has a family of curves of genus 2; \item[(b)] \(d=2\), \(X\) contains a surface which has a family of genus \(\leq 3\); \item[(c)] \(d=1\), \(X\) contains a surface \(S\) such that either \(S\) has a family of curves of genus \(\leq 3\) or \(S\) satisfies \(p_g(S)=1\), \(K_{S_0}^2\leq 9\), where \(S_0\) is the minimal model of \(S\). \end{itemize}}