Abstract:We show that on a certain hypersurface in P3 there is a (q3 + q2 + q + 1)q+1-symmetric configuration (resp. a ((q3 + 1)(q2 + 1)q+1, (q3 + 1)(q + 1)q2+1)) -configuration) made up of the rational points over Fq (resp. over Fq2) and the lines over Fq (resp. the lines over Fq2). We also determine the structure of a Lefschetz pencil made by using a line from these lines.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to explore the Lefschetz pencil structure on a certain hypersurface \(S\) in the three - dimensional projective space \(\mathbb{P}^3\) over an algebraically closed field of positive characteristic \(p>2\). Specifically, the author aims to determine the singular fibers and sections of the fiber spaces derived from these Lefschetz pencils, and use these structures to give a geometric proof that the Fermat surface \(x^{q + 1}+y^{q + 1}+z^{q + 1}+w^{q + 1}=0\) is unirational in positive characteristic.
### Main research contents:
1. **Structure of Lefschetz pencils**:
- The Lefschetz pencils on the hypersurface \(S\) defined by the equation \(x_0x_1^q - x_1x_0^q+x_2x_3^q - x_3x_2^q = 0\) were studied.
- The singular fibers and sections of the fiber spaces derived from these pencils were determined.
2. **Rationality of the Fermat surface**:
- Using the structure of Lefschetz pencils, a geometric proof that the Fermat surface \(x^{q+1}+y^{q + 1}+z^{q+1}+w^{q+1}=0\) is unirational in positive characteristic was given. This result was originally proved by Shioda.
3. **Symmetric configurations**:
- It was also found in the paper that there is a \((q^3+q^2+q + 1)q+1\)-symmetric configuration and a \(((q^3 + 1)(q^2+1)q+1,(q^3 + 1)(q + 1)q^2+1)\)-configuration on the hypersurface \(S\). These configurations are composed of rational points and lines over \(\mathbb{F}_q\) and \(\mathbb{F}_{q^2}\) respectively.
4. **Special cases**:
- When \(p = q=3\), the hypersurface \(S\) is a supersingular K3 surface with Artin invariant 1. In this case, the author further studied the properties of its fiber space. In particular, it is a quasi - elliptic surface with 10 singular fibers of type IV.
### Main conclusions:
- **Rationality of the Fermat surface**: Through the structure of Lefschetz pencils, the author gave a geometric proof that the Fermat surface is unirational in positive characteristic.
- **Existence of symmetric configurations**: There are specific symmetric configurations on the hypersurface \(S\), and these configurations are related to the concept of finite generalized quadrangles.
- **Properties of fiber spaces**: When \(p = q = 3\), the fiber space is a quasi - elliptic surface with 10 singular fibers of type IV, and its Mordell - Weil group is isomorphic to \((\mathbb{Z}/3\mathbb{Z})^{\oplus4}\).
### Formula summary:
- The defining equation of the hypersurface \(S\): \[x_0x_1^q - x_1x_0^q+x_2x_3^q - x_3x_2^q = 0\]
- The defining equation of the Fermat surface: \[x^{q+1}+y^{q+1}+z^{q+1}+w^{q+1}=0\]
- Parameters of symmetric configurations: \[(q^3+q^2+q + 1)q+1\] and \[((q^3 + 1)(q^2+1)q+1,(q^3 + 1)(q + 1)q^2+1)\]
Through these studies, the author not only deepens the understanding of Lefschetz pencils, but also provides a new geometric perspective for the rationality of the Fermat surface.