Abstract:We prove that the integral points are potentially Zariski dense in the complement of a reduced effective singular anticanonical divisor in a smooth del Pezzo surface, with the exception of $\mathbb{P}^2$ minus three concurrent lines (for which potential density does not hold). This answers positively a question raised by Hassett and Tschinkel and, combined with previous results, completes the proof of the potential density of integral points for complements of anticanonical divisors in smooth del Pezzo surfaces. We then classify the complements which are simply connected and for these we prove that the set of integral points is potentially not thin, as predicted by a conjecture of Corvaja and Zannier.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove whether the integral points on smooth del Pezzo surfaces are potentially Zariski - dense under certain conditions, and further explore whether these integral points have the Integral Hilbert Property (IHP). Specifically:
1. **Main problems**:
- Prove whether the integral points in the complement \(X\setminus D\) are potentially Zariski - dense, where \(X\) is a smooth del Pezzo surface and \(D\) is a reduced effective anticanonical divisor.
- For smooth del Pezzo surfaces and their anticanonical divisors that satisfy specific conditions, classify which complements are simply - connected, and prove that in these cases the integral points are not thin, thus verifying a conjecture of Corvaja and Zannier.
2. **Background and motivation**:
- In Diophantine geometry, studying the potential density of integral points is a core problem. Campana et al. proposed some conjectures about special pairs, believing that these pairs should allow the potential density of integral points.
- Hassett and Tschinkel proposed a conjecture about smooth del Pezzo surfaces and their anticanonical divisors, that is, the integral points on these pairs should be potentially dense.
3. **Main contributions of the paper**:
- The author proves that for a smooth del Pezzo surface \(X\) and a reduced effective anticanonical divisor \(D\) (except for the case of \(P^2\) minus three concurrent lines), the integral points in \(X\setminus D\) are potentially Zariski - dense.
- Further, for the simply - connected complement \(X\setminus D\), the author proves that the integral points are not thin, which is in line with the conjecture of Corvaja and Zannier.
4. **Methods and techniques**:
- Use the method of conic fibrations to generate "enough" integral points.
- Simplify the assumptions by extending the base field \(K\) and the set of places \(S\) so as to apply existing theoretical results.
- For the case of irreducible divisors at infinity, use Beukers' method to re - interpret plane quadratic curves to find non - thin parameter sets.
In summary, this paper solves the key problems of the potential density and the Integral Hilbert Property of integral points on smooth del Pezzo surfaces, providing important theoretical support for research in related fields.