On Brauer \(p\)-dimensions and index-exponent relations over finitely-generated field extensions.
type: Item
instance of: scholarly article
title: On Brauer \(p\)-dimensions and index-exponent relations over finitely-generated field extensions.
zbMATH Open document ID: 1337.16015
author: Ivan D. Chipchakov
published in: Manuscripta Mathematica
publication date: 2015-11-09T00:00:00Z
full work available at URL: https://arxiv.org/abs/1501.05977
review text: Recall that if \(A\) is a central division algebra over a field \(E\), then its exponent (i.e. the order of its class \([A]\) in the Brauer group \(\text{Br}(E)\)) and its index form a Brauer pair \((\exp(A),\text{ind}(A))\), i.e. \(\exp(A)\) divides \(\text{ind}(A)\) and each prime dividing \(\text{ind}(A)\) also divides \(\exp(A)\). Let \(\mathbb P\) denote the set of all primes and let \(p\in\mathbb P\). The Brauer \(p\)-dimension \(\text{Brd}_p(E)\) of \(E\) is defined to be the least integer \(n\geq 0\) such that for each central simple algebra \(A\) over \(E\) of \(p\)-power exponent one has that \(\text{ind}(A)\leq\exp(A)^n\), provided such an integer exists. Otherwise, one defines \(\text{Brd}_p(E)=\infty\). The absolute Brauer \(p\)-dimension \(\text{abrd}_p(E)\) is the supremum of all \(\text{Brd}_p(F)\) where \(F\) runs over all finite separable extensions of \(E\). The (absolute) Brauer dimension of \(E\) is then defined to be \(\text{Brd}(E)=\sup\{\text{Brd}_p(E)\mid p\in\mathbb P\}\) (resp. \(\text{abrd}(E)=\sup\{\text{abrd}_p(E)\mid p\in\mathbb P\}\)). In the present paper, the author studies the behaviour of these invariants when passing from the field \(E\) to a finitely generated extension \(F\) over \(E\) of transcendence degree \(\kappa\geq 1\). The main results are as follows. If \(\text{abrd}_p(E)<\infty\) and if \(F/E\) is rational, then \(\text{Brd}_p(F)\geq\text{abrd}_p(E)+\kappa-1\). If \(\text{abrd}_p(E)=\infty\), then \(\text{Brd}_p(F)=\infty\), and to all integers \(n\geq m>0\) there exists a central division algebra \(D_{n,m}\) over \(F\) with \((\exp(D_{n,m}),\text{ind}(D_{n,m}))=(p^m,p^n)\). Suppose now that \(\text{char}(E)=p\). If \([E:E^p]=\infty\) then \(\text{Brd}_p(F)=\infty\), and if \([E:E^p]=p^\nu<\infty\) then \(\nu+\kappa-1\leq\text{Brd}_p(F)\leq\nu+\kappa\). As a consequence, it is shown that if \(\text{abrd}(E)=\infty\), then \(\text{Brd}(F)=\infty\) for every finitely generated purely transcendental extension. The proofs…
reviewed by: Detlev Hoffmann
Mathematics Subject Classification ID: 16K20
Mathematics Subject Classification ID: 16K50
Mathematics Subject Classification ID: 12E15
Mathematics Subject Classification ID: 12F10
Mathematics Subject Classification ID: 12F20
Mathematics Subject Classification ID: 12J10
zbMATH DE Number: 6505845
zbMATH Keywords: central simple algebras
zbMATH Keywords: central division algebras
zbMATH Keywords: Brauer groups
zbMATH Keywords: index
zbMATH Keywords: exponent
zbMATH Keywords: Brauer dimension
zbMATH Keywords: absolute Brauer dimension
zbMATH Keywords: Brauer \(p\)-dimension
zbMATH Keywords: absolute Brauer \(p\)-dimension
zbMATH Keywords: finitely generated field extensions
zbMATH Keywords: Henselian fields
MaRDI profile type: Publication
OpenAlex ID: W2143082489
arXiv ID: 1501.05977
cites work: Q5777227
cites work: Open problems on central simple algebras.
cites work: The Henselization of a valued division algebra
cites work: The normality of locally finite associative division algebras over classical fields
cites work: On the classification of central division algebras of linearly bounded degree over global fields and local fields
cites work: Lower Bounds and Infinity Criterion for Brauer p‑dimensions of Finitely-generated Field Extensions
cites work: On the behaviour of Brauer \(p\)-dimensions under finitely-generated field extensions.
cites work: On Brauer \(p\)-dimensions and absolute Brauer \(p\)-dimensions of Henselian fields
cites work: Q3963168
cites work: Ostrwoski's theorem for Henselian valued skew fields.
cites work: Explicit regular realization of finite abelian groups as Galois groups
cites work: A Hasse principle for function fields over PAC fields
cites work: Q5290047
cites work: Q4552286
cites work: Q4830003
cites work: Applications of patching to quadratic forms and central simple algebras
cites work: Q3939864
cites work: Division algebras over Henselian fields.
cites work: The period-index problem for the Brauer group of an algebraic surface
cites work: Comparison of some field invariants
cites work: A conjecture of Ax and degenerations of Fano varieties
cites work: On quasi algebraic closure
cites work: On motivic cohomology with \(\mathbb{Z}/l\)-coefficients
cites work: Twisted sheaves and the period-index problem
cites work: Period and index in the Brauer group of an arithmetic surface
cites work: Q4440906
cites work: Symbol length in the Brauer group of a field
cites work: Q3682579
cites work: Brauer groups of fields
cites work: $ K$-COHOMOLOGY OF SEVERI-BRAUER VARIETIES AND THE NORM RESIDUE HOMOMORPHISM
cites work: Q5762598
cites work: Period-index and \(u\)-invariant questions for function fields over complete discretely valued fields
cites work: Q3961610
cites work: Q4061092
cites work: Q4353892
cites work: Q5796078
cites work: Q4349107
DOI: 10.1007/S00229-015-0745-7
Recommended article: On the behaviour of Brauer \(p\)-dimensions under finitely-generated field extensions.
Recommended article: Lower Bounds and Infinity Criterion for Brauer p‑dimensions of Finitely-generated Field Extensions
Recommended article: On Brauer \(p\)-dimensions and absolute Brauer \(p\)-dimensions of Henselian fields
Recommended article: Brauer $p$-dimension of complete discretely valued fields
Recommended article: On the \(p\)-dimension of fields
Recommended article: On the Brauer group of an algebraic variety over a finite field
Recommended article: On the cohomological dimension of pro-\(p\)-extensions of number fields
Recommended article: Brauer-type results on semigroups over \(p\)-adic fields.
Recommended article: Q4488108
Recommended article: On the Brauer monoid for finite fields