Sharp degree bounds for sum-of-squares certificates on projective curves

DOI10.1016/J.MATPUR.2018.12.010zbMATH Open1441.14189arXiv1605.08330OpenAlexW3103368224WikidataQ128767287 ScholiaQ128767287MaRDI QIDQ2274017FDOQ2274017

Authors: Grigoriy Blekherman, Gregory G. Smith, Mauricio Velasco 

Publication date: 19 September 2019

Published in: Journal de Mathématiques Pures et Appliquées. Neuvième Série (Search for Journal in Brave)

Abstract: Given a real projective curve with homogeneous coordinate ring R and a nonnegative homogeneous element f in R, we bound the degree of a nonzero homogeneous sum-of-squares g in R such that the product fg is again a sum of squares. Better yet, our degree bounds only depend on geometric invariants of the curve and we show that there exist smooth curves and nonnegative elements for which our bounds are sharp. We deduce the existence of a multiplier g from a new Bertini Theorem in convex algebraic geometry and prove sharpness by deforming rational Harnack curves on toric surfaces. Our techniques also yield similar bounds for multipliers on surfaces of minimal degree, generalizing Hilbert's work on ternary forms.

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

Recommendations

• Bounds on degrees of projective schemes
• Projective curves with next to sharp bounds on Castelnuovo-Mumford regularity
• A bound on the number of curves of a given degree through a general point of a projective variety
• Sharp bounds for higher linear syzygies and classifications of projective varieties
• Sums of squares and quadratic persistence on real projective varieties
• A bound on the degree of schemes defined by quadratic equations
• A bound on the number of points of a curve in a projective space over a finite field
• scientific article; zbMATH DE number 2121221
• Sharp Bertini theorem for plane curves over finite fields
• Degree bound for the defining equations of projective monomial curves

zbMATH Keywords

real algebraic geometrysums of squaressurfaces of minimal degreespecial curves

Mathematics Subject Classification ID

Real algebraic sets (14P05) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Special algebraic curves and curves of low genus (14H45)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The Geometry of Syzygies
• Title not available (Why is that?)
• Toric varieties
• Introduction to liaison theory and deficiency modules
• Power sums, Gorenstein algebras, and determinantal loci. With an appendix `The Gotzmann theorems and the Hilbert scheme' by Anthony Iarrobino and Steven L. Kleiman
• Uniform denominators in Hilbert's seventeenth problem
• Semidefinite Optimization and Convex Algebraic Geometry
• Planar dimers and Harnack curves
• The functor of a smooth toric variety
• Théoremes de Bertini et applications
• Sums of squares on real algebraic curves
• Title not available (Why is that?)
• On a theorem of Castelnuovo, and the equations defining space curves
• Title not available (Why is that?)
• Some geometric results in semidefinite programming
• Positive Gorenstein ideals
• Sums of squares on the hypercube
• Pseudoholomorphic simple Harnack curves
• Non-degenerate curves with maximal Hartshorne-Rao module
• The genus of space curves
• Semidefinite Representation for Convex Hulls of Real Algebraic Curves
• A Positivstellensatz for projective real varieties
• Sums of squares and varieties of minimal degree

Cited In (4)

• Positivity certificates and polynomial optimization on non-compact semialgebraic sets
• Approximate super-resolution of positive measures in all dimensions
• Harmonic Hierarchies for Polynomial Optimization
• High degree sum of squares proofs, Bienstock-Zuckerberg hierarchy and CG cuts

This page was built for publication: Sharp degree bounds for sum-of-squares certificates on projective curves

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