Symbol length and stability index (Q448395): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Let \(F\) be a field of characteristic not \(2\). Let \(n\in{\mathbb N}\) and denote by \(k_n(F)\) the Milnor \(K\)-group \(K_n(F)\) modulo \(2\). \(k_n(F)\) is additively generated by ``symbols'' \(\{ a_1,\ldots,a_n\}\), \(a_i\in F^\times\), and by theorems by Voevodsky resp. Orlov-Vishik-Voevodsky it is known that \(k_n(F)\) is isomorphic via canonical homomorphisms to \(I^nF/I^{n+1}F\) (where \(I^nF\) denotes the \(n\)-th power of the fundamental ideal \(IF\) in the Witt ring \(WF\)) and to \(H^n(F,{\mathbb Z}/2{\mathbb Z})\), the \(n\)-th Galois cohomology group of \(F\) with coefficients in \({\mathbb Z}/2{\mathbb Z}\) (these statements were formerly known as the Milnor Conjectures). The \(n\)-symbol length \(\lambda_n(F)\) is defined to be the smallest nonnegative integer \(m\) such that each element in \(k_n(F)\) can be written as a sum of \(m\) symbols, provided such an integer exists, and \(\lambda_n(F)=\infty\) otherwise. If \(F\) is real and \(T\) is a preordering on \(F\) with \([F^\times:T^\times]=2^{n+1}\), and \(X_T\) is the space of those orderings on \(F\) that contain \(T\), then it is known that \(|X_T|\leq 2^n\), and \(T\) is called a fan of degree \(n\) if equality holds. The (reduced) stability index \(\text{st}(F)\) is defined to be the supremum of the degrees of all the fans of \(F\). The main purpose of the present paper is to relate \(\text{st}(F)\) to \(\lambda_n(F)\) for a real field \(F\), and more generally in the context of an abstract Witt ring with suitable adaptations of the definitions of the symbol length and the stability index. The results for fields read as follows. If \(\lambda_i(F)<\infty\) for some \(i\geq 2\) then \(\text{st}(F)<\infty\), in particular \(\text{st}(F)\leq 2\lambda_2(F)-1\). If \(F\) is Pythagorean, then one also has that \(s=\text{st}(F)<\infty\) implies \(\lambda_2(F)<\infty\). More precisely, one has \(\lambda_2(F)=s\) if \(1\leq s\leq 2\), and \([s/2]+1\leq \lambda_2(F)\leq 2^{s-1}(2^{s-2}-1)\) if \(s\geq 3\). Examples show that for \(s\geq 3\), the lower bound is sharp, but it is apparently not clear how good the upper bound really is. | |||
Property / review text: Let \(F\) be a field of characteristic not \(2\). Let \(n\in{\mathbb N}\) and denote by \(k_n(F)\) the Milnor \(K\)-group \(K_n(F)\) modulo \(2\). \(k_n(F)\) is additively generated by ``symbols'' \(\{ a_1,\ldots,a_n\}\), \(a_i\in F^\times\), and by theorems by Voevodsky resp. Orlov-Vishik-Voevodsky it is known that \(k_n(F)\) is isomorphic via canonical homomorphisms to \(I^nF/I^{n+1}F\) (where \(I^nF\) denotes the \(n\)-th power of the fundamental ideal \(IF\) in the Witt ring \(WF\)) and to \(H^n(F,{\mathbb Z}/2{\mathbb Z})\), the \(n\)-th Galois cohomology group of \(F\) with coefficients in \({\mathbb Z}/2{\mathbb Z}\) (these statements were formerly known as the Milnor Conjectures). The \(n\)-symbol length \(\lambda_n(F)\) is defined to be the smallest nonnegative integer \(m\) such that each element in \(k_n(F)\) can be written as a sum of \(m\) symbols, provided such an integer exists, and \(\lambda_n(F)=\infty\) otherwise. If \(F\) is real and \(T\) is a preordering on \(F\) with \([F^\times:T^\times]=2^{n+1}\), and \(X_T\) is the space of those orderings on \(F\) that contain \(T\), then it is known that \(|X_T|\leq 2^n\), and \(T\) is called a fan of degree \(n\) if equality holds. The (reduced) stability index \(\text{st}(F)\) is defined to be the supremum of the degrees of all the fans of \(F\). The main purpose of the present paper is to relate \(\text{st}(F)\) to \(\lambda_n(F)\) for a real field \(F\), and more generally in the context of an abstract Witt ring with suitable adaptations of the definitions of the symbol length and the stability index. The results for fields read as follows. If \(\lambda_i(F)<\infty\) for some \(i\geq 2\) then \(\text{st}(F)<\infty\), in particular \(\text{st}(F)\leq 2\lambda_2(F)-1\). If \(F\) is Pythagorean, then one also has that \(s=\text{st}(F)<\infty\) implies \(\lambda_2(F)<\infty\). More precisely, one has \(\lambda_2(F)=s\) if \(1\leq s\leq 2\), and \([s/2]+1\leq \lambda_2(F)\leq 2^{s-1}(2^{s-2}-1)\) if \(s\geq 3\). Examples show that for \(s\geq 3\), the lower bound is sharp, but it is apparently not clear how good the upper bound really is. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Detlev W. Hoffmann / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11E10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11E04 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11E81 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 12D15 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6078362 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
quadratic form | |||
Property / zbMATH Keywords: quadratic form / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Pythagorean field | |||
Property / zbMATH Keywords: Pythagorean field / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
abstract Witt ring | |||
Property / zbMATH Keywords: abstract Witt ring / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
reduced Witt ring | |||
Property / zbMATH Keywords: reduced Witt ring / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
stability index | |||
Property / zbMATH Keywords: stability index / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Milnor \(K\)-theory | |||
Property / zbMATH Keywords: Milnor \(K\)-theory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
symbol length | |||
Property / zbMATH Keywords: symbol length / rank | |||
Normal rank |
Revision as of 10:39, 30 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Symbol length and stability index |
scientific article |
Statements
Symbol length and stability index (English)
0 references
6 September 2012
0 references
Let \(F\) be a field of characteristic not \(2\). Let \(n\in{\mathbb N}\) and denote by \(k_n(F)\) the Milnor \(K\)-group \(K_n(F)\) modulo \(2\). \(k_n(F)\) is additively generated by ``symbols'' \(\{ a_1,\ldots,a_n\}\), \(a_i\in F^\times\), and by theorems by Voevodsky resp. Orlov-Vishik-Voevodsky it is known that \(k_n(F)\) is isomorphic via canonical homomorphisms to \(I^nF/I^{n+1}F\) (where \(I^nF\) denotes the \(n\)-th power of the fundamental ideal \(IF\) in the Witt ring \(WF\)) and to \(H^n(F,{\mathbb Z}/2{\mathbb Z})\), the \(n\)-th Galois cohomology group of \(F\) with coefficients in \({\mathbb Z}/2{\mathbb Z}\) (these statements were formerly known as the Milnor Conjectures). The \(n\)-symbol length \(\lambda_n(F)\) is defined to be the smallest nonnegative integer \(m\) such that each element in \(k_n(F)\) can be written as a sum of \(m\) symbols, provided such an integer exists, and \(\lambda_n(F)=\infty\) otherwise. If \(F\) is real and \(T\) is a preordering on \(F\) with \([F^\times:T^\times]=2^{n+1}\), and \(X_T\) is the space of those orderings on \(F\) that contain \(T\), then it is known that \(|X_T|\leq 2^n\), and \(T\) is called a fan of degree \(n\) if equality holds. The (reduced) stability index \(\text{st}(F)\) is defined to be the supremum of the degrees of all the fans of \(F\). The main purpose of the present paper is to relate \(\text{st}(F)\) to \(\lambda_n(F)\) for a real field \(F\), and more generally in the context of an abstract Witt ring with suitable adaptations of the definitions of the symbol length and the stability index. The results for fields read as follows. If \(\lambda_i(F)<\infty\) for some \(i\geq 2\) then \(\text{st}(F)<\infty\), in particular \(\text{st}(F)\leq 2\lambda_2(F)-1\). If \(F\) is Pythagorean, then one also has that \(s=\text{st}(F)<\infty\) implies \(\lambda_2(F)<\infty\). More precisely, one has \(\lambda_2(F)=s\) if \(1\leq s\leq 2\), and \([s/2]+1\leq \lambda_2(F)\leq 2^{s-1}(2^{s-2}-1)\) if \(s\geq 3\). Examples show that for \(s\geq 3\), the lower bound is sharp, but it is apparently not clear how good the upper bound really is.
0 references
quadratic form
0 references
Pythagorean field
0 references
abstract Witt ring
0 references
reduced Witt ring
0 references
stability index
0 references
Milnor \(K\)-theory
0 references
symbol length
0 references