Abstract:We prove several boundedness statements for geometrically integral normal del Pezzo surfaces $X$ over arbitrary fields. We give an explicit sharp bound on the irregularity if $X$ is canonical or regular. In particular, we show that wild canonical del Pezzo surfaces exist only in characteristic 2. As an application, we deduce that canonical del Pezzo surfaces form a bounded family over $\mathbb{Z}$, generalising work of Tanaka. More generally, we prove the BAB conjecture on the boundedness of $\varepsilon$-klt del Pezzo surfaces over arbitrary fields of characteristic different from 2, 3, and 5.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is the boundedness problem of del Pezzo surfaces in geometric integration. Specifically, the authors studied several boundedness statements of normal del Pezzo surfaces in geometric integration over arbitrary fields. They gave explicit and sharp upper bounds for the irregularity degree when the surface is canonical or regular, and specifically pointed out that wild - canonical del Pezzo surfaces only exist in characteristic 2. Moreover, as an application, they deduced that canonical del Pezzo surfaces form a bounded family over the ring of integers, which generalizes Tanaka's work.
More broadly, they proved the boundedness of ε - klt del Pezzo surfaces over any field with characteristics different from 2, 3 and 5, namely the so - called BAB conjecture. This result is of great significance for understanding the geometric properties of the general fibers of Mori fiber spaces, especially whether these fibers form a bounded family and whether specific upper bounds for their cohomology invariants can be given.
### Main contributions
1. **Upper bounds for irregularity degree**:
- For canonical or regular del Pezzo surfaces, explicit and sharp upper bounds for the irregularity degree are given.
- It is specifically pointed out that wild - canonical del Pezzo surfaces only exist in characteristic 2.
2. **Proof of boundedness**:
- It is proved that canonical del Pezzo surfaces form a bounded family over the ring of integers.
- It is proved that ε - klt del Pezzo surfaces are bounded over any field with characteristics different from 2, 3 and 5, namely the BAB conjecture.
### Methods and techniques
- **Effective version of Kawamata - Viehweg vanishing theorem**:
- It is proved that under certain conditions, the high - order cohomology groups of some linear systems are zero, thus obtaining the boundaries of globally generated and very ample.
- **Study of geometric integrality**:
- The properties of geometrically integral del Pezzo surfaces are studied, especially the restrictions on the irregularity degree.
- **Classification of normalized base change**:
- The normalized base change of non - normal canonical del Pezzo surfaces is classified, further restricting the possibilities of these surfaces.
### Conclusion
Through these results, the authors not only promoted the understanding of del Pezzo surfaces, but also provided important tools and methods for the study of the general fibers of Mori fiber spaces. These achievements are of great significance for the further development of the field of algebraic geometry.