On the Brauer \(p\)-dimension of Henselian discrete valued fields of residual characteristic \(p > 0\) (Q2134644)

Let \(E\) be a field, \(\mathrm{Br}(E)\) its Brauer group, \(s(E)\) the class of finite-dimensional central simple algebras over \(E\), and \(d(E)\) the subclass of division algebras \(D\in s(E)\). For each \(A\in s(E)\), let \([A]\) be the equivalence class of \(A\) in \(\mathrm{Br}(E)\), and let deg\((A)\), ind\((A)\), exp\((A)\) be the degree, the Schur index and the exponent of \(A\). For a prime number \(p\), the \textit{Brauer \(p\)-dimension} \(\mathrm{Brd}_p(E)\) is defined to be the smallest number \(n\), for which \(\mathrm{ind}(P)|\mathrm{exp}(P)^n\) whenever \(P\in s(E)\) and \([P]\) lies in the \(p\)-component \(\mathrm{Br}(E)_p\) of \(\mathrm{Br}(E)\); if no such \(n\) exists, set \(\mathrm{Brd}_p(E)=\infty\). The author says that the knowledge of \(\mathrm{Brd}_p(E)\) provides a better understanding the behaviour of index-exponent relations over finitely-generated transcendental extensions of \(E\) (see [the author, Manuscr. Math. 148, 485--500 (2015; Zbl 1337.16015)]). In the paper under review, the author considers \(\mathrm{Brd}(K)_p\), for a Henselian discrete valued field \((K,v)\) with \(\mathrm{char}\hat{K}=p\), where \(\hat{K}\) is the residue field of the discrete valuation \(v\) on \(K\). The main result of the paper is as follow: Theorem. Let \((K,v)\) be a Henselian discrete valued field with \(\mathrm{char}\hat{K}=p\), where \(\hat{K}\) is the residue field of the discrete valuation \(v\) on \(K\). Then the following statements hold: \begin{itemize} \item[1.] \(\mathrm{Brd}_p(K)=\infty\) if and only if \(\hat{K}/\hat{K}^p\) is an infinite extension; \item[2.] There exists a division ring \(D\in d(K)\) with \(\exp(D)=p\) and \(\deg(D)=p^n\), provided that \([\hat{K}:\hat{K}^p]=p^n\), for some \(n\in\mathbb{N}\); in particular, \(\mathrm{Brd}_p(K)\geq n\). \end{itemize}