A263800 Numbers n such that there is some field with u-invariant n.

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

Table of n, a(n) for n=1..7.

Oleg T. Izhboldin, Fields of u-Invariant 9, Annals of Mathematics, Second Series, 154:3 (Nov 2001), pp. 529-587.

Wikipedia, Isotropic quadratic form

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

Adjacent sequences: A263797 A263798 A263799 * A263801 A263802 A263803

Keyword

hard,nonn,more

Author

Charles R Greathouse IV, Oct 26 2015

Status

approved