Convex hulls of curves of genus one

DOI10.1016/J.AIM.2011.07.014zbMATH Open1231.14049arXiv1003.4605OpenAlexW2593959808MaRDI QIDQ645211FDOQ645211

Authors: Claus Scheiderer 

Publication date: 8 November 2011

Published in: Advances in Mathematics (Search for Journal in Brave)

Abstract: Let C be a real nonsingular affine curve of genus one, embedded in affine n-space, whose set of real points is compact. For any polynomial f which is nonnegative on C(R), we prove that there exist polynomials f_i with f equiv sum_i f_i^2 (modulo I_C) and such that the degrees deg(f_i) are bounded in terms of deg(f) only. Using Lasserre's relaxation method, we deduce an explicit representation of the convex hull of C(R) in R^n by a lifted linear matrix inequality. This is the first instance in the literature where such a representation is given for the convex hull of a nonrational variety. The same works for convex hulls of (singular) curves whose normalization is C. We then make a detailed study of the associated degree bounds. These bounds are directly related to size and dimension of the projected matrix pencils. In particular, we prove that these bounds tend to infinity when the curve C degenerates suitably into a singular curve, and we provide explicit lower bounds as well.

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

Recommendations

• Semidefinite Representation for Convex Hulls of Real Algebraic Curves
• On the convex hull of a space curve
• The convex hull of a variety
• Semidefinite representation of convex hulls of rational varieties
• Convex hulls of algebraic sets

zbMATH Keywords

elliptic curveslinear matrix inequalitiesconvex hullsspectrahedratheta bodiesreal algebraic curvesLasserre relaxation

Mathematics Subject Classification ID

Semidefinite programming (90C22) Plane and space curves (14H50) Real algebraic sets (14P05) Elliptic curves (14H52)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Positivity and sums of squares: a guide to recent results
• Title not available (Why is that?)
• Sums of squares on real algebraic curves
• Exposed faces of semidefinitely representable sets
• Positive polynomials and projections of spectrahedra
• Advances in convex optimization: conic programming
• Linear matrix inequality representation of sets
• Theta bodies for polynomial ideals
• Sufficient and necessary conditions for semidefinite representability of convex hulls and sets
• Semidefinite representation of convex sets
• Sums of squares of regular functions on real algebraic varieties
• Non-existence of degree bounds for weighted sums of squares representations
• The moment problem for non-compact semialgebraic sets
• Convex sets with semidefinite representation
• On semidefinite representations of non-closed sets

Cited In (11)

• Matrix convex hulls of free semialgebraic sets
• Semidefinite Representation for Convex Hulls of Real Algebraic Curves
• One-dimensional projective structures, convex curves and the ovals of Benguria and Loss
• Maximum semidefinite and linear extension complexity of families of polytopes
• Semidefinite Representation of Convex Sets and Convex Hulls
• The geometry of genus-one helicoids
• Intersection cuts for nonlinear integer programming: convexification techniques for structured sets
• The convex hull of a variety
• Hyperbolic secant varieties of \(M\)-curves
• A matrix Positivstellensatz with lifting polynomials
• Spectrahedral shadows

This page was built for publication: Convex hulls of curves of genus one

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