Abstract:We study linkage of $(d+1)$-fold quadratic Pfister forms over function fields in one variable over a henselian valued field of 2-cohomological dimension $d$. Specifically, we characterise this property in terms of linkage of quadratic Pfister forms over function fields over the residue field of the henselian valued field; in full generality in characteristic different from 2, and for most complete discretely valued fields in characteristic 2. As an application, we obtain a proof that $(d+2)$-fold quadratic Pfister forms over function fields in one variable over a $d$-dimensional higher local field are linked.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to study the linkage problem of Pfister forms over semi - global fields. Specifically, the author explores the linkage properties of (d + 1)-fold quadratic Pfister forms over function fields under certain specific conditions.
### Research Background and Motivation
In number theory and algebraic geometry, Pfister forms are an important class of quadratic forms with wide applications. For global fields (such as the rational number field Q), any pair of quaternion algebras are linked, that is, they have a common quadratic sub - field. This fact can be deduced from the Hasse - Minkowski theorem and implies that the sum of any finite number of quaternion algebra classes in the Brauer group Br(K) can still be represented by a quaternion algebra.
However, when the base field K is not a global field, the above conclusion no longer holds. For example, in the finitely generated extensions of non - real global fields of characteristic 2, there exist pairs of unlinked quaternion algebras. Therefore, it is necessary to study higher - dimensional analogues, that is, the linkage properties of d - fold Pfister forms.
### Main Research Content
This paper mainly studies the linkage properties of (d + 1)-fold quadratic Pfister forms over the function fields of one variable over Henselian valued fields with 2 - cohomology dimension d. Specifically, the author conducts the research through the following steps:
1. **Definitions and Preliminaries**: Introduces the necessary terms and symbols, including quadratic forms, bilinear Pfister forms, Henselian valued fields, etc.
2. **Main Results**: Proves that under certain conditions, (d + 1)-fold quadratic Pfister forms are linked over the function fields of one variable. In particular, the author gives a new proof method, which avoids relying on the cohomology techniques or complex zero - counting arguments used in previous works.
3. **Generalization and Application**: Generalizes the results to the function fields over so - called "high local fields" and obtains some specific applications.
### Main Conclusions
The main conclusions of the paper can be summarized as follows:
- In the case where the characteristic is not 2, if the residue field of a Henselian valued field is an Ld - field, then the valued field itself is an Ld + m - field.
- For dyadic Henselian discrete valued fields of characteristic 0, a similar conclusion is given, but in the case of characteristic 2, only specific situations can be dealt with.
- By using the latest local - global principle, the study of the problem is simplified, making it possible to study the linkage properties on certain specific families of Henselian valued fields.
In summary, this paper fills the gaps in the existing literature by in - depth study of the linkage properties of Pfister forms over semi - global fields and provides some new proof methods and technical means.