Convex hulls of curves of genus one

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

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
• Title not available (Why is that?)
• 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
• Spectrahedral Shadows
• A Matrix Positivstellensatz with Lifting Polynomials
• Intersection cuts for nonlinear integer programming: convexification techniques for structured sets
• Hyperbolic secant varieties of \(M\)-curves
• The Convex Hull of a Variety

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)