English

Classes in $\mathrm H_{p^m}^{n+1}(F)$ of lower exponent

Rings and Algebras 2026-02-11 v1

Abstract

Let FF be a field of characteristic p>0p>0. We prove that if a symbol A=ωβ1βnA=\omega \otimes \beta_1 \otimes \dots \otimes \beta_n in Hpmn+1(F)H_{p^m}^{n+1}(F) is of exponent dividing pm1p^{m-1}, then its symbol length in Hpm1n+1(F)H_{p^{m-1}}^{n+1}(F) is at most pnp^n. In the case n=2n=2 we also prove that if A=ω1β1++ωrβrA= \omega_1\otimes \beta_1+\cdots+\omega_r\otimes \beta_r in Hpm2(F)H_{p^{m}}^2(F) satisfies exp(A)pm1\exp(A)|p^{m-1}, then the symbol length of AA in Hpm12(F)H_{p^{m-1}}^2(F) is at most pr+r1p^r+r-1. We conclude by looking at the case p=2p=2 and proving that if AA is a sum of two symbols in H2mn+1(F)H_{2^m}^{n+1}(F) and expA2m1\exp A |2^{m-1}, then the symbol length of AA in H2m1n+1(F)H_{2^{m-1}}^{n+1}(F) is at most (2n+1)2n(2n+1)2^n. Our results use norm conditions in characteristic pp in the same manner as Matrzi in his paper ``On the symbol length of symbols''.

Keywords

Cite

@article{arxiv.2409.16447,
  title  = {Classes in $\mathrm H_{p^m}^{n+1}(F)$ of lower exponent},
  author = {Adam Chapman and Daniel Krashen and Kelly McKinnie},
  journal= {arXiv preprint arXiv:2409.16447},
  year   = {2026}
}