A Hermitian analogue of the Bröcker-Prestel theorem.
Let \(F\) be a field of characteristic different from \(2\), and for each nontrivial valuation \(v\) of \(F\), let \(F_{h(v)}\) be the Henselization of \(F\) relative to \(v\). When \(F\) is formally real, \(F_P\) denotes the Pythagorean closure of \(F\) with respect to any ordering \(P\) on \(F\). Assume that \(A\) is a finite dimensional central simple \(F\)-algebra with an involution \(\sigma\) of the first kind. We say that \((A,\sigma)\) is isotropic, if \(\sigma(x)x=0\), for some nonzero element \(x\in A\); \((A,\sigma)\) is called weakly isotropic, if there exist nonzero elements \(x_1,\dots,x_n\in A\), such that \(\sum_{j=1}^n\sigma(x_j)x_j=0\). The main result of the paper under review shows that \((A,\sigma)\) is weakly isotropic if and only if the following two conditions are satisfied: (i) \((A\otimes_FF_{h(v)},\sigma\otimes\text{id}_{F_{h(v)}})\) is weakly isotropic, for every nontrivial real-valued valuation \(v\) of \(F\); (ii) \((A\otimes_FF_P,\sigma\otimes\text{id}_{F_P})\) is isotropic, for each ordering \(P\) on \(F\). This is an analogue to the Bröcker-Prestel local-global principle characterizing weak isotropy of quadratic forms over a formally real field. An improved result is presented when \(F\) satisfies the strong approximation property or the effective diagonalization property, and also, for algebras with a decomposable involution, and for algebras of Pythagorean index at most two.
- A local-global principle for algebras with involution and Hermitian forms.
- A Springer theorem for Hermitian forms.
- A weak Hasse principle for central simple algebras with an involution
- Hasse principles and the u-invariant over formally real fields
- Hermitian analogue of a theorem of Springer
- scientific article; zbMATH DE number 2132158 (Why is no real title available?)
- scientific article; zbMATH DE number 3873454 (Why is no real title available?)
- scientific article; zbMATH DE number 3935120 (Why is no real title available?)
- scientific article; zbMATH DE number 1201676 (Why is no real title available?)
- scientific article; zbMATH DE number 1471377 (Why is no real title available?)
- On some Hasse principles over formally real fields
- On the theory of quadratic forms over formally real fields
- Quadratische Semi-Ordnungen und quadratische Formen
- Skew-Hermitian forms which become hyperbolic over a splitting field
- The Hasse principle for similarity of Hermitian forms
- The Henselization of a valued division algebra
- Totally positive extensions and weakly isotropic forms
- Valued Fields
This page was built for publication: A Hermitian analogue of the Bröcker-Prestel theorem.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2270504)
