The Pythagoras number and the $u$-invariant of Laurent series fields in several variables

Abstract

We show that every sum of squares in the three-variable Laurent series field $\mathbb{R}((x,y,z))$ is a sum of 4 squares, as was conjectured in a paper of Choi, Dai, Lam and Reznick in the 1980's. We obtain this result by proving that every sum of squares in a finite extension of $\mathbb{R}((x,y))$ is a sum of $3$ squares. It was already shown in Choi, Dai, Lam and Reznick's paper that every sum of squares in $\mathbb{R}((x,y))$ itself is a sum of two squares. We give a generalization of this result where $\mathbb{R}$ is replaced by an arbitrary real field. Our methods yield similar results about the $u$-invariant of fields of the same type.

final version, major revisions in the style of writing (abstract and introduction rewritten) compared to v.1

References in corpus (1)

• Applications of patching to quadratic forms and central simple algebras

Cited by in corpus (10)

• Refinements to patching and applications to field invariants
• Pythagoras numbers of orders in biquadratic fields
• On the Pythagoras number of the simplest cubic fields
• A cubic ring of integers with the smallest Pythagoras number
• Positive semidefinite analytic functions on real analytic surfaces
• Sums of squares in function fields over Henselian local fields
• On Waring numbers of henselian rings
• A cohomological Hasse principle over two-dimensional local rings
• Bounding the Pythagoras number of a field by $2^n+1$
• Representation of positive semidefinite elements as sum of squares in 2-dimensional local rings