Georgia Institute of Technology College of Sciences

Hilbert’s 17th problem asked whether every nonnegative polynomial is a sum of squares of rational functions. This problem was solved affirmatively by Artin in the 1920’s, but very little is known about degree bounds (on the degrees of numerators and denominators) in such a representation. Artin’s original proof does not yield any upper bounds, and making such techniques quantitative results in bounds that are likely to be far from optimal, and very far away from currently known lower bounds. Before stating the 17th problem Hilbert was able to prove that any globally nonnegative polynomial in two variables is a sum of squares of rational functions, and the degree bounds in his proof have been best known for that two variable case since 1893. Taking inspiration from Hilbert’s proof we study degree bounds for nonnegative polynomials on surfaces. We are able to improve Hilbert’s bounds and also give degree bounds for some non-rational surfaces. I will present the history of the problem and outline our approach. Joint work with Rainer Sinn, Greg Smith and Mauricio Velasco.