Abstract:We use the Witt index to define and study a refined notion of the local-global principle for isotropy of quadratic forms over a field $k$ and to define and study refined versions of the $m$-invariant of $k$. We also explore connections between these refinements.
What problem does this paper attempt to address?
The main problems that this paper attempts to solve are to define and study the refined version of the local - global principle of quadratic forms over the field \(k\) through the Witt index, and to define and study the refined version of the \(m\)-invariant. Specifically:
1. **Refinement of the local - global principle**:
- The paper introduces the concept of LGP(\(r, s\)), that is, if a quadratic form \(q\) satisfies \(i_W(q_v)\geq r\) under all discrete valuations \(v\in V\), then whether it satisfies \(i_W(q)\geq s\) globally.
- The author explores the validity of this refined local - global principle in certain cases and provides counter - examples, indicating that even if the local Witt index is large, it does not necessarily guarantee that the global Witt index reaches the expected value.
2. **Refinement of the \(m\)-invariant**:
- The \(m\)-invariant is a measure of the dimension of the smallest anisotropic universal quadratic form over a field. The paper defines a more refined invariant \(m_{i,j}(k)\) through the Witt index and studies the properties of these new invariants and their relationships with the classical \(m\)-invariant and \(u\)-invariant.
- The author shows that these refined invariants provide more information than traditional invariants and can distinguish fields with the same \(m\)-invariant and \(u\)-invariant in certain cases.
### Main Results
- **Theorem 2.3**: For a field \(\ell\) satisfying the \(A_i(2)\) property, there exist quadratic forms on the purely transcendental extension \(L_r = \ell(x_1,\ldots,x_r)\) that violate LGP(\(2^i + r - 2 - n, 1\)).
- **Proposition 2.15**: If a quadratic form \(q\) is an In - neighbor and the local - global principle holds for isometries, then \(q\) satisfies a specific LGP condition.
- **Theorem 3.10**: Gives the upper and lower bounds of the refined \(m\)-invariant \(m_{i,j}(k)\) and proves that these bounds are tight under certain conditions.
- **Theorem 3.16**: If two fields have the same refined \(m\)-invariant, then their \(u\)-invariants are also the same.
### Conclusion
Through in - depth research on the Witt index, the paper proposes refined versions of the local - global principle and the \(m\)-invariant in quadratic form theory and shows the potential of these new concepts in understanding the behavior of quadratic forms.