Two remarks on sums of squares with rational coefficients.

Jose Capco (1) , Claus Scheiderer (2)

1 Leopold Franzens Universität Innsbruck - University of Innsbruck
2 University of Konstanz

There exist homogeneous polynomials f with Q-coefficients that are sums of squares over R but not over Q. The only systematic construction of such polynomials that is known so far uses as its key ingredient totally imaginary number fields K/Q with specific Galois-theoretic properties. We first show that one may relax these properties considerably without losing the conclusion, and that this relaxation is sharp at least in a weak sense. In the second part we discuss the open question whether any f as above necessarily has a (non-trivial) real zero. In the minimal open cases (3,6) and (4,4), we prove that all examples without a real zero are contained in a thin subset of the boundary of the sum of squares cone.

Mots clés: sums of squares; rational coefficients; exact positivity certificates; number fields.; sums of squares

Domaines: Géométrie algébrique [math.AG]; Théorie des nombres [math.NT]

Jose Capco, Claus Scheiderer. Two remarks on sums of squares with rational coefficients.. Banach Center Publications, 2020, 121, pp.25-36. ⟨10.4064/bc121-2⟩. ⟨hal-03141517⟩