Sums of squares and varieties of minimal degree

Let X be a real nondegenerate projective subvariety such that its set of real points is Zariski dense. We prove that every real quadratic form that is nonnegative on X is a sum of squares of linear forms if and only if X is a variety of minimal degree. This substantially extends Hilbert's celebrated characterization of equality between nonnegative forms and sums of squares. We obtain a complete list for the cases of equality and also a classification of the lattice polytopes Q for which every nonnegative Laurent polynomial with support contained in 2Q is a sum of squares.

[1]  D. Hilbert.  Über die Darstellung definiter Formen als Summe von Formenquadraten , 1888 .

[2]  L. Goddard.  First Course , 1969, Nature.

[3]  Bruce Reznick,et al.  Real zeros of positive semidefinite forms. I , 1980 .

[4]  E. Becker.  Valuations and real places in the theory of formally real fields , 1982 .

[5]  J. Jouanolou,et al.  Théorèmes de Bertini et applications , 1983 .

[6]  David Eisenbud,et al.  Linear Free Resolutions and Minimal Multiplicity , 1984 .

[7]  Richard P. Stanley,et al.  A Monotonicity Property of h-vectors and h*-vectors , 1993, Eur. J. Comb..

[8]  A. J. Goldman,et al.  Some geometric results in semidefinite programming , 1995, J. Glob. Optim..

[9]  Olga Taussky-Todd.  SOME CONCRETE ASPECTS OF HILBERT'S 17TH PROBLEM , 1996 .

[10]  J. Gubeladze.  The isomorphism problem for commutative monoid rings , 1998 .

[11]  F. Zak.  Projective invariants of quadratic embeddings , 1999 .

[12]  B. Reznick.  Some concrete aspects of Hilbert's 17th Problem , 2000 .

[13]  M. Brodmann,et al.  Arithmetic properties of projective varieties of almost minimal degree , 2005, math/0506277.

[14]  atisehe Annalen,et al.  On inflection points , monomial curves , and hypersurfaces containing projective curves * , 2005 .

[15]  Multiples of lattice polytopes without interior lattice points , 2006, math/0602336.

[16]  Alan Stapledon,et al.  Inequalities and Ehrhart $\delta$-Vectors , 2008, 0801.0873.

[17]  J. Lasserre.  Moments, Positive Polynomials And Their Applications , 2009 .

[18]  M. Laurent.  Sums of Squares, Moment Matrices and Optimization Over Polynomials , 2009 .

[19]  Grigoriy Blekherman,et al.  Nonnegative Polynomials and Sums of Squares , 2010, 1010.3465.

[20]  Z. Teitler,et al.  TORIC VARIETIES , 2010 .

[21]  Claus Scheiderer,et al.  A Positivstellensatz for projective real varieties , 2011, 1104.1772.

[22]  Rekha R. Thomas,et al.  Semidefinite Optimization and Convex Algebraic Geometry , 2012 .

[23]  Akihiro Higashitani.  Counterexamples of the Conjecture on Roots of Ehrhart Polynomials , 2012, Discret. Comput. Geom..

[24]  Grigoriy Blekherman,et al.  Dimensional Differences Between Faces of the Cones of Nonnegative Polynomials and Sums of Squares , 2013, 1305.0642.

[25]  S. Robins,et al.  Computing the Continuous Discretely , 2015 .