Abstract:We construct the first examples of singular del Pezzo surfaces with Zariski dense exceptional sets in Manin's conjecture, varying in degrees $1, 2$ and $3$. These examples arise from quasi-étale covers with higher $b$-invariants. We classify all quasi-étale covers of Du Val del Pezzo surfaces up to singularity types, extending earlier works of Miyanishi-Zhang. Then, we identify all potential examples by studying group actions on the pseudo-effective cones, and show that no such example exists in degree $\geq4$. Finally, we prove that Manin's conjecture with proper closed exceptional sets fails for specific examples, for which we also determine the conjectural exceptional set proposed by Lehmann-Sengupta-Tanimoto.
What problem does this paper attempt to address?
### Problems the paper attempts to solve
What the paper attempts to solve is the problem that the Manin conjecture does not hold under certain conditions. Specifically, the Manin conjecture predicts the distribution of rational points on algebraic varieties over number fields, especially the behavior of the counting function of these rational points with respect to a certain height function. However, for some special Del Pezzo surfaces, the closed - set version of the Manin conjecture does not always hold. By constructing examples of singular Del Pezzo surfaces with Zariski - dense exceptional sets, the paper shows the existence of these special cases and analyzes the impact of these exceptional sets on the Manin conjecture.
### Main contributions
1. **Construct new counterexamples**:
- The paper constructs the first batch of singular Del Pezzo surfaces with Zariski - dense exceptional sets, and the degrees of these surfaces are 1, 2 and 3 respectively.
- These examples come from quasi - étale covers with a relatively high b - invariant.
2. **Classify quasi - étale covers**:
- The paper classifies all quasi - étale covers of Du Val Del Pezzo surfaces, extending the earlier work of Miyanishi - Zhang.
- By studying the group action on the pseudo - effective cone, all potential counterexamples are identified, and it is proved that no such counterexamples exist when the degree is ≥4.
3. **Verify the failure of the Manin conjecture**:
- The paper proves that for specific examples, the Manin conjecture still does not hold after removing the appropriate closed subsets.
- For these examples, the exceptional sets in the conjecture proposed by Lehmann - Sengupta - Tanimoto are determined.
### Specific results
- **Theorem A**:
- For any field of characteristic 0, when the degree of S is ≥3, \(\rho(\tilde{T}) \leq \rho(\tilde{S})\); when the degree of S is ≥4, \(\rho(\tilde{T}) < \rho(\tilde{S})\).
- **Theorem B**:
- Gives the types of all possible pathological examples when the degree is ≥2.
- For example, for a surface with degree 3, there are pathological examples for the surface of type 4A1; for a surface with degree 2, there are also pathological examples for surfaces of types D4 + 3A1, 3A2, etc.
- **Theorem C**:
- Provides specific counterexamples to prove that the Manin conjecture does not hold in these cases.
- For example, for the singular cubic surface with degree 3 and type 4A1, and the hypersurface with degree 2 and type D4 + 3A1, the Manin conjecture still does not hold after removing any appropriate closed subset.
### Conclusion
Through a systematic study of quasi - étale covers, the paper constructs a series of singular Del Pezzo surfaces with Zariski - dense exceptional sets, revealing the failure mechanism of the Manin conjecture in these special cases. These results not only enrich the understanding of the Manin conjecture, but also provide new perspectives and tools for further research.