Jennifer M. Johnson,János Kollár
Abstract:We determine the complete list of anticanonically embedded quasi smooth log del Pezzo surfaces in weighted projective 3-spaces. We prove that many of these admit a Kähler-Einstein metric and most of them do not have tigers.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on two aspects:
1. **Determining the complete list**: The first goal of the paper is to determine the complete list of quasi - smooth log del Pezzo surfaces that are anti - canonically embedded in weighted projective 3 - space. These surfaces have quotient singularities and their anti - canonical classes are ample, which makes them of great research value in algebraic geometry and complex geometry.
2. **Proving the existence of Kähler - Einstein metrics**: The second goal of the paper is to improve the existing methods to prove that many of these log del Pezzo surfaces do indeed have Kähler - Einstein metrics. The Kähler - Einstein metric is a special Riemannian metric, which is crucial for understanding the geometric properties of these surfaces. In addition, the paper also explores whether certain examples have a "tiger" structure, a concept introduced by Keel and McKernan to describe the existence of certain singularities.
### Specific problems and methods
- **Background and motivation**:
- Log del Pezzo surfaces arise naturally in a variety of mathematical contexts, such as in the study of affine surfaces, the moduli space of surfaces of general type, and the three - and four - dimensional minimal model programs.
- These surfaces provide a natural testing ground for testing the existence results of Kähler - Einstein metrics.
- **Computer search**:
- The author uses a computer program to find examples of log del Pezzo surfaces in weighted projective 3 - space. The program checks all cases where the weights are within a few hundred and finds 3 log del Pezzo surfaces that satisfy the Demailly - Kollár method and are proven to have Kähler - Einstein metrics.
- **Main results**:
- The paper changes the perspective, transforms the problem into a linear system, and finds all possible weight combinations by solving this system.
- Finally, the paper gives a complete list of all eligible log del Pezzo surfaces and conducts a detailed analysis for each example, including whether there is a tiger structure and a Kähler - Einstein metric.
### Mathematical tools and concepts
- **Weighted projective space**: Defined as \(P(a_0, a_1, a_2, a_3)\), where \(a_i\) are positive integers and any three \(a_i\) are coprime.
- **Anti - canonical embedding**: The surface \(X\) is embedded into the weighted projective space, and its degree \(d\) satisfies \(d=a_0 + a_1 + a_2 + a_3-1\).
- **Quasi - smoothness**: The surface is smooth in the orbifold sense, that is, it is smooth in each orbifold chart.
- **Kähler - Einstein metric**: A special Riemannian metric that satisfies \(\text{Ric}(g)=\lambda g\), where \(\lambda\) is a constant.
- **Tiger structure**: A special singular structure. If it exists, the surface does not have a Kähler - Einstein metric.
Through these methods and tools, the paper successfully solves the above two main problems and provides an important foundation for future research.