Abstract:Let $X$ be a Gorenstein minimal projective 3-fold with at worst locally factorial terminal singularities. Suppose the canonical map is of fiber type. Denote by $F$ a smooth model of a generic irreducible component in fibers of the canonical map of $X$ and so $F$ is a smooth curve or a smooth surface. The main result of the paper is that there is a computable constant $K$ (independent of $X$) such that $g(F)\leq 647$ or $p_g(F)\leq 38$ whenever $p_g(X)\geq K$. The method heavily relies on both a Noether type of inequality and a Miyaoka-Yau inequality and that is the reason we only treat a Gorenstein object here.
It is open whether the degree of the canonical map is universally bounded when the canonical map is generically finite.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the boundedness problem regarding a specific type of algebraic three - folds. Specifically, the paper focuses on whether the birational invariants of the general irreducible elements are bounded when the canonical map of a Gorenstein minimal projective three - fold \(X\) with locally factorial terminal singularities is of fiber type.
### Problem Description
The paper studies whether the birational invariants of curves or surfaces in the canonical family of the three - fold \(X\) are bounded under the following conditions:
- \(X\) is a Gorenstein minimal projective three - fold with locally factorial terminal singularities.
- The canonical map \(\varphi_1\) is of fiber type, that is, \(\dim\varphi_1(X)< 3\).
- \(F\) is a smooth model of the general irreducible element in the fiber of \(\varphi_1\), so \(F\) can be a curve or a smooth surface.
### Main Results
The main result of the paper is to prove that there exists a computable constant \(K\) such that when \(p_g(X)\geq K\), the following conclusions hold:
1. If \(\dim\varphi_1(X) = 2\), then \(F\) is a curve with geometric genus \(g(F)\leq647\).
2. If \(\dim\varphi_1(X) = 1\), then \(F\) is a smooth surface of general type, and its geometric genus \(p_g(F)\leq38\).
### Formula Representation
Some of the key formulas and inequalities involved in the paper include:
- **Miyaoka - Yau Inequality**: For a three - fold \(X\) of general type, we have
\[
K_X^3\leq - 72[1 - q(X)+h^2(\mathcal{O}_X)-p_g(X)]
\]
- **Inequality for Canonical Map**: For the case where \(\dim\varphi_1(X) = 2\), we have
\[
K_X^3\geq\frac{2}{3}(g(C)-1)(p_g(X)-2)
\]
These formulas and inequalities are used to derive the upper bounds of \(g(F)\) and \(p_g(F)\) and finally prove the boundedness theorem.
### Summary
By introducing the Miyaoka - Yau inequality and other technical means, the paper successfully proves that under certain conditions, the geometric properties of the canonically fibered three - folds are bounded. This provides an important theoretical basis for understanding the structure of such three - folds.