Abstract:We carry out a survey on curves defined over finite fields that are Diophantine stable; that is, with the property that the set of points of the curve is not altered under a proper field extension. First, we derive some general results of such curves and then we analyze several families of curves that happen to be Diophantine stable.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the Diophantine stability of curves defined over finite fields. Specifically, the author explores the property that the set of points on the curve does not change under appropriate field extensions. For a curve \(C\) defined over a finite field \(\mathbb{F}_q\), if there exists \(m > 1\) such that \(C(\mathbb{F}_{q^m})=C(\mathbb{F}_q)\), then this curve is called a Diophantine stable curve (DS - curve).
To better understand this problem, we can analyze it from the following aspects:
1. **Background and Motivation**:
- Diophantine stability is an important concept in algebraic geometry. It studies whether the set of rational points of algebraic varieties (such as curves) remains invariant under different field extensions.
- The author focuses on curves defined over finite fields and specifically studies the Diophantine stability of these curves under appropriate field extensions.
2. **Main Problems**:
- Determine which types of curves have Diophantine stability.
- Analyze the properties of these curves and their performance under different field extensions.
- Explore the Diophantine stability of specific types of curves such as low - genus curves, Deligne - Lusztig curves, M - torsion Carlitz curves, and M - torsion Drinfeld curves.
3. **Methods and Techniques**:
- Use the Hasse - Weil zeta function to study the change in the number of points on the curve.
- Apply the results in the Weil conjectures, especially the properties of the Frobenius polynomial and the Weil polynomial.
- Determine candidate curves by enumerating possible Weil polynomials and real Weil polynomials.
4. **Specific Objectives**:
- Provide some basic results to illustrate the restrictions on the pairs \((q, m)\) of curves satisfying Diophantine stability.
- List specific examples of certain special types of curves (such as low - genus curves, Deligne - Lusztig curves, etc.).
- Prove that in some cases, there are no curves with Diophantine stability.
In summary, the main purpose of this paper is to study and classify which curves defined over finite fields have Diophantine stability, and to provide specific examples and theoretical bases to support these conclusions. This helps to gain a deeper understanding of the properties of algebraic curves over finite fields and their behavior under different field extensions.