Essential dimension of simple algebras in positive characteristic

TL;DR

This paper investigates the essential p-dimension of classes of simple algebras and related structures over fields of positive characteristic, providing bounds and exact values for specific cases.

Contribution

It establishes lower bounds for the essential p-dimension of certain algebra classes and computes exact values for specific cases in positive characteristic.

Findings

Exact value of essential 2-dimension for 4,2 is 3.

Upper bounds for 4,2 and 8,2 are established.

Shows bounds for the essential dimension of algebra classes in characteristic p.

Abstract

Let $p$ be a prime integer, $1\leq s\leq r$ integers, $F$ a field of characteristic $p$. Let $\cat{Dec}_{p^r}$ denote the class of the tensor product of $r$ $p$-symbols and $\cat{Alg}_{p^r,p^s}$ denote the class of central simple algebras of degree $p^r$ and exponent dividing $p^s$. For any integers $s<r$, we find a lower bound for the essential $p$-dimension of $\cat{Alg}_{p^r,p^s}$. Furthermore, we compute upper bounds for $\cat{Dec}_{p^r}$ and $\cat{Alg}_{8,2}$ over $\ch(F)=p$ and $\ch(F)=2$, respectively. As a result, we show $\ed_{2}(\cat{Alg}_{4,2})=\ed(\cat{Alg}_{4,2})=\ed_{2}(\gGL_{4}/\gmu_{2})=\ed(\gGL_{4}/\gmu_{2})=3$ and $3\leq \ed(\cat{Alg}_{8,2})=\ed(\gGL_{8}/\gmu_{2})\leq 10$ over a field of characteristic 2.