Abstract:Previous work of the authors showed that every quartic del Pezzo surface over a number field has index dividing $2$, and asked whether such surfaces always have a closed point of degree $2$. We resolve this by constructing infinitely many quartic del Pezzo surfaces over $\mathbb{Q}$ without degree $2$ points. These are the first examples of smooth intersections of two quadrics with index strictly less than the minimal degree of a closed point.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: Are there infinitely many quartic del Pezzo surfaces that have no degree 2 points over the field of rational numbers \(\mathbb{Q}\)? Specifically, the authors' previous work showed that for each quartic del Pezzo surface with index 2, there may be a closed degree 2 point. However, it is not clear whether this is always the case.
### Background and Problem Description
1. **Definitions and Background**
- A quartic del Pezzo surface is a special class of algebraic surfaces and can be represented as the intersection of two quadratic hypersurfaces in a four - dimensional projective space.
- The index of a surface refers to the greatest common divisor of the degrees of all its closed points.
- Previous theorems showed that for a smooth intersection of quadratic hypersurfaces, if it has a closed degree 1 point over the field of rational numbers, then its index is 1.
2. **Research Motivation**
- Researchers want to know whether all quartic del Pezzo surfaces must contain a degree 2 point, that is, a closed point with index 2.
- If such a degree 2 point does not exist, it indicates that these surfaces have a more complex structure and their index is strictly less than the degree of the smallest closed point.
### Main Contributions of the Paper
- **Main Results**
- The authors proved by construction methods that there are infinitely many quartic del Pezzo surfaces that have no degree 2 points over the field of rational numbers \(\mathbb{Q}\).
- These surfaces are the first examples of smooth intersections of quadratic hypersurfaces found, whose index is strictly less than the degree of the smallest closed point.
- **Specific Construction**
- The authors introduced a family of quartic del Pezzo surfaces \(X_d\) and proved that for some specific integers \(d\), there are no closed degree 2 points on these surfaces.
- Specifically, for \(d=- 7\) (for example), the surface \(X_d\) has no closed degree 2 points.
### Display of Mathematical Formulas
1. **Surface Definition**
For non - zero integer \(d\), the surface \(X_d\subset\mathbb{P}^4_{\mathbb{Q}}\) is defined by the following quadratic forms:
\[
Q_0 := d(u_0^2 - 3u_1^2)+6u_2^2 + 6u_2u_3-6u_3u_4,
\]
\[
Q_\infty := - 2du_0u_1+u_2^2-2u_2u_4 - 3u_3^2 - u_4^2.
\]
2. **Discriminant**
\[
\Phi(T):=\det(M_0 + TM_\infty)=-6d^2(T^2 + 3)(T^3+3T^2 + 3T - 9).
\]
3. **Brauer - Manin Obstacle**
By calculating elements in the Brauer group and their local invariants, the authors proved that there is a Brauer - Manin obstacle that prevents the existence of rational points on these surfaces.
### Conclusion
This paper solves the problem of whether there are degree 2 points on quartic del Pezzo surfaces over the field of rational numbers by specific construction methods and shows the complexity and special properties of these surfaces. This result not only enriches the research content of algebraic geometry but also provides a new perspective for understanding the arithmetic properties of high - dimensional algebraic varieties.