Abstract:Let X be a non singular projective surface. Given a semistable non isotrivial fibration f over a smooth rational curve with general fiber non hyperelliptic of genus g bigger than 3, we show that if the number s of singular fibers is 5, then the genus is less or equal to 11, thus improving the previously known bound (g lesser or equal to 17). Furthermore we show that for each possible genus the general fiber has gonality at most 5 and we describe the corresponding fibrations as the resolution of concrete pencils of curves on minimal rational surfaces.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to determine the minimum possible number of fibers of semistable non - isomorphic fibrations with exactly five singular fibers, and to classify the properties of these fibrations. Specifically, the paper focuses on the case when the general fiber of the fiber is a non - hyperelliptic curve and its genus \(g\geq4\). The authors prove that under these conditions, if the number of singular fibers is 5, then the genus \(g\) must satisfy \(g\leq11\), which improves the previously known bound \(g\leq17\). In addition, they also prove that for each possible genus, the gonal number of the general fiber is at most 5. The paper also describes that these fibrations can be regarded as the desingularization of specific curve bundles on the minimal rational surface.
### Main contributions of the paper
1. **Improvement of the upper bound of the genus**:
- The authors prove that if a semistable non - isomorphic fibration \(f:X\rightarrow\mathbb{P}^1\) has exactly five singular fibers, and the general fiber is a non - hyperelliptic curve and the genus \(g\geq4\), then \(g\leq11\).
2. **Gonal number of the fiber**:
- For each possible genus \(g\), the gonal number of the general fiber is at most 5.
3. **Specific description of the fibration**:
- The authors describe that these fibrations can be regarded as the desingularization of specific curve bundles on the minimal rational surface. Specifically, they give several different cases, and in each case, they describe the structure of the fibration in detail.
### Main theorems
**Theorem 1.1**: Let \(X\) be a rational non - singular complex projective surface, and \(f:X\rightarrow\mathbb{P}^1\) be a semistable non - isomorphic fibration with genus \(g\geq4\). If the number of singular fibers \(s = 5\), and the general fiber \(F\) is non - hyperelliptic, then one of the following occurs:
1. \(K_X^2=2 - 3g\), \(g\leq11\), and the general fiber \(F\) is triple. If \(n\) represents its Maroni invariant, then the embedding class of \(F\) in \(F_n\) is \(3\Delta+\left(\frac{g + n}{2}+n + 1\right)\Gamma\), where \(g + 2\geq3n\), \(\Gamma\) is the general fiber of the structure morphism, and \(\Delta\) satisfies \(\Delta^2=-n\). The fibration \(f\) is obtained by blowing up the base points of a general non - singular member of a linear system \(\vert3\Delta+\left(\frac{g + n}{2}+n + 1\right)\Gamma\vert\).
2. \(K_X^2=- 16\), \(g = 6\), and \(f\) is obtained by blowing up the base points of a general non - singular member of a linear system \(\vert5H\vert\), where \(H\) is a curve of degree 5 in the plane.
3. \(K_X^2=-10\), \(g = 4\), and \(f\) is obtained by blowing up the base points of a general non - singular member of a linear system \(\vert3H\vert\), where \(H\) is a cubic hypersurface section of a quadratic cone in \(\mathbb{P}^3\).
4. \(K_X^2=3 - 3g\), \(g\leq10\), and \(f\) is obtained by blowing up the base points of a general non - singular member of a linear system \(\vert6H\vert\), where \(H\) is a curve of degree 6 in the plane, whose general element contains only \(10 - g\) double points.
5. \(K_X^2=-24\), \(g = 9\), and \(f\) is obtained by blowing up...