On the Brauer p-dimension of Henselian discrete valued fields of residual characteristic p > 0

Ramification and extension theory (11S15) Skew fields, division rings (12E15) Valued fields (12J10) Finite-dimensional division rings (16K20) Brauer groups (algebraic aspects) (16K50)

Abstract: Let

(K, v)

be a Henselian discrete valued field with residue field

w i d e h a t K

of characteristic

p

, and Brd

_{p} (K)

be the Brauer

p

-dimension of

K

. This paper shows that Brd

_{p} (K) g e n

, if

[w i d e h a t K c o l o n w i d e h a t K^{p}] = p^{n}

, for some

n i n m a t h b b N

. It proves that Brd

_{p} (K) = i n f t y

if and only if

[w i d e h a t K c o l o n w i d e h a t K^{p}] = i n f t y

.

Review text

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}

Recommendations

Cites work

Cited in

(9)

This page was built for publication: On the Brauer \(p\)-dimension of Henselian discrete valued fields of residual characteristic \(p > 0\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2134644)