Positive Gorenstein ideals

Blekherman, Grigoriy

doi:10.1090/S0002-9939-2014-12253-2

Positive Gorenstein ideals
HTML articles powered by AMS MathViewer

by Grigoriy Blekherman PDF

Proc. Amer. Math. Soc. 143 (2015), 69-86 Request permission

Abstract:

We introduce positive Gorenstein ideals. These are Gorenstein ideals in the graded ring $\mathbb {R}[x]$ with socle in degree $2d$ which when viewed as a linear functional on $\mathbb {R}[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 (2012), our main tools are Cayley-Bacharach duality and elementary convex geometry.

References

Grigoriy Blekherman, Nonnegative polynomials and sums of squares, J. Amer. Math. Soc. 25 (2012), no. 3, 617–635. MR 2904568, DOI 10.1090/S0894-0347-2012-00733-4
Grigoriy Blekherman, Jonathan Hauenstein, John Christian Ottem, Kristian Ranestad, and Bernd Sturmfels, Algebraic boundaries of Hilbert’s SOS cones, Compos. Math. 148 (2012), no. 6, 1717–1735. MR 2999301, DOI 10.1112/S0010437X12000437
Jacek Bochnak, Michel Coste, and Marie-Françoise Roy, Real algebraic geometry, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 36, Springer-Verlag, Berlin, 1998. Translated from the 1987 French original; Revised by the authors. MR 1659509, DOI 10.1007/978-3-662-03718-8
Mats Boij, Enrico Carlini, and Anthony V. Geramita, Monomials as sums of powers: the real binary case, Proc. Amer. Math. Soc. 139 (2011), no. 9, 3039–3043. MR 2811260, DOI 10.1090/S0002-9939-2011-11018-9
Pierre Comon and Giorgio Ottaviani, On the typical rank of real binary forms, Linear Multilinear Algebra 60 (2012), no. 6, 657–667. MR 2929176, DOI 10.1080/03081087.2011.624097
Enrico Carlini, Maria Virginia Catalisano, and Anthony V. Geramita, The solution to the Waring problem for monomials and the sum of coprime monomials, J. Algebra 370 (2012), 5–14. MR 2966824, DOI 10.1016/j.jalgebra.2012.07.028
David Eisenbud, Mark Green, and Joe Harris, Cayley-Bacharach theorems and conjectures, Bull. Amer. Math. Soc. (N.S.) 33 (1996), no. 3, 295–324. MR 1376653, DOI 10.1090/S0273-0979-96-00666-0
Joe Harris, Algebraic geometry, Graduate Texts in Mathematics, vol. 133, Springer-Verlag, New York, 1992. A first course. MR 1182558, DOI 10.1007/978-1-4757-2189-8
David Hilbert, Ueber die Darstellung definiter Formen als Summe von Formenquadraten, Math. Ann. 32 (1888), no. 3, 342–350 (German). MR 1510517, DOI 10.1007/BF01443605
David Hilbert, Über ternäre definite Formen, Acta Math. 17 (1893), no. 1, 169–197 (German). MR 1554835, DOI 10.1007/BF02391990
Anthony Iarrobino and Vassil Kanev, Power sums, Gorenstein algebras, and determinantal loci, Lecture Notes in Mathematics, vol. 1721, Springer-Verlag, Berlin, 1999. Appendix C by Iarrobino and Steven L. Kleiman. MR 1735271, DOI 10.1007/BFb0093426
Jiawang Nie and Markus Schweighofer, On the complexity of Putinar’s Positivstellensatz, J. Complexity 23 (2007), no. 1, 135–150. MR 2297019, DOI 10.1016/j.jco.2006.07.002
J. M. Landsberg and Zach Teitler, On the ranks and border ranks of symmetric tensors, Found. Comput. Math. 10 (2010), no. 3, 339–366. MR 2628829, DOI 10.1007/s10208-009-9055-3
Jean B. Lasserre, Global optimization with polynomials and the problem of moments, SIAM J. Optim. 11 (2000/01), no. 3, 796–817. MR 1814045, DOI 10.1137/S1052623400366802
Jean Bernard Lasserre, Moments, positive polynomials and their applications, Imperial College Press Optimization Series, vol. 1, Imperial College Press, London, 2010. MR 2589247
Juan Migliore, Uwe Nagel, and Fabrizio Zanello, On the degree two entry of a Gorenstein $h$-vector and a conjecture of Stanley, Proc. Amer. Math. Soc. 136 (2008), no. 8, 2755–2762. MR 2399039, DOI 10.1090/S0002-9939-08-09456-2
Pablo A. Parrilo, Semidefinite programming relaxations for semialgebraic problems, Math. Program. 96 (2003), no. 2, Ser. B, 293–320. Algebraic and geometric methods in discrete optimization. MR 1993050, DOI 10.1007/s10107-003-0387-5
Victoria Powers and Thorsten Wörmann, An algorithm for sums of squares of real polynomials, J. Pure Appl. Algebra 127 (1998), no. 1, 99–104. MR 1609496, DOI 10.1016/S0022-4049(97)83827-3
Bruce Reznick, Sums of even powers of real linear forms, Mem. Amer. Math. Soc. 96 (1992), no. 463, viii+155. MR 1096187, DOI 10.1090/memo/0463
Bruce Reznick, Some concrete aspects of Hilbert’s 17th Problem, Real algebraic geometry and ordered structures (Baton Rouge, LA, 1996) Contemp. Math., vol. 253, Amer. Math. Soc., Providence, RI, 2000, pp. 251–272. MR 1747589, DOI 10.1090/conm/253/03936
Raman Sanyal, Frank Sottile, and Bernd Sturmfels, Orbitopes, Mathematika 57 (2011), no. 2, 275–314. MR 2825238, DOI 10.1112/S002557931100132X