Sums of squares over totally real fields are rational sums of squares
Sums of squares over totally real fields are rational sums of squares
Let $K$ be a totally real number field with Galois closure $L$. We prove that if $f \in \mathbb Q[x_1,\ldots ,x_n]$ is a sum of $m$ squares in $K[x_1,\ldots ,x_n]$, then $f$ is a sum of \[ 4m \cdot 2^{[L: \mathbb Q]+1} {[L: \mathbb Q] +1 \choose 2}\] squares in …