Related papers: Sums of squares in function fields over Henselian …

Let $n\in\mathbb{N}$ and let $K$ be a field with a henselian discrete valuation of rank $n$ with hereditarily euclidean residue field. Let $F/K$ be an algebraic function field in one variable. We show that the Pythagoras number of $F$ is…

We prove that every sum of squares in the rational function field in two variables $K(X,Y)$ over a hereditarily pythagorean field $K$ is a sum of $8$ squares. More precisely, we show that the Pythagoras number of every finite extension of…

We study the sums of squares on cylinders of the form $X \times \mathbb{A}_K$ for a (weakly) factorial curve $C$. We prove the equality of the Pythagoras numbers of the ring of regular functions on the cylinder with that of the field of…

We provide an example of a nonnegative $k$-regulous function on $\mathbb{R}^n$ for $k\geq 1$ and $n \geq 2$ which cannot be written as a sum of squares of $k$-regulous functions. We then obtain lower bounds for Pythagoras numbers…

We show that the Pythagoras number of rings of type $\mathbb{R}[x,y, \sqrt{f(x,y)}]$ is infinite, provided that the polynomial $f(x,y)$ satisfies some mild conditions.

We show that any sum of squares in a field of transcendence degree $1$ over $\mathbb{Q}$ is a sum of $5$ squares, answering a question of Pop and Pfister. We deduce this result from a representation theorem, in $k(C)$, for quadratic forms…

We show that the higher Pythagoras numbers for the polynomial ring are infinite $p_{2s}(K[x_1,x_2,\dots,x_n])=\infty$ provided that $K$ is a formally real field, $n\geq2$ and $s\geq 1$. This almost fully solves an old question \cite[Problem…

Given a positive integer $n$, a sufficient condition on a field is given for bounding its Pythagoras number by $2^n+1$. The condition is satisfied for $n=1$ by function fields of curves over iterated formal power series fields over…

We prove that the Pythagoras number of the ring of integers of the compositum of all real quadratic fields is infinite. The same holds for certain infinite totally real cyclotomic fields. In contrast, we construct infinite degree totally…

We give an example of a polynomial of degree 4 in 5 variables that is the sum of squares of 8 polynomials and cannot be decomposed as the sum of 7 squares. This improves the current existing lower bound of 7 polynomials for the Pythagoras…

Over a global field any finite number of central simple algebras of exponent dividing $m$ is split by a common cyclic field extension of degree $m$. We show that the same property holds for function fields of two-dimensional excellent…

We show that for all real biquadratic fields not containing $\sqrt{2}$, $\sqrt{3}$, $\sqrt{5}$, $\sqrt{6}$, $\sqrt{7},$ and $\sqrt{13}$, the Pythagoras number of the ring of algebraic integers is at least $6$. We will also provide an upper…

We examine the Pythagoras number $\mathcal{P}(\mathcal{O}_K)$ of the ring of integers $\mathcal{O}_K$ in a totally real biquadratic number field $K$. We show that the known upper bound $7$ is attained in a large and natural infinite family…

We classify all totally real number fields of degree at most 5 that admit a universal quadratic form with rational integer coefficients; in fact, there are none over the previously unsolved cases of quartic and quintic fields. This fully…

Siegel proved that every totally positive element of a number field K is the sum of four squares, so in particular the Pythagoras number is uniformly bounded across number fields. The p-adic Kochen operator provides a p-adic analogue of…

Let $R$ be a 2-dimensional normal excellent henselian local domain in which 2 is invertible and let $L$ and $k$ be respectively its fraction field and residue field. Let $\Omega_R$ be the set of rank 1 discrete valuations of $L$…

Let $f(n)$ be an arithmetic function with $f(n) \ll n^\alpha$ for some $\alpha\in[0,1)$ and let $\lfloor .\rfloor $ denote the integer part function. In this paper, we evaluate asymptotically the sums $$\sum_{n_{1}n_{2}\leq x}f \left(…

We show that the set of real polynomials in two variables that are sums of three squares of rational functions is dense in the set of those that are positive semidefinite. We also prove that the set of real surfaces in P^3 whose function…

The Pythagoras number of a sum of squares is the shortest length among its sums of squares representations. In many algebras, for example real polynomial algebras in two or more variables, there exists no upper bound on the Pythagoras…

Let $k_i\ (i=1,2,\ldots,t)$ be natural numbers with $k_1>k_2>\cdots>k_t>0$, $k_1\geq 2$ and $t<k_1.$ Given real numbers $\alpha_{ji}\ (1\leq j\leq t,\ 1\leq i\leq s)$, we consider polynomials of the shape…