English

Asymptotic Brauer $p$-Dimension

Rings and Algebras 2021-09-27 v1 Number Theory

Abstract

We define and compute ABrdp(F)\operatorname{ABrd}_p(F), the asymptotic Brauer pp-dimension of a field FF, in cases where FF is a rational function field or Laurent series field. ABrdp(F)\operatorname{ABrd}_p(F) is defined like the Brauer pp-dimension except it considers finite sets of Brauer classes instead of single classes. Our main result shows that for fields F0(α1,,αn)F_0(\alpha_1,\dots,\alpha_n) and F0( ⁣(α1) ⁣)( ⁣(αn) ⁣)F_0 (\!( \alpha_1)\!) \dots(\!(\alpha_n)\!) where F0F_0 is a perfect field of characteristic p>0p>0 when n2n \geq 2 the asymptotic Brauer pp-dimension is nn. We also show that it is n1n-1 when F=F0( ⁣(α1) ⁣)( ⁣(αn) ⁣)F=F_0 (\!( \alpha_1)\!) \dots(\!(\alpha_n)\!) and F0F_0 is algebraically closed of characteristic not pp. We conclude the paper with examples of pairs of cyclic algebras of odd prime degree pp over a field FF for which Brdp(F)=2\operatorname{Brd}_p(F)=2 that share no maximal subfields despite their tensor product being non-division.

Cite

@article{arxiv.2109.11918,
  title  = {Asymptotic Brauer $p$-Dimension},
  author = {Adam Chapman and Kelly McKinnie},
  journal= {arXiv preprint arXiv:2109.11918},
  year   = {2021}
}
R2 v1 2026-06-24T06:17:40.420Z