login
A263800
Numbers n such that there is some field with u-invariant n.
0
1, 2, 4, 6, 8, 9, 10
OFFSET
1,2
COMMENTS
Let F be a field of characteristic other than 2. Call a quadratic form over F isotropic if it represents zero nontrivially over F, or anisotropic otherwise. The u-invariant of a field F is the supremum of the dimensions of anisotropic quadratic forms over F.
It is folklore that 3, 5, and 7 are not in this sequence, see for example Proposition 6.8 in Lam 2005 chapter XI. Merkurjev showed that a(4) = 6, and more generally (see Merkurʹev 1991) that 2n is in this sequence for n > 0. Izhboldin showed that a(6) = 9. It is not known if 11, 13, 15, ... are in this sequence, see Question 6.4 in chapter XIII in Lam 2005.
REFERENCES
Tsit-Yuen Lam, Fields of u-invariant 6 after A. Merkurjev, Ring theory 1989. In honor of S. A. Amitsur, Proc. Symp. and Workshop, Jerusalem/Isr. 1988/89, Isr. Math. Conf. Proc. 1, 12-30 (1989).
Tsit-Yuen Lam, Introduction to Quadratic Forms Over Fields (2005); 550 pp.
A. S. Merkurjev, Simple algebras over function fields of quadrics, manuscript (1989), 6 pp.
A. S. Merkurʹev, Simple algebras and quadratic forms (Russian), Izv. Akad. Nauk SSSR Ser. Mat. 55:1 (1991), pp. 218-224; translation in Math. USSR-Izv. 38:1 (1992), pp. 215-221.
LINKS
Oleg T. Izhboldin, Fields of u-Invariant 9, Annals of Mathematics, Second Series, 154:3 (Nov 2001), pp. 529-587.
Wikipedia, u-invariant
EXAMPLE
u(F) = 1 for all quadratically-closed fields (like C), so 1 is in the sequence.
u(F) = 2 for all finite fields (like F_2), so 2 is in the sequence.
u(F) is not 3 for any field F, so 3 is not in the sequence.
CROSSREFS
Sequence in context: A088308 A167832 A134488 * A168496 A328077 A285129
KEYWORD
hard,nonn,more
AUTHOR
STATUS
approved