Abstract:We prove that the anisotropy of quadratic forms over any global field of characteristic not equal to 2 is diophantine, by using a generalization of the method of Koenigsmann and some known results in diophantine sets and quadratic forms.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove that the anisotropy problem of quadratic forms over global fields of odd characteristic is Diophantine. Specifically, the author Guang Hu aims to prove that for any global field \(K\) of odd characteristic, the anisotropy of quadratic forms over \(K\) can be described by a set of polynomial equations, that is, the set of anisotropic quadratic forms is a Diophantine set.
### Core Problems of the Paper
1. **Definitions and Background**
- **Global Field**: It refers to an algebraic number field or a function field.
- **Diophantine Set**: A set \(S\subset K^{n}\) is called a Diophantine set if there exists a polynomial equation \(f(a_{1},\ldots,a_{n};x_{1},\ldots,x_{m}) = 0\) such that the equation has a solution in \(K\) if and only if \((a_{1},\ldots,a_{n})\in S\).
- **Anisotropy of Quadratic Forms**: It means that the quadratic form \(f=\sum_{i = 1}^{m}a_{i}x_{i}^{2}\) has no non - trivial zero solutions in \(K\) (i.e., \(f = 0\) has no non - zero solutions).
2. **Main Results**
- The author has proved that for any global field \(K\) of odd characteristic, the set of anisotropic quadratic forms \(\{(a_{i})\in K^{m}:f\text{ does not represent }0\text{ in }K\}\) for the quadratic form \(f=\sum_{i = 1}^{m}a_{i}x_{i}^{2}=0\) is Diophantine.
3. **Methods and Tools**
- Use Koenigsmann's method and its generalization.
- Utilize the known results about Diophantine sets and quadratic forms.
- By studying the cases with different numbers \(m\) of variables, especially the non - trivial case of \(m = 4\), use tools such as class field theory and the local - global principle.
### Specific Steps
1. **Lemmas and Preliminaries**
- Introduce Artin's reciprocity law in class field theory and other related concepts.
- Define and discuss specific rings and ideals, such as \(R_{\sigma}\) and \(J(R_{\sigma})\).
2. **Treatment of Different Numbers \(m\) of Variables**
- For \(m=1,2,3\), directly use the existing results to prove the conclusion.
- For \(m = 4\), use the conditions given in Theorem 2.3 for detailed analysis.
- For \(m\geq5\), use the local - global principle to simplify the problem.
3. **Proof of Key Lemmas**
- Lemma 4.2: Prove that the set \(\{(a_{1},a_{2},a_{3},a_{4})\in K^{4}:(a_{1},a_{2})_{w}\neq-( - a_{3}, - a_{4})_{w}\text{ for some }w\in\Omega_{K}\}\) is a Diophantine set.
Through the above steps, the author has successfully proved that the anisotropy problem of quadratic forms over global fields of odd characteristic is Diophantine, thus solving this problem.
### Summary
The main contribution of this paper lies in transforming the anisotropy problem of quadratic forms into a problem of Diophantine sets and demonstrating the feasibility of this transformation through rigorous mathematical proofs. This not only enriches the research content of Diophantine geometry but also provides new ideas and methods for follow - up research.