The second-level classification conjecture for low-dimensional forms in InI^n

Let FF be a field, let In(F)I^n(F) denote the nnth power of the fundamental ideal in the Witt ring of FF, and let u u-fold Pfister forms be tensor products of u u binary forms. An Albert form is a 66-dimensional symmetric bilinear form of trivial discriminant. Let nn be an integer with n2n\geq 2, and let b\mathfrak{b} be an anisotropic symmetric bilinear form of dimension 2n+2n12^n+2^{n-1} over FF. The second-level classification conjecture. If b\mathfrak{b} represents an element of In(F)I^n(F), then there are an (n2)(n-2)-fold Pfister form c\mathfrak{c} and an Albert form d\mathfrak{d} over FF such that

bcd.\mathfrak{b}\simeq\mathfrak{c}\otimes\mathfrak{d}.

This conjecture extends the known classification of forms at the first level and the characteristic-not-two results for dimensions 66 and 1212; its status is not resolved in the supplied source context.

Sources & referencesView supporting material

Primary source

Stephen Scully, “On the holes in I^n for symmetric bilinear forms in characteristic 2”, arXiv:2409.02061 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.