A comparison of finiteness conditions in quadratic form theory

Karim Johannes Becher,Saurabh Gosavi
2023-03-12
Abstract:We discuss and relate finiteness conditions for certain field invariants which are studied in quadratic form theory. This includes the $u$-invariant, the reduced stability index and the symbol lengths for Galois cohomology groups with coefficients in $\mu_2=\{+1,-1\}$, as well as a new invariant called the splitting height.
Number Theory,K-Theory and Homology
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the relationship between the finiteness conditions of certain field invariants in the theory of quadratic forms. Specifically, the author has studied the following invariants: 1. **u - invariant** (u - invariant): Defined as the maximum dimension of all anisotropic twisted forms over the field \(F\). 2. **Symbol lengths**: Related to the representation of elements in the Galois cohomology group \(H^n(F,\mu_2)\). 3. **Stability index**: Controls the ordering space of the field \(F\). 4. **Splitting height**: Measures the minimum degree at which a certain quadratic form becomes separable under a finite field extension. ### Main problem The main purpose of the paper is to explore the relationship between the finiteness conditions of these invariants, in particular: - Whether the finiteness of the u - invariant is equivalent to the finiteness of other invariants (such as symbol lengths, stability index). - How these finiteness conditions behave in different types of fields (for example, non - real fields and real fields). ### Specific problems The paper also pays special attention to the following points: 1. **The relationship between the u - invariant and symbol lengths**: For fields containing a fourth - primitive root of unity, the finiteness of the u - invariant is equivalent to the finiteness of the symbol lengths \(\lambda_n\) for all \(n\in\mathbb{N}\). 2. **The role of the stability index**: Especially in real fields, the study of the u - invariant needs to be combined with the stability index to control the ordering space of the field. 3. **The influence of the splitting height**: By introducing the splitting height, the author studies the behavior of Galois cohomology classes under finite field extensions and explores its influence on symbol lengths. ### Main conclusions The main conclusions of the paper are to prove that the following five conditions are equivalent: 1. \(u(F)<\infty\) and \(st(F)<\infty\). 2. \(u(F(\sqrt{- 1}))<\infty\). 3. For all \(n\in\mathbb{N}\), \(\lambda_n(F)<\infty\). 4. For all \(2\leq n\leq2\lambda_2(F)+1\), \(\lambda_n(F)<\infty\). 5. For each \(d\geq1\), there exists \(N_d\in\mathbb{N}\) such that for all field extensions \(F'/F\) satisfying \([F':F]\leq d\), we have \(\gamma(F')\leq N_d\). These results provide profound insights into understanding various invariants in the theory of quadratic forms and establish a close connection between them.