Do Sums of Squares Dream of Free Resolutions?

DOI10.1137/16M1084560zbMATH Open1401.14225arXiv1607.03551MaRDI QIDQ5347299FDOQ5347299

Rainer Sinn, Mauricio Velasco, Grigoriy Blekherman

Publication date: 23 May 2017

Published in: SIAM Journal on Applied Algebra and Geometry (Search for Journal in Brave)

Abstract: We associate to a real projective variety $X$ two convex cones which are fundamental in real algebraic geometry: the cone $P_X$ of quadratic forms nonnegative on $X$, and the cone $Sigm{a}_X$ of sums of squares of linear forms. The dual cone $Sigm{a}_X^{a}st$ is a spectrahedron and we show that its convexity properties are closely related to homological properties of $X$. For instance, we show that all extreme rays of $Sigm{a}_X^{a}st$ have rank one if and only if X has Castelnuovo-Mumford regularity two. More generally, if $Sigm{a}_X^{a}st$ has an extreme ray of rank $p>1$, then $X$ does not satisfy the property $N_{2,p}$. We show that the converse also holds in a wide variety of situations: the smallest $p$ for which property $N_{2,p}$ does not hold is equal to the smallest rank of an extreme ray of $Sigm{a}_X^{a}st$ greater than one. These results allow us to generalize the work of Blekherman-Smith-Velasco on equality of nonnegative polynomials and sums of squares from irreducible varieties to reduced schemes and to classify all spectrahedral cones with only rank one extreme rays. Our results have applications to the positive semidefinite matrix completion problem and to the truncated moment problem on projective varieties.

Full work available at URL: https://arxiv.org/abs/1607.03551

zbMATH Keywords

Castelnuovo-Mumford regularitysums of squaresfree resolutionsspectrahedra

Mathematics Subject Classification ID

Graphs and linear algebra (matrices, eigenvalues, etc.) (05C50) Syzygies, resolutions, complexes and commutative rings (13D02) Real algebraic sets (14P05) General convexity (52A99)

Cites Work

• Schur products and matrix completions
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Geometry of Syzygies
• Title not available (Why is that?)
• Semidefinite Optimization and Convex Algebraic Geometry
• Positive definite completions of partial Hermitian matrices
• Title not available (Why is that?)
• Koszul homology and syzygies of Veronese subalgebras
• Positive semidefinite matrices with a given sparsity pattern
• On the sparsity order of a graph and its deficiency in chordality
• Some geometric results in semidefinite programming
• Extremal positive semidefinite matrices whose sparsity pattern is given by graphs without \(K_{5}\) minors
• The Ranks of Extremal Positive Semidefinite Matrices with Given Sparsity Pattern
• The real positive semidefinite completion problem for series-parallel graphs
• A new graph parameter related to bounded rank positive semidefinite matrix completions
• Nonnegative polynomials and sums of squares
• Positive Gorenstein ideals
• A simpler proof of the Gieseker-Petri theorem on special divisors
• Some results on rational surfaces and Fano varieties
• Restricting linear syzygies: algebra and geometry
• Green's generic syzygy conjecture for curves of even genus lying on a \(K3\) surface
• green's canonical syzygy conjecture for generic curves of odd genus
• Green's conjecture for the generic \(r\)-gonal curve of genus \(g\geq 3r-7\).
• Title not available (Why is that?)
• Geometry of maximum likelihood estimation in Gaussian graphical models
• Analysis on some infinite modules, inner projection, and applications
• Lattice polygons and Green’s theorem
• On syzygies of Veronese embedding of arbitrary projective varieties
• Approximating Positive Polynomials Using Sums of Squares
• Small schemes and varieties of minimal degree
• The regularity of Tor and graded Betti Numbers
• Sums of squares and varieties of minimal degree
• Gap vectors of real projective varieties
• Low-Rank Sum-of-Squares Representations on Varieties of Minimal Degree
• Spectrahedral cones generated by rank \(1\) matrices

Cited In (10)

• On the Lefschetz property for quotients by monomial ideals containing squares of variables
• Sums of squares and quadratic persistence on real projective varieties
• Limitations on the Expressive Power of Convex Cones without Long Chains of Faces
• Strictly positive polynomials in the boundary of the SOS cone
• Memory-Efficient Structured Convex Optimization via Extreme Point Sampling
• Sums of Squares and Sparse Semidefinite Programming
• Harmonic Hierarchies for Polynomial Optimization
• Terracini convexity
• Sum of squares decomposition of positive polynomials with rational coefficients
• Maximum likelihood threshold and generic completion rank of graphs

This page was built for publication: Do Sums of Squares Dream of Free Resolutions?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5347299)