Abstract:In this note we consider a question related to the high-dimensional generalization of the classical Severi's finiteness theorem for curves. We will introduce some background and then state the main result. The proof of the main result is constructive and we mainly use algebraic geometry of surfaces.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is whether the generalization of certain theorems in high - dimensional complex spaces holds. Specifically, the paper focuses on the generalization of Severi's finiteness theorem in high - dimensional cases. In particular, when the target space \(Y\) is a normal (but not necessarily smooth) projective variety, whether there are finitely many pairs \((Y, f)\) satisfying specific conditions, where \(Y\) is a normal projective variety that is both hyperbolic and of general type, and \(f\) is a surjective rational mapping from a fixed projective variety \(X\) to \(Y\).
### Background and Problems
1. **Review of Classical Theorems**:
- **Hurwitz Theorem**: If \(X\) is a smooth projective curve defined over the complex field, and its genus \(g\geq2\), then the automorphism group \(\text{Aut}(X)\) of \(X\) is finite, and its order is no more than \(84(g - 1)\).
- **de Franchis Theorem**: Let \(X\) and \(Y\) be two smooth projective curves defined over the complex field. If the genus of \(Y\) is greater than 1, then there are only finitely many finite morphisms from \(X\) to \(Y\).
- **Severi's Finiteness Theorem**: Let \(X\) be a smooth projective curve defined over the complex field. Then, up to isomorphism, there are only finitely many pairs \((Y, f)\), where \(Y\) is a smooth projective curve defined over the complex field, its genus is greater than 1, and \(f\) is a finite morphism from \(X\) to \(Y\).
2. **Generalization to High Dimensions**:
- **Hyperbolicity and General Type**: In high - dimensional cases, the concept of the genus of a curve being greater than 1 can be generalized to hyperbolicity and general type. A complex space \(X\) is called **Brody hyperbolic** if there is no non - constant holomorphic mapping \(h:\mathbb{C}\to X\). A smooth projective complex variety \(X\) is called **of general type** if its canonical sheaf is big.
- **High - Dimensional de Franchis Theorem**: Let \(X\) and \(Y\) be projective varieties defined over the complex field. If \(Y\) is hyperbolic or of general type, then there are only finitely many dominant rational mappings from \(X\) to \(Y\).
- **Iitaka - Severi Conjecture**: Let \(X\) be a projective variety defined over the complex field. Then, up to isomorphism, there are only finitely many pairs \((Y, f)\), where \(Y\) is a projective variety of general type defined over the complex field, and \(f\) is a dominant rational mapping from \(X\) to \(Y\).
3. **Problem Formulation**:
- **Problem 1.7**: Let \(X\) be a projective variety defined over the complex field. Then, up to isomorphism, are there finitely many pairs \((Y, f)\), where \(Y\) is a normal projective variety defined over the complex field, both hyperbolic and of general type, and \(f\) is a surjective rational mapping from \(X\) to \(Y\)?
### Main Results
The main result of the paper is to give a negative answer to Problem 1.7. That is, there exists a smooth projective surface \(X\), and infinitely many pairs \((Y, f)\), where \(Y\) is a normal projective surface that is both hyperbolic and of general type, and \(f\) is a surjective rational mapping from \(X\) to \(Y\). These pairs \((Y, f)\) are pairwise non - equivalent up to isomorphism.
### Conclusion
This result shows that when considering finiteness problems in high - dimensional complex spaces, maintaining the smoothness of the target space is an important condition. If relaxed to normality, it may lead to the existence of infinitely many solutions. This provides a new perspective for finiteness problems in high - dimensional complex geometry.