Do sums of squares dream of free resolutions?

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

Authors: Grigoriy Blekherman, Rainer Sinn, Mauricio Velasco 

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

Recommendations

• Extreme rays of Hankel spectrahedra for ternary forms
• Sums of squares and varieties of minimal degree
• Algebraic boundaries of Hilbert's SOS cones
• Sums of squares: a real projective story
• Low-rank sum-of-squares representations on varieties of minimal degree

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
• Moments, positive polynomials and their applications
• 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 (15)

• Algebraic geometry and sums of squares
• On the Lefschetz property for quotients by monomial ideals containing squares of variables
• Sums of squares and quadratic persistence on real projective varieties
• Sums of squares: a real projective story
• Limitations on the Expressive Power of Convex Cones without Long Chains of Faces
• Gap vectors of real projective varieties
• Sums of squares, Hankel index, and almost real rank
• Strictly positive polynomials in the boundary of the SOS cone
• Extreme rays of Hankel spectrahedra for ternary forms
• Harmonic Hierarchies for Polynomial Optimization
• Terracini convexity
• Sum of squares decomposition of positive polynomials with rational coefficients
• Memory-efficient structured convex optimization via extreme point sampling
• Sums of squares and sparse semidefinite programming
• 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)