Skip to main content Accessibility help
×
Home

Algebraic boundaries of Hilbert’s SOS cones

  • Grigoriy Blekherman (a1), Jonathan Hauenstein (a2), John Christian Ottem (a3), Kristian Ranestad (a4) and Bernd Sturmfels (a5)...

Abstract

We study the geometry underlying the difference between non-negative polynomials and sums of squares (SOS). The hypersurfaces that discriminate these two cones for ternary sextics and quaternary quartics are shown to be Noether–Lefschetz loci of K3 surfaces. The projective duals of these hypersurfaces are defined by rank constraints on Hankel matrices. We compute their degrees using numerical algebraic geometry, thereby verifying results due to Maulik and Pandharipande. The non-SOS extreme rays of the two cones of non-negative forms are parametrized, respectively, by the Severi variety of plane rational sextics and by the variety of quartic symmetroids.

    • Send article to Kindle

      To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

      Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

      Find out more about the Kindle Personal Document Service.

      Algebraic boundaries of Hilbert’s SOS cones
      Available formats
      ×

      Send article to Dropbox

      To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

      Algebraic boundaries of Hilbert’s SOS cones
      Available formats
      ×

      Send article to Google Drive

      To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

      Algebraic boundaries of Hilbert’s SOS cones
      Available formats
      ×

Copyright

References

