Symbol Length of $p$-Algebras of Prime Exponent

TL;DR

This paper establishes bounds on the symbol length of p-algebras of prime exponent over fields with certain polynomial form properties, linking algebraic structure to polynomial form dimensions.

Contribution

It introduces a new upper bound for the symbol length of p-algebras based on the maximal dimension of anisotropic forms, and shows how tensor products can be modified to share common slots.

Findings

Bound on symbol length: eil((d-1)/p)eiling - 1.

Modification of tensor products to share common slots when sum of lengths times p exceeds d-1.

For p=2, upper bound relates to u-invariant, sharp when I_q^3 F=0.

Abstract

We prove that if the maximal dimension of an anisotropic homogeneous polynomial form of prime degree $p$ over a field $F$ with $\operatorname{char}(F)=p$ is a finite integer $d$ greater than 1 then the symbol length of $p$-algebras of exponent $p$ over $F$ is bounded from above by $\left \lceil \frac{d-1}{p} \right \rceil-1$, and show that every two tensor products of symbol algebras of lengths $k$ and $\ell$ with $(k+\ell) p \geq d-1$ can be modified so that they share a common slot. For $p=2$, we obtain an upper bound of $\frac{u(F)}{2}-1$ for the symbol length, which is sharp when $I_q^3 F=0$.