Relations between invariants of formally real fields

DOI10.1016/S0019-3577(97)89119-7MaRDI QIDQ1364607zbMATH OpenFDO

Publication date 8 December 1997

Published in Indagationes Mathematicae. New Series (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0019-3577(97)89119-7

2-fold Pfister form formally real field invariants

Quadratic forms over general fields (11E04) Forms over real fields (11E10) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15)

Review text

Let \(F\) be a formally real field. Continuing some of his previous work the author studies the invariant \[ l(F)=\inf \{n\in \mathbb{N}\mid\text{ If }q:F^n\to F\text{ is any totally positive quadratic form then }D(q)=\Sigma(F)\}. \] He introduces another invariant \(c(F)= \inf \{m\in \mathbb{N}\mid\). If \(\omega\in \Sigma(F)\) and \(q:F^{m+1}\to F\) is a totally positive quadratic form then \(q\cong \langle \;\rangle \langle \langle \omega\rangle\rangle\perp q_1\) for some \(a\in F\) and some quadratic form \(q_1\}\). In the first part of the paper he describes various relations of these invariants to the invariants \(ud(F)\), \(\beta_F(i)\) and \(C(F)\). As a main result he proves the equivalence between the finiteness of the invariants \(\beta_F(i)\), \(c(F)\), \(\ell(F)\), \(ud(F)\) and \(\widetilde{ud}(F)\) (Theorem 2.9). In the second part he studies the invariants \(\beta_F(i)\) and \(c(F)\). Under the assumption that \(l(F)< \infty\) and that any totally positive 2-fold Pfister form represents all elements of \(D_F(\langle 1,\alpha\rangle)\) for some \(\alpha\in \Sigma(F)\) he describes the values of \(c(F)\) by means of \(l(F)\) and \(\beta_F(i)\) (Theorem 2.6) and finally gives some estimates for \(c(F)\) (Theorem 3.7).

Recommendations

Cites work

Cited in

(9)

This page was built for publication: Relations between invariants of formally real fields

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