Positive Gorenstein ideals

DOI10.1090/S0002-9939-2014-12253-2zbMATH Open1453.14129OpenAlexW2029778163MaRDI QIDQ5496232FDOQ5496232

Authors: Grigoriy Blekherman 

Publication date: 30 January 2015

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Abstract: We introduce positive Gorenstein ideals. These are Gorenstein ideals in the graded ring $RR[x]$ with socle in degree 2d, which when viewed as a linear functional on $RR[x{]}_{2d}$ is nonnegative on squares. Equivalently, positive Gorenstein ideals are apolar ideals of forms whose differential operator is nonnegative on squares. Positive Gorenstein ideals arise naturally in the context of nonnegative polynomials and sums of squares, and they provide a powerful framework for studying concrete aspects of sums of squares representations. We present applications of positive Gorenstein ideals in real algebraic geometry, analysis and optimization. In particular, we present a simple proof of Hilbert's nearly forgotten result on representations of ternary nonnegative forms as sums of squares of rational functions. Drawing on our previous work, our main tools are Cayley-Bacharach duality and elementary convex geometry.

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

Recommendations

• Nonnegative polynomials and sums of squares
• Gram spectrahedra
• Positivity and sums of squares: a guide to recent results
• Power sums, Gorenstein algebras, and determinantal loci. With an appendix `The Gotzmann theorems and the Hilbert scheme' by Anthony Iarrobino and Steven L. Kleiman
• Positive polynomials and sums of squares

Mathematics Subject Classification ID

Semidefinite programming (90C22) Linear operator methods in interpolation, moment and extension problems (47A57) Convex sets in (n) dimensions (including convex hypersurfaces) (52A20) Projective techniques in algebraic geometry (14N05) Real algebraic and real-analytic geometry (14P99)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic boundaries of Hilbert's SOS cones
• An algorithm for sums of squares of real polynomials
• Cayley-Bacharach theorems and conjectures
• Global optimization with polynomials and the problem of moments
• Moments, positive polynomials and their applications
• Monomials as sums of powers: the real binary case
• Nonnegative polynomials and sums of squares
• ORBITOPES
• On the complexity of Putinar's Positivstellensatz
• On the degree two entry of a Gorenstein $h$-vector and a conjecture of Stanley
• On the ranks and border ranks of symmetric tensors
• On the typical rank of real binary forms
• Power sums, Gorenstein algebras, and determinantal loci. With an appendix `The Gotzmann theorems and the Hilbert scheme' by Anthony Iarrobino and Steven L. Kleiman
• Semidefinite programming relaxations for semialgebraic problems
• Sums of even powers of real linear forms
• The solution to the Waring problem for monomials and the sum of coprime monomials

Cited In (12)

• The truncated moment problem on reducible cubic curves. I: Parabolic and circular type relations
• The truncated moment problem on curves y  =  q ( x ) and yx ^ℓ  = 1
• Do sums of squares dream of free resolutions?
• Limits of positive flat bivariate moment matrices
• The tracial moment problem on quadratic varieties
• The core variety of a multisequence in the truncated moment problem
• The truncated Hamburger moment problems with gaps in the index set
• Sharp degree bounds for sum-of-squares certificates on projective curves
• The truncated moment problem on the union of parallel lines
• Extreme rays of Hankel spectrahedra for ternary forms
• The strong truncated Hamburger moment problem with and without gaps
• Maximum likelihood threshold and generic completion rank of graphs

This page was built for publication: Positive Gorenstein ideals

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