Hide All
[BHPS09a]Bates, D., Hauenstein, J., Peterson, C. and Sommese, A., Numerical decomposition of the rank-deficiency set of a matrix of multivariate polynomials, in Approximate commutative algebra, Texts and Monographs in Symbolic Computation, eds Robbiano, L. and Abbott, J. (Springer, Vienna, 2009), 5577.
[BHPS09b]Bates, D., Hauenstein, J., Peterson, C. and Sommese, A., A numerical local dimension test for points on the solution set of a system of polynomial equations, SIAM J. Numer. Anal. 47 (2009), 36083623.
[BHSW]Bates, D., Hauenstein, J., Sommese, A. and Wampler, C., Bertini: software for numerical algebraic geometry, http://www.nd.edu/∼sommese/bertini.
[BHSW09]Bates, D., Hauenstein, J., Sommese, A. and Wampler, C., Stepsize control for adaptive multiprecision path tracking, in Interactions of classical and numerical algebraic geometry, Contemporary Mathematics, vol. 496 (American Mathematical Society, Providence, RI, 2009), 2131.
[Ble12]Blekherman, G., Non-negative polynomials and sums of squares, J. Amer. Math. Soc. 25 (2012), 617635.
[CD05]Cattani, E. and Dickenstein, A., Introduction to residues and resultants, in Solving polynomial equations: foundations, algorithms, and applications, Algorithms and Computation in Mathematics, vol. 14, eds Dickenstein, A. and Emiris, I. Z. (Springer, Berlin, 2005).
[CLR80]Choi, M. D., Lam, T. Y. and Reznick, B., Real zeros of positive semidefinite forms. I, Math. Z. 171 (1980), 126.
[Col93]Colliot-Thélène, J.-L., The Noether–Lefschetz theorem and sums of 4 squares in the rational function field ℝ(x,y), Compositio Math. 86 (1993), 235243.
[DK07]Dolgachev, I. and Konḏo, S., Moduli of K3 surfaces and complex ball quotients, in Arithmetic and geometry around hypergeometric functions, Progress in Mathematics, vol. 260 (Birkhäuser, Basel, 2007), 43100.
[GH85]Griffiths, P. and Harris, J., On the Noether–Lefschetz theorem and some remarks on codimension two cycles, Math. Ann. 271 (1985), 3151.
[HT84]Harris, J. and Tu, L., On symmetric and skew-symmetric determinantal varieties, Topology 23 (1984), 7184.
[HS10]Hauenstein, J. and Sommese, A., Witness sets of projections, Appl. Math. Comput. 217 (2010), 33493354.
[HSW11]Hauenstein, J., Sommese, A. and Wampler, C., Regenerative cascade homotopies for solving polynomial systems, Appl. Math. Comput. 218 (2011), 12401246.
[Hil88]Hilbert, D., Über die Darstellung definiter Formen als Summe von Formenquadraten, Math. Ann. 32 (1888), 342350.
[IK99]Iarrobino, A. and Kanev, V., Power sums, Gorenstein algebras, and determinantal loci, Lecture Notes in Mathematics, vol. 1721 (Springer, Berlin, 1999).
[Jes16]Jessop, C. M., Quartic surfaces with singular points (Cambridge University Press, Cambridge, 1916).
[Kha72]Kharlamov, V. M., The maximal number of components of a fourth degree surface in , Funct. Anal. Appl. 6 (1972), 345346.
[KM94]Kontsevich, M. and Manin, Y., Gromov–Witten classes, quantum cohomology, and enumerative geometry, Comm. Math. Phys. 164 (1994), 525562.
[Las10]Lasserre, J. B., Moments, positive polynomials and their applications (Imperial College Press, London, 2010).
[Lef21]Lefschetz, S., On certain numerical invariants of algebraic varieties with application to Abelian varieties, Trans. Amer. Math. Soc. 22 (1921), 327482.
[MP07]Maulik, D. and Pandharipande, R., Gromov–Witten theory and Noether–Lefschetz theory, Preprint (2007), arXiv:0705.1653.
[Nie12]Nie, J., Discriminants and non-negative polynomials, J. Symbolic Comput. 47 (2012), 167191.
[Noe82]Noether, M., Zur Grundlegung der Theorie der algebraischen Raumkurven, J. Reine Angew. Math. 92 (1882), 271318.
[Ott07]Ottaviani, G., Symplectic bundles on the plane, secant varieties and Lüroth quartics revisited, in Vector bundles and low-codimensional subvarieties: state of the art and recent developments, Quaderni di Matematica, vol. 21 (Dipartimento di Matematica, Seconda Università degli Studi di Napoli, Caserta, 2007), 315352.
[PS71]Pjateckiǐ-Šapiro, I. and Šafarevič, I. R., A Torelli theorem for algebraic surfaces of type K3, Izv. Akad. Nauk SSSR Ser. Mat. 35 (1971), 530572.
[PSV12]Plaumann, D., Sturmfels, B. and Vinzant, C., Computing linear matrix representations of Helton–Vinnikov curves, in Mathematical methods in systems, optimization and control (volume dedicated to Bill Helton, eds H. Dym, M. de Oliveira and M. Putinar), Operator Theory: Advances and Applications, vol. 222 (Birkhäuser, Basel, 2012), 259–277.
[Rez07]Reznick, B., On Hilbert’s construction of positive polynomials, Preprint (2007), arXiv:0707.2156.
[Roh13]Rohn, K., Die Maximalzahl und Anordnung der Ovale bei der ebenen Kurve 6. Ordnung und bei der Fläche 4. Ordnung, Math. Ann. 73 (1913), 177228.
[RS10]Rostalski, P. and Sturmfels, B., Dualities in convex algebraic geometry, Rend. Mat. Appl. (7) 30 (2010), 285327.
[Sai74]Saint-Donat, B., Projective models of K3 surfaces, Amer. J. Math. 96 (1974), 602639.
[Sch93]Schneider, R., Convex bodies: the Brunn–Minkowski theory (Cambridge University Press, Cambridge, 1993).
[SV00]Sommese, A. and Verschelde, J., Numerical homotopies to compute generic points on positive dimensional algebraic sets, J. Complexity 16 (2000), 572602.
[SW05]Sommese, A. and Wampler, C., The numerical solution of systems of polynomials arising in engineering and science (World Scientific, Singapore, 2005).
[VC93]Verschelde, J. and Cools, R., Symbolic homotopy construction, Appl. Algebra Engrg. Comm. Comput. 4 (1993), 169183.
MathJax
MathJax is a JavaScript display engine for mathematics. For more information see http://www.mathjax.org.

Keywords

MSC classification

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed