Abstract:Let $F$ be a field. Following the resolution of Milnor's conjecture relating the graded Witt ring of $F$ to its mod-2 Milnor $K$-theory, a major problem in the theory of symmetric bilinear forms is to understand, for any positive integer $n$, the low-dimensional part of $I^n(F)$, the $n$th power of the fundamental ideal in the Witt ring of $F$. In a 2004 paper, Karpenko used methods from the theory of algebraic cycles to show that if $\mathfrak{b}$ is a non-zero anisotropic symmetric bilinear form of dimension $< 2^{n+1}$ representing an element of $I^n(F)$, then $\mathfrak{b}$ has dimension $2^{n+1} - 2^i$ for some $1 \leq i \leq n$. When $i = n$, a classical result of Arason and Pfister says that $\mathfrak{b}$ is similar to an $n$-fold Pfister form. At the next level, it has been conjectured that if $n \geq 2$ and $i= n-1$, then $\mathfrak{b}$ is isometric to the tensor product of an $(n-2)$-fold Pfister form and a $6$-dimensional form of trivial discriminant. This has only been shown to be true, however, when $n = 2$, or when $n = 3$ and $\mathrm{char}(F) \neq 2$ (another result of Pfister). In the present article, we prove the conjecture for all values of $n$ in the case where $\mathrm{char}(F) =2$. In addition, we give a short and elementary proof of Karpenko's theorem in the characteristic-2 case, rendering it free from the use of subtle algebraic-geometric tools. Finally, we consider the question of whether additional dimension gaps can appear among the anisotropic forms of dimension $\geq 2^{n+1}$ representing an element of $I^n(F)$. When $\mathrm{char}(F) \neq 2$, a result of Vishik asserts that there are no such gaps, but the situation seems to be less clear when $\mathrm{char}(F) = 2$.

Canonical Forms of $2 \times 2 \times 2$ and $2 \times 2 \times 2 \times 2$ Symmetric Tensors over Prime Fields

Canonical forms of Order-$k$ ($k = 2, 3, 4$) Symmetric Tensors of Format $3 \times \dots \times 3$ Over Prime Fields

Computing symmetric rank for symmetric tensors

Dense families of modular curves, prime numbers and uniform symmetric tensor rank of multiplication in certain finite fields

On $T$-invariant subvarieties of symplectic Grassmannians and representability of rank $2$ symplectic matroids over ${\mathbb C}$

Canonical forms for matrix tuples in polynomial time

Symmetrizations of quadratic and hermitian forms

Symmetric bilinear Forms and Galois Theory

T-Quadratic Forms and Spectral Analysis of T-Symmetric Tensors

Mod 2 representation of the symmetric group of order 2 over cohomology groups of 2-configuration space of torus

On the tensor rank of multiplication in any extension of $\F_2$

Motivic Splittings For Symmetric Matrices

Separable symmetric tensors and separable anti-symmetric tensors

On the ranks and border ranks of symmetric tensors

Inductive systems of the symmetric group, polynomial functors and tensor categories

Permutation invariant tensor models and partition algebras

Stationary probability vectors of higher-order two-dimensional transition probability tensors

Ranks of 0-1 arrays of size 2 x 2 x 2 and 2 x 2 x 2 x 2

On the holes in $I^n$ for symmetric bilinear forms in characteristic 2

Gaps in the pairs (border rank,symmetric rank) for symmetric tensors

Remarks on the algebraic structure of (2, 2) double forms