R. Parimala,V. Suresh
Abstract:The u-invariant of a field is the maximum dimension of ansiotropic quadratic forms over the field. It is an open question whether the u-invariant of function fields of p-aidc curves is 8. In this paper, we answer this question in the affirmative for function fields of non-dyadic p-adic curves.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is whether the u - invariant of the function field of a p - adic curve is 8. Specifically, the paper focuses on the case of non - dyadic p - adic curve function fields.
### Problem Background
The u - invariant is an important invariant of a field \(F\), defined as the maximum dimension of anisotropic quadratic forms over \(F\). For the function field of a p - adic curve, whether there exists a quadratic form with at least nine variables having a non - trivial zero over it is an open problem. Equivalently, this problem can be stated as: Is the u - invariant of the function field of a p - adic curve equal to 8?
### Main Contributions of the Paper
In this paper, the authors R. Parimala and V. Suresh proved that for non - dyadic p - adic curve function fields, their u - invariants are indeed 8. They solved this problem through the following steps:
1. **Properties of Galois Cohomology Groups**:
- Using Saltman's results, it is proved that every element in the Galois cohomology group \(H^2(K,\mathbb{Z}/2\mathbb{Z})\) can be represented as the sum of at most two symbols.
- Using Kato's results, it is proved that the unramified cohomology group \(H^3_{nr}(K/X,\mathbb{Z}/2\mathbb{Z}(2))\) is zero.
2. **Local - Global Principle**:
- By introducing a local - global principle, it is proved that for a given \(\zeta\in H^3(K,\mu_l^{\otimes 2})\) and \(\alpha\in H^2(K,\mu_l)\), if \(\zeta = \alpha\cup(f_v)\) for all discrete valuations \(v\), then there exists \(f\in K^*\) such that \(\zeta=\alpha\cup(f)\).
3. **Application of Key Lemmas and Theorems**:
- Applying Saltman's results on the ramification pattern of central simple algebras, it is further proved that under specific conditions, every element in \(H^3(K,\mu_l^{\otimes 3})\) is a symbol.
### Conclusion
Through these results, the authors successfully proved that for non - dyadic p - adic curve function fields, their u - invariants are 8. This not only answers a long - standing open question but also provides an important theoretical basis for the study of the quadratic form theory of p - adic curve function fields.
### Formula Display
The key formulas involved in the paper include:
- Symbolic representation of Galois cohomology groups:
\[
(a_1)\cdot(a_2)\cdots(a_n)\in H^n(F,\mu_l^{\otimes n})
\]
- Cohomology group relations in the local - global principle:
\[
\zeta=\alpha\cup(f_v)\quad\text{for all discrete valuations }v
\]
- Definition of the u - invariant:
\[
u(F)=\sup\{\text{rk}(q)\mid q\text{ is an anisotropic quadratic form over }F\}
\]
These formulas and results together form the core content of the paper, proving that the u - invariant of non - dyadic p - adic curve function fields is 8.