Sums of squares and varieties of minimal degree

Abstract

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.

Cited by in corpus (22)

• Causality constraints on corrections to Einstein gravity
• Ehrhart Theory of Spanning Lattice Polytopes
• Sampling algebraic varieties for sum of squares programs
• There are many more positive maps than completely positive maps
• Blowup algebras of rational normal scrolls
• Convex Algebraic Geometry of Curvature Operators
• Sharp Degree Bounds for Sum-of-Squares Certificates on Projective Curves
• Multihomogenous Nonnegative Polynomials and Sums of Squares
• Sums of Squares: A Real Projective Story
• Harmonic Hierarchies for Polynomial Optimization
• Isoparametric polynomials and sums of squares
• On the extreme rays of the cone of $3\times 3$ quasiconvex quadratic forms: Extremal determinats vs extremal and polyconvex forms
• Sums of Squares and Quadratic Persistence on Real Projective Varieties
• Extreme Nonnegative Quadratics over Stanley Reisner Varieties
• Sums of Squares and Sparse Semidefinite Programming
• New examples of extremal positive linear maps
• Positive Ulrich Sheaves
• Dual toric codes and polytopes of degree one
• Practical construction of positive maps which are not completely positive
• Cross-positive linear maps, positive polynomials and sums of squares
• Lectures on Nonnegative Polynomials and Sums of Squares
• Towards characterization of all $3\times 3$ extremal quasiconvex quadratic forms