Going up of the u-invariant over formally real fields

DOI10.1007/S00208-007-0095-1MaRDI QIDQ2373390zbMATH OpenOpenAlexFDO

Authors Claus Schubert

Publication date 19 July 2007

Published in Mathematische Annalen (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00208-007-0095-1

zbMATH Keywords

formally real fieldreduced stabilityspace of orderingsu-invariant

Mathematics Subject Classification ID

Quadratic forms over general fields (11E04) Forms over real fields (11E10) Algebraic theory of quadratic forms; Witt groups and rings (11E81) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15)

Review text

Let \(F\) be a field of characteristic not 2. The author is interested in the behaviour of the \(u\)-invariant under finite extension \(K/F.\) It is said that \(u\) ``goes up a field extension \(K/F\) if finiteness of \(u(F)\) implies finiteness of \(u(K)\). \textit{R. Elman} and \textit{T. Y. Lam} [Math. Ann. 219, 21--42 (1976; Zbl 0302.10025)] proved that \(u\) ``goes up any finite extension of \(F\) if \(F\) is non-formally real. The main aim of the paper is to prove that \(u\) goes up any finite extension of a formally real field \(F\) if and only if the reduced stability \(\text{st}_r F\) of \(F\) is finite. It turns out that to make a success the most important is to control behaviour of \(u\) while going from \(F\) to \(F(\sqrt{-1}).\) The author defines an auxiliary invariant \(u_m(F)=\max\{\dim \varphi_{an}: |\text{sgn}_\alpha \varphi|\leq m, \alpha \in X_F, \varphi\in WF\},\) which with the help of detailed analysis of the space of orderings of a field with finite reduced stability gives the following theorem: If \(F\) is a formally real field with \(\text{st}_r F=n-1,\) then \(u(F(\sqrt{-1}))\leq \frac12u(F)+u_{2^n-1}(F).\) The main result follows from this theorem.

Recommendations

• Weakly isotropic quadratic forms under field extensions
• Reduced Stability of the Witt Ring of a Field and its Pythagorean Closure
• The u-invariant of p-adic function fields
• Discretely valued fields with infinite u-invariant: Research announcement
• Relations between invariants of formally real fields
• Some versions of the \(u\)-invariant of a field
• scientific article; zbMATH DE number 3922800
• scientific article; zbMATH DE number 1996510
• scientific article; zbMATH DE number 3627264
• Linkage property of Witt ring and torsion quadratic forms with trivial Witt invariant

Cites work

• scientific article; zbMATH DE number 3601654 (Why is no real title available?)
• On the theory of quadratic forms over formally real fields
• Quadratic Forms Over Formally Real Fields and Pythagorean Fields
• Quadratic forms under algebraic extensions
• Spaces of orderings and abstract real spectra
• Spaces of Orderings IV
• Systems of quadratic forms.
• The Witt Ring of a Space of Ordering

Cited in

(7)

• On the \(u\)-invariant of a real function field
• scientific article; zbMATH DE number 4019184 (Why is no real title available?)
• Reduced Stability of the Witt Ring of a Field and its Pythagorean Closure
• Symbol length and stability index
• Going-Down Results for C_i-Fields
• Weakly isotropic quadratic forms under field extensions
• A comparison of finiteness conditions in quadratic form theory

This page was built for publication: Going up of the \(u\)-invariant over formally real fields

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