Abstract:Suppose X is a smooth projective 3-fold of general type and |mK_X| is composed of a pencil of surfaces with m>1. This pencil naturally induces a fibration f:X->C onto a smooth curve C after the Stein-factorization, which is the main objects of this article. Based on Koll'ar's earlier works, we improve on it and try to understand the family in terms of discrete birational invariants of the total space as well as those of the general fiber and the base curve. The aim of this note is to build a little bit basic facts.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to study the canonically derived families of surfaces of general type over curves derived from the multicanonical system of a smooth projective threefold. Specifically, the author is concerned with how to understand the properties of these families of surfaces, especially their role in the classification theory.
### Main Problem Description
1. **Research Object**: Families of surfaces of general type on surfaces derived from the \(m\)-canonical system \(|mK_X|\) of a smooth projective threefold \(X\).
2. **Objective**: Establish basic facts about these families of surfaces and explore their properties by studying birational invariants of the total space and the general fiber.
3. **Motivation**: The study of this type of families of surfaces is an important step in the classification theory, but currently there is a lack of systematic references.
### Specific Problems
- **Existence and Properties**: Prove the existence of such families of surfaces and study their basic properties, such as the geometric structure of the fiber, Hodge numbers, etc.
- **Classification and Restrictions**: Through the classification of families of surfaces under different conditions, obtain specific restrictions on geometric invariants (such as \(q(X)\), \(p_g(X)\), etc.).
- **Improve Existing Results**: Improve Kollár's method and give more precise bounds for \(m\) to ensure that certain invariants (such as \(q(X)\)) satisfy specific conditions.
### Key Conclusions
- For the case of \(m\geq3\), the conditions for \(C\) to be an elliptic curve or \(P^1\) are given, and a detailed classification of \(q(X)\) and \(p_g(X)\) is carried out.
- Kollár's method is improved, and a smaller bound for \(m\) is obtained, such that \(q(X)\leq1\) or \(q(X) = 0\).
### Mathematical Formulas
The mathematical formulas involved in the paper include but are not limited to:
- \(P_m(X):=\dim H^0(X,\mathcal{O}_X(mK_X))\) represents the \(m\)-th genus of \(X\).
- \(W_m:=\phi_m(X)\subset\mathbb{P}^{P_m(X)-1}\) represents the \(m\)-th canonical image.
- \(f_m:X'\to C\) represents the mapping from \(X'\) to the curve \(C\), where \(C\) is a smooth projective curve.
- \(F\) represents the general fiber of \(f_m\), which is a surface of general type.
Through these formulas and theorems, the paper aims to gain an in - depth understanding of the geometric and topological properties of the families of surfaces derived from the multicanonical system